Contents

(*

   Schedule process +input.called+ with +input.input+, and resume back
   to currently running process +step+ to pc of +self+ ProcDef.

   Creates a record with +ret_ctx+ property, which calling process can
   use to restore its context, adds call step and resume step to
   +steps+ sequence.

*)

procedure schedule_process_proc( input ) {

schedule_process_start:

     schedule_process_mac(
          input.called,  input.input, step,
	  [ ret_ctx |-> [ stack[self][2] EXCEPT !.pc = stack[self][1].pc ] ]
      );

     return;
}

Version data entries

4 entries across 4 versions & 1 rubygems

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