scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.transform/TreeChecker/TreeNodeChecker

TreeNodeChecker

dotty.tools.dotc.transform.TreeChecker$.TreeNodeChecker$
object TreeNodeChecker extends TreeTraverser

Run some additional checks on the nodes of the trees. Specifically:

  • TypeTree can only appear in TypeApply args, New, Typed tpt, Closure tpt, SeqLiteral elemtpt, ValDef tpt, DefDef tpt, and TypeDef rhs.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def traverse(tree: Tree)(using Context): Unit

Inherited methods

def apply(x: Unit, tree: Tree)(using Context): Unit

Attributes

Inherited from:
TreeTraverser
def apply(x: Unit, trees: List[Tree])(using Context): X

Attributes

Inherited from:
TreeAccumulator
def foldMoreCases(x: Unit, tree: Tree)(using Context): X

Attributes

Inherited from:
TreeAccumulator
def foldOver(x: Unit, tree: Tree)(using Context): X

Attributes

Inherited from:
TreeAccumulator
def traverse(trees: List[Tree])(using Context): Unit

Attributes

Inherited from:
TreeTraverser
protected def traverseChildren(tree: Tree)(using Context): Unit

Attributes

Inherited from:
TreeTraverser
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL