Trait

inox.ast.TreeOps

IdentityTreeTransformer

Related Doc: package TreeOps

Permalink

trait IdentityTreeTransformer extends Trees.IdentityTransformer with TreeTransformer

Linear Supertypes
TreeTransformer, DefinitionTransformer, Trees.IdentityTransformer, Trees.SelfTransformer, Transformer, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IdentityTreeTransformer
  2. TreeTransformer
  3. DefinitionTransformer
  4. IdentityTransformer
  5. SelfTransformer
  6. Transformer
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final type Env = Unit

    Permalink
    Definition Classes
    TreeTransformer → Transformer

  2. trait TreeTransformerComposition extends TreeTransformer

    Permalink
    Attributes
    protected
    Definition Classes
    TreeTransformer

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. def andThen(that: TreeTransformer { val s: IdentityTreeTransformer.this.t.type }): TreeTransformer { ... /* 2 definitions in type refinement */ }

    Permalink
    Definition Classes
    TreeTransformer

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  7. def compose(that: TreeTransformer { val t: IdentityTreeTransformer.this.s.type }): TreeTransformer { ... /* 2 definitions in type refinement */ }

    Permalink
    Definition Classes
    TreeTransformer

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

    Permalink
    Definition Classes
    Transformer

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

    Permalink
    Definition Classes
    AnyRef

  10. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  11. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

    Permalink
    Definition Classes
    AnyRef → Any

  13. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  14. final val initEnv: Unit

    Permalink
    Definition Classes
    TreeTransformer → DefinitionTransformer

  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  19. val s: TreeOps.this.type

    Permalink
    Definition Classes
    SelfTransformer → Transformer

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

    Permalink
    Definition Classes
    AnyRef

  21. val t: TreeOps.this.type

    Permalink
    Definition Classes
    SelfTransformer → Transformer

  22. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  23. final def transform(flag: Trees.Flag, env: Env): Trees.Flag

    Permalink
    Definition Classes
    TreeTransformer → Transformer

  24. def transform(flag: Trees.Flag): Trees.Flag

    Permalink
    Definition Classes
    TreeTransformer

  25. final def transform(tpe: Trees.Type, env: Env): Trees.Type

    Permalink
    Definition Classes
    TreeTransformer → Transformer

  26. def transform(tpe: Trees.Type): Trees.Type

    Permalink
    Definition Classes
    TreeTransformer

  27. final def transform(e: Trees.Expr, env: Env): Trees.Expr

    Permalink
    Definition Classes
    TreeTransformer → Transformer

  28. def transform(e: Trees.Expr): Trees.Expr

    Permalink
    Definition Classes
    TreeTransformer

  29. final def transform(tpd: Trees.TypeParameterDef, env: Env): Trees.TypeParameterDef

    Permalink
    Definition Classes
    TreeTransformer → Transformer

  30. def transform(tpd: Trees.TypeParameterDef): Trees.TypeParameterDef

    Permalink
    Definition Classes
    TreeTransformer

  31. final def transform(vd: Trees.ValDef, env: Env): Trees.ValDef

    Permalink
    Definition Classes
    TreeTransformer → Transformer

  32. def transform(vd: Trees.ValDef): Trees.ValDef

    Permalink
    Definition Classes
    TreeTransformer

  33. final def transform(id: inox.Identifier, tpe: Trees.Type, env: Env): (inox.Identifier, Trees.Type)

    Permalink
    Definition Classes
    TreeTransformer → Transformer

  34. def transform(id: inox.Identifier, tpe: Trees.Type): (inox.Identifier, Trees.Type)

    Permalink
    Definition Classes
    TreeTransformer

  35. final def transform(id: inox.Identifier, env: Env): inox.Identifier

    Permalink
    Definition Classes
    TreeTransformer → Transformer

  36. def transform(id: inox.Identifier): inox.Identifier

    Permalink
    Definition Classes
    TreeTransformer

  37. def transform(sort: Trees.ADTSort): Trees.ADTSort

    Permalink
    Definition Classes
    DefinitionTransformer

  38. def transform(fd: Trees.FunDef): Trees.FunDef

    Permalink
    Definition Classes
    DefinitionTransformer

  39. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from TreeTransformer

Inherited from DefinitionTransformer

Inherited from Trees.IdentityTransformer

Inherited from Trees.SelfTransformer

Inherited from Transformer

Inherited from AnyRef

Inherited from Any

Ungrouped