Package sootup.interceptors.typeresolving.types

Class AugmentIntegerTypes

java.lang.Object

sootup.interceptors.typeresolving.types.AugmentIntegerTypes

public abstract class AugmentIntegerTypes
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	AugmentIntegerTypes.Integer127Type	This type is intermediate type and used for determining the ancestor of an integer type
static class	AugmentIntegerTypes.Integer1Type	This type is intermediate type and used for determining the ancestor of an integer type. see: AugmentHierarchy;
static class	AugmentIntegerTypes.Integer32767Type	This type is intermediate type and used for determining the ancestor of an integer type

Constructor Summary

Constructors

Constructor	Description
AugmentIntegerTypes()

Method Summary

Modifier and Type	Method	Description
static @NonNull AugmentIntegerTypes.Integer1Type	getInteger1()
static @NonNull AugmentIntegerTypes.Integer127Type	getInteger127()
static @NonNull AugmentIntegerTypes.Integer32767Type	getInteger32767()

Methods inherited from class java.lang.Object

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

Constructor Details

AugmentIntegerTypes

public AugmentIntegerTypes()

Method Details

getInteger1

public static @NonNull AugmentIntegerTypes.Integer1Type getInteger1()

getInteger127

public static @NonNull AugmentIntegerTypes.Integer127Type getInteger127()

getInteger32767

public static @NonNull AugmentIntegerTypes.Integer32767Type getInteger32767()