Contents

(******************************************************************
Interfaces generated  {{META.desc}}
 - modelData {{META.modelData}}
 - template  {{META.template}}
******************************************************************)

(* Create a dummy procedure with input variable so that pcal creates
   constant defaultInitValue (which is assigned a value in setup.tla)
*)

procedure dummy( dummy_input ) {
	dummy_start:  skip;
}

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
tla-sbuilder-0.1.0	mustache/interface_stubs_dummy.mustache