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 and 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 and Description
static UBQualifier.UpperBoundLiteralQualifier	create(int value) Creates an UpperBoundLiteralQualifier.
UBQualifier	glb(UBQualifier other)
boolean	isLiteral() Returns true if this UBQualifier represents a literal integer.
boolean	isSubtype(UBQualifier superType)
UBQualifier	lub(UBQualifier other)
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 UBQualifier.UpperBoundLiteralQualifier NEGATIVEONE

Represents the value -1.

ZERO

public static UBQualifier.UpperBoundLiteralQualifier ZERO

Represents the value 0.

ONE

public static 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

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 String toString()

Overrides:

toString in class Object