diff --git a/platform/annotations/common/src/org/jetbrains/annotations/Contract.java b/platform/annotations/common/src/org/jetbrains/annotations/Contract.java index 3e8490138413..003d541746a2 100644 --- a/platform/annotations/common/src/org/jetbrains/annotations/Contract.java +++ b/platform/annotations/common/src/org/jetbrains/annotations/Contract.java @@ -1,5 +1,5 @@ /* - * Copyright 2000-2013 JetBrains s.r.o. + * Copyright 2000-2016 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -20,7 +20,7 @@ import java.lang.annotation.*; /** * Specifies some aspects of the method behavior depending on the arguments. Can be used by tools for advanced data flow analysis. * Note that this annotation just describes how the code works and doesn't add any functionality by means of code generation.

- * + * * Method contract has the following syntax:
* contract ::= (clause ';')* clause
* clause ::= args '->' effect
@@ -28,7 +28,7 @@ import java.lang.annotation.*; * arg ::= value-constraint
* value-constraint ::= 'any' | 'null' | '!null' | 'false' | 'true'
* effect ::= value-constraint | 'fail'

- * + * * The constraints denote the following:
*