dk.brics.xact.analysis.flowgraph.statements
Class CallStm

java.lang.Object
  dk.brics.xact.analysis.flowgraph.Entity
      dk.brics.xact.analysis.flowgraph.Statement
          dk.brics.xact.analysis.flowgraph.statements.CallStm

public class CallStm
extends Statement

A call to an application method.

Constructor Summary

CallStm(Variable result, Method method, Variable[] arguments, Origin origin)
Creates a call statement.

Method Summary

Variable	getArgument(int i)
Variable[]	getArguments()
Method	getMethod()
String	getOpName() Returns the name of the operation.
Variable	getResult()
boolean	isArgumentMutable(int i)
void	setArgument(int i, Variable var)
void	setArgumentMutable(int i, boolean mutable)
void	setMethod(Method method)
void	setResult(Variable result)
String	toString() Returns a textual description of the statement.
void	visitBy(StatementVisitor v) Visits this statement by the given visitor.

Methods inherited from class dk.brics.xact.analysis.flowgraph.Entity

getOrigin

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CallStm

public CallStm(Variable result,
               Method method,
               Variable[] arguments,
               Origin origin)

Creates a call statement. The call statement adds itself as a call site to the given method.

Parameters:

result - where to store the returned value

method - a method. This statement will add itself as a call site.

arguments - variables with the method's actual arguments

origin - origin

Method Detail

getArgument

public Variable getArgument(int i)

getArguments

public Variable[] getArguments()

getMethod

public Method getMethod()

getOpName

public String getOpName()

Description copied from class: Statement

Returns the name of the operation.

Specified by:

getOpName in class Statement

getResult

public Variable getResult()

isArgumentMutable

public boolean isArgumentMutable(int i)

setArgument

public void setArgument(int i,
                        Variable var)

setArgumentMutable

public void setArgumentMutable(int i,
                               boolean mutable)

setMethod

public void setMethod(Method method)

setResult

public void setResult(Variable result)

toString

public String toString()

Description copied from class: Statement

Returns a textual description of the statement. This includes the origin and other statically available information.

Overrides:

toString in class Statement

visitBy

public void visitBy(StatementVisitor v)

Description copied from class: Statement

Visits this statement by the given visitor.

Specified by:

visitBy in class Statement