|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectSEdit.SElement
SEdit.SNode
SEdit.SimpleNode
SEdit.Formalisms.Petri.PetriPlace
SEdit.Formalisms.Petri.PetriOutPort
SEdit.Formalisms.Petri.PetriACLOutPort
Field Summary |
Fields inherited from class SEdit.Formalisms.Petri.PetriOutPort |
messageType |
Fields inherited from class SEdit.SimpleNode |
inArrows, outArrows |
Fields inherited from class SEdit.SElement |
comment, descriptor, element, id, label, persistent, structure |
Constructor Summary | |
PetriACLOutPort()
|
Method Summary | |
void |
produce(Object e)
|
Methods inherited from class SEdit.Formalisms.Petri.PetriOutPort |
getMessageType, produce, setMessageType |
Methods inherited from class SEdit.Formalisms.Petri.PetriPlace |
addColoredToken, addToken, consume, consume, getColoredTokens, getNumberTokens, isEmpty, modifyColoredTokens |
Methods inherited from class SEdit.SimpleNode |
addInArrow, addOutArrow, delete, deleteInArrow, deleteOutArrow, getInArrows, getInArrows, getOutArrows, getOutArrows, isConnectable, toString |
Methods inherited from class SEdit.SNode |
activate, initGraphics, reInstall |
Methods inherited from class SEdit.SElement |
dump, getComment, getDescriptor, getGObject, getID, getLabel, getStructure, init, inspect, setComment, setDescriptor, setGObject, setID, setLabel, setStructure |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public PetriACLOutPort()
Method Detail |
public void produce(Object e)
produce
in interface PetriPlaceBehavior
produce
in class PetriPlace
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |