|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ManagerID | |
---|---|
org.processmining.exporting.petrinet.cpnexport |
Uses of ManagerID in org.processmining.exporting.petrinet.cpnexport |
---|
Methods in org.processmining.exporting.petrinet.cpnexport that return ManagerID | |
---|---|
ManagerID |
ColoredPetriNet.getIDManager()
Returns the idManager of this model. |
Methods in org.processmining.exporting.petrinet.cpnexport with parameters of type ManagerID | |
---|---|
void |
ColoredPetriNet.generateCpnIDs(ManagerID idManager)
Generates an unique cpnID for all places and all transitions in this model. |
void |
ColoredPetriNet.setIDManager(ManagerID idMan)
Sets the idManager for this model. |
abstract void |
CpnColorSet.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). |
void |
EnumeratedColorSet.write(java.io.BufferedWriter bw,
ManagerID idMan)
Writes the colorset to the CPN file (declarations part). |
void |
IntegerColorSet.write(java.io.BufferedWriter bw,
ManagerID idMan)
|
void |
ProductColorSet.write(java.io.BufferedWriter bw,
ManagerID idMan)
|
void |
RecordColorSet.write(java.io.BufferedWriter bw,
ManagerID idMan)
|
void |
StringColorSet.write(java.io.BufferedWriter bw,
ManagerID idMan)
|
void |
SubSetColorSet.write(java.io.BufferedWriter bw,
ManagerID idMan)
|
static void |
ManagerXml.writeArcTag(java.io.BufferedWriter bw,
ManagerID idMan,
java.lang.String orientation,
java.lang.String transEnd,
java.lang.String placeEnd,
int xPos,
int yPos,
java.lang.String inscription,
java.util.ArrayList bendpoints)
Writes a complete arc tag in the CPN Tools format. |
static void |
ManagerXml.writeBeginMonitorForFunction(java.io.BufferedWriter bw,
ManagerID idMan,
java.lang.String nameMonitor,
java.lang.String nodeidref,
java.util.ArrayList<java.lang.String> pageinstanceidrefs)
Writes information that is needed for creating a monitor for a function in cpn-tools. |
static void |
ManagerXml.writeControlFlowDec(java.io.BufferedWriter bw,
ManagerID idMan,
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType cpnVarForCaseId,
IntegerColorSet colorSetForCaseId,
boolean timed)
Writes the block for the control flow declarations in the cpn-file. |
static void |
ManagerXml.writeDataDec(java.io.BufferedWriter bw,
ManagerID idMan,
java.util.List<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> cpnVarsDataAttr,
CpnColorSet colorSetDataAttr,
java.util.List<CpnColorSet> colorSetsSepDatAttr)
Writes the block for the data declarations in the cpn-file |
static void |
ManagerXml.writeFusionPlaces(java.io.BufferedWriter bw,
ManagerID idMan,
java.util.HashMap<java.lang.String,java.util.HashSet> fusionPlaces)
|
static void |
ManagerXml.writeLogDeclarations(java.io.BufferedWriter bw,
ManagerID idMan,
int offset,
HighLevelProcess.TimeUnit timeunit)
Writes the block for the log declarations in the cpn-file. |
static void |
ManagerXml.writeMarkingSizeMonitorResources(java.io.BufferedWriter bw,
ManagerID idMan,
java.util.HashMap<java.lang.String,java.util.ArrayList> infoForMonitoringResources)
Writes the monitor for keeping track of the resources in the global resources place. |
static void |
ManagerXml.writeMonitorActionFunctionForInit(java.io.BufferedWriter bw,
ManagerID idMan)
Writes the action function for the monitor of the initialisation transition that will be used for creating separate files for each case that enters the net. |
static void |
ManagerXml.writeMonitorActionFunctionNormal(java.io.BufferedWriter bw,
ManagerID idMan,
java.lang.String nameTransition,
java.lang.String eventType,
java.lang.String cpnTypeOfCaseId,
java.lang.String cpnTypeOfOriginator,
java.lang.String cpnTypeOfDataVar,
java.util.HashMap nameDataAttrAndType)
Writes the action function for the monitor (of a transition) that is used for the logging functionality in cpn-tools. |
static void |
ManagerXml.writeMonitorInitFunction(java.io.BufferedWriter bw,
ManagerID idMan)
Writes the init function for the monitor (of a transition) that is used for the logging functionality in cpn-tools. |
static void |
ManagerXml.writeMonitorInitFunctionForFolderGeneration(java.io.BufferedWriter bw,
ManagerID idMan)
Writes the init function for generating the logs folder in which the logs need to be stored. |
static void |
ManagerXml.writeMonitorObserverFunction(java.io.BufferedWriter bw,
ManagerID idMan,
java.lang.String namePage,
java.lang.String nameTransition,
java.util.ArrayList<java.lang.String> boundedVars,
java.util.ArrayList<java.lang.String> valuesTrue,
java.util.ArrayList<java.lang.String> valuesFalse,
int numberInstantiations)
Writes the observer function for the monitor (of a transition) that is used for the logging functionality in cpn-tools. |
static void |
ManagerXml.writeMonitorPredicateFunction(java.io.BufferedWriter bw,
ManagerID idMan,
java.lang.String namePage,
java.lang.String nameTransition,
java.util.ArrayList<java.lang.String> boundedVars,
int numberInstantiations)
Writes the predicate function for the monitor (of a transition) that is used for the logging functionality in cpn-tools. |
static void |
ManagerXml.writeMonitorStopFunctionAndEndMonitor(java.io.BufferedWriter bw,
ManagerID idMan)
Writes the stop function for the monitor (of a transition) that is used for the logging functionality in cpn-tools. |
static void |
ManagerXml.writePlaceTag(java.io.BufferedWriter bw,
java.lang.String placeID,
ManagerID idMan,
int xPos,
int yPos,
java.lang.String label,
int width,
int height,
java.lang.String placeType,
java.lang.String initMark,
java.lang.String portType,
java.lang.String nameFusionPlace)
Writes a complete place tag in the CPN Tools format. |
static void |
ManagerXml.writePossibilityDependencies(java.io.BufferedWriter bw,
ManagerID idMan,
java.util.HashSet<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> probDeps)
Write information about the possibility dependencies to the cpn-file. |
static void |
ManagerXml.writeProductColorSetsForPlaces(java.io.BufferedWriter bw,
ManagerID idMan,
java.util.Set<ProductColorSet> productColorSetsForPlaces,
boolean timed)
Writes the product color set declarations that are needed for some places in the cpn model. |
static void |
ManagerXml.writeRandomValuesFunctions(java.io.BufferedWriter bw,
ManagerID idMan,
java.util.ArrayList<org.processmining.exporting.petrinet.cpnexport.CpnFunction> numericTypeDataAttrCpnFunc)
Writes the functions that generate random values which are needed for some data attributes |
static void |
ManagerXml.writeResourceDec(java.io.BufferedWriter bw,
ManagerID idMan,
java.util.List<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> cpnVarsGroups,
java.util.List<SubSetColorSet> colorSetsGroups)
Writes the block for the group and the resources declarations in the cpn-file |
static void |
ManagerXml.writeStandDecl(java.io.BufferedWriter bw,
ManagerID idMan)
Writes the block for the standard declarations in the cpn-file. |
static void |
ManagerXml.writeStartCase(java.io.BufferedWriter bw,
ManagerID idMan,
org.processmining.exporting.petrinet.cpnexport.CpnVarAndType cpnVarForStartCase,
StringColorSet colorSetStartCase)
|
static void |
ManagerXml.writeThroughputTimeMonitor(java.io.BufferedWriter bw,
ManagerID idMan,
java.lang.String cpnID,
java.util.ArrayList<java.lang.String> pageInstanceIdRefs,
java.lang.String dataVar)
Writes the monitor for calculating the throughput time to the cpn file |
static void |
ManagerXml.writeTransitionTag(java.io.BufferedWriter bw,
java.lang.String transitionID,
ManagerID idMan,
int xPos,
int yPos,
java.lang.String label,
int width,
int height,
java.lang.String guard,
java.lang.String timeDelay,
java.lang.String codeInscription,
java.lang.String subpageID,
java.lang.String subpageTagName,
java.util.ArrayList portsToSockets,
boolean isInvisibleTask)
Writes a complete transition tag in the CPN Tools format. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |