org.checkerframework.checker.experimental.regex_qual

Class RegexQualifierHierarchy

java.lang.Object

org.checkerframework.checker.experimental.regex_qual.RegexQualifierHierarchy

All Implemented Interfaces:

QualifierHierarchy<Regex>

public class RegexQualifierHierarchy
extends Object
implements QualifierHierarchy<Regex>

QualifierHierarchy for the Regex-Qual type system. The Hierarchy consists of RegexTop, RegexBottom, RegexVal and PartialRegex.

• RegexVal and PartialRegex are incomparable.
• A PartialRegex is a subtype of another PartialRegex if they have the same partial regex.
• A RegexVal is a subtype of another RegexVal with a smaller count.

Constructor Summary

Constructors

Constructor and Description
RegexQualifierHierarchy()

Method Summary

Modifier and Type	Method and Description
Regex	getBottom() Gets the bottom annotation of the hierarchy.
Regex	getTop() Gets the top annotation of the hierarchy.
Regex	greatestLowerBound(Regex a, Regex b) Gets the greatest lower bound of two qualifiers.
boolean	isSubtype(Regex subtype, Regex supertype) Checks if subtype is a subtype of supertype.
Regex	leastUpperBound(Regex a, Regex b) Gets the least upper bound of two qualifiers.

Methods inherited from class java.lang.Object

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

Constructor Detail

RegexQualifierHierarchy

public RegexQualifierHierarchy()

Method Detail

isSubtype

public boolean isSubtype(Regex subtype,
                         Regex supertype)

Description copied from interface: QualifierHierarchy

Checks if subtype is a subtype of supertype.

Specified by:

isSubtype in interface QualifierHierarchy<Regex>

leastUpperBound

public Regex leastUpperBound(Regex a,
                             Regex b)

Description copied from interface: QualifierHierarchy

Gets the least upper bound of two qualifiers.

Specified by:

leastUpperBound in interface QualifierHierarchy<Regex>

greatestLowerBound

public Regex greatestLowerBound(Regex a,
                                Regex b)

Description copied from interface: QualifierHierarchy

Gets the greatest lower bound of two qualifiers.

Specified by:

greatestLowerBound in interface QualifierHierarchy<Regex>

getTop

public Regex getTop()

Description copied from interface: QualifierHierarchy

Gets the top annotation of the hierarchy.

Specified by:

getTop in interface QualifierHierarchy<Regex>

getBottom

public Regex getBottom()

Description copied from interface: QualifierHierarchy

Gets the bottom annotation of the hierarchy.

Specified by:

getBottom in interface QualifierHierarchy<Regex>