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.
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 AugmentIntegerTypes.Integer1Type	getInteger1()
static AugmentIntegerTypes.Integer127Type	getInteger127()
static 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

@Nonnull
public static AugmentIntegerTypes.Integer1Type getInteger1()

getInteger127

@Nonnull
public static AugmentIntegerTypes.Integer127Type getInteger127()

getInteger32767

@Nonnull
public static AugmentIntegerTypes.Integer32767Type getInteger32767()