Ejemplo n.º 1
0
 public RuntimeHost(IUnityContainer container, PSharpRuntime runtime)
 {
     Container = container ?? throw new ArgumentNullException(nameof(container));
     Runtime   = runtime ?? throw new ArgumentNullException(nameof(runtime));
     Id        = new RuntimeHostId()
     {
         AdditionalConfiguration = runtime.GetAdditionalConfiguration()
     };
     Id.SetNetworkInformation(runtime.NetworkProvider);
     RuntimeHostReferences.Register(this);
 }