Scope
A scope contains a set of symbols. It can be an extension of some outer scope, from which it inherits all symbols. This class does not have any methods to add symbols to a scope or to delete them. These methods are provided by subclass MutableScope.
Value members
Abstract methods
Returns a new mutable scope with the same content as this one.
Returns a new mutable scope with the same content as this one.
Concrete methods
Does this scope contain a reference to sym
when looking up name
?
Does this scope contain a reference to sym
when looking up name
?
The denotation set of all the symbols with given name in this scope
Symbols occur in the result in reverse order relative to their occurrence
in this.toList
.
The denotation set of all the symbols with given name in this scope
Symbols occur in the result in reverse order relative to their occurrence
in this.toList
.
Ensure that all elements of this scope have been entered.
Overridden by SymbolLoaders.PackageLoader#PackageScope, where it
makes sure that all names with $
's have been added.
Ensure that all elements of this scope have been entered.
Overridden by SymbolLoaders.PackageLoader#PackageScope, where it
makes sure that all names with $
's have been added.
Tests whether a predicate holds for at least one Symbol of this Scope.
Tests whether a predicate holds for at least one Symbol of this Scope.
Selects all Symbols of this Scope which satisfy a predicate.
Selects all Symbols of this Scope which satisfy a predicate.
The scope that keeps only those symbols from this scope that match the given predicates. If all symbols match, returns the scope itself, otherwise a copy with the matching symbols.
The scope that keeps only those symbols from this scope that match the given predicates. If all symbols match, returns the scope itself, otherwise a copy with the matching symbols.
Finds the first Symbol of this Scope satisfying a predicate, if any.
Finds the first Symbol of this Scope satisfying a predicate, if any.
Applies a function f to all Symbols of this Scope.
Applies a function f to all Symbols of this Scope.
Return all symbols as an iterator in the order they were entered in this scope.
Return all symbols as an iterator in the order they were entered in this scope.
Inherited methods
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
- Inherited from:
- Showable
The string representation of this showable element.
The string representation of this showable element.
- Inherited from:
- Showable
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).
- 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.
- Inherited from:
- Showable