private static void eventHandler(AbstractEventDrivenItem item, EventType eventType)
{
StringBuilder sb = new StringBuilder(100);
sb.Append("#### eventHandler: (item: " + item.Name + ", eventType: "+eventType+")");
if (item is Position)
{
Position position = (Position)item;
sb.Append(" token count: " + position.TokenCount);
}
System.Console.WriteLine(sb.ToString());
}
private void eventHandler(AbstractEventDrivenItem item, EventType eventType)
{
if (item is Position)
{
Position position = (Position)item;
List<Token> tokens = position.Tokens;
if ( (tokens != null) && ( tokens.Count == 1 ) )
{
this.lbResult.Items.Add(tokens[0]);
}
}
}
private static void eventHandler2(AbstractEventDrivenItem item, EventType eventType)
{
System.Console.Write(" (eh) ");
}
private void checkHandler(AbstractEventDrivenItem item, EventType eventType)
{
List<PetriEvent> events = item.EventTrunk.getEventsByType(eventType);
PetriHandler handler = getPetriEventByTrunk(events);
if (handler != null)
{
handler(item, eventType);
}
}
