TreeMakerApproximation

Type Members

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

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

3. abstract class Cond extends AnyRef

4. abstract class CondTreeMaker extends FunTreeMaker

5. class EqualityCond extends Cond

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

7. case class ExtractorTreeMaker(extractor: Tree, extraCond: Option[Tree], nextBinder: Symbol, localSubstitution: Substitution, extractorReturnsBoolean: Boolean) 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

8. abstract class FunTreeMaker extends TreeMaker

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

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

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

12. class Substitution extends AnyRef

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

14. abstract class TreeMaker extends AnyRef

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

16. class TypeAndEqualityCond extends Cond

17. case class TypeAndEqualityTestTreeMaker(prevBinder: Symbol, patBinder: Symbol, pt: Type, pos: Position) extends CondTreeMaker with Product with Serializable

18. class TypeCond extends Cond

19. case class TypeTestTreeMaker(prevBinder: Symbol, nextBinderTp: Type, pos: Position) extends CondTreeMaker with Product with Serializable