Contents

(*
   Throw exception and exit current process via +exitLocation+.

   Modify +stack+ top to return from current procedure to
   +exitLocation+, and retain stack bottom to return from current
   process.  *)

macro schedule_throw( exitLocation ) {


  stack := <<
       [ stack[self][1] EXCEPT !.pc = exitLocation ],
         stack[self][ Len(stack[self]) ]
           >>;

}

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
tla-sbuilder-0.3.9	mustache/resources/schedule_throw.tla
tla-sbuilder-0.3.8	mustache/resources/schedule_throw.tla
tla-sbuilder-0.3.7	mustache/resources/schedule_throw.tla
tla-sbuilder-0.3.4	mustache/resources/schedule_throw.tla