org.processmining.exporting.petrinet.cpnexport
Class EnumeratedColorSet

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

public class EnumeratedColorSet
extends CpnColorSet

This class represents an enumerated color set in CPN tools

Author:
rmans, arozinat

Field Summary
 
Fields inherited from class org.processmining.exporting.petrinet.cpnexport.CpnColorSet
myNameColorSet
 
Constructor Summary
EnumeratedColorSet()
          default constructor
EnumeratedColorSet(java.lang.String name)
          constructor
 
Method Summary
 void addPossibleValue(java.lang.String value)
          Adds a value to the list of possible values that are available for the enumerated colorset.
 void write(java.io.BufferedWriter bw, ManagerID idMan)
          Writes the colorset to the CPN file (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

EnumeratedColorSet

public EnumeratedColorSet()
default constructor


EnumeratedColorSet

public EnumeratedColorSet(java.lang.String name)
constructor

Parameters:
name - String the name of the enumerated colorset
Method Detail

addPossibleValue

public void addPossibleValue(java.lang.String value)
Adds a value to the list of possible values that are available for the enumerated colorset. If a similar value already exists, it will not be added again

Parameters:
value - String the value to be added.

write

public void write(java.io.BufferedWriter bw,
                  ManagerID idMan)
           throws java.io.IOException
Writes the colorset to the CPN file (declarations part).

Specified by:
write in class CpnColorSet
Parameters:
bw - BufferedWriter
idMan - ManagerID
Throws:
java.io.IOException