TreeMakerApproximation

Type Members

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

2. case class AndCond(a: Cond, b: Cond) extends Cond with Product with Serializable

3. case class BodyTreeMaker(body: Tree, matchPt: Type) extends TreeMaker with NoNewBinders with Product with Serializable

4. abstract class Cond extends AnyRef

5. abstract class CondTreeMaker extends FunTreeMaker

6. class EqualityCond extends Cond

7. case class EqualityTestTreeMaker(prevBinder: Symbol, patTree: Tree, pos: Position) extends CondTreeMaker with Product with Serializable

8. case class ExtractorTreeMaker(extractor: Tree, extraCond: Option[Tree], nextBinder: Symbol, localSubstitution: Substitution, extractorReturnsBoolean: Boolean, checkedLength: Option[Int], prevBinder: Symbol) extends FunTreeMaker 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 in this function's body, and all the subsequent ones, references to the symbols in from will be replaced by the corresponding tree in to

9. abstract class FunTreeMaker extends TreeMaker

10. case class GuardTreeMaker(guardTree: Tree) extends TreeMaker with NoNewBinders with Product with Serializable

11. trait NoNewBinders extends TreeMaker

12. class NonNullCond extends Cond

13. case class OrCond(a: Cond, b: Cond) extends Cond with Product with Serializable

14. case class ProductExtractorTreeMaker(prevBinder: Symbol, extraCond: Option[Tree], localSubstitution: Substitution) extends FunTreeMaker with Product with Serializable

15. case class SubstOnlyTreeMaker(prevBinder: Symbol, nextBinder: Symbol) extends TreeMaker with Product with Serializable

16. class Substitution extends AnyRef

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

18. abstract class TreeMaker extends AnyRef

19. abstract class TreeMakersToConds extends AnyRef

20. case class TrivialTreeMaker(tree: Tree) extends TreeMaker with NoNewBinders with Product with Serializable

21. class TypeCond extends Cond

22. case class TypeTestTreeMaker(prevBinder: Symbol, testedBinder: Symbol, expectedTp: Type, nextBinderTp: Type, pos: Position, extractorArgTypeTest: Boolean) extends CondTreeMaker with Product with Serializable

    implements the run-time aspects of (§8.