org.processmining.exporting.petrinet.cpnexport
Class EnumeratedColorSet
java.lang.Object
org.processmining.exporting.petrinet.cpnexport.CpnColorSet
org.processmining.exporting.petrinet.cpnexport.EnumeratedColorSet
public class EnumeratedColorSet
- extends CpnColorSet
This class represents an enumerated color set in CPN tools
- Author:
- rmans, arozinat
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 java.lang.Object |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
EnumeratedColorSet
public EnumeratedColorSet()
- default constructor
EnumeratedColorSet
public EnumeratedColorSet(java.lang.String name)
- constructor
- Parameters:
name
- String the name of the enumerated colorset
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
- BufferedWriteridMan
- ManagerID
- Throws:
java.io.IOException