fmrisc.ProgramExplorer.Syntax.Program

Interface LoopStatement

All Superinterfaces:

AST, ASTProgram, ASTProgramAnnotated, ASTSource, Statement

All Known Implementing Classes:

ForLoopStatement, LoopStatementBase, WhileLoopStatement

public interface LoopStatement
extends Statement

The interface for loop statements

Method Summary

Modifier and Type	Method and Description
ProgramAnnotation	getLoopAnnotation() Get the loop annotation for this item.
void	setLoopAnnotation(ProgramAnnotation annotation) Set the loop annotation for this item.

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Program.Statement

getJudgement, getKind, setJudgement

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.ASTSource

getPosition, setPosition

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Program.ASTProgramAnnotated

getAnnotation, setAnnotation

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

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

Method Detail

setLoopAnnotation

void setLoopAnnotation(ProgramAnnotation annotation)

Set the loop annotation for this item.

Parameters:

annotation - the annotation.

getLoopAnnotation

ProgramAnnotation getLoopAnnotation()

Get the loop annotation for this item.

Returns:

the annotation (null, if there is none).