Fluid
A special capture set that gets added to the types of symbols that were not themselves capture checked, in order to admit arbitrary corresponding capture sets in subcapturing comparisons. Similar to platform types for explicit nulls, this provides more lenient checking against compilation units that were not yet compiled with capture checking on.
Attributes
- Graph
-
- Supertypes
- Self type
-
Fluid.type
Members list
Value members
Concrete methods
{x} <:< this where <:< is subcapturing, but treating all variables as frozen.
{x} <:< this where <:< is subcapturing, but treating all variables as frozen.
Attributes
- Definition Classes
Add a specific element, assuming it is not already accounted for, and omitting any mapping or filtering, without possibility to backtrack to the underlying capture set.
Add a specific element, assuming it is not already accounted for, and omitting any mapping or filtering, without possibility to backtrack to the underlying capture set.
Attributes
- Definition Classes
-
Const -> CaptureSet
Is this capture set always empty? For unsolved capture veriables, returns always false.
Is this capture set always empty? For unsolved capture veriables, returns always false.
Attributes
- Definition Classes
-
Const -> CaptureSet
A more optimistic version of accountsFor, which does not take variable supersets of the x reference into account. A set might account for x if it accounts for x in a state where we assume all supersets of x have just the elements known at this point. On the other hand if x's capture set has no known elements, a set cs might account for x only if it subsumes x or it contains the root capability cap.
A more optimistic version of accountsFor, which does not take variable supersets of the x reference into account. A set might account for x if it accounts for x in a state where we assume all supersets of x have just the elements known at this point. On the other hand if x's capture set has no known elements, a set cs might account for x only if it subsumes x or it contains the root capability cap.
Attributes
- Definition Classes
Inherited methods
The largest capture set (via <:<) that is a subset of both this and that
The largest capture set (via <:<) that is a subset of both this and that
Attributes
- Inherited from:
- CaptureSet
The smallest superset (via <:<) of this capture set that also contains ref.
The smallest superset (via <:<) of this capture set that also contains ref.
Attributes
- Inherited from:
- CaptureSet
The smallest capture set (via <:<) that is a superset of both this and that
The smallest capture set (via <:<) that is a superset of both this and that
Attributes
- Inherited from:
- CaptureSet
The largest subset (via <:<) of this capture set that does not account for ref
The largest subset (via <:<) of this capture set that does not account for ref
Attributes
- Inherited from:
- CaptureSet
The largest subset (via <:<) of this capture set that does not account for any of the elements in the constant capture set that
The largest subset (via <:<) of this capture set that does not account for any of the elements in the constant capture set that
Attributes
- Inherited from:
- CaptureSet
Two capture sets are considered =:= equal if they mutually subcapture each other in a frozen state.
Two capture sets are considered =:= equal if they mutually subcapture each other in a frozen state.
Attributes
- Inherited from:
- CaptureSet
If this is a variable, add cs as a dependent set
Convert to Const. @pre: isConst
Cast to variable. @pre: !isConst
Invoke handler if this set has (or later aquires) the root capability cap
Invoke handler if this set has (or later aquires) the root capability cap
Attributes
- Inherited from:
- CaptureSet
Invoke handler on the elements to ensure wellformedness of the capture set. The handler might add additional elements to the capture set.
Invoke handler on the elements to ensure wellformedness of the capture set. The handler might add additional elements to the capture set.
Attributes
- Inherited from:
- CaptureSet
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
Attributes
- Inherited from:
- Showable
The largest subset (via <:<) of this capture set that only contains elements for which p is true.
The largest subset (via <:<) of this capture set that only contains elements for which p is true.
Attributes
- Inherited from:
- CaptureSet
Is this capture set constant (i.e. not an unsolved capture variable)? Solved capture variables count as constant.
Is this capture set constant (i.e. not an unsolved capture variable)? Solved capture variables count as constant.
Attributes
- Inherited from:
- Const
Is this capture set definitely non-empty?
Does this capture set contain the root reference cap as element?
Does this capture set contain the root reference cap as element?
Attributes
- Inherited from:
- CaptureSet
An optional level limit, or NoSymbol if none exists. All elements of the set must be in scopes visible from the level limit.
An optional level limit, or NoSymbol if none exists. All elements of the set must be in scopes visible from the level limit.
Attributes
- Inherited from:
- Const
Capture set obtained by applying tm to all elements of the current capture set and joining the results. If the current capture set is a variable, the same transformation is applied to all future additions of new elements.
Capture set obtained by applying tm to all elements of the current capture set and joining the results. If the current capture set is a variable, the same transformation is applied to all future additions of new elements.
Note: We have a problem how we handle the situation where we have a mapped set
cs2 = tm(cs1)
and then the propagation solver adds a new element x to cs2. What do we know in this case about cs1? We can answer this question in a sound way only if tm is a bijection on capture references or it is idempotent on capture references. (see definition in IdempotentCapRefMap). If tm is a bijection we know that tm^-1(x) must be in cs1. If tm is idempotent one possible solution is that x is in cs1, which is what we assume in this case. That strategy is sound but not complete.
If tm is some other map, we don't know how to handle this case. For now, we simply refuse to handle other maps. If they do need to be handled, OtherMapped provides some approximation to a solution, but it is neither sound nor complete.
Attributes
- Inherited from:
- CaptureSet
Attributes
- Inherited from:
- CaptureSet
A more optimistic version of subCaptures used to choose one of two typing rules for selections and applications. cs1 mightSubcapture cs2 if cs2 might account for every element currently known to be in cs1.
A more optimistic version of subCaptures used to choose one of two typing rules for selections and applications. cs1 mightSubcapture cs2 if cs2 might account for every element currently known to be in cs1.
Attributes
- Inherited from:
- CaptureSet
More info enabled by -Y flags
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 string representation with each line after the first one indented by the given given margin (in spaces).
Attributes
- Inherited from:
- Showable
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
Attributes
- Inherited from:
- Showable
The subcapturing test.
The subcapturing test.
Value parameters
- frozen
-
if true, no new variables or dependent sets are allowed to be added when making this test. An attempt to add either will result in failure.
Attributes
- Inherited from:
- CaptureSet
A mapping resulting from substituting parameters of a BindingType to a list of types
A mapping resulting from substituting parameters of a BindingType to a list of types
Attributes
- Inherited from:
- CaptureSet
A regular @retains or @retainsByName annotation with the elements of this set as arguments.
A regular @retains or @retainsByName annotation with the elements of this set as arguments.
Attributes
- Inherited from:
- CaptureSet
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.
Attributes
- Definition Classes
- Inherited from:
- CaptureSet
An upper approximation of this capture set, i.e. a constant set that is subcaptured by this set. If the current set is a variable it is the intersection of all upper approximations of known supersets of the variable. The upper approximation is meaningful only if it is constant. If not, upperApprox can return an arbitrary capture set variable. upperApprox is used in solve.
An upper approximation of this capture set, i.e. a constant set that is subcaptured by this set. If the current set is a variable it is the intersection of all upper approximations of known supersets of the variable. The upper approximation is meaningful only if it is constant. If not, upperApprox can return an arbitrary capture set variable. upperApprox is used in solve.
Attributes
- Inherited from:
- Const
This capture set with a description that tells where it comes from
Inherited fields
The provided description (set via withDescription) for this capture set or else ""
The provided description (set via withDescription) for this capture set or else ""
Attributes
- Inherited from:
- Const