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;
}
}
}