From 1a6b449fc7d69b616724c0e728cfd9165c0393c6 Mon Sep 17 00:00:00 2001
From: Chris <Christopher.Happe@uni-duesseldorf.de>
Date: Fri, 19 Feb 2021 11:42:05 +0100
Subject: [PATCH] Add tests for different concepts in python
---
.../de/hhu/stups/codegenerator/BooleanPredicateAddition.stpy | 3 +++
.../de/hhu/stups/codegenerator/DanglingElseAddition.stpy | 4 ++++
.../de/hhu/stups/codegenerator/EquivalenceAddition.stpy | 2 +-
.../de/hhu/stups/codegenerator/FunctionCallAccessNested.stpy | 4 ++++
.../hhu/stups/codegenerator/FunctionCallAccessNested2.stpy | 4 ++++
.../hhu/stups/codegenerator/FunctionCallAccessNested3.stpy | 4 ++++
.../hhu/stups/codegenerator/FunctionCallAccessNested4.stpy | 4 ++++
.../hhu/stups/codegenerator/FunctionCallAccessNested5.stpy | 4 ++++
.../hhu/stups/codegenerator/FunctionCallAccessNested6.stpy | 4 ++++
.../hhu/stups/codegenerator/FunctionCallAccessNested7.stpy | 4 ++++
.../de/hhu/stups/codegenerator/IfExpressionAddition.stpy | 4 ++++
.../de/hhu/stups/codegenerator/IfPredicateAddition.stpy | 4 ++++
.../stups/codegenerator/ManyLocalDeclarations2Addition.stpy | 3 +++
.../stups/codegenerator/ManyLocalDeclarationsAddition.stpy | 3 +++
.../de/hhu/stups/codegenerator/MapFunctionAddition.stpy | 3 +++
.../de/hhu/stups/codegenerator/NameCollisionAddition.stpy | 3 +++
.../de/hhu/stups/codegenerator/Nondeterminism2Addition.stpy | 4 ++++
.../de/hhu/stups/codegenerator/NondeterminismAddition.stpy | 4 ++++
.../de/hhu/stups/codegenerator/RecordAccessNested.stpy | 4 ++++
.../de/hhu/stups/codegenerator/RecordAccessNested2.stpy | 4 ++++
.../de/hhu/stups/codegenerator/RecordAccessNested3.stpy | 4 ++++
.../resources/de/hhu/stups/codegenerator/RecordsAccess3.stpy | 4 ++++
.../resources/de/hhu/stups/codegenerator/Swap2Addition.stpy | 5 +++++
.../resources/de/hhu/stups/codegenerator/SwapAddition.stpy | 5 +++++
.../resources/de/hhu/stups/codegenerator/UnionAddition.stpy | 4 ++++
.../resources/de/hhu/stups/codegenerator/WhileAddition.stpy | 3 +++
26 files changed, 97 insertions(+), 1 deletion(-)
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/BooleanPredicateAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/DanglingElseAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested2.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested3.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested4.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested5.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested6.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested7.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/IfExpressionAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/IfPredicateAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/ManyLocalDeclarations2Addition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/ManyLocalDeclarationsAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/MapFunctionAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/NameCollisionAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/Nondeterminism2Addition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/NondeterminismAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested2.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested3.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/RecordsAccess3.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/Swap2Addition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SwapAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/UnionAddition.stpy
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/WhileAddition.stpy
diff --git a/src/test/resources/de/hhu/stups/codegenerator/BooleanPredicateAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/BooleanPredicateAddition.stpy
new file mode 100644
index 000000000..e6836a750
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/BooleanPredicateAddition.stpy
@@ -0,0 +1,3 @@
+if __name__ == '__main__':
+ bool = BooleanPredicate()
+ print(bool.Inc(BInteger(10)))
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/DanglingElseAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/DanglingElseAddition.stpy
new file mode 100644
index 000000000..558474da3
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/DanglingElseAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ dangling = DanglingElse()
+ dangling.calculate()
+ print(dangling.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/EquivalenceAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/EquivalenceAddition.stpy
index 531bd97ab..bdf953d56 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/EquivalenceAddition.stpy
+++ b/src/test/resources/de/hhu/stups/codegenerator/EquivalenceAddition.stpy
@@ -1,3 +1,3 @@
if __name__ == '__main__':
equi = Equivalence()
- print(equi.Inc(new BInteger(10)))
\ No newline at end of file
+ print(equi.Inc(BInteger(10)))
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested.stpy b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested.stpy
new file mode 100644
index 000000000..5e474baeb
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ functional = FunctionCallAccessNested()
+ functional.calculate()
+ print(functional.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested2.stpy b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested2.stpy
new file mode 100644
index 000000000..40afba7b7
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested2.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ functional = FunctionCallAccessNested2()
+ functional.calculate()
+ print(functional.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested3.stpy b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested3.stpy
new file mode 100644
index 000000000..a4e9ae445
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested3.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ functional = FunctionCallAccessNested3()
+ functional.calculate()
+ print(functional.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested4.stpy b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested4.stpy
new file mode 100644
index 000000000..909a9f488
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested4.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ functional = FunctionCallAccessNested4()
+ functional.calculate()
+ print(functional.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested5.stpy b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested5.stpy
new file mode 100644
index 000000000..0c71f6cb5
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested5.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ functional = FunctionCallAccessNested5()
+ functional.calculate()
+ print(functional.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested6.stpy b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested6.stpy
new file mode 100644
index 000000000..d94aed6cd
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested6.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ functional = FunctionCallAccessNested6()
+ functional.calculate()
+ print(functional.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested7.stpy b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested7.stpy
new file mode 100644
index 000000000..9281e273f
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/FunctionCallAccessNested7.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ functional = FunctionCallAccessNested7()
+ functional.calculate()
+ print(functional.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/IfExpressionAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/IfExpressionAddition.stpy
new file mode 100644
index 000000000..748b0af99
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/IfExpressionAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ iff = IfExpression()
+ iff.calculate()
+ print(iff.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/IfPredicateAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/IfPredicateAddition.stpy
new file mode 100644
index 000000000..cd452aed5
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/IfPredicateAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ iff = IfPredicate()
+ iff.calculate()
+ print(iff.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/ManyLocalDeclarations2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/ManyLocalDeclarations2Addition.stpy
new file mode 100644
index 000000000..a5bf296d2
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/ManyLocalDeclarations2Addition.stpy
@@ -0,0 +1,3 @@
+if __name__ == '__main__':
+ locals = ManyLocalDeclarations2()
+ print(locals.Inc(BInteger(10)).card())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/ManyLocalDeclarationsAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/ManyLocalDeclarationsAddition.stpy
new file mode 100644
index 000000000..a3256b7d7
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/ManyLocalDeclarationsAddition.stpy
@@ -0,0 +1,3 @@
+if __name__ == '__main__':
+ locals = ManyLocalDeclarations()
+ print(locals.Inc(BInteger(10)).card())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/MapFunctionAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/MapFunctionAddition.stpy
new file mode 100644
index 000000000..28f9e31d4
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/MapFunctionAddition.stpy
@@ -0,0 +1,3 @@
+if __name__ == '__main__':
+ _map = MapFunction()
+ print(_map.getYY().domain().card() + " " + _map.getYY()._range().card())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/NameCollisionAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/NameCollisionAddition.stpy
new file mode 100644
index 000000000..ee12295cd
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/NameCollisionAddition.stpy
@@ -0,0 +1,3 @@
+if __name__ == '__main__':
+ collision = NameCollision()
+ print(collision.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/Nondeterminism2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/Nondeterminism2Addition.stpy
new file mode 100644
index 000000000..f93e3bf1c
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/Nondeterminism2Addition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ nondeterminism = Nondeterminism2()
+ nondeterminism.calculate()
+ print(nondeterminism.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/NondeterminismAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/NondeterminismAddition.stpy
new file mode 100644
index 000000000..4209d6c39
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/NondeterminismAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ nondeterminism = Nondeterminism()
+ nondeterminism.calculate()
+ print(nondeterminism.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested.stpy b/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested.stpy
new file mode 100644
index 000000000..6ea12bf4c
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ record = RecordAccessNested()
+ record.calculate()
+ print(record.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested2.stpy b/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested2.stpy
new file mode 100644
index 000000000..667eb92ab
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested2.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ record = RecordAccessNested2()
+ record.calculate()
+ print(record.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested3.stpy b/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested3.stpy
new file mode 100644
index 000000000..e4fefce8b
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/RecordAccessNested3.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ record = RecordAccessNested3()
+ record.calculate()
+ print(record.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/RecordsAccess3.stpy b/src/test/resources/de/hhu/stups/codegenerator/RecordsAccess3.stpy
new file mode 100644
index 000000000..2d310b51a
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/RecordsAccess3.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ record = RecordsAccess3()
+ record.calculate()
+ print(record.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/Swap2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/Swap2Addition.stpy
new file mode 100644
index 000000000..e8dd326f9
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/Swap2Addition.stpy
@@ -0,0 +1,5 @@
+if __name__ == '__main__':
+ swap = Swap2()
+ swap.swap()
+ print(swap.getXX() + " ")
+ print(swap.getYY())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SwapAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SwapAddition.stpy
new file mode 100644
index 000000000..c55550266
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SwapAddition.stpy
@@ -0,0 +1,5 @@
+if __name__ == '__main__':
+ swap = Swap()
+ swap.swap()
+ print(swap.getXX())
+ print(swap.getYY())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/UnionAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/UnionAddition.stpy
new file mode 100644
index 000000000..eb1a674e2
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/UnionAddition.stpy
@@ -0,0 +1,4 @@
+if __name__ == '__main__':
+ union = Union()
+ union.calculate()
+ print(union.getRes())
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/WhileAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/WhileAddition.stpy
new file mode 100644
index 000000000..d7d39abd3
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/WhileAddition.stpy
@@ -0,0 +1,3 @@
+if __name__ == '__main__':
+ while1 = While()
+ print(while1.Inc(BInteger(1)))
\ No newline at end of file
--
GitLab