SEdit.Formalisms.Petri
Class PetriStringGROutPort

java.lang.Object
  extended bySEdit.SElement
      extended bySEdit.SNode
          extended bySEdit.SimpleNode
              extended bySEdit.Formalisms.Petri.PetriPlace
                  extended bySEdit.Formalisms.Petri.PetriOutPort
                      extended bySEdit.Formalisms.Petri.PetriStringGROutPort
All Implemented Interfaces:
PetriPlaceBehavior

public class PetriStringGROutPort
extends PetriOutPort


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
 String getGroup()
          Get the value of group.
 String getRole()
          Get the value of role.
 void produce(Object e)
           
 void setGroup(String v)
          Set the value of group.
 void setRole(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

PetriStringGROutPort

public PetriStringGROutPort()
Method Detail

getGroup

public String getGroup()
Get the value of group.

Returns:
Value of group.

setGroup

public void setGroup(String v)
Set the value of group.

Parameters:
v - Value to assign to group.

getRole

public String getRole()
Get the value of role.

Returns:
Value of role.

setRole

public void setRole(String v)
Set the value of role.

Parameters:
v - Value to assign to role.

produce

public void produce(Object e)
Specified by:
produce in interface PetriPlaceBehavior
Overrides:
produce in class PetriPlace


Copyright © J. Ferber, O. Gutknecht All Rights Reserved.