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
The top type qualifier.
-
-
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
UNKNOWN
The canonical representative.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description UBQualifier
glb(UBQualifier other)
boolean
isSubtype(UBQualifier superType)
boolean
isUnknown()
Returns true if this UBQualifier is the top type.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, isLiteral, isPoly, minusOffset, minusOffset, plusOffset, plusOffset, widenUpperBound
-
-
-
-
Field Detail
-
UNKNOWN
public static final UBQualifier UNKNOWN
The canonical representative.
-
-
Method Detail
-
isSubtype
public boolean isSubtype(UBQualifier superType)
- Specified by:
isSubtype
in classUBQualifier
-
isUnknown
public boolean isUnknown()
Description copied from class:UBQualifier
Returns true if this UBQualifier is the top type.- Overrides:
isUnknown
in classUBQualifier
- Returns:
- true if this UBQualifier is the top type
-
lub
public UBQualifier lub(UBQualifier other)
- Specified by:
lub
in classUBQualifier
-
glb
public UBQualifier glb(UBQualifier other)
- Specified by:
glb
in classUBQualifier
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-