fmrisc.Syntax
Class AxiomDeclaration

java.lang.Object
  fmrisc.Syntax.ASTBase
      fmrisc.Syntax.DeclarationBase
          fmrisc.Syntax.FormulaDeclaration
              fmrisc.Syntax.AxiomDeclaration

All Implemented Interfaces:

AST, Declaration

public final class AxiomDeclaration
extends FormulaDeclaration

Handling of type declarations.

Constructor Summary

AxiomDeclaration(FormulaDeclIdentifier name, Expression formula)
Construct axiom declaration with denoted name and formula.

Method Summary

AST	accept(ASTVisitor visitor) Accept visitor for a visit.
void	printCore(java.io.PrintWriter out) Prints text representation of tree on out (without new line termination).

Methods inherited from class fmrisc.Syntax.FormulaDeclaration

getFormula, getFormulaDeclIdentifier, getIdentifier, getSymbol

Methods inherited from class fmrisc.Syntax.DeclarationBase

print

Methods inherited from class fmrisc.Syntax.ASTBase

printParens, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface fmrisc.Syntax.AST

printParens, toString

Constructor Detail

AxiomDeclaration

public AxiomDeclaration(FormulaDeclIdentifier name,
                        Expression formula)

Construct axiom declaration with denoted name and formula.

Parameters:

name - the declared name

formula - the formula associated to the name

Method Detail

printCore

public void printCore(java.io.PrintWriter out)

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

Specified by:

printCore in interface AST

Overrides:

printCore in class FormulaDeclaration

Parameters:

out - the stream on which the text is written

accept

public AST accept(ASTVisitor visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class FormulaDeclaration

Parameters:

visitor - the visitor who is accepted by this node.

Returns:

the result of the visit (may be null)