fmrisc.ProgramExplorer.Syntax.Logic

Interface ProgramVariable

All Superinterfaces:

AST, ASTLogic, ASTSource, Expression, Formula, Term

All Known Implementing Classes:

PostVariable, PreVariable, ProgramVariableBase

public interface ProgramVariable
extends Term, Formula

Interface to any expression denoting a storage location.

Method Summary

Methods

Modifier and Type	Method and Description
Name	getName() Get name of variable.

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Logic.Term

getType, setType

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Logic.Expression

getPrecedence, isLeftAssociative, isRightAssociative

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

getName

Name getName()

Get name of variable.

Returns:

the name.