Deconstructors

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 CNF

   

5. object IsTyped

   

6. 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.

7. object TopLevelAnds

   

8. object TopLevelOrs

   

9. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

10. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

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

    

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

14. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

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

    

17. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

18. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

20. final def notify(): Unit

    

    Definition Classes

    AnyRef

21. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

23. def toString(): String

    

    Definition Classes

    AnyRef → Any

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

    

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

    

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

    

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

    

28. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )