Package sootup.interceptors.typeresolving.types

Class WeakObjectType

java.lang.Object

sootup.core.types.Type

sootup.core.types.ReferenceType

sootup.core.types.ClassType

sootup.java.core.types.JavaClassType

sootup.interceptors.typeresolving.types.WeakObjectType

All Implemented Interfaces:

Acceptor<TypeVisitor>, Signature

public class WeakObjectType
extends JavaClassType

This type is used for Type Inference. Object, Serializable, Cloneable are weak object types.

Author:

Zun Wang

Constructor Summary

Constructors

Constructor	Description
WeakObjectType(String className, PackageName packageName)

Method Summary

Modifier and Type	Method	Description
<V extends TypeVisitor> V	accept(@NonNull V v)	Called when this object is visited.
protected Type	asWeakObjectType()
protected boolean	isWeakObjectType()
protected Optional<Type>	toWeakObjectType()

Methods inherited from class sootup.java.core.types.JavaClassType

asClassType, asJavaClassType, asReferenceType, equals, getClassName, getFullyQualifiedName, getPackageName, hashCode, isClassType, isJavaClassType, isReferenceType, toClassType, toJavaClassType, toReferenceType, toString

Methods inherited from class sootup.core.types.ClassType

asModuleJavaClassType, isModuleJavaClassType, toModuleJavaClassType

Methods inherited from class sootup.core.types.ReferenceType

asArrayType, asNullType, isArrayType, isNullType, toArrayType, toNullType

Methods inherited from class sootup.core.types.Type

asBottomType, asPrimitiveType, asTopType, asUnknownType, asVoidType, createArrayType, getValueBitSize, isBottomType, isIntLikeType, isObject, isObjectLikeType, isPrimitiveType, isTopType, isUnknownType, isVoidType, toBottomType, toPrimitiveType, toTopType, toUnknownType, toVoidType

Methods inherited from class java.lang.Object

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

Constructor Details

WeakObjectType

public WeakObjectType(String className,
 PackageName packageName)

Method Details

accept

public <V extends TypeVisitor> V accept(@NonNull V v)

Description copied from interface: Acceptor

Called when this object is visited.

Specified by:

accept in interface Acceptor<TypeVisitor>

Overrides:

accept in class ClassType

isWeakObjectType

protected boolean isWeakObjectType()

Overrides:

isWeakObjectType in class ClassType

asWeakObjectType

protected Type asWeakObjectType()

Overrides:

asWeakObjectType in class ClassType

toWeakObjectType

protected Optional<Type> toWeakObjectType()

Overrides:

toWeakObjectType in class ClassType