|
||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface StaticStringTypes
Provides the static string types of return values, parameters, and fields.
In the runtime system, a static string type is specified using theType
annotation.
Method Summary | |
---|---|
Automaton |
getFieldType(SootField field)
Returns the static string type of the specified field, or null if the field has no static string type. |
Automaton |
getMethodReturnType(SootMethod method)
Returns the static string type of the specified method's return value, or null if the return value has no static string type. |
Automaton |
getParameterType(SootMethod method,
int paramIndex)
Returns the static string type of the nth parameter to the specified method, or null if the parameter has no static string type. |
Method Detail |
---|
Automaton getFieldType(SootField field)
field
- a field
Automaton getMethodReturnType(SootMethod method)
method
- a soot method
Automaton getParameterType(SootMethod method, int paramIndex)
method
- a soot methodparamIndex
- index of the parameter
|
||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |