Merge pull request #371 from Stebalien/push-not-in-intention

Add an intention to simplify negated expressions.
2014-03-20 11:15:36 +03:00
parent 2a724a6eb4 d198465522
commit b33e3fc9d6
34 changed files with 375 additions and 62 deletions
@@ -0,0 +1,3 @@
+if (a != b) {
+  println("Not Equal")
+}
@@ -0,0 +1,3 @@
+if (<spot>!(a == b)</spot>) {
+  println("Not Equal")
+}
@@ -0,0 +1,7 @@
+<html>
+<body>
+This intention simplifies negated binary expressions by replacing expressions such as
+!(<b>a</b> <small>op</small> <b>b</b>) with <b>a</b> <small>negop</small> <b>b</b>
+(where <small>op</small> and <small>negop</small> are inverse comparison operators like <b>==</b> and <b>!=</b> or <b>in</b> and <b>!in</b>).
+</body>
+</html>