org.processmining.plugins.ltlchecker.formulatree

Class StringCompNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

org.processmining.plugins.ltlchecker.formulatree.FormulaNode

org.processmining.plugins.ltlchecker.formulatree.CompNode

org.processmining.plugins.ltlchecker.formulatree.StringCompNode

public class StringCompNode
extends CompNode

StringCompNode is a node class of the formula tree denoting comparator operators for strings: ==, !=, ~=, <=, >=, < and >.

Version:

0.1

Author:

HT de Beer, Fabrizio M. Maggi

Field Summary

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

BIGGER, BIGGEREQUAL, EQUAL, IN, LESSER, LESSEREQUAL, NOTEQUAL, REGEXPEQUAL

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

nr

Constructor Summary

Constructors

Constructor and Description
StringCompNode(int op)

Method Summary

Modifier and Type	Method and Description
void	setAttribute(StringAttribute attr) Set the attribute of this node.
void	setValue(StringValueNode val) Set the righthand side value of this node.
java.lang.String	toString() Write this node as a string
boolean	value(org.deckfour.xes.model.XTrace pi, java.util.LinkedList ates, int ateNr) Compute the value of this node, that is te value of this node given the i-th ate of pi, computed by calling the value method of the children.

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

opAsString

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

Constructor Detail

StringCompNode

public StringCompNode(int op)

Method Detail

setAttribute

public void setAttribute(StringAttribute attr)

Set the attribute of this node.

Parameters:

attr - The attribute to set.

setValue

public void setValue(StringValueNode val)

Set the righthand side value of this node.

Parameters:

val - The value of this node.

value

public boolean value(org.deckfour.xes.model.XTrace pi,
                     java.util.LinkedList ates,
                     int ateNr)

Compute the value of this node, that is te value of this node given the i-th ate of pi, computed by calling the value method of the children.

Specified by:

value in class FormulaNode

Parameters:

pi - The current process instance.

ate - The current audit trail entry of pi.

Returns:

The value of this node computed by calling the value method of the children applied to the operator of this node.

toString

public java.lang.String toString()

Description copied from class: FormulaNode

Write this node as a string

Specified by:

toString in class FormulaNode

Returns:

this node as a string