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 0000000000000000000000000000000000000000..e6836a750d875c7c157b48fd524f3866546aef37 --- /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 0000000000000000000000000000000000000000..558474da3e8e0adedb40bde8384d1e29a4830fb2 --- /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 531bd97aba55f21c5994e273f21c400666b07e6e..bdf953d56c1b3187c39a54928128cca861f9eeab 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 0000000000000000000000000000000000000000..5e474baeb1753dd61c59fd4c0e3bae4839109cef --- /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 0000000000000000000000000000000000000000..40afba7b7e11e7514a9e6c683b8090527658025f --- /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 0000000000000000000000000000000000000000..a4e9ae4458a8996f8c95fed7d0e38c1e3c505908 --- /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 0000000000000000000000000000000000000000..909a9f4882c3fad807f73970a27899ebbcaaa9df --- /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 0000000000000000000000000000000000000000..0c71f6cb560a8ec3929ad685c5d5544744edfda8 --- /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 0000000000000000000000000000000000000000..d94aed6cd11e528d8b5280c219188d0cf0b16706 --- /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 0000000000000000000000000000000000000000..9281e273ff3094733b5c3cbc0a5dc389c11ca4ec --- /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 0000000000000000000000000000000000000000..748b0af99aba1b7928afe0b925bed66fef84805c --- /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 0000000000000000000000000000000000000000..cd452aed5dc243f62d09a752c195652fa2a0f150 --- /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 0000000000000000000000000000000000000000..a5bf296d233162ffa5f5c1c58ce605727380f81c --- /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 0000000000000000000000000000000000000000..a3256b7d7c2bc40b72c4ee8db18073934664358a --- /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 0000000000000000000000000000000000000000..28f9e31d41a0d1825ce0da2e532d7889a3320242 --- /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 0000000000000000000000000000000000000000..ee12295cdd9ab97c5312d572d2781565b0860d76 --- /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 0000000000000000000000000000000000000000..f93e3bf1cad272920b94174cb7c7eaaf4e01a14b --- /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 0000000000000000000000000000000000000000..4209d6c39077c4c192445b7645970f1db7794a92 --- /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 0000000000000000000000000000000000000000..6ea12bf4caef29d2dbea7d09c257a163eb698cc4 --- /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 0000000000000000000000000000000000000000..667eb92abd5a725e006ca26a6bae7803b9c76ed3 --- /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 0000000000000000000000000000000000000000..e4fefce8be06e1419283f3e302665e0a1f642051 --- /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 0000000000000000000000000000000000000000..2d310b51af31062db883c61e82a8fcb444fe1499 --- /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 0000000000000000000000000000000000000000..e8dd326f97642e28b2081efc8ce26145e240dac3 --- /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 0000000000000000000000000000000000000000..c555502668e9ee8bca3a2c7ee9493105fd11a03a --- /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 0000000000000000000000000000000000000000..eb1a674e2e559c795d811864eb0f5e12ffc393f7 --- /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 0000000000000000000000000000000000000000..d7d39abd36601fd5cfa3ca387d53c407cccfd98a --- /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