|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.exporting.petrinet.cpnexport.CpnColorSet
org.processmining.exporting.petrinet.cpnexport.SubSetColorSet
public class SubSetColorSet
Defines a subset color set of CPN tools
Field Summary |
---|
Fields inherited from class org.processmining.exporting.petrinet.cpnexport.CpnColorSet |
---|
myNameColorSet |
Constructor Summary | |
---|---|
SubSetColorSet()
Default constructor |
|
SubSetColorSet(java.lang.String nameColorSet,
java.lang.String subSetName)
Constructor |
Method Summary | |
---|---|
void |
addPossibleValue(java.lang.String value)
Adds a value to this list of values in this subset. |
java.lang.String |
getInitMarking()
Retrieves an initial marking based on the possible values that have been declared for this subset color set. |
java.util.HashSet<java.lang.String> |
getPossibleValues()
Obtains all the values of this subset color set |
void |
setSubSetName(java.lang.String subSetName)
The type that belongs to all the values that belong to this subset 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 |
---|
public SubSetColorSet()
public SubSetColorSet(java.lang.String nameColorSet, java.lang.String subSetName)
nameColorSet
- String the name of the subset color setsubSetName
- String the type of all the values in the subset color set.Method Detail |
---|
public void addPossibleValue(java.lang.String value)
value
- String the value to be added.public java.util.HashSet<java.lang.String> getPossibleValues()
public java.lang.String getInitMarking()
public void setSubSetName(java.lang.String subSetName)
subSetName
- Stringpublic void write(java.io.BufferedWriter bw, ManagerID idMan) throws java.io.IOException
CpnColorSet
write
in class CpnColorSet
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 |