Package org.jacop.util.fsm

Class RegularExpressionParser.Sum

java.lang.Object

org.jacop.util.fsm.RegularExpressionParser.Expression

org.jacop.util.fsm.RegularExpressionParser.Sum

Enclosing class:

RegularExpressionParser

class RegularExpressionParser.Sum
extends RegularExpressionParser.Expression

Field Summary

Fields

Modifier and Type	Field	Description
List<RegularExpressionParser.Expression>	disj

Constructor Summary

Constructors

Constructor	Description
Sum(RegularExpressionParser.Expression a, RegularExpressionParser.Expression b)

Method Summary

Modifier and Type	Method	Description
void	addExp(RegularExpressionParser.Expression e)
void	addSum(RegularExpressionParser.Sum s)
int	getType()
boolean	isSimple()	It specifies if the expression is simple.
FSM	parseToFSM()	It creates Finite State Machine from the expression.
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

disj

public List<RegularExpressionParser.Expression> disj

Constructor Details

Sum

public Sum(RegularExpressionParser.Expression a,
 RegularExpressionParser.Expression b)

Method Details

toString

public String toString()

Overrides:

toString in class Object

getType

public int getType()

Specified by:

getType in class RegularExpressionParser.Expression

Returns:

type

isSimple

public boolean isSimple()

Description copied from class: RegularExpressionParser.Expression

It specifies if the expression is simple.

Overrides:

isSimple in class RegularExpressionParser.Expression

Returns:

true if expression is a literal or disjunction of literals.

addExp

public void addExp(RegularExpressionParser.Expression e)

addSum

public void addSum(RegularExpressionParser.Sum s)

parseToFSM

public FSM parseToFSM()

Description copied from class: RegularExpressionParser.Expression

It creates Finite State Machine from the expression.

Specified by:

parseToFSM in class RegularExpressionParser.Expression

Returns:

Finite State Machine corresponding