fmrisc.ProgramExplorer.Syntax.Logic

Interface ValueDefinition

All Superinterfaces:

AST, ASTSource, Declaration, Definition

All Known Implementing Classes:

ValueDeclarationInitialized, ValueDefinitionClass

public interface ValueDefinition
extends Definition

Interface to a value definition.

Method Summary

Modifier and Type	Method and Description
Term	getValue() Get 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

getValue

Term getValue()

Get value.

Specified by:

getValue in interface Definition

Returns:

the value.