fmrisc.ProgramExplorer.Syntax.Program

Interface Statement

All Superinterfaces:

AST, ASTProgram, ASTProgramAnnotated, ASTSource

All Known Subinterfaces:

LoopStatement

All Known Implementing Classes:

AssertionStatement, AssignCallStatement, AssignmentStatement, AssignNewStatement, BlockStatement, BreakStatement, CallStatement, ConditionalStatement, ContinueStatement, DeclCallStatement, DeclNewStatement, EmptyStatement, ForLoopStatement, LoopStatementBase, ReturnStatement, StatementBase, ThrowStatement, TryCatchStatement, VariableStatement, VoidCallStatement, WhileLoopStatement

public interface Statement
extends ASTSource, ASTProgramAnnotated

An interface to program statements

Method Summary

Methods

Modifier and Type	Method and Description
StatJudgement	getJudgement() Get command judgement.
java.lang.String	getKind() Get type of statement.
void	setJudgement(StatJudgement spec) Set command judgement.

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

setJudgement

void setJudgement(StatJudgement spec)

Set command judgement.

Parameters:

spec - the judgement.

getJudgement

StatJudgement getJudgement()

Get command judgement.

Returns:

the judgement.

getKind

java.lang.String getKind()

Get type of statement.

Returns:

a string identifying the type of statement.