fmrisc.ProofNavigator.Syntax

Class DeclarationBase

java.lang.Object

fmrisc.ProofNavigator.Syntax.ASTBase

fmrisc.ProofNavigator.Syntax.DeclarationBase

All Implemented Interfaces:

AST, Declaration

Direct Known Subclasses:

FormulaDeclaration, TypeDeclaration, ValueDeclaration

public abstract class DeclarationBase
extends ASTBase
implements Declaration

Base class of type expressions.

Constructor Summary

Constructors

Constructor and Description
DeclarationBase()

Method Summary

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

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.Declaration

getIdentifier, getSymbol

Methods inherited from interface fmrisc.ProofNavigator.Syntax.AST

accept, printCore, printParens, toString

Constructor Detail

DeclarationBase

public DeclarationBase()

Method Detail

print

public void print(java.io.PrintWriter out)

Prints text representation of declaration. Overrides ASTBase.print such that parentheses are never printed around declarations.

Specified by:

print in interface AST

Overrides:

print in class ASTBase

Parameters:

out - the stream on which the text is written