Package sootup.interceptors.typeresolving.types

Class TopType

java.lang.Object

sootup.core.types.Type

sootup.interceptors.typeresolving.types.TopType

All Implemented Interfaces:

Acceptor<TypeVisitor>

public class TopType
extends Type

The top type is a superclass of all other types. This is similar to java.lang.Object but also includes primitive types.
This type can't exist in Java source code, but it can implicitly exist in bytecode. This happens when the compiler re-uses local variables with the same id, but different types.
If you see this type when you didn't expect it, you probably need to turn on the LocalSplitter. The LocalSplitter will remove all situations where a TopType could be created by the TypeAssigner (at least when the bytecode has been generated from Java source code).

Method Summary

Modifier and Type	Method	Description
<V extends TypeVisitor> V	accept(V typeVisitor)	Called when this object is visited.
static TopType	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

@Nonnull
public static TopType getInstance()

accept

public <V extends TypeVisitor> V accept(@Nonnull
 V typeVisitor)

Description copied from interface: Acceptor

Called when this object is visited.

toString

public String toString()

Overrides:

toString in class Object