Class and Description |
---|
FormulaParameter |
LTLParser
LTLParser is an parser for the LTL-language used in a LTL checking plugin for
the ProM framework.
|
Class and Description |
---|
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).
|
AttributeNoValueException
AttributeNoValueException is generated when a attribute does not exists in a
process instance or audit trail entry.
|
DateAttribute
DateAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
NumberAttribute
NumberAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
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.
|
SetAttribute
SetAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
StringAttribute
StringAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
Class and Description |
---|
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).
|
AttributeNoValueException
AttributeNoValueException is generated when a attribute does not exists in a
process instance or audit trail entry.
|
FormulaParameter |
LTLParser
LTLParser is an parser for the LTL-language used in a LTL checking plugin for
the ProM framework.
|
LTLParserConstants |
LTLParserTokenManager |
LTLParserTreeConstants |
Node |
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.
|
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 |
Token
Describes the input token stream.
|
Class and Description |
---|
FormulaParameter |
LTLParser
LTLParser is an parser for the LTL-language used in a LTL checking plugin for
the ProM framework.
|
Node |