---

MethodVariant Class Reference

List of all members.

Public Methods
	MethodVariant (SootMethod sootMethod, Index methodIndex)
Set	getASTValues (Object obj)
Set	getLocalValues (Local local)
SootMethod	getMethod ()
Index	getMethodIndex ()
Set	getParameterValues (int n)
Set	getReturnValues ()
Set	getThisValues ()
Private Methods
FGNodeAST	getASTNode (Object obj)
Collection	getASTNodes ()
FGNodeLocal	getLocalNode (Local local)
Map	getLocalNodes ()
FGNodeParameter	getParameterNode (int n)
FGNodeParameter[]	getParameterNodes ()
FGNode	getReturnNode ()
FGNodeThis	getThisNode ()
Private Attributes
SootMethod	sootMethod
Index	methodIndex
FGNodeParameter[]	parameterNodes
Map	localNodes
Map	ASTNodes
FGNodeAST	returnNode
FGNodeThis	thisNode
FGStmt	fgStmt
Static Private Attributes
Category	cat

---

Detailed Description

This class represents a variant of a method.

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 55 of file MethodVariant.java.

---

Constructor & Destructor Documentation

MethodVariant::MethodVariant (  SootMethod   sootMethod, Index   methodIndex )  [inline]

Constructor of the class. Parameters: sootMethod   the method represented by this variant. methodIndex   the index associated with this variant. Definition at line 110 of file MethodVariant.java.

---

Member Function Documentation

FGNodeAST MethodVariant::getASTNode (  Object   obj )  [inline, private]

Provides the flow graph node associated with the AST node. Parameters: obj   the AST node corresponding to which the flow graph node is required. Returns: the flow graph node associated with the AST node. Definition at line 203 of file MethodVariant.java. Referenced by getASTValues().

Collection MethodVariant::getASTNodes (    )  [inline, private]

Provides a collection of flow graph nodes associated with all AST nodes in the method. Returns: the collection of flow graph nodes associated with all AST nodes in the method. Definition at line 214 of file MethodVariant.java.

Set MethodVariant::getASTValues (  Object   obj )  [inline]

Provide the set of FG nodes associated with the given AST node. Parameters: obj   the AST node corresonding to which the FG nodes are required. Returns: the set of FG nodes assocaited with the given AST node. Definition at line 228 of file MethodVariant.java. Referenced by Analysis::RefValueSwitch::caseArrayRef(), and FA::summarizeExprValueVariants().

FGNodeLocal MethodVariant::getLocalNode (  Local   local )  [inline, private]

Provides the flow graph node associated with the local variable. Parameters: local   the local variable corresponding to which the flow graph node is required. Returns: the flow graph node associated with the local variable. Definition at line 250 of file MethodVariant.java. Referenced by FGExpr::caseLocal(), Analysis::RefValueSwitch::caseLocal(), and getLocalValues().

Map MethodVariant::getLocalNodes (    )  [inline, private]

Provide a collection of flow graph nodes associated with all local variables. Returns: the collection of flow graph nodes associated with all local variables. Definition at line 261 of file MethodVariant.java.

Set MethodVariant::getLocalValues (  Local   local )  [inline]

Provides the set of values flowing into the provided local variable. Parameters: local   a Local value Returns: set of values flowing into the given local variable. Definition at line 270 of file MethodVariant.java. Referenced by FA::summarizeLocalValueVariants().

SootMethod MethodVariant::getMethod (    )  [inline]

Provides the method being represented. Returns: the represented method. Definition at line 289 of file MethodVariant.java. Referenced by FGStmt::FGStmt().

Index MethodVariant::getMethodIndex (    )  [inline]

Provides the associated index. Returns: the associated index. Definition at line 298 of file MethodVariant.java.

FGNodeParameter MethodVariant::getParameterNode (  int   n )  [inline, private]

Returns the FGNode for the n'th paramter (0-based indexing) Parameters: n   the parameter number. Returns: the flow graph node describing the nth parameter. Definition at line 308 of file MethodVariant.java. Referenced by FGExpr::caseParameterRef(), FGExpr::caseStaticInvokeExpr(), FGActionInvoke::doAction(), and getParameterValues().

FGNodeParameter [] MethodVariant::getParameterNodes (    )  [inline, private]

Provide a collection of flow graph nodes associated with all the parameters. Returns: the array of flow graph nodes associated with all the parameters. Definition at line 324 of file MethodVariant.java.

Set MethodVariant::getParameterValues (  int   n )  [inline]

Provides the set of values flowing into the nth parameter of the method. Parameters: n   an int value Returns: set of values flowing into the given parameter. Definition at line 333 of file MethodVariant.java. Referenced by Analysis::RefValueSwitch::caseParameterRef(), and FA::summarizeParameterValueVariants().

FGNode MethodVariant::getReturnNode (    )  [inline, private]

Provides the flow graph node associated with the return value of the method. Returns: the flow graph node associated with the return value of the method. Definition at line 344 of file MethodVariant.java. Referenced by FGStmt::caseReturnStmt(), FGExpr::caseStaticInvokeExpr(), FGActionInvoke::doAction(), and getReturnValues().

Set MethodVariant::getReturnValues (    )  [inline]

Provides the set of values flowing returned by the method. Returns: set of values flowing returned by the method. Definition at line 352 of file MethodVariant.java. Referenced by FA::summarizeLastValueVariants().

FGNodeThis MethodVariant::getThisNode (    )  [inline, private]

Provides the flow graph node associated with "this" variable. Returns: the flow graph node associated with "this" variable. Definition at line 361 of file MethodVariant.java. Referenced by FGExpr::caseThisRef(), FGActionInvoke::doAction(), and getThisValues().

Set MethodVariant::getThisValues (    )  [inline]

Provides the set of values flowing into "this" variable. Returns: set of values flowing into "this" variable. Definition at line 369 of file MethodVariant.java. Referenced by Analysis::RefValueSwitch::caseThisRef(), and FA::summarizeThisValueVariants().

---

Member Data Documentation

Map MethodVariant::ASTNodes [private]

The flow graph nodes corresponding to the AST nodes occuring in the method. Definition at line 80 of file MethodVariant.java.

Category MethodVariant::cat [static, private]

Initial value: Category.getInstance(MethodVariant.class.getName()) Provides logging capability through log4j. Definition at line 101 of file MethodVariant.java.

FGStmt MethodVariant::fgStmt [private]

FGStmt object used to extend the flow graph for this variant. Definition at line 95 of file MethodVariant.java.

Map MethodVariant::localNodes [private]

The flow graph nodes correpsonding to the local variables in the method. Definition at line 75 of file MethodVariant.java.

Index MethodVariant::methodIndex [private]

The index associated with this object. Definition at line 65 of file MethodVariant.java.

FGNodeParameter [] MethodVariant::parameterNodes [private]

The flow graph nodes corresponding to the parameters of the method. Definition at line 70 of file MethodVariant.java.

FGNodeAST MethodVariant::returnNode [private]

The flow graph node corresponding to the return point of the method. Definition at line 85 of file MethodVariant.java.

SootMethod MethodVariant::sootMethod [private]

The method represented by this object. Definition at line 60 of file MethodVariant.java.

FGNodeThis MethodVariant::thisNode [private]

The flow graph node corresponding to the "this" variable of the method. Definition at line 90 of file MethodVariant.java.

---

The documentation for this class was generated from the following file:

• MethodVariant.java

---