From 5ec7ecc0943a5fe55d9b691f338cf15e21d831bb Mon Sep 17 00:00:00 2001 From: peter Date: Thu, 25 Sep 2014 16:23:35 +0200 Subject: [PATCH] @Contract javadoc: don't consider exceptions side-effects --- .../annotations/src/org/jetbrains/annotations/Contract.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/annotations/src/org/jetbrains/annotations/Contract.java b/platform/annotations/src/org/jetbrains/annotations/Contract.java index c1d08c483f74..3346205f3a5a 100644 --- a/platform/annotations/src/org/jetbrains/annotations/Contract.java +++ b/platform/annotations/src/org/jetbrains/annotations/Contract.java @@ -56,7 +56,7 @@ public @interface Contract { /** * Specifies that the annotated method has no visible side effects, in the following sense. * If its return value is not used, removing its invocation won't - * affect program state and change the semantics. Such methods shouldn't throw exceptions by design, as exceptions affect semantics.

+ * affect program state and change the semantics. Exception throwing is not considered to be a side effect. * * "Invisible" side effects (such as logging) that don't affect the "important" program semantics are allowed.

*