Package de.viadee.bpm.vPAV.processing.model.data

Class Summary

Class	Description
AnomalyContainer
CheckerIssue	Class for holding issues (errors, warnings, infos) from the checkers.
ModelDispatchResult
OutSetCFG	helper class storing information for Data-flow analysis algorithm
ProcessVariable	Represents a process variable including its name and operations split into reads, writes and deletes.
ProcessVariableOperation	Represents a process variable operation with some meaningful information.
VariableBlock	helper class storing information for data-flow analysis assigns ProcessVariables to basic blocks of the control-flow graph

Enum Summary

Enum	Description
Anomaly	Represents anomalies like DD("defined-defined"), DU("defined-undefined"), UR("undefined-read");
CamundaProcessVariableFunctions	Enum storing Camunda methods of ProcessVariable operations.
CriticalityEnum	Criticality Enum representing the severity of an issue
ElementChapter	Element chapter
InOutState
KnownElementFieldType	Known element field types
VariableOperation