org.processmining.exporting.petrinet.cpnexport
Class SubSetColorSet

java.lang.Object
  extended by org.processmining.exporting.petrinet.cpnexport.CpnColorSet
      extended by org.processmining.exporting.petrinet.cpnexport.SubSetColorSet

public class SubSetColorSet
extends CpnColorSet

Defines a subset color set of CPN tools

Author:
rmans, arozinat

Field Summary
 
Fields inherited from class org.processmining.exporting.petrinet.cpnexport.CpnColorSet
myNameColorSet
 
Constructor Summary
SubSetColorSet()
          Default constructor
SubSetColorSet(java.lang.String nameColorSet, java.lang.String subSetName)
          Constructor
 
Method Summary
 void addPossibleValue(java.lang.String value)
          Adds a value to this list of values in this subset.
 java.lang.String getInitMarking()
          Retrieves an initial marking based on the possible values that have been declared for this subset color set.
 java.util.HashSet<java.lang.String> getPossibleValues()
          Obtains all the values of this subset color set
 void setSubSetName(java.lang.String subSetName)
          The type that belongs to all the values that belong to this subset color set.
 void write(java.io.BufferedWriter bw, ManagerID idMan)
          This method needs to be implemented, so that each colorset can write itself to the cpn-file (for the declarations part).
 
Methods inherited from class org.processmining.exporting.petrinet.cpnexport.CpnColorSet
equals, getNameColorSet, hashCode, setNameColorSet
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SubSetColorSet

public SubSetColorSet()
Default constructor


SubSetColorSet

public SubSetColorSet(java.lang.String nameColorSet,
                      java.lang.String subSetName)
Constructor

Parameters:
nameColorSet - String the name of the subset color set
subSetName - String the type of all the values in the subset color set.
Method Detail

addPossibleValue

public void addPossibleValue(java.lang.String value)
Adds a value to this list of values in this subset.

Parameters:
value - String the value to be added.

getPossibleValues

public java.util.HashSet<java.lang.String> getPossibleValues()
Obtains all the values of this subset color set

Returns:
HashSet a list of values. May be empty.

getInitMarking

public java.lang.String getInitMarking()
Retrieves an initial marking based on the possible values that have been declared for this subset color set.

Returns:
String the initial marking.

setSubSetName

public void setSubSetName(java.lang.String subSetName)
The type that belongs to all the values that belong to this subset color set.

Parameters:
subSetName - String

write

public void write(java.io.BufferedWriter bw,
                  ManagerID idMan)
           throws java.io.IOException
Description copied from class: CpnColorSet
This method needs to be implemented, so that each colorset can write itself to the cpn-file (for the declarations part).

Specified by:
write in class CpnColorSet
Parameters:
bw - BufferedWriter the BufferedWriter used to stream the data to the file.
idMan - ManagerID the idManager that generates new cpn IDs. (@see ManagerID.java)
Throws:
java.io.IOException