org.processmining.exporting.petrinet.cpnexport
Class StringColorSet

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

public class StringColorSet
extends CpnColorSet

Defines a string color set for cpn tools. For a string color set it also possible to have some restrictions (like providing a range for the values that are available), but this is not implemented in this class.

Author:
rmans, arozinat

Field Summary
 
Fields inherited from class org.processmining.exporting.petrinet.cpnexport.CpnColorSet
myNameColorSet
 
Constructor Summary
StringColorSet(java.lang.String name)
          Default constructor
 
Method Summary
 void setTimed(boolean timed)
          Indicates whether this string color set is timed or not.
 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

StringColorSet

public StringColorSet(java.lang.String name)
Default constructor

Parameters:
name - String the name of the string color set
Method Detail

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

setTimed

public void setTimed(boolean timed)
Indicates whether this string color set is timed or not.

Parameters:
timed - boolean true when this string color set needs to be timed, false otherwise.