Package org.checkerframework.checker.index.upperbound

Class UBQualifier.UpperBoundLiteralQualifier

java.lang.Object

org.checkerframework.checker.index.upperbound.UBQualifier

org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundLiteralQualifier

Enclosing class:

UBQualifier

public static class UBQualifier.UpperBoundLiteralQualifier
extends UBQualifier

Represents an integer value that is known at compile time.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.checker.index.upperbound.UBQualifier

UBQualifier.LessThanLengthOf, UBQualifier.UpperBoundLiteralQualifier, UBQualifier.UpperBoundUnknownQualifier

Field Summary

Fields

Modifier and Type	Field	Description
static UBQualifier.UpperBoundLiteralQualifier	NEGATIVEONE	Represents the value -1.
static UBQualifier.UpperBoundLiteralQualifier	ONE	Represents the value 1.
static UBQualifier.UpperBoundLiteralQualifier	ZERO	Represents the value 0.

Method Summary

Modifier and Type	Method	Description
static UBQualifier.UpperBoundLiteralQualifier	create(int value)	Creates an UpperBoundLiteralQualifier.
int	getValue()	Returns the integer value.
UBQualifier	glb(UBQualifier other)
boolean	isLiteral()	Returns true if this UBQualifier represents a literal integer.
boolean	isSubtype(UBQualifier superType)
UBQualifier	lub(UBQualifier other)
java.lang.String	toString()

Methods inherited from class org.checkerframework.checker.index.upperbound.UBQualifier

createUBQualifier, createUBQualifier, createUBQualifier, createUBQualifier, createUBQualifier, createUBQualifier, hasSequenceWithOffset, hasSequenceWithOffset, isBottom, isLessThanLengthOf, isLessThanLengthOfAny, isLessThanLengthQualifier, isLessThanOrEqualTo, isPoly, isUnknown, minusOffset, minusOffset, plusOffset, plusOffset, widenUpperBound

Methods inherited from class java.lang.Object

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

Field Detail

NEGATIVEONE

public static final UBQualifier.UpperBoundLiteralQualifier NEGATIVEONE

Represents the value -1.

ZERO

public static final UBQualifier.UpperBoundLiteralQualifier ZERO

Represents the value 0.

ONE

public static final UBQualifier.UpperBoundLiteralQualifier ONE

Represents the value 1.

Method Detail

create

public static UBQualifier.UpperBoundLiteralQualifier create(int value)

Creates an UpperBoundLiteralQualifier.

Parameters:

value - the integer value

Returns:

an UpperBoundLiteralQualifier

getValue

public int getValue()

Returns the integer value.

Returns:

the integer value

isLiteral

public boolean isLiteral()

Description copied from class: UBQualifier

Returns true if this UBQualifier represents a literal integer.

Overrides:

isLiteral in class UBQualifier

Returns:

true if this UBQualifier represents a literal integer

isSubtype

public boolean isSubtype(UBQualifier superType)

Specified by:

isSubtype in class UBQualifier

lub

public UBQualifier lub(UBQualifier other)

Specified by:

lub in class UBQualifier

glb

public UBQualifier glb(UBQualifier other)

Specified by:

glb in class UBQualifier

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object