X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Ftests%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FTransformation4.scl;fp=bundles%2Forg.simantics.scl.compiler%2Ftests%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FTransformation4.scl;h=5a889e1e0c5c1d4759a72bbdc1803c734619705e;hb=969bd23cab98a79ca9101af33334000879fb60c5;hp=0000000000000000000000000000000000000000;hpb=866dba5cd5a3929bbeae85991796acb212338a08;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Transformation4.scl b/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Transformation4.scl new file mode 100644 index 000000000..5a889e1e0 --- /dev/null +++ b/bundles/org.simantics.scl.compiler/tests/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 +-- +()