bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Transformation5.scl

   1 import "StandardLibrary"
   2
   3 Foo ?x :-
   4     @enforce 1
   5     Execute (?x := (1 :: Integer))
   6
   7 Bar ?x :-
   8     @enforce 2
   9     Execute (if getRef ?x == 1 then () else fail "Test failed.")
  10
  11 rule DoIt where
  12     @from
  13     ?x = ref (0 :: Integer)
  14
  15     @to
  16     Bar ?x
  17     Foo ?x
  18
  19 main :: ()
  20 main = transformation OneShotForward where
  21 --
  22 ()