public PetriEvent getEvent(EventType type)
{
PetriEvent ret = this.getEventFromList(type);
if (ret == null)
{
ret = new PetriEvent(type, "");
}
return ret;
}
public PropertyTag(Object parentObject, PetriEvent petriEvent)
{
this.parentObject = parentObject;
this.petriEvent = petriEvent;
}
public PetriEventTransfer(PetriEvent petriEvent, IPetriEvent parent)
{
this.petriEvent = petriEvent;
this.parent = parent;
}
private void addEventRow(Object parentObject, PetriEvent petriEvent, bool disabled)
{
this.tlpEvent.RowStyles.Add(new RowStyle(SizeType.Absolute, MDIParent.PROPERTY_ROW_HEIGHT));
this.tlpEvent.Controls.Add(ControlHelper.getPropertyLabel(petriEvent.Type.ToString()), 0, this.tmpEventPanelRowCount);
this.tlpEvent.Controls.Add(ControlHelper.getPropertyTextBox(petriEvent.Name, new EventHandler(tokenAndEventValueChanged), new PropertyTag(parentObject, petriEvent), disabled), 1, this.tmpEventPanelRowCount);
this.tmpEventPanelRowCount++;
}
private void deleteEvent(PetriEvent petriEvent)
{
if (this.events.Contains(petriEvent))
{
this.events.Remove(petriEvent);
}
}
private void addEvent(PetriEvent petriEvent)
{
if (!this.events.Contains(petriEvent))
{
this.events.Add(petriEvent);
}
}
