C# (CSharp) Hello PHelperの例

コード例 #1

ファイル: 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

ファイル: 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)));
 }