Interface | Description |
---|---|
LTLParserConstants | |
LTLParserTreeConstants | |
Node |
Class | Description |
---|---|
ASTarg | |
ASTargList | |
ASTAttribute | |
ASTattributeDefinition | |
ASTBinaryProposition | |
ASTComparison | |
ASTconceptSet | |
ASTDummyVar | |
ASTExpr | |
ASTFormulaCall | |
ASTformulaDefinition | |
ASTLiteral | |
ASTparse | |
ASTProposition | |
ASTQuantification | |
ASTrenaming | |
ASTStringList | |
ASTUnaryProposition | |
ASTValueAttribute | |
ASTValues | |
Attribute |
Attribute is an class containing an defined attribute, that is, its
identifier and its scope (that is, is it an attribute of an process instance
or of an audit trail entry).
|
AttributeSet | |
ConceptSetAttribute | |
DateAttribute |
DateAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
FormulaParameter | |
LTLParser |
LTLParser is an parser for the LTL-language used in a LTL checking plugin for
the ProM framework.
|
LTLParserTokenManager | |
NumberAttribute |
NumberAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
SetAttribute |
SetAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
SimpleNode | |
StringAttribute |
StringAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
Token |
Describes the input token stream.
|
Exception | Description |
---|---|
AttributeNoValueException |
AttributeNoValueException is generated when a attribute does not exists in a
process instance or audit trail entry.
|
ParseAttributeException |
ParseAttributeException is generated when a string value of an attribute is
parsed to the type of the attribute and there is going something wrong with
the parsing.
|
ParseException |
This exception is thrown when parse errors are encountered.
|
Error | Description |
---|---|
TokenMgrError |