From 4ae7a9b417efcda15074423223e43b0530f133bd Mon Sep 17 00:00:00 2001
From: Ekaterina Tuzova <Ekaterina.Tuzova@jetbrains.com>
Date: Fri, 20 May 2011 18:01:17 +0400
Subject: [PATCH] added tests for PY-3281

---
 python/testData/intentions/demorgan/after4.py             | 8 ++++++++
 python/testData/intentions/demorgan/before4.py            | 8 ++++++++
 .../jetbrains/python/PythonDemorganLawIntentionTest.java  | 4 ++++
 3 files changed, 20 insertions(+)
 create mode 100644 python/testData/intentions/demorgan/after4.py
 create mode 100644 python/testData/intentions/demorgan/before4.py

diff --git a/python/testData/intentions/demorgan/after4.py b/python/testData/intentions/demorgan/after4.py
new file mode 100644
index 000000000000..2120c7ca09f5
--- /dev/null
+++ b/python/testData/intentions/demorgan/after4.py
@@ -0,0 +1,8 @@
+a = True
+b = False
+c = True
+d = False
+
+#before intention
+if not(not(a and b and c) and not d):
+    print "before"
diff --git a/python/testData/intentions/demorgan/before4.py b/python/testData/intentions/demorgan/before4.py
new file mode 100644
index 000000000000..7c95dbc754cb
--- /dev/null
+++ b/python/testData/intentions/demorgan/before4.py
@@ -0,0 +1,8 @@
+a = True
+b = False
+c = True
+d = False
+
+#before intention
+if a and b and c or<caret> d:
+    print "before"
diff --git a/python/testSrc/com/jetbrains/python/PythonDemorganLawIntentionTest.java b/python/testSrc/com/jetbrains/python/PythonDemorganLawIntentionTest.java
index d55d5899ed8a..58f3a04ad490 100644
--- a/python/testSrc/com/jetbrains/python/PythonDemorganLawIntentionTest.java
+++ b/python/testSrc/com/jetbrains/python/PythonDemorganLawIntentionTest.java
@@ -20,6 +20,10 @@ public class PythonDemorganLawIntentionTest extends PyLightFixtureTestCase {
     doTest();
   }
 
+  public void test4() throws Exception {
+    doTest();
+  }
+
   private void doTest() throws Exception {
     myFixture.configureByFile("before" + getTestName(false) + ".py");
     final IntentionAction action = myFixture.findSingleIntention("DeMorgan Law");