dk.brics.string.java
Interface StaticStringTypes

All Known Subinterfaces:

TranslationContext

All Known Implementing Classes:

Jimple2Intermediate, StaticStringTypesNull

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 the Type annotation.

Author:

Asger

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

getFieldType

Automaton getFieldType(SootField field)

Returns the static string type of the specified field, or null if the field has no static string type.

Parameters:

field - a field

Returns:

language of the static string type, or null if the field has no static string type

getMethodReturnType

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.

Parameters:

method - a soot method

Returns:

language of the static string type, or null if the return value has no static string type

getParameterType

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.

Parameters:

method - a soot method

paramIndex - index of the parameter

Returns:

language of the static string type, or null if the parameter has no static string type