com.satline.expr
Class LengthFunctionTerm

java.lang.Object
  com.satline.expr.UnaryTerm
      com.satline.expr.LengthFunctionTerm

All Implemented Interfaces:

Expression, java.io.Serializable

public class LengthFunctionTerm
extends UnaryTerm

This class defines a length function term within an expression.

Author:

Teubner

See Also:

Serialized Form

Constructor Summary

LengthFunctionTerm()
Default constructor.

LengthFunctionTerm(Expression operand)
Constructor using fields.

Method Summary

<E,F> E

greet(ExpressionWalker<E,F> visitor, F arg) Handle visit of ExpressionWalker.

Methods inherited from class com.satline.expr.UnaryTerm

equals, getOperand, hashCode, setOperand

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LengthFunctionTerm

public LengthFunctionTerm()

Default constructor.

LengthFunctionTerm

public LengthFunctionTerm(Expression operand)

Constructor using fields.

Parameters:

operand -

Method Detail

greet

public <E,F> E greet(ExpressionWalker<E,F> visitor,
                     F arg)
        throws ExpressionException

Handle visit of ExpressionWalker.

Parameters:

visitor - - the ExpressionWalker visiting this object

arg - - implementation dependent argument

Returns:

implementation dependent value

Throws:

ExpressionException