soot.jimple.toolkits.typing.fast

Class WeakObjectType

java.lang.Object

soot.Type

soot.RefLikeType

soot.RefType

soot.jimple.toolkits.typing.fast.WeakObjectType

All Implemented Interfaces:

Serializable, Comparable<RefType>, Numberable, Switchable

public class WeakObjectType
extends RefType

A weak variant of an object type (Object, Serializable, Cloneable). The "java.lang.Object" type can be used as a placeholder for all reference and array types. Assume the following code (without the casts, because they don't need to be explicit in Dalvik):

 java.lang.Object a;
 int[] b;
 
 b = ((Object[]) a)[42];
 b[0] = 42;
 

If we reconstruct types for this code, the array element from "a" is of type "java.lang.Object", because the array was of type "java.lang.Object[]". Still, this typing is not required, we rather take it, because we have no better guess as to what the original type was. Later on, when we learn that we write an "int" into "b", we can conclude, that "b" should have been of type "int[]". In other words, we need to drop the requirement of "b" being of type "java.lang.Object", which was our initial assumption.

Author:

Steven Arzt

See Also:

Serialized Form

Field Summary

Fields inherited from class soot.RefType

sootClass

Fields inherited from class soot.Type

arrayType

Constructor Summary

Constructors

Constructor and Description
WeakObjectType(Singletons.Global g)
WeakObjectType(String className)

Method Summary

Methods inherited from class soot.RefType

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

Methods inherited from class soot.Type

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

Methods inherited from class java.lang.Object

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

Constructor Detail

WeakObjectType

public WeakObjectType(Singletons.Global g)

WeakObjectType

public WeakObjectType(String className)