示例#1
0
文件: Hello.cs 项目: yzhang90/P-1
 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)));
 }
示例#2
0
文件: Hello.cs 项目: tushetodorov/P
 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)));
 }