C# (CSharp) Hello PHelper.InitializeInterfaces Beispiele

Beispiel #1

Datei: Hello.cs Projekt: 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)));
 }

Beispiel #2

Datei: Hello.cs Projekt: 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)));
 }