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

Packages that use CallStatement

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

Uses of CallStatement in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type CallStatement

Modifier and Type	Method and Description
ConstructorSymbol	Environment.getConstructor(CallStatement stat, TypeExpression[] atypes) Return symbol for constructor denoted by name and argument types in current environment.
MethodSymbol	Environment.getMethod(CallStatement call, TypeExpression[] atypes) Return symbol for a method called with arguments of denoted types in current environment and annotate call with symbol.

Uses of CallStatement in fmrisc.ProgramExplorer.Syntax

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

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

Uses of CallStatement in fmrisc.ProgramExplorer.Syntax.Program

Subclasses of CallStatement in fmrisc.ProgramExplorer.Syntax.Program

Modifier and Type	Class and Description
class	AssignCallStatement A method call statement with a result value assigned to a variable.
class	AssignNewStatement A constructor call statement with the result value assigned to a variable.
class	DeclCallStatement A method call statement with a result value initializing a local variable.
class	DeclNewStatement A constructor call statement with a result value initializing a local variable.
class	ThrowStatement A throw (exception statement)
class	VoidCallStatement A method call statement without a result value.

Uses of CallStatement in fmrisc.ProgramExplorer.Tasks

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

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