scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/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

Value members

Concrete methods

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

Inherited methods

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

Attributes

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

Attributes

Inherited from:
TreeAccumulator
def foldMoreCases(x: Unit, tree: Instance.this.Tree)(using Context): Unit

Attributes

Inherited from:
TreeAccumulator
def foldOver(x: Unit, tree: Instance.this.Tree)(using Context): Unit

Attributes

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

Attributes

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

Attributes

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