ContextOps

dotty.tools.dotc.core.ContextOps$
object ContextOps

Extension methods for contexts where we want to keep the ctx. syntax

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ContextOps.type

Members list

Extensions

Extensions

extension (ctx: Context)(ctx: Context)

Context where sym is defined, assuming we are in a nested context.

Context where sym is defined, assuming we are in a nested context.

Attributes

def denotNamed(name: Name, required: FlagSet, excluded: FlagSet): Denotation

The denotation with the given name and all required flags in current context

The denotation with the given name and all required flags in current context

Attributes

def enter(sym: Symbol): Symbol

Enter symbol into current class, if current class is owner of current context, or into current scope, if not. Should always be called instead of scope.enter in order to make sure that updates to class members are reflected in finger prints.

Enter symbol into current class, if current class is owner of current context, or into current scope, if not. Should always be called instead of scope.enter in order to make sure that updates to class members are reflected in finger prints.

Attributes

A new context for the interior of a class

A new context for the interior of a class

Attributes

final def javaFindMember(name: Name, pre: Type, required: FlagSet, excluded: FlagSet): Denotation
def localContext(tree: Tree, owner: Symbol): FreshContext

A fresh local context with given tree and owner. Owner might not exist (can happen for self valdefs), in which case no owner is set in result context

A fresh local context with given tree and owner. Owner might not exist (can happen for self valdefs), in which case no owner is set in result context

Attributes