SEdit.Formalisms.Petri
Class PetriInLink
java.lang.Object
SEdit.SElement
SEdit.SArrow
SEdit.Formalisms.Petri.PetriLink
SEdit.Formalisms.Petri.PetriInLink
- Direct Known Subclasses:
- ConsumerLink, InformerLink, InhibitorLink
- public abstract class PetriInLink
- extends PetriLink
CLASSE PetriInLink
/
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 |
PetriInLink
public PetriInLink()
doActivate
public abstract void doActivate()
inhibit
public abstract void inhibit()
isEmpty
protected abstract boolean isEmpty()
getTokens
protected LList getTokens()
consume
protected abstract void consume(Hashtable env)
isConnectable
public boolean isConnectable(SNode from,
SNode to)
- Check if the arrow itself is o.k. for connection
- Overrides:
isConnectable
in class SArrow
Copyright © J. Ferber, O. Gutknecht All Rights Reserved.