From 82a1fd06f42405259f3b93369cd1eefd7b6133b5 Mon Sep 17 00:00:00 2001
From: nik
Date: Mon, 12 Mar 2018 13:33:02 +0300
Subject: [PATCH] annotations: fix formatting of @Contract's javadoc
Otherwise javadoc generation fails.
---
.../src/org/jetbrains/annotations/Contract.java | 15 +++++++--------
1 file changed, 7 insertions(+), 8 deletions(-)
diff --git a/platform/annotations/common/src/org/jetbrains/annotations/Contract.java b/platform/annotations/common/src/org/jetbrains/annotations/Contract.java
index 02c30584164b..ac94772562e9 100644
--- a/platform/annotations/common/src/org/jetbrains/annotations/Contract.java
+++ b/platform/annotations/common/src/org/jetbrains/annotations/Contract.java
@@ -78,14 +78,13 @@ public @interface Contract {
/**
* Contains a specifier which describes which method parameters can be mutated during the method call.
*
- * The following values are possible:
- *
- * | "this" | Method mutates the receiver object, and doesn't mutates any objects passed as arguments (cannot be applied for static method or constructor)
- * | "arg" | Method mutates the sole argument and doesn't mutate the receiver object (if applicable)
- * | "arg1", "arg2", ... | Method mutates the N-th argument
- * | "this,arg1" | Method mutates the receiver and first argument and doesn't mutate any other arguments
- *
- *
+ * The following values are possible:
+ *
+ * | "this" | Method mutates the receiver object, and doesn't mutates any objects passed as arguments (cannot be applied for static method or constructor) |
+ * | "arg" | Method mutates the sole argument and doesn't mutate the receiver object (if applicable) |
+ * | "arg1", "arg2", ... | Method mutates the N-th argument |
+ * | "this,arg1" | Method mutates the receiver and first argument and doesn't mutate any other arguments |
+ *
*
* @return a mutation specifier string
* Warning: This annotation parameter is experimental and may be changed or removed without further notice!