org.checkerframework.checker.index.upperbound

Class UBQualifier.UpperBoundUnknownQualifier

java.lang.Object

org.checkerframework.checker.index.upperbound.UBQualifier

org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier

Enclosing class:

UBQualifier

public static class UBQualifier.UpperBoundUnknownQualifier
extends UBQualifier

Nested Class Summary

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

UBQualifier.LessThanLengthOf, UBQualifier.UpperBoundUnknownQualifier

Method Summary

Modifier and Type	Method and Description
UBQualifier	glb(UBQualifier other)
boolean	isSubtype(UBQualifier superType)
boolean	isUnknown()
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, minusOffset, minusOffset, plusOffset, plusOffset, widenUpperBound

Methods inherited from class java.lang.Object

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

Method Detail

isSubtype

public boolean isSubtype(UBQualifier superType)

Specified by:

isSubtype in class UBQualifier

isUnknown

public boolean isUnknown()

Overrides:

isUnknown 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