org.processmining.plugins.ltlchecker.parser

Class StringAttribute

java.lang.Object

org.processmining.plugins.ltlchecker.parser.Attribute

org.processmining.plugins.ltlchecker.parser.StringAttribute

public class StringAttribute
extends Attribute

StringAttribute is a specialised Attribute class implementing an value method, used to compute the value of an attribute given the context.

Version:

0.1

Author:

HT de Beer

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
StringAttribute(java.lang.String value, int kind, Attribute type)
StringAttribute(java.lang.String value, int scope, int type, int kind)

Method Summary

Modifier and Type	Method and Description
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

StringAttribute

public StringAttribute(java.lang.String value,
                       int scope,
                       int type,
                       int kind)

StringAttribute

public StringAttribute(java.lang.String value,
                       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

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.

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