org.processmining.plugins.ltlchecker.formulatree

Class DateValueNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

org.processmining.plugins.ltlchecker.formulatree.ValueNode

org.processmining.plugins.ltlchecker.formulatree.DateValueNode

public class DateValueNode
extends ValueNode

DateValueNode is a representation of a string literal or attribute.

Version:

0.2

Author:

HT de Beer, Fabrizio M. Maggi

Field Summary

Fields

Modifier and Type	Field and Description
static int	VALUE It is an attribute of this ate.

Fields inherited from class org.processmining.plugins.ltlchecker.formulatree.TreeNode

nr

Constructor Summary

Constructors

Constructor and Description
DateValueNode(int type)

Method Summary

Modifier and Type	Method and Description
java.lang.String	asParseableDefaultValue()
void	setValue(DateAttribute val) Set the value.
java.lang.String	toString()
java.util.Date	value(org.deckfour.xes.model.XTrace pi, java.util.LinkedList ates, int ateNr) Compute the value of this node, either getting the string representation fo the attribute or giving the literal.

Methods inherited from class org.processmining.plugins.ltlchecker.formulatree.ValueNode

getBinder, setBinder

Methods inherited from class org.processmining.plugins.ltlchecker.formulatree.TreeNode

getNr

Methods inherited from class java.lang.Object

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

Field Detail

VALUE

public static final int VALUE

It is an attribute of this ate.

See Also:

Constant Field Values

Constructor Detail

DateValueNode

public DateValueNode(int type)

Method Detail

setValue

public void setValue(DateAttribute val)

Set the value.

Parameters:

val - The value to set.

value

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

Compute the value of this node, either getting the string representation fo the attribute or giving the literal.

Parameters:

pi - The current process instance.

ate - The current audit trail entry of this pi.

Returns:

The date of this node.

Throws:

AttributeNoValueException

ParseAttributeException

toString

public java.lang.String toString()

Specified by:

toString in class ValueNode

asParseableDefaultValue

public java.lang.String asParseableDefaultValue()

Specified by:

asParseableDefaultValue in class ValueNode