Capability

The capture set of the type underlying this reference

The non-derived capability underlying this capability

The type underlying this capability, NoType for root capabilities

x covers y if we should retain y when computing the overlap of two footprints which have x respectively y as elements. We assume that .rd have already been stripped on both sides. We have:

x covers x x covers y ==> x covers y.f x covers y ==> x* covers y*, x? covers y? TODO what other clauses from subsumes do we need to port here?

Tests whether the capability derives from capability class cls.

Is this reference the generic root capability cap or a Fresh instance?

An exclusive capability is a capability that derives indirectly from a maximal capability without going through a read-only capability first.

Is this a maybe reference of the form x??

Is this a reach reference of the form x* or a readOnly or maybe variant of a reach reference?

Is this a read-only reference of the form x.rd or x.rd? or a capture set variable with only read-ony references in its upper bound?

Is this reference a root capability or a derived version of one? These capabilities have themselves as their captureSetOfInfo.

Is the reference tracked? This is true if it can be tracked and the capture set of the underlying type is not always empty.

The symbol that represents the level closest-enclosing ccOwner. Symbols representing levels are

• class symbols, but not inner (non-static) module classes
• method symbols, but not accessors or constructors

This is a maximal capability that subsumes y in given context and VarState.

Similar to isExlusive, but also includes capabilties with capture set variables in their info whose status is still open.

The logical owner of the root of this class:

• If this path starts with C.this, the class C.
• If it starts with a reference r, r's owner.
• If it starts with cap, the scala.caps package class.
• If it starts with a fresh instance, its owner.
• If it starts with a ParamRef or a ResultCap, NoSymbol.

The first element of this path type, skipping selections and qualifiers. Note that class parameter references are of the form this.C but their pathroot is still this.C, not this.

The capture set consisting of exactly this reference

x subsumes x x =:= y ==> x subsumes y x subsumes y ==> x subsumes y.f x subsumes y ==> x* subsumes y, x subsumes y? x subsumes y ==> x* subsumes y*, x? subsumes y? x: x1.type /\ x1 subsumes y ==> x subsumes y X = CapSet^cx, exists rx in cx, rx subsumes y ==> X subsumes y Y = CapSet^cy, forall ry in cy, x subsumes ry ==> x subsumes Y X: CapSet^c1...CapSet^c2, (CapSet^c1) subsumes y ==> X subsumes y Y: CapSet^c1...CapSet^c2, x subsumes (CapSet^c2) ==> x subsumes Y Contains[X, y] ==> X subsumes y

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

The type representing this capability. Note this method does not distinguish different RootCapability instances, and should only be used for printing or phases not related to CC.

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

The string representation of this showable element.

The string representation with each line after the first one indented by the given given margin (in spaces).

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.