fmrisc.ProgramExplorer.Syntax.Logic

Interface Definition

All Superinterfaces:

AST, ASTSource, Declaration

All Known Subinterfaces:

ValueDefinition

All Known Implementing Classes:

AxiomDefinition, DefinitionBase, FormulaDefinition, TypeDefinition, ValueDeclarationInitialized, ValueDefinitionClass

public interface Definition
extends Declaration

Interface to any kind of logical definition.

Method Summary

Modifier and Type	Method and Description
Expression	getValue() Get the value of the defined entity.

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

Expression getValue()

Get the value of the defined entity.

Returns:

the entity's value.