From 09f982703f064ba24771e68e30454ea8040a5b95 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Thu, 17 Oct 2013 15:33:43 +0200
Subject: [PATCH] make it more clear that @Contract doesn't instrument the code

---
 .../annotations/src/org/jetbrains/annotations/Contract.java    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/platform/annotations/src/org/jetbrains/annotations/Contract.java b/platform/annotations/src/org/jetbrains/annotations/Contract.java
index 672b5cf9f9b7..5a9d722e48ac 100644
--- a/platform/annotations/src/org/jetbrains/annotations/Contract.java
+++ b/platform/annotations/src/org/jetbrains/annotations/Contract.java
@@ -18,7 +18,8 @@ package org.jetbrains.annotations;
 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.<p>
+ * 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.<p>
  * 
  * Method contract has the following syntax:<br/>
  *  contract ::= (clause ';')* clause<br/>