PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Extend #234 (Goto<T>) to CreateMachine etc.

Open TedHartMS opened this issue 8 years ago • 0 comments

Copied from #238 (resolving #234):

PSharpRuntime has several methods that take (Type type, ...):

  • the CreateMachine variants
  • RegisterMonitor
  • InvokeMonitor This is the only one that also has a generic overload: InvokeMonitor<T>(Event e).
  • also INetworkProvider.RemoteCreateMachine

Add the generic form for these and deprecate the non-generic form.

TedHartMS avatar Aug 30 '17 23:08 TedHartMS