fmrisc.ProgramExplorer.Syntax.Logic

Interface ValueDeclaration

All Superinterfaces:

AST, ASTSource, Declaration

All Known Implementing Classes:

TypedIdentifier, ValueDeclarationClass, ValueDeclarationFormula, ValueDeclarationInitialized

public interface ValueDeclaration
extends Declaration

Interface to a value declaration.

Method Summary

Modifier and Type	Method and Description
Type	getType() Get type of value.

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Declaration

getName

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.ASTSource

getPosition, setPosition

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

accept, accept, acceptChildren, print, printCore, toString, toStringCore

Method Detail

getType

Type getType()

Get type of value.

Returns:

the type.