|
||||||||||
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.PetriStringGROutPort
public class PetriStringGROutPort
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 | |
---|---|
PetriStringGROutPort()
|
Method Summary | |
---|---|
java.lang.String |
getGroup()
Get the value of group. |
java.lang.String |
getRole()
Get the value of role. |
void |
produce(java.lang.Object e)
|
void |
setGroup(java.lang.String v)
Set the value of group. |
void |
setRole(java.lang.String v)
Set the value of role. |
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 PetriStringGROutPort()
Method Detail |
---|
public java.lang.String getGroup()
public void setGroup(java.lang.String v)
v
- Value to assign to group.public java.lang.String getRole()
public void setRole(java.lang.String v)
v
- Value to assign to role.public void produce(java.lang.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 |