|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.exporting.petrinet.cpnexport.CpnColorSet
public abstract class CpnColorSet
An abstract class that defines the structure for each colorset that is available in CPN tools. In the case that a new color set has to be defined, only the write method needs to be implemented, because all the other properties hold for each colorset in CPN tools. If needed any inheriting class may be defined its own additional properties and methods
Field Summary | |
---|---|
protected java.lang.String |
myNameColorSet
the name of the colorset |
Constructor Summary | |
---|---|
CpnColorSet()
|
Method Summary | |
---|---|
boolean |
equals(java.lang.Object o)
Compares this object with an other CpnColorSet object for equality. |
java.lang.String |
getNameColorSet()
Retrieves the name of the colorset |
int |
hashCode()
Calculates the hashcode. |
void |
setNameColorSet(java.lang.String name)
Sets the name of the colorset. |
abstract 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 |
Field Detail |
---|
protected java.lang.String myNameColorSet
Constructor Detail |
---|
public CpnColorSet()
Method Detail |
---|
public java.lang.String getNameColorSet()
public void setNameColorSet(java.lang.String name)
name
- String the name of the colorset.public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
o
- Object the object that needs to be compared with this object.
public int hashCode()
hashCode
in class java.lang.Object
public abstract void write(java.io.BufferedWriter bw, ManagerID idMan) throws java.io.IOException
bw
- BufferedWriter the BufferedWriter used to stream the data to the file.idMan
- ManagerID the idManager that generates new cpn IDs. (@see ManagerID.java)
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |