org.processmining.exporting.petrinet.cpnexport
Class ProductColorSet

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

public class ProductColorSet
extends CpnColorSet

Defines a product color set for CPN tools

Author:
rmans, arozinat

Field Summary
 
Fields inherited from class org.processmining.exporting.petrinet.cpnexport.CpnColorSet
myNameColorSet
 
Constructor Summary
ProductColorSet()
          default constructor
ProductColorSet(java.lang.String name)
          Constructor
 
Method Summary
 void addNameColorSet(java.lang.String nameColorSet)
          Adds a name of a colorset that together with the other names of colorsets has to form this product color set.
 void setName(java.lang.String name)
          Set the name of this product color set.
 void setTimed(boolean timed)
          Indicates whether this product color set needs to be timed.
 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

ProductColorSet

public ProductColorSet()
default constructor


ProductColorSet

public ProductColorSet(java.lang.String name)
Constructor

Parameters:
name - String the name of the product color set.
Method Detail

setName

public void setName(java.lang.String name)
Set the name of this product color set.

Parameters:
name - String the name

addNameColorSet

public void addNameColorSet(java.lang.String nameColorSet)
Adds a name of a colorset that together with the other names of colorsets has to form this product color set.

Parameters:
nameColorSet - String the name of the color set to be added.

setTimed

public void setTimed(boolean timed)
Indicates whether this product color set needs to be timed.

Parameters:
timed - boolean

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