X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FTransformation4.scl;fp=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FTransformation4.scl;h=5a889e1e0c5c1d4759a72bbdc1803c734619705e;hb=0364f8f54b009e9e5de482d5c9d1cb7efb023141;hp=0000000000000000000000000000000000000000;hpb=7ecf07ff9aacab300f1fb900f1f0f97beb1be139;p=simantics%2Fplatform.git diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Transformation4.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Transformation4.scl new file mode 100644 index 000000000..5a889e1e0 --- /dev/null +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Transformation4.scl @@ -0,0 +1,27 @@ +import "StandardLibrary" + +mapping relation M Integer (Integer,Integer) + +rule Mix where + @when + M ?a (?b, ?c) + ?a <= 10 + + @where + M (?a + 1) (?c, ?b) + +rule PrintIt where + @when + M ?a (?b,?c) + + @to + Execute (print "\(?a) -> \(?b), \(?c)") + +rule Seed where + @where + M 0 (1,?x) + M 10 (?y,2) + +main = transformation OneShotForward where +-- +()