From 821b5130c39872ec76d0b45ea4c528b9fce0f84d Mon Sep 17 00:00:00 2001
From: Chris <Christopher.Happe@uni-duesseldorf.de>
Date: Fri, 19 Feb 2021 13:34:33 +0100
Subject: [PATCH] Add tests for quantified constructs in python

---
 .../resources/de/hhu/stups/codegenerator/Lambda2Addition.stpy | 4 ++++
 .../resources/de/hhu/stups/codegenerator/LambdaAddition.stpy  | 4 ++++
 .../de/hhu/stups/codegenerator/LetExpressionAddition.stpy     | 4 ++++
 .../de/hhu/stups/codegenerator/LetPredicateAddition.stpy      | 4 ++++
 .../de/hhu/stups/codegenerator/LetSubstitutionAddition.stpy   | 4 ++++
 .../stups/codegenerator/QuantifiedExpression1Addition.stpy    | 4 ++++
 .../stups/codegenerator/QuantifiedExpression2Addition.stpy    | 4 ++++
 .../stups/codegenerator/QuantifiedExpression3Addition.stpy    | 4 ++++
 .../stups/codegenerator/QuantifiedExpression4Addition.stpy    | 4 ++++
 .../stups/codegenerator/QuantifiedExpression5Addition.stpy    | 4 ++++
 .../hhu/stups/codegenerator/QuantifiedPredicate2Addition.stpy | 4 ++++
 .../hhu/stups/codegenerator/QuantifiedPredicate3Addition.stpy | 4 ++++
 .../hhu/stups/codegenerator/QuantifiedPredicate4Addition.stpy | 4 ++++
 .../hhu/stups/codegenerator/QuantifiedPredicate5Addition.stpy | 4 ++++
 .../hhu/stups/codegenerator/QuantifiedPredicate6Addition.stpy | 4 ++++
 .../hhu/stups/codegenerator/QuantifiedPredicate7Addition.stpy | 4 ++++
 .../hhu/stups/codegenerator/QuantifiedPredicateAddition.stpy  | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension1Addition.stpy | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension2Addition.stpy | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension3Addition.stpy | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension4Addition.stpy | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension5Addition.stpy | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension6Addition.stpy | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension7Addition.stpy | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension8Addition.stpy | 4 ++++
 .../de/hhu/stups/codegenerator/SetComprehension9Addition.stpy | 4 ++++
 26 files changed, 104 insertions(+)
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/Lambda2Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/LambdaAddition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/LetExpressionAddition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/LetPredicateAddition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/LetSubstitutionAddition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression2Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression3Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression4Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression5Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate2Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate3Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate4Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate5Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate6Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate7Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicateAddition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension1Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension2Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension3Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension4Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension5Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension6Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension7Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension8Addition.stpy
 create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetComprehension9Addition.stpy

diff --git a/src/test/resources/de/hhu/stups/codegenerator/Lambda2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/Lambda2Addition.stpy
new file mode 100644
index 000000000..0c4494646
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/Lambda2Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    _lambda = Lambda2()
+    _lambda.calculate()
+    print(_lambda.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/LambdaAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/LambdaAddition.stpy
new file mode 100644
index 000000000..429f6fc99
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/LambdaAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    _lambda = Lambda()
+    _lambda.calculate()
+    print(_lambda.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/LetExpressionAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/LetExpressionAddition.stpy
new file mode 100644
index 000000000..b8a4dbe6a
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/LetExpressionAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    let = LetExpression()
+    let.calculate()
+    print(let.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/LetPredicateAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/LetPredicateAddition.stpy
new file mode 100644
index 000000000..e74e9947f
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/LetPredicateAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    let = LetPredicate()
+    let.calculate()
+    print(let.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/LetSubstitutionAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/LetSubstitutionAddition.stpy
new file mode 100644
index 000000000..8794b1c8a
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/LetSubstitutionAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    let = LetSubstitution()
+    let.calculate()
+    print(let.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy
new file mode 100644
index 000000000..b9b7b3905
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    expression = QuantifiedExpression1()
+    expression.calculate();
+    print(expression.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression2Addition.stpy
new file mode 100644
index 000000000..1ad5e83da
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression2Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    expression = QuantifiedExpression2()
+    expression.calculate()
+    print(expression.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression3Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression3Addition.stpy
new file mode 100644
index 000000000..215e7a62f
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression3Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    expression = QuantifiedExpression3()
+    expression.calculate()
+    print(expression.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression4Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression4Addition.stpy
new file mode 100644
index 000000000..5393870c1
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression4Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    expression = QuantifiedExpression4()
+    expression.calculate()
+    print(expression.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression5Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression5Addition.stpy
new file mode 100644
index 000000000..94a951687
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression5Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    expression = QuantifiedExpression5()
+    expression.calculate()
+    print(expression.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate2Addition.stpy
new file mode 100644
index 000000000..a0df27b6b
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate2Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    predicate = QuantifiedPredicate2()
+    predicate.calculate()
+    print(predicate.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate3Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate3Addition.stpy
new file mode 100644
index 000000000..015006632
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate3Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    predicate = QuantifiedPredicate3()
+    predicate.calculate()
+    print(predicate.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate4Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate4Addition.stpy
new file mode 100644
index 000000000..397906bda
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate4Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    predicate = QuantifiedPredicate4()
+    predicate.calculate()
+    print(predicate.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate5Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate5Addition.stpy
new file mode 100644
index 000000000..dab9e083f
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate5Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    predicate = QuantifiedPredicate5()
+    predicate.calculate()
+    print(predicate.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate6Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate6Addition.stpy
new file mode 100644
index 000000000..f36c63300
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate6Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    predicate = QuantifiedPredicate6()
+    predicate.calculate()
+    print(predicate.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate7Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate7Addition.stpy
new file mode 100644
index 000000000..3f8ee32a6
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate7Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    predicate = QuantifiedPredicate7()
+    predicate.calculate()
+    print(predicate.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicateAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicateAddition.stpy
new file mode 100644
index 000000000..0544c2743
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicateAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    predicate = QuantifiedPredicate()
+    predicate.calculate()
+    print(predicate.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension1Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension1Addition.stpy
new file mode 100644
index 000000000..2ad0406d7
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension1Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension1()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension2Addition.stpy
new file mode 100644
index 000000000..bae1a6d6b
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension2Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension2()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension3Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension3Addition.stpy
new file mode 100644
index 000000000..f4ae8c491
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension3Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension3()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension4Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension4Addition.stpy
new file mode 100644
index 000000000..db321f4cc
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension4Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension4()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension5Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension5Addition.stpy
new file mode 100644
index 000000000..b51652684
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension5Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension5()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension6Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension6Addition.stpy
new file mode 100644
index 000000000..e25511788
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension6Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension6()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension7Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension7Addition.stpy
new file mode 100644
index 000000000..05ca7ee90
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension7Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension7()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension8Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension8Addition.stpy
new file mode 100644
index 000000000..b631c3e17
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension8Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension8()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension9Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension9Addition.stpy
new file mode 100644
index 000000000..daf215d02
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension9Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+    set = SetComprehension9()
+    set.calculate()
+    print(set.getRes())
\ No newline at end of file
-- 
GitLab