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/TailRec/TailRecElimination

TailRecElimination

dotty.tools.dotc.transform.TailRec.TailRecElimination
class TailRecElimination(method: Symbol, enclosingClass: ClassSymbol, paramSyms: List[Symbol], isMandatory: Boolean) extends TreeMap

Attributes

Graph
Supertypes
class TreeMap
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def noTailTransform(tree: Tree)(using Context): Tree
def noTailTransforms[Tr <: Tree](trees: List[Tr])(using Context): List[Tr]
def transform(tree: Tree, tailPosition: Boolean)(using Context): Tree

Rewrite this tree to contain no tail recursive calls

Rewrite this tree to contain no tail recursive calls

Attributes

override def transform(tree: Tree)(using Context): Tree

Attributes

Definition Classes
def yesTailTransform(tree: Tree)(using Context): Tree

Inherited methods

def transform(trees: List[Instance.this.Tree])(using Context): List[Instance.this.Tree]

Attributes

Inherited from:
TreeMap
def transformBlock(blk: Instance.this.Block)(using Context): Instance.this.Block

Attributes

Inherited from:
TreeMap
def transformParams(params: Instance.this.ParamClause)(using Context): Instance.this.ParamClause

Attributes

Inherited from:
TreeMap
def transformParamss(paramss: List[Instance.this.ParamClause])(using Context): List[Instance.this.ParamClause]

Attributes

Inherited from:
TreeMap
def transformStats(trees: List[Instance.this.Tree], exprOwner: Symbol)(using Context): List[Instance.this.Tree]

Attributes

Inherited from:
TreeMap
def transformSub[Tr <: Instance.this.Tree](trees: List[Tr])(using Context): List[Tr]

Attributes

Inherited from:
TreeMap
def transformSub[Tr <: Instance.this.Tree](tree: Tr)(using Context): Tr

Attributes

Inherited from:
TreeMap

Concrete fields

var rewrittenParamSyms: List[Symbol]

The subset of paramSyms that are modified in at least one recursive call, and which therefore need a replacement var.

The subset of paramSyms that are modified in at least one recursive call, and which therefore need a replacement var.

Attributes

var varForRewrittenThis: Option[Symbol]

The local var that replaces this, if it is modified in at least one recursive call.

The local var that replaces this, if it is modified in at least one recursive call.

Attributes

var varsForRewrittenParamSyms: List[Symbol]

The replacement vars for the params in rewrittenParamSyms.

The replacement vars for the params in rewrittenParamSyms.

Attributes

Inherited fields

val cpy: Instance.this.TreeCopier

Attributes

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