Uses of Class
fmrisc.ProgramExplorer.Syntax.Program.ThrowStatement

Packages that use ThrowStatement

Package	Description
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Program
fmrisc.ProgramExplorer.Tasks

Uses of ThrowStatement in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type ThrowStatement

Modifier and Type	Method and Description
void	ASTVisitor.visit(ThrowStatement tree)
void	ASTVisitorBase.visit(ThrowStatement tree)

Uses of ThrowStatement in fmrisc.ProgramExplorer.Syntax.Program

Methods in fmrisc.ProgramExplorer.Syntax.Program that return ThrowStatement

Modifier and Type	Method and Description
static ThrowStatement	ThrowStatement.construct(Name name, ValueExpression value) Construct a throw (exception) statement.

Uses of ThrowStatement in fmrisc.ProgramExplorer.Tasks

Methods in fmrisc.ProgramExplorer.Tasks with parameters of type ThrowStatement

Modifier and Type	Method and Description
void	PreconditionTasks.visit(ThrowStatement stat)