org.processmining.exporting.petrinet.cpnexport
Class RecordColorSet

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

public class RecordColorSet
extends CpnColorSet

Defines a record color set in CPN tools.

Author:
rmans, arozinat

Field Summary
 
Fields inherited from class org.processmining.exporting.petrinet.cpnexport.CpnColorSet
myNameColorSet
 
Constructor Summary
RecordColorSet()
          default constructor
RecordColorSet(java.lang.String name)
          constructor
 
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 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

RecordColorSet

public RecordColorSet()
default constructor


RecordColorSet

public RecordColorSet(java.lang.String name)
constructor

Parameters:
name - String the name of this record colorset
Method Detail

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