Class Refinements::RefinementContext

A context in which a refinement expression is analyzed.

Direct supertypes

Known direct subtypes

Predicates

appliesTo

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

toString

Gets a textual representation of this element.