com.satline.expr
Class LowerFunctionTerm

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

All Implemented Interfaces:

Expression, java.io.Serializable

public class LowerFunctionTerm
extends UnaryTerm

This class defines a lower function term within an expression.

Author:

Teubner

See Also:

Serialized Form

Constructor Summary

LowerFunctionTerm()
Default constructor.

LowerFunctionTerm(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

LowerFunctionTerm

public LowerFunctionTerm()

Default constructor.

LowerFunctionTerm

public LowerFunctionTerm(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