PSharp
PSharp copied to clipboard
Extend #234 (Goto<T>) to CreateMachine etc.
Copied from #238 (resolving #234):
PSharpRuntime has several methods that take (Type type, ...):
- the
CreateMachinevariants RegisterMonitorInvokeMonitorThis 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.