|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ITACAnalysisContext
This interface defines methods to map AST data structures to TAC variables. These methods can for instance be used by TAC analysis transfer functions.
ITACTransferFunction
,
ITACBranchSensitiveTransferFunction
Method Summary | |
---|---|
MethodDeclaration |
getAnalyzedMethod()
|
SourceVariable |
getSourceVariable(IVariableBinding varBinding)
Returns the variable for a given parameter or local. |
SuperVariable |
getSuperVariable()
Returns the super variable for the analyzed method, if any. |
ThisVariable |
getThisVariable()
Returns the this variable for the analyzed method. |
Variable |
getVariable(ASTNode node)
Returns the TAC variable for a given ASTNode. |
Method Detail |
---|
Variable getVariable(ASTNode node)
node
- AST node in the previously analyzed method.
ThisVariable getThisVariable()
SuperVariable getSuperVariable()
null
if it doesn't exist.SourceVariable getSourceVariable(IVariableBinding varBinding)
varBinding
- Binding of a local or parameter.
MethodDeclaration getAnalyzedMethod()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |