Extractors

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. object Container

   

5. object FunctionContainerType

   

6. object IsTyped

   

7. object Operator extends TreeExtractor

   

   Operator Extractor to extract any Expression in a consistent way.

   Operator Extractor to extract any Expression in a consistent way.

   You can match on any Inox Expr, and then get both a Seq[Expr] of subterms and a builder function that takes a Seq of subterms (of same length) and rebuild the original node.

   Those extractors do not perform any syntactic simplifications. They rebuild the node using the case class (not the constructor, that performs simplifications). The rational behind this decision is to have core tools for performing tree transformations that are very predictable, if one need to simplify the tree, it is easy to write/call a simplification function that would simply apply the corresponding constructor for each node.

8. object RecordType

   

9. object TopLevelAnds

   

10. object TopLevelOrs

    

11. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

12. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

13. val deconstructor: TreeDeconstructor { ... /* 2 definitions in type refinement */ }

    

14. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

15. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

16. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

17. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

18. def getDeconstructor(that: Trees): TreeDeconstructor { ... /* 2 definitions in type refinement */ }

    

19. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

20. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

21. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

22. final def notify(): Unit

    

    Definition Classes

    AnyRef

23. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

24. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

25. def toString(): String

    

    Definition Classes

    AnyRef → Any

26. def unwrapTuple(e: Trees.Expr, expectedSize: Int)(implicit s: Trees.Symbols): Seq[Trees.Expr]

    

27. def unwrapTuple(e: Trees.Expr, isTuple: Boolean)(implicit s: Trees.Symbols): Seq[Trees.Expr]

    

28. def unwrapTupleType(tp: Trees.Type, expectedSize: Int): Seq[Trees.Type]

    

29. def unwrapTupleType(tp: Trees.Type, isTuple: Boolean): Seq[Trees.Type]

    

30. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

31. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )