Package sootup.interceptors.typeresolving.types

Class AugmentIntegerTypes.Integer1Type

java.lang.Object

sootup.core.types.Type

sootup.core.types.PrimitiveType

sootup.core.types.PrimitiveType.IntType

sootup.core.types.PrimitiveType.BooleanType

sootup.interceptors.typeresolving.types.AugmentIntegerTypes.Integer1Type

All Implemented Interfaces:

Acceptor<TypeVisitor>

Enclosing class:

AugmentIntegerTypes

public static class AugmentIntegerTypes.Integer1Type
extends PrimitiveType.BooleanType

This type is intermediate type and used for determining the ancestor of an integer type. see: AugmentHierarchy;

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.BooleanType	asInteger1Type()
static AugmentIntegerTypes.Integer1Type	getInstance()
protected boolean	isInteger1Type()
protected Optional<PrimitiveType.BooleanType>	toInteger1Type()

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

asBooleanType, isBooleanType, toBooleanType

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

asIntType, asPrimitiveType, isIntType, isPrimitiveType, toIntType, toPrimitiveType

Methods inherited from class sootup.core.types.PrimitiveType

asByteType, asCharType, asDoubleType, asFloatType, asInteger127Type, asInteger3276Type, asLongType, asShortType, getBoolean, getByte, getChar, getDouble, getFloat, getInt, getLong, getName, getShort, isByteType, isCharType, isDoubleType, isFloatType, isInteger127Type, isInteger3276Type, isLongType, isShortType, toByteType, toCharType, toDoubleType, toFloatType, toInteger127Type, 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.Integer1Type 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.BooleanType

isInteger1Type

protected boolean isInteger1Type()

Overrides:

isInteger1Type in class PrimitiveType

asInteger1Type

protected PrimitiveType.BooleanType asInteger1Type()

Overrides:

asInteger1Type in class PrimitiveType

toInteger1Type

protected Optional<PrimitiveType.BooleanType> toInteger1Type()

Overrides:

toInteger1Type in class PrimitiveType