SEdit.Formalisms.Petri
Class PetriPlace
java.lang.Object
SEdit.SElement
SEdit.SNode
SEdit.SimpleNode
SEdit.Formalisms.Petri.PetriPlace
- All Implemented Interfaces:
- PetriPlaceBehavior
- Direct Known Subclasses:
- PetriInPort, PetriOutPort
- public class PetriPlace
- extends SimpleNode
- implements PetriPlaceBehavior
Methods inherited from class SEdit.SimpleNode |
addInArrow, addOutArrow, delete, deleteInArrow, deleteOutArrow, getInArrows, getInArrows, getOutArrows, getOutArrows, isConnectable, toString |
Methods inherited from class SEdit.SElement |
dump, getComment, getDescriptor, getGObject, getID, getLabel, getStructure, init, inspect, setComment, setDescriptor, setGObject, setID, setLabel, setStructure |
PetriPlace
public PetriPlace()
getNumberTokens
public int getNumberTokens()
- Specified by:
getNumberTokens
in interface PetriPlaceBehavior
getColoredTokens
public LList getColoredTokens()
- Specified by:
getColoredTokens
in interface PetriPlaceBehavior
addColoredToken
public void addColoredToken()
addToken
public void addToken()
produce
public void produce(int j)
- Specified by:
produce
in interface PetriPlaceBehavior
produce
public void produce(Object e)
- Specified by:
produce
in interface PetriPlaceBehavior
consume
public void consume(int j)
- Specified by:
consume
in interface PetriPlaceBehavior
consume
public void consume(Object expr)
- Specified by:
consume
in interface PetriPlaceBehavior
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interface PetriPlaceBehavior
modifyColoredTokens
public void modifyColoredTokens()
Copyright © J. Ferber, O. Gutknecht All Rights Reserved.