fmrisc.ProofNavigator.Syntax

Class SelectorBase

java.lang.Object

fmrisc.ProofNavigator.Syntax.ASTBase

fmrisc.ProofNavigator.Syntax.SelectorBase

All Implemented Interfaces:

AST, Selector

Direct Known Subclasses:

SelectorIdentifier, SelectorIndex, SelectorNumber

public abstract class SelectorBase
extends ASTBase
implements Selector

Base class of selector expressions.

Constructor Summary

Constructors

Constructor and Description
SelectorBase()

Method Summary

Modifier and Type	Method and Description
void	print(java.io.PrintWriter out) Prints text representation of selector expression.

Methods inherited from class fmrisc.ProofNavigator.Syntax.ASTBase

printCore, printParens, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface fmrisc.ProofNavigator.Syntax.Selector

instantiate

Methods inherited from interface fmrisc.ProofNavigator.Syntax.AST

accept, printCore, printParens, toString

Constructor Detail

SelectorBase

public SelectorBase()

Method Detail

print

public void print(java.io.PrintWriter out)

Prints text representation of selector expression. Overrides ASTBase.print such that parentheses are never printed around selectors.

Specified by:

print in interface AST

Overrides:

print in class ASTBase

Parameters:

out - the stream on which the text is written