SEdit.Formalisms.Petri
Class ConsumerLink
java.lang.Object
SEdit.SElement
SEdit.SArrow
SEdit.Formalisms.Petri.PetriLink
SEdit.Formalisms.Petri.PetriInLink
SEdit.Formalisms.Petri.ConsumerLink
- public class ConsumerLink
- extends PetriInLink
CLASSE ConsumerLink
/
Methods inherited from class SEdit.Formalisms.Petri.PetriLink |
active, askForNewString, getFilter, getFilterString, getWeight, modifyFilter, modifyWeight, setFilter, setFilterString, setWeight, validate |
Methods inherited from class SEdit.SElement |
dump, getComment, getDescriptor, getGObject, getID, getLabel, getStructure, init, inspect, setComment, setDescriptor, setGObject, setID, setLabel, setStructure |
ConsumerLink
public ConsumerLink()
doActivate
public void doActivate()
- Specified by:
doActivate
in class PetriInLink
inhibit
public void inhibit()
- Specified by:
inhibit
in class PetriInLink
isEmpty
protected boolean isEmpty()
- Specified by:
isEmpty
in class PetriInLink
consume
protected void consume(Hashtable env)
- Specified by:
consume
in class PetriInLink
Copyright © J. Ferber, O. Gutknecht All Rights Reserved.