org.processmining.exporting.petrinet.cpnexport
Class RecordColorSet
java.lang.Object
org.processmining.exporting.petrinet.cpnexport.CpnColorSet
org.processmining.exporting.petrinet.cpnexport.RecordColorSet
public class RecordColorSet
- extends CpnColorSet
Defines a record color set in CPN tools.
- Author:
- rmans, arozinat
Method Summary |
void |
addRecord(java.lang.String nameRecord,
java.lang.String csNameRecord)
Adds a record to this record 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 java.lang.Object |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
RecordColorSet
public RecordColorSet()
- default constructor
RecordColorSet
public RecordColorSet(java.lang.String name)
- constructor
- Parameters:
name
- String the name of this record colorset
addRecord
public void addRecord(java.lang.String nameRecord,
java.lang.String csNameRecord)
- Adds a record to this record color set. A record has to consist of a name
and the name of a colorset.
- Parameters:
nameRecord
- String the name of the record.csNameRecord
- String the name of the color set.
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