Sha256: c62857205836710e1ada4021328d2738333f9d5546ae45b4d8f9183b0431d4bf
Contents?: true
Size: 627 Bytes
Versions: 6
Compression:
Stored size: 627 Bytes
Contents
(******************************************************************
Interfaces generated {{META.desc}}
- modelData {{META.modelData}}
- template {{META.template}}
******************************************************************)
(* Allow 'interface-extension.implementation' without specification code snippet *)
macro dummy( dummy_input ) {
print << "Dummy macro called should replace with actual macro" >>;
}
(* 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
6 entries across 6 versions & 1 rubygems