Package com.google.common.truth

Class ActualValueInference.InferredType

java.lang.Object

com.google.common.truth.ActualValueInference.InferredType

Direct Known Subclasses:

AutoValue_ActualValueInference_InferredType

Enclosing class:

ActualValueInference

abstract static class ActualValueInference.InferredType
extends java.lang.Object

This is the type used for type inference.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static ActualValueInference.InferredType	BOOLEAN
(package private) static ActualValueInference.InferredType	BYTE
(package private) static ActualValueInference.InferredType	DOUBLE
(package private) static ActualValueInference.InferredType	FLOAT
(package private) static ActualValueInference.InferredType	INT
(package private) static ActualValueInference.InferredType	LONG
(package private) static ActualValueInference.InferredType	NULL	The value NULL
(package private) static ActualValueInference.InferredType	TOP	Not a real value.
(package private) static ActualValueInference.InferredType	UNINITIALIZED
(package private) static java.lang.String	UNINITIALIZED_PREFIX
(package private) static ActualValueInference.InferredType	UNINITIALIZED_THIS

Constructor Summary

Constructors

Constructor	Description
InferredType()

Method Summary

Modifier and Type	Method	Description
(package private) static ActualValueInference.InferredType	create(java.lang.String descriptor)	Create a type for a value.
(package private) abstract java.lang.String	descriptor()
(package private) ActualValueInference.InferredType	getElementTypeIfArrayOrThrow()	If the type is an array, return the element type.
(package private) boolean	isCategory2()	Is a category 2 value?
(package private) boolean	isUninitialized()	Is an uninitialized value?
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

UNINITIALIZED_PREFIX

static final java.lang.String UNINITIALIZED_PREFIX

See Also:

Constant Field Values

BOOLEAN

static final ActualValueInference.InferredType BOOLEAN

BYTE

static final ActualValueInference.InferredType BYTE

INT

static final ActualValueInference.InferredType INT

FLOAT

static final ActualValueInference.InferredType FLOAT

LONG

static final ActualValueInference.InferredType LONG

DOUBLE

static final ActualValueInference.InferredType DOUBLE

TOP

static final ActualValueInference.InferredType TOP

Not a real value.

NULL

static final ActualValueInference.InferredType NULL

The value NULL

UNINITIALIZED_THIS

static final ActualValueInference.InferredType UNINITIALIZED_THIS

UNINITIALIZED

static final ActualValueInference.InferredType UNINITIALIZED

Constructor Detail

InferredType

InferredType()

Method Detail

create

static ActualValueInference.InferredType create(java.lang.String descriptor)

Create a type for a value.

descriptor

abstract java.lang.String descriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isCategory2

boolean isCategory2()

Is a category 2 value?

getElementTypeIfArrayOrThrow

ActualValueInference.InferredType getElementTypeIfArrayOrThrow()

If the type is an array, return the element type. Otherwise, throw an exception.

isUninitialized

boolean isUninitialized()

Is an uninitialized value?