fmrisc.Syntax
Interface Declaration

All Superinterfaces:

AST

All Known Implementing Classes:

AxiomDeclaration, DeclarationBase, FormulaDeclaration, TypeDeclaration, ValueDeclaration

public interface Declaration
extends AST

Interface for declarations.

Method Summary

Identifier	getIdentifier() Returns declaration name.
Symbol	getSymbol() Returns symbol.

Methods inherited from interface fmrisc.Syntax.AST

accept, print, printCore, printParens, toString

Method Detail

getIdentifier

Identifier getIdentifier()

Returns declaration name.

Returns:

the name

getSymbol

Symbol getSymbol()

Returns symbol.

Returns:

the symbol (null, if not yet determined)