Class Refinements::VarRefinementContext

A refinement context specifying that some variable is assumed to have one particular abstract value.

Direct supertypes

Indirect supertypes

Predicates

appliesTo

Holds if refinement expression cand might be analyzed in this context.

getAValue

Gets the abstract refinement value the variable is assumed to have.

toString

Gets a textual representation of this element.