soot

Class ModuleRefType

java.lang.Object

soot.Type

soot.RefLikeType

soot.RefType

soot.ModuleRefType

All Implemented Interfaces:

Serializable, Comparable<RefType>, Numberable, Switchable

public class ModuleRefType
extends RefType

A class that models Java's reference types. RefTypes are parametrized by a class name. Two RefType are equal iff they are parametrized by the same class name as a String. Extends RefType in order to deal with Java 9 modules.

Author:

Andreas Dann

See Also:

Serialized Form

Field Summary

Fields inherited from class soot.RefType

sootClass

Fields inherited from class soot.Type

arrayType

Constructor Summary

Constructors

Modifier	Constructor and Description
	ModuleRefType(Singletons.Global g)
protected	ModuleRefType(String className, String moduleName)

Method Summary

Modifier and Type	Method and Description
Type	getArrayElementType() If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The getArrayElementType() method in RefLikeType was introduced even later to answer this question for all classes implementing RefLikeType.
String	getModuleName()
SootClass	getSootClass() Get the SootClass object corresponding to this RefType.
Type	merge(Type other, Scene cm) Returns the least common superclass of this type and other.
static RefType	v(String className)
static RefType	v(String className, com.google.common.base.Optional<String> moduleName)

Methods inherited from class soot.RefType

apply, compareTo, equals, getAnySubType, getClassName, hashCode, hasSootClass, isAllowedInFinalCode, setAnySubType, setClassName, setSootClass, toQuotedString, toString, v, v

Methods inherited from class soot.Type

getArrayType, getEscapedName, getNumber, makeArrayType, setArrayType, setNumber, toMachineType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ModuleRefType

public ModuleRefType(Singletons.Global g)

ModuleRefType

protected ModuleRefType(String className,
                        String moduleName)

Method Detail

getModuleName

public String getModuleName()

v

public static RefType v(String className)

v

public static RefType v(String className,
                        com.google.common.base.Optional<String> moduleName)

getSootClass

public SootClass getSootClass()

Get the SootClass object corresponding to this RefType.

Overrides:

getSootClass in class RefType

Returns:

the corresponding SootClass

merge

public Type merge(Type other,
                  Scene cm)

Returns the least common superclass of this type and other.

Overrides:

merge in class RefType

getArrayElementType

public Type getArrayElementType()

Description copied from class: RefLikeType

If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The getArrayElementType() method in RefLikeType was introduced even later to answer this question for all classes implementing RefLikeType. If t is an array, then the answer is the same as getElementType(). But t could also be Object, Serializable, or Cloneable, which can all hold any array, so then the answer is Object.

Overrides:

getArrayElementType in class RefType