org.checkerframework.checker.experimental.tainting_qual

Class TaintingQualifierHierarchy

java.lang.Object

org.checkerframework.checker.experimental.tainting_qual.TaintingQualifierHierarchy

All Implemented Interfaces:

QualifierHierarchy<Tainting>

public class TaintingQualifierHierarchy
extends Object
implements QualifierHierarchy<Tainting>

Constructor Summary

Constructors

Constructor and Description
TaintingQualifierHierarchy()

Method Summary

Modifier and Type	Method and Description
Tainting	getBottom() Gets the bottom annotation of the hierarchy.
Tainting	getTop() Gets the top annotation of the hierarchy.
Tainting	greatestLowerBound(Tainting a, Tainting b) Gets the greatest lower bound of two qualifiers.
boolean	isSubtype(Tainting subtype, Tainting supertype) Checks if subtype is a subtype of supertype.
Tainting	leastUpperBound(Tainting a, Tainting 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

TaintingQualifierHierarchy

public TaintingQualifierHierarchy()

Method Detail

isSubtype

public boolean isSubtype(Tainting subtype,
                         Tainting supertype)

Description copied from interface: QualifierHierarchy

Checks if subtype is a subtype of supertype.

Specified by:

isSubtype in interface QualifierHierarchy<Tainting>

leastUpperBound

public Tainting leastUpperBound(Tainting a,
                                Tainting b)

Description copied from interface: QualifierHierarchy

Gets the least upper bound of two qualifiers.

Specified by:

leastUpperBound in interface QualifierHierarchy<Tainting>

greatestLowerBound

public Tainting greatestLowerBound(Tainting a,
                                   Tainting b)

Description copied from interface: QualifierHierarchy

Gets the greatest lower bound of two qualifiers.

Specified by:

greatestLowerBound in interface QualifierHierarchy<Tainting>

getTop

public Tainting getTop()

Description copied from interface: QualifierHierarchy

Gets the top annotation of the hierarchy.

Specified by:

getTop in interface QualifierHierarchy<Tainting>

getBottom

public Tainting getBottom()

Description copied from interface: QualifierHierarchy

Gets the bottom annotation of the hierarchy.

Specified by:

getBottom in interface QualifierHierarchy<Tainting>