Package sootup.interceptors.typeresolving.types

Class AugmentIntegerTypes.Integer127Type

java.lang.Object

sootup.core.types.Type

sootup.core.types.PrimitiveType

sootup.core.types.PrimitiveType.IntType

sootup.interceptors.typeresolving.types.AugmentIntegerTypes.Integer127Type

All Implemented Interfaces:

Acceptor<TypeVisitor>

Enclosing class:

AugmentIntegerTypes

public static class AugmentIntegerTypes.Integer127Type
extends PrimitiveType.IntType

This type is intermediate type and used for determining the ancestor of an integer type

Nested Class Summary

Nested classes/interfaces inherited from class sootup.core.types.PrimitiveType

PrimitiveType.BooleanType, PrimitiveType.ByteType, PrimitiveType.CharType, PrimitiveType.DoubleType, PrimitiveType.FloatType, PrimitiveType.IntType, PrimitiveType.LongType, PrimitiveType.ShortType

Method Summary

Modifier and Type	Method	Description
<V extends TypeVisitor> V	accept(@NonNull V v)	Called when this object is visited.
protected PrimitiveType.IntType	asInteger127Type()
static AugmentIntegerTypes.Integer127Type	getInstance()
protected boolean	isInteger127Type()
protected Optional<PrimitiveType.IntType>	toInteger127Type()

Methods inherited from class sootup.core.types.PrimitiveType.IntType

asIntType, asPrimitiveType, isIntType, isPrimitiveType, toIntType, toPrimitiveType

Methods inherited from class sootup.core.types.PrimitiveType

asBooleanType, asByteType, asCharType, asDoubleType, asFloatType, asInteger1Type, asInteger3276Type, asLongType, asShortType, getBoolean, getByte, getChar, getDouble, getFloat, getInt, getLong, getName, getShort, isBooleanType, isByteType, isCharType, isDoubleType, isFloatType, isInteger1Type, isInteger3276Type, isLongType, isShortType, toBooleanType, toByteType, toCharType, toDoubleType, toFloatType, toInteger1Type, toInteger3276Type, toLongType, toShortType, toString

Methods inherited from class sootup.core.types.Type

asBottomType, asReferenceType, asTopType, asUnknownType, asVoidType, createArrayType, getValueBitSize, isBottomType, isIntLikeType, isObject, isObjectLikeType, isReferenceType, isTopType, isUnknownType, isVoidType, toBottomType, 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 AugmentIntegerTypes.Integer127Type getInstance()

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 PrimitiveType.IntType

isInteger127Type

protected boolean isInteger127Type()

Overrides:

isInteger127Type in class PrimitiveType

asInteger127Type

protected PrimitiveType.IntType asInteger127Type()

Overrides:

asInteger127Type in class PrimitiveType

toInteger127Type

protected Optional<PrimitiveType.IntType> toInteger127Type()

Overrides:

toInteger127Type in class PrimitiveType