public static void Execute(IActorRuntime runtime) { PModule.runtime = runtime; PHelper.InitializeInterfaces(); PHelper.InitializeEnums(); InitializeLinkMap(); InitializeInterfaceDefMap(); InitializeMonitorMap(runtime); InitializeMonitorObserves(); runtime.CreateActor(typeof(_GodMachine), new _GodMachine.Config(typeof(Hello))); }
public static void Execute(PSharpRuntime runtime) { runtime.SetLogger(new PLogger()); PModule.runtime = runtime; PHelper.InitializeInterfaces(); InitializeLinkMap(); InitializeInterfaceDefMap(); InitializeMonitorMap(runtime); InitializeMonitorObserves(); runtime.CreateMachine(typeof(_GodMachine), new _GodMachine.Config(typeof(Hello))); }