|
||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface TranslationContext
Provides information from the higher-level aspects of the analysis to
lower-level aspects. The methods in this interface are also present
in IntermediateFactory
.
Jimple2Intermediate
and used by StatementTranslatorImpl
and its method call translators (see the translation overview
), through
the IntermediateFactory
.
Method Summary | |
---|---|
VariableType |
fromSootType(Type type)
Returns the most specific intermediate variable type that may be assigned to from the specified Java type. |
Application |
getApplication()
|
Variable |
getExpressionVariable(Value value)
Returns the variable holding the result of the specified expression. |
Method |
getMethod(SootMethod method)
Returns the intermediate method definition corresponding to the specified Soot method, or null if the method is external. |
Variable |
getParameter(SootMethod method,
ParameterRef ref)
Returns the variable corresponding to a soot parameter reference |
List<SootMethod> |
getTargetsOf(InstanceInvokeExpr expr)
Gets a list of possible targets for the specified invocation. |
Method |
getToStringMethod(SootClass c)
Returns the intermediate method representing the specified non-interface class's toString method. |
VariableManager |
getVariableManager()
|
boolean |
isHotspot(ValueBox expr)
Returns true if the specified value is marked as a hotspot. |
boolean |
isSubtypeOf(SootClass a,
SootClass b)
Returns true if the first argument is a type that extends, implements, or equals the second argument. |
void |
setExpressionVariable(Value value,
Variable variable)
Reports that the specified expression was evaluated and stored in the specified intermediate variable. |
Methods inherited from interface dk.brics.string.java.StaticStringTypes |
---|
getFieldType, getMethodReturnType, getParameterType |
Method Detail |
---|
VariableType fromSootType(Type type)
Application getApplication()
Variable getExpressionVariable(Value value)
value
- a jimple expression
Method getMethod(SootMethod method)
Variable getParameter(SootMethod method, ParameterRef ref)
List<SootMethod> getTargetsOf(InstanceInvokeExpr expr)
Method getToStringMethod(SootClass c)
c
- an application class that is not an interface.
VariableManager getVariableManager()
boolean isHotspot(ValueBox expr)
boolean isSubtypeOf(SootClass a, SootClass b)
void setExpressionVariable(Value value, Variable variable)
value
- a jimple expressionvariable
- an intermediate variable
|
||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |