org.jacop.fz

Class ASTIntTiExprTail

java.lang.Object

org.jacop.fz.SimpleNode

org.jacop.fz.ASTIntTiExprTail

All Implemented Interfaces:

Node

public class ASTIntTiExprTail
extends SimpleNode

Field Summary

Fields inherited from class org.jacop.fz.SimpleNode

children, id, parent, parser, value

Constructor Summary

Constructors

Constructor and Description
ASTIntTiExprTail(int id)
ASTIntTiExprTail(Parser p, int id)

Method Summary

Modifier and Type	Method and Description
int	getHigh()
int	getLow()
int	getType()
void	setLowHigh(int l, int h)
void	setType(int t)
String	toString()

Methods inherited from class org.jacop.fz.SimpleNode

dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ASTIntTiExprTail

public ASTIntTiExprTail(int id)

ASTIntTiExprTail

public ASTIntTiExprTail(Parser p,
                        int id)

Method Detail

setType

public void setType(int t)

getType

public int getType()

setLowHigh

public void setLowHigh(int l,
                       int h)

getLow

public int getLow()

getHigh

public int getHigh()

toString

public String toString()

Overrides:

toString in class SimpleNode