Ejemplo n.º 1
0
 public void modifyEvent(EventType type, string name)
 {
     if (name != null)
     {
         // TODO - allow events handing (via delegate)
         if (this.allowEventType())
         {
             PetriEvent pe = this.getEventFromList(type);
             name = name.Trim();
             if (!name.Equals(""))
             {
                 if (pe != null)
                 {
                     pe.Name = name;
                 }
                 else
                 {
                     this.addEvent(new PetriEvent(type, name));
                 }
             }
             else
             {
                 if (pe != null)
                 {
                     this.deleteEvent(pe);
                 }
             }
         }
     }
 }
Ejemplo n.º 2
0
 private static void addNewItem(EventType item)
 {
     if (EventType.values == null)
     {
         EventType.values = new List<EventType>();
     }
     EventType.values.Add(item);
 }
Ejemplo n.º 3
0
 public PetriEvent getEvent(EventType type)
 {
     PetriEvent ret = this.getEventFromList(type);
     if (ret == null)
     {
         ret = new PetriEvent(type, "");
     }
     return ret;
 }
Ejemplo n.º 4
0
 private PetriEvent getEventFromList(EventType type)
 {
     PetriEvent ret = null;
     foreach (PetriEvent pe in this.events)
     {
         if (pe.Type.Equals(type))
         {
             ret = pe;
             break;
         }
     }
     return ret;
 }
Ejemplo n.º 5
0
 public PetriEvent( EventType type, string name )
 {
     this.type = type;
     this.name = name;
 }