dk.brics.string.java
Class StaticStringTypesNull

java.lang.Object
  dk.brics.string.java.StaticStringTypesNull

All Implemented Interfaces:

StaticStringTypes

public class StaticStringTypesNull
extends Object
implements StaticStringTypes

Defines no static string types.

Author:

Asger

Constructor Summary

StaticStringTypesNull()

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StaticStringTypesNull

public StaticStringTypesNull()

Method Detail

getFieldType

public Automaton getFieldType(SootField field)

Description copied from interface: StaticStringTypes

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

Specified by:

getFieldType in interface StaticStringTypes

Parameters:

field - a field

Returns:

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

getMethodReturnType

public Automaton getMethodReturnType(SootMethod method)

Description copied from interface: StaticStringTypes

Returns the static string type of the specified method's return value, or null if the return value has no static string type.

Specified by:

getMethodReturnType in interface StaticStringTypes

Parameters:

method - a soot method

Returns:

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

getParameterType

public Automaton getParameterType(SootMethod method,
                                  int paramIndex)

Description copied from interface: StaticStringTypes

Returns the static string type of the nth parameter to the specified method, or null if the parameter has no static string type.

Specified by:

getParameterType in interface StaticStringTypes

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