fmrisc.ProofNavigator.Syntax

Class PowerTerm

java.lang.Object

fmrisc.ProofNavigator.Syntax.ASTBase

fmrisc.ProofNavigator.Syntax.ExpressionBase

fmrisc.ProofNavigator.Syntax.BinaryExpression

fmrisc.ProofNavigator.Syntax.PowerTerm

All Implemented Interfaces:

AST, Expression

public final class PowerTerm
extends BinaryExpression

Handling of power terms.

Constructor Summary

Constructors

Constructor and Description
PowerTerm(Expression base1, Expression base2) construct power term with components base1 and base2

Method Summary

Modifier and Type	Method and Description
AST	accept(ASTVisitor visitor) Accept visitor for a visit.
BinaryExpression	construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
int	getPriority() get binding level for printing (lower numbers mean greater binding power)
Type	getType() get result type
Expression	instantiate() return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers
void	printCore(java.io.PrintWriter out) Prints text representation on out (without new line termination).
void	setType(Type t) set result type

Methods inherited from class fmrisc.ProofNavigator.Syntax.BinaryExpression

getFirst, getSecond

Methods inherited from class fmrisc.ProofNavigator.Syntax.ExpressionBase

printPriority

Methods inherited from class fmrisc.ProofNavigator.Syntax.ASTBase

print, printParens, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface fmrisc.ProofNavigator.Syntax.AST

print, printParens, toString

Constructor Detail

PowerTerm

public PowerTerm(Expression base1,
                 Expression base2)

construct power term with components base1 and base2

Parameters:

base1 - the first component

base2 - the second component

Method Detail

getType

public Type getType()

get result type

Returns:

the type

setType

public void setType(Type t)

set result type

Parameters:

t - the type

getPriority

public int getPriority()

get binding level for printing (lower numbers mean greater binding power)

Specified by:

getPriority in interface Expression

Specified by:

getPriority in class ExpressionBase

Returns:

the priority level

construct

public BinaryExpression construct(Expression first,
                                  Expression second)

Construct binary expression of the same kind as this expression.

Specified by:

construct in class BinaryExpression

Parameters:

first - an expression.

second - an expression.

Returns:

a binary expression of the same kind as this expression with subexpressions first and second.

instantiate

public Expression instantiate()

return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers

Specified by:

instantiate in interface Expression

Overrides:

instantiate in class BinaryExpression

Returns:

the instantiated copy

accept

public AST accept(ASTVisitor visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class BinaryExpression

Parameters:

visitor - the visitor who is accepted by this node.

Returns:

the result of the visit (may be null).

printCore

public void printCore(java.io.PrintWriter out)

Prints text representation on out (without new line termination).

Specified by:

printCore in interface AST

Overrides:

printCore in class BinaryExpression

Parameters:

out - the stream on which the text is written