private static void addNewItem(FireRule item) { if (FireRule.values == null) { FireRule.values = new List<FireRule>(); } FireRule.values.Add(item); }
protected override void dialogOK() { try { this.fireRule = (FireRule)this.cbFireRule.SelectedItem; } catch (OverflowException e) { throw new SimApplicationException("Cannot convert fireRule.", e); } }
public PetriNetwork(Random rand, string name, string description, int width, int height, int sh_width, int sh_height, IdentityProvider identityProvider, string statePrefix, int defaultEdgeWeight, int stateGenNumber, string fileName, FireRule fireRule, int simulationTimeout, string certificateSubject, DateTime lastModificationDate) : base(rand, stateGenNumber, statePrefix, sh_width, sh_height) { this.name = name; this.description = description; this.fileName = fileName; this.width = width; this.height = height; this.identityProvider = identityProvider; this.defaultEdgeWeight = defaultEdgeWeight; this.fireRule = fireRule; this.simulationTimeout = simulationTimeout; this.activeSimulation = false; this.certificateSubject = certificateSubject; this.lastModificationDate = lastModificationDate; }
private void stateMatrix_callStateMatrixSettings(FireRule fireRule, int millisecondsTimeoutForSimulation) { if (this.ActiveMdiChild is PetriNetworkForm) { if ((this.ActiveMdiChild as PetriNetworkForm).Network != null) { PetriNetwork network = (this.ActiveMdiChild as PetriNetworkForm).Network; network.ActualFireRule = fireRule; network.SimulationTimeout = millisecondsTimeoutForSimulation; } } }