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.
static @NonNull BottomType	getInstance()
String	toString()

Methods inherited from class sootup.core.types.Type

createArrayType, getValueBitSize, isIntLikeType, isObject, isObjectLikeType

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.

toString

public String toString()

Overrides:

toString in class Object