Package sootup.interceptors.typeresolving.types

Class BottomType

java.lang.Object

sootup.core.types.Type

sootup.interceptors.typeresolving.types.BottomType

All Implemented Interfaces:

Acceptor<TypeVisitor>

public class BottomType
extends Type

This type is an imaginary/intermediate type which is used to calculate Type Inference

Author:

Zun Wang

Method Summary

Modifier and Type	Method	Description
<V extends TypeVisitor> V	accept(@NonNull V v)	Called when this object is visited.
protected Type	asBottomType()
static @NonNull BottomType	getInstance()
protected boolean	isBottomType()
protected Optional<Type>	toBottomType()
String	toString()

Methods inherited from class sootup.core.types.Type

asPrimitiveType, asReferenceType, asTopType, asUnknownType, asVoidType, createArrayType, getValueBitSize, isIntLikeType, isObject, isObjectLikeType, isPrimitiveType, isReferenceType, isTopType, isUnknownType, isVoidType, toPrimitiveType, toReferenceType, toTopType, toUnknownType, toVoidType

Methods inherited from class java.lang.Object

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

Method Details

getInstance

public static @NonNull BottomType getInstance()

accept

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

Description copied from interface: Acceptor

Called when this object is visited.

Type Parameters:

V - the concrete visitor type

Parameters:

v - the visitor processing this object

Returns:

the visitor after processing

toString

public String toString()

Overrides:

toString in class Object

isBottomType

protected boolean isBottomType()

Overrides:

isBottomType in class Type

asBottomType

protected Type asBottomType()

Overrides:

asBottomType in class Type

toBottomType

protected Optional<Type> toBottomType()

Overrides:

toBottomType in class Type