org.checkerframework.qualframework.base.dataflow

Class QualValue<Q>

java.lang.Object

org.checkerframework.qualframework.base.dataflow.QualValue<Q>

All Implemented Interfaces:

AbstractValue<QualValue<Q>>

public class QualValue<Q>
extends Object
implements AbstractValue<QualValue<Q>>

QualValue is an AbstractValue for quals. CFAnalysis is used to perform the leastUpperBound operation.

Constructor Summary

Constructors

Constructor and Description
QualValue(QualifiedTypeMirror<Q> value, QualAnalysis<Q> analysis)

Method Summary

Modifier and Type	Method and Description
QualifiedTypeMirror<Q>	getType()
QualValue<Q>	leastUpperBound(QualValue<Q> other) Compute the least upper bound of two stores.

Methods inherited from class java.lang.Object

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

Constructor Detail

QualValue

public QualValue(QualifiedTypeMirror<Q> value,
                 QualAnalysis<Q> analysis)

Method Detail

leastUpperBound

public QualValue<Q> leastUpperBound(QualValue<Q> other)

Description copied from interface: AbstractValue

Compute the least upper bound of two stores.

Important: This method must fulfill the following contract:

• Does not change this.
• Does not change other.
• Returns a fresh object which is not aliased yet.
• Returns an object of the same (dynamic) type as this, even if the signature is more permissive.
• Is commutative.

Specified by:

leastUpperBound in interface AbstractValue<QualValue<Q>>

getType

public QualifiedTypeMirror<Q> getType()