org.processmining.plugins.ltlchecker.parser

Class ConceptSetAttribute

java.lang.Object

org.processmining.plugins.ltlchecker.parser.Attribute

org.processmining.plugins.ltlchecker.parser.SetAttribute

org.processmining.plugins.ltlchecker.parser.ConceptSetAttribute

public class ConceptSetAttribute
extends SetAttribute

Field Summary

Fields inherited from class org.processmining.plugins.ltlchecker.parser.Attribute

ATE, ATTRIBUTE, CONCEPTSET, DATE, LITERAL, NUMBER, PI, SET, STRING

Constructor Summary

Constructors

Constructor and Description
ConceptSetAttribute(java.util.List<java.lang.String> values, int kind, Attribute type)

Method Summary

Modifier and Type	Method and Description
java.util.List<java.lang.String>	getModelReferences()
java.util.List<java.lang.String>	modelReferences(org.deckfour.xes.model.XTrace pi, java.util.LinkedList ates, int ateNr)
java.lang.String	value(org.deckfour.xes.model.XTrace pi, java.util.LinkedList ates, int ateNr) The value method.

Methods inherited from class org.processmining.plugins.ltlchecker.parser.Attribute

asParseableArgument, asParseableAttributeDefinition, asParseableLiteralValue, asParseableName, asParseableRenaming, asParseableValue, getAttributeId, getDateParser, getKind, getScope, getType, getValue, isAte, isAttribute, isConceptSet, isDate, isLiteral, isNumber, isPi, isSet, isString, setDateParser, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ConceptSetAttribute

public ConceptSetAttribute(java.util.List<java.lang.String> values,
                           int kind,
                           Attribute type)

Method Detail

value

public java.lang.String value(org.deckfour.xes.model.XTrace pi,
                              java.util.LinkedList ates,
                              int ateNr)
                       throws AttributeNoValueException,
                              ParseAttributeException

Description copied from class: SetAttribute

The value method. Given an processinstance, a list of audit trail entries and the number of the `current' audit trail entry, give the value of this attribute as a number.

Overrides:

value in class SetAttribute

Parameters:

pi - The current process instance.

ates - The list with audit trail entries of pi.

ateNr - The number of the current ate in ates.

Returns:

The value of this attribute given the context. That is, te value of the literal or the value of the attribute of the current ate.

Throws:

AttributeNoValueException

ParseAttributeException

modelReferences

public java.util.List<java.lang.String> modelReferences(org.deckfour.xes.model.XTrace pi,
                                                        java.util.LinkedList ates,
                                                        int ateNr)
                                                 throws AttributeNoValueException

Overrides:

modelReferences in class SetAttribute

Throws:

AttributeNoValueException

getModelReferences

public java.util.List<java.lang.String> getModelReferences()