Esempi in C# (CSharp) per Hello PHelper.InitializeInterfaces

Esempio n. 1

File: Hello.cs Progetto: 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)));
 }

Esempio n. 2

File: Hello.cs Progetto: 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)));
 }