TreeMakerApproximation

Type Members

case class AlternativesTreeMaker(prevBinder: Global.Symbol, altss: List[List[(TreeMakers.this)#TreeMaker]], pos: Global.Position) extends (TreeMakers.this)#TreeMaker with (TreeMakers.this)#NoNewBinders with Product with Serializable

Definition Classes
TreeMakers
case class AndCond(a: (TreeMakerApproximation.this)#Cond, b: (TreeMakerApproximation.this)#Cond) extends (TreeMakerApproximation.this)#Cond with Product with Serializable
case class BodyTreeMaker(body: Global.Tree, matchPt: Global.Type) extends (TreeMakers.this)#TreeMaker with (TreeMakers.this)#NoNewBinders with Product with Serializable

Definition Classes
TreeMakers
abstract class Cond extends AnyRef
abstract class CondTreeMaker extends (TreeMakers.this)#FunTreeMaker

Definition Classes
TreeMakers
class EqualityCond extends (TreeMakerApproximation.this)#Cond
case class EqualityTestTreeMaker(prevBinder: Global.Symbol, patTree: Global.Tree, pos: Global.Position) extends (TreeMakers.this)#CondTreeMaker with Product with Serializable

Definition Classes
TreeMakers
case class ExtractorTreeMaker(extractor: Global.Tree, extraCond: Option[Global.Tree], nextBinder: Global.Symbol)(subPatBinders: List[Global.Symbol], subPatRefs: List[Global.Tree], extractorReturnsBoolean: Boolean, checkedLength: Option[Int], prevBinder: Global.Symbol) extends (TreeMakers.this)#FunTreeMaker with (TreeMakers.this)#PreserveSubPatBinders with Product with Serializable

Make a TreeMaker that will result in an extractor call specified by extractor the next TreeMaker (here, we don't know which it'll be) is chained after this one by flatMap'ing a function with binder nextBinder over our extractor's result the function's body is determined by the next TreeMaker (furthermore, the interpretation of flatMap depends on the codegen instance we're using).
abstract class FunTreeMaker extends (TreeMakers.this)#TreeMaker

Definition Classes
TreeMakers
case class GuardTreeMaker(guardTree: Global.Tree) extends (TreeMakers.this)#TreeMaker with (TreeMakers.this)#NoNewBinders with Product with Serializable

Definition Classes
TreeMakers
trait NoNewBinders extends (TreeMakers.this)#TreeMaker

Definition Classes
TreeMakers
class NonNullCond extends (TreeMakerApproximation.this)#Cond
case class OrCond(a: (TreeMakerApproximation.this)#Cond, b: (TreeMakerApproximation.this)#Cond) extends (TreeMakerApproximation.this)#Cond with Product with Serializable
trait PreserveSubPatBinders extends (TreeMakers.this)#TreeMaker

Definition Classes
TreeMakers
case class ProductExtractorTreeMaker(prevBinder: Global.Symbol, extraCond: Option[Global.Tree])(subPatBinders: List[Global.Symbol], subPatRefs: List[Global.Tree], mutableBinders: List[Global.Symbol]) extends (TreeMakers.this)#FunTreeMaker with (TreeMakers.this)#PreserveSubPatBinders with Product with Serializable

An optimized version of ExtractorTreeMaker for Products.
case class SubstOnlyTreeMaker(prevBinder: Global.Symbol, nextBinder: Global.Symbol) extends (TreeMakers.this)#TreeMaker with Product with Serializable

Definition Classes
TreeMakers
class Substitution extends AnyRef

Definition Classes
TypedSubstitution
case class Test(cond: (TreeMakerApproximation.this)#Cond, treeMaker: (TreeMakerApproximation.this)#TreeMaker) extends Product with Serializable
abstract class TreeMaker extends AnyRef

Definition Classes
TreeMakers
class TreeMakersToConds extends AnyRef
case class TrivialTreeMaker(tree: Global.Tree) extends (TreeMakers.this)#TreeMaker with (TreeMakers.this)#NoNewBinders with Product with Serializable

Definition Classes
TreeMakers
class TypeCond extends (TreeMakerApproximation.this)#Cond
case class TypeTestTreeMaker(prevBinder: Global.Symbol, testedBinder: Global.Symbol, expectedTp: Global.Type, nextBinderTp: Global.Type)(pos: Global.Position, extractorArgTypeTest: Boolean = false) extends (TreeMakers.this)#CondTreeMaker with Product with Serializable

implements the run-time aspects of (§8.

Abstract Value Members

abstract def inMatchMonad(tp: Global.Type): Global.Type

Definition Classes
MatchMonadInterface
abstract def matchMonadSym: Global.Symbol

Attributes
protected
Definition Classes
MatchMonadInterface
abstract def pureType(tp: Global.Type): Global.Type

Definition Classes
MatchMonadInterface
abstract val typer: (analyzer)#Typer

Definition Classes
MatchMonadInterface

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (TreeMakerApproximation, B)

Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to ArrowAssoc[TreeMakerApproximation] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
object Cond
object EmptySubstitution extends Substitution

Definition Classes
TypedSubstitution
object EqualityCond
object FalseCond extends (TreeMakerApproximation.this)#Cond with Product with Serializable
object IrrefutableExtractorTreeMaker
object NonNullCond
object Substitution

Definition Classes
TypedSubstitution
object Test extends Serializable
object TrueCond extends (TreeMakerApproximation.this)#Cond with Product with Serializable
object TypeCond
object TypeTestTreeMaker extends Serializable

Definition Classes
TreeMakers
def alignAcrossRows(xss: List[List[AnyRef]], sep: String, lineSep: String = "\n"): String

Definition Classes
Prettification
def alignedColumns(cols: Seq[AnyRef]): Seq[String]

Definition Classes
Prettification
def approximateMatchConservative(root: Global.Symbol, cases: List[List[(TreeMakerApproximation.this)#TreeMaker]]): List[List[(TreeMakerApproximation.this)#Test]]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
def combineCases(scrut: Global.Tree, scrutSym: Global.Symbol, casesRaw: List[List[(TreeMakerApproximation.this)#TreeMaker]], pt: Global.Type, owner: Global.Symbol, matchFailGenOverride: Option[(Global.Tree) ⇒ Global.Tree]): Global.Tree

Definition Classes
TreeMakers
def combineCasesNoSubstOnly(scrut: Global.Tree, scrutSym: Global.Symbol, casesNoSubstOnly: List[List[(TreeMakerApproximation.this)#TreeMaker]], pt: Global.Type, owner: Global.Symbol, matchFailGenOverride: Option[(Global.Tree) ⇒ Global.Tree]): Global.Tree

Definition Classes
TreeMakers
def combineExtractors(treeMakers: List[(TreeMakerApproximation.this)#TreeMaker])(casegen: (TreeMakerApproximation.this)#Casegen): Global.Tree

Definition Classes
TreeMakers
val debugInfoEmitVars: Boolean

Attributes
protected
Definition Classes
TreeMakers
def emitSwitch(scrut: Global.Tree, scrutSym: Global.Symbol, cases: List[List[(TreeMakerApproximation.this)#TreeMaker]], pt: Global.Type, matchFailGenOverride: Option[(Global.Tree) ⇒ Global.Tree], unchecked: Boolean): Option[Global.Tree]

Definition Classes
TreeMakers
def emitTypeSwitch(bindersAndCases: List[(Global.Symbol, List[(TreeMakerApproximation.this)#TreeMaker])], pt: Global.Type): Option[List[Global.CaseDef]]

Definition Classes
TreeMakers
def ensuring(cond: (TreeMakerApproximation) ⇒ Boolean, msg: ⇒ Any): TreeMakerApproximation

Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to Ensuring[TreeMakerApproximation] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (TreeMakerApproximation) ⇒ Boolean): TreeMakerApproximation

Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to Ensuring[TreeMakerApproximation] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): TreeMakerApproximation

Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to Ensuring[TreeMakerApproximation] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): TreeMakerApproximation

Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to Ensuring[TreeMakerApproximation] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
def fixerUpper(origOwner: Global.Symbol, pos: Global.Position): Global.Traverser

Attributes
protected
Definition Classes
TreeMakers
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def matchMonadResult(tp: Global.Type): Global.Type

Definition Classes
MatchMonadInterface
val matchOwner: Global.Symbol

Definition Classes
MatchMonadInterface
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def needsTypeTest(tp: Global.Type, pt: Global.Type): Boolean

Definition Classes
TreeMakers
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def optimizeCases(prevBinder: Global.Symbol, cases: List[List[(TreeMakerApproximation.this)#TreeMaker]], pt: Global.Type, unchecked: Boolean): (List[List[(TreeMakerApproximation.this)#TreeMaker]], List[Global.Tree])

Definition Classes
TreeMakers
def propagateSubstitution(treeMakers: List[(TreeMakerApproximation.this)#TreeMaker], initial: (TreeMakerApproximation.this)#Substitution): List[(TreeMakerApproximation.this)#TreeMaker]

Definition Classes
TreeMakers
def removeSubstOnly(makers: List[(TreeMakerApproximation.this)#TreeMaker]): collection.immutable.List[(TreeMakerApproximation.this)#TreeMaker]

Definition Classes
TreeMakers
def reportMissingCases(pos: Global.Position, counterExamples: List[String]): Unit

Definition Classes
MatchMonadInterface
def reportUnreachable(pos: Global.Position): Unit

Definition Classes
MatchMonadInterface
def sameValue(a: Global.Tree, b: Global.Tree): Boolean
def showTests(testss: List[List[(TreeMakerApproximation.this)#Test]]): Unit
def showTreeMakers(cases: List[List[(TreeMakerApproximation.this)#TreeMaker]]): Unit
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws()
def →[B](y: B): (TreeMakerApproximation, B)

Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to ArrowAssoc[TreeMakerApproximation] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Shadowed Implict Value Members

val self: Any
Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to StringAdd performed by method any2stringadd in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(treeMakerApproximation: StringAdd).self
Definition Classes
StringAdd
val self: Any
Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to StringFormat performed by method any2stringfmt in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(treeMakerApproximation: StringFormat).self
Definition Classes
StringFormat

Deprecated Value Members

def x: TreeMakerApproximation
Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to ArrowAssoc[TreeMakerApproximation] performed by method any2ArrowAssoc in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(treeMakerApproximation: ArrowAssoc[TreeMakerApproximation]).x
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: TreeMakerApproximation
Implicit information
This member is added by an implicit conversion from TreeMakerApproximation to Ensuring[TreeMakerApproximation] performed by method any2Ensuring in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(treeMakerApproximation: Ensuring[TreeMakerApproximation]).x
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

trait TreeMakerApproximation extends TreeMakers with Prettification

Type Members

case class AlternativesTreeMaker(prevBinder: Global.Symbol, altss: List[List[(TreeMakers.this)#TreeMaker]], pos: Global.Position) extends (TreeMakers.this)#TreeMaker with (TreeMakers.this)#NoNewBinders with Product with Serializable

case class AndCond(a: (TreeMakerApproximation.this)#Cond, b: (TreeMakerApproximation.this)#Cond) extends (TreeMakerApproximation.this)#Cond with Product with Serializable

case class BodyTreeMaker(body: Global.Tree, matchPt: Global.Type) extends (TreeMakers.this)#TreeMaker with (TreeMakers.this)#NoNewBinders with Product with Serializable

abstract class Cond extends AnyRef

abstract class CondTreeMaker extends (TreeMakers.this)#FunTreeMaker

class EqualityCond extends (TreeMakerApproximation.this)#Cond

case class EqualityTestTreeMaker(prevBinder: Global.Symbol, patTree: Global.Tree, pos: Global.Position) extends (TreeMakers.this)#CondTreeMaker with Product with Serializable

abstract class FunTreeMaker extends (TreeMakers.this)#TreeMaker

case class GuardTreeMaker(guardTree: Global.Tree) extends (TreeMakers.this)#TreeMaker with (TreeMakers.this)#NoNewBinders with Product with Serializable

trait NoNewBinders extends (TreeMakers.this)#TreeMaker

class NonNullCond extends (TreeMakerApproximation.this)#Cond

case class OrCond(a: (TreeMakerApproximation.this)#Cond, b: (TreeMakerApproximation.this)#Cond) extends (TreeMakerApproximation.this)#Cond with Product with Serializable

trait PreserveSubPatBinders extends (TreeMakers.this)#TreeMaker

case class SubstOnlyTreeMaker(prevBinder: Global.Symbol, nextBinder: Global.Symbol) extends (TreeMakers.this)#TreeMaker with Product with Serializable

class Substitution extends AnyRef

case class Test(cond: (TreeMakerApproximation.this)#Cond, treeMaker: (TreeMakerApproximation.this)#TreeMaker) extends Product with Serializable

abstract class TreeMaker extends AnyRef

class TreeMakersToConds extends AnyRef

case class TrivialTreeMaker(tree: Global.Tree) extends (TreeMakers.this)#TreeMaker with (TreeMakers.this)#NoNewBinders with Product with Serializable

class TypeCond extends (TreeMakerApproximation.this)#Cond

case class TypeTestTreeMaker(prevBinder: Global.Symbol, testedBinder: Global.Symbol, expectedTp: Global.Type, nextBinderTp: Global.Type)(pos: Global.Position, extractorArgTypeTest: Boolean = false) extends (TreeMakers.this)#CondTreeMaker with Product with Serializable

Abstract Value Members

abstract def inMatchMonad(tp: Global.Type): Global.Type

abstract def matchMonadSym: Global.Symbol

abstract def pureType(tp: Global.Type): Global.Type

abstract val typer: (analyzer)#Typer

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (TreeMakerApproximation, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object Cond

object EmptySubstitution extends Substitution

object EqualityCond

object FalseCond extends (TreeMakerApproximation.this)#Cond with Product with Serializable

object IrrefutableExtractorTreeMaker

object NonNullCond

object Substitution

object Test extends Serializable

object TrueCond extends (TreeMakerApproximation.this)#Cond with Product with Serializable

object TypeCond

object TypeTestTreeMaker extends Serializable

def alignAcrossRows(xss: List[List[AnyRef]], sep: String, lineSep: String = "\n"): String

def alignedColumns(cols: Seq[AnyRef]): Seq[String]

def approximateMatchConservative(root: Global.Symbol, cases: List[List[(TreeMakerApproximation.this)#TreeMaker]]): List[List[(TreeMakerApproximation.this)#Test]]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def combineCases(scrut: Global.Tree, scrutSym: Global.Symbol, casesRaw: List[List[(TreeMakerApproximation.this)#TreeMaker]], pt: Global.Type, owner: Global.Symbol, matchFailGenOverride: Option[(Global.Tree) ⇒ Global.Tree]): Global.Tree

def combineCasesNoSubstOnly(scrut: Global.Tree, scrutSym: Global.Symbol, casesNoSubstOnly: List[List[(TreeMakerApproximation.this)#TreeMaker]], pt: Global.Type, owner: Global.Symbol, matchFailGenOverride: Option[(Global.Tree) ⇒ Global.Tree]): Global.Tree

def combineExtractors(treeMakers: List[(TreeMakerApproximation.this)#TreeMaker])(casegen: (TreeMakerApproximation.this)#Casegen): Global.Tree

val debugInfoEmitVars: Boolean

def emitSwitch(scrut: Global.Tree, scrutSym: Global.Symbol, cases: List[List[(TreeMakerApproximation.this)#TreeMaker]], pt: Global.Type, matchFailGenOverride: Option[(Global.Tree) ⇒ Global.Tree], unchecked: Boolean): Option[Global.Tree]

def emitTypeSwitch(bindersAndCases: List[(Global.Symbol, List[(TreeMakerApproximation.this)#TreeMaker])], pt: Global.Type): Option[List[Global.CaseDef]]

def ensuring(cond: (TreeMakerApproximation) ⇒ Boolean, msg: ⇒ Any): TreeMakerApproximation

def ensuring(cond: (TreeMakerApproximation) ⇒ Boolean): TreeMakerApproximation

def ensuring(cond: Boolean, msg: ⇒ Any): TreeMakerApproximation

def ensuring(cond: Boolean): TreeMakerApproximation

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def fixerUpper(origOwner: Global.Symbol, pos: Global.Position): Global.Traverser

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def matchMonadResult(tp: Global.Type): Global.Type

val matchOwner: Global.Symbol

final def ne(arg0: AnyRef): Boolean

def needsTypeTest(tp: Global.Type, pt: Global.Type): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def optimizeCases(prevBinder: Global.Symbol, cases: List[List[(TreeMakerApproximation.this)#TreeMaker]], pt: Global.Type, unchecked: Boolean): (List[List[(TreeMakerApproximation.this)#TreeMaker]], List[Global.Tree])

def propagateSubstitution(treeMakers: List[(TreeMakerApproximation.this)#TreeMaker], initial: (TreeMakerApproximation.this)#Substitution): List[(TreeMakerApproximation.this)#TreeMaker]

def removeSubstOnly(makers: List[(TreeMakerApproximation.this)#TreeMaker]): collection.immutable.List[(TreeMakerApproximation.this)#TreeMaker]