com.satline.expr
Class UpperFunctionTerm

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

All Implemented Interfaces:

Expression, java.io.Serializable

public class UpperFunctionTerm
extends UnaryTerm

This class defines an upper function term within an expression.

Author:

Teubner

See Also:

Serialized Form

Constructor Summary

UpperFunctionTerm()
Default constructor.

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

UpperFunctionTerm

public UpperFunctionTerm()

Default constructor.

UpperFunctionTerm

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