Class

inox.ast.Definitions

TypedFunDef

Related Doc: package Definitions

Permalink

case class TypedFunDef(fd: Trees.FunDef, tps: Seq[Trees.Type])(implicit symbols: Trees.Symbols) extends Tree with Product with Serializable

Represents a FunDef whose type parameters have been instantiated with the specified types

Linear Supertypes
Product, Equals, Tree, Serializable, Serializable, Positioned, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypedFunDef
  2. Product
  3. Equals
  4. Tree
  5. Serializable
  6. Serializable
  7. Positioned
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TypedFunDef(fd: Trees.FunDef, tps: Seq[Trees.Type])(implicit symbols: Trees.Symbols)

    Permalink

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 applied: Trees.FunctionInvocation

    Permalink

    Apply this inox.ast.Definitions.TypedFunDef on its formal parameters

  5. def applied(realArgs: Seq[Trees.Expr]): Trees.FunctionInvocation

    Permalink

    Apply this inox.ast.Definitions.TypedFunDef on specified arguments

  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def asString(implicit opts: Trees.PrinterOptions): String

    Permalink
    Definition Classes
    Tree
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. def copiedFrom(o: Tree): TypedFunDef.this.type

    Permalink
    Definition Classes
    Tree
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. val fd: Trees.FunDef

    Permalink
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. lazy val fullBody: Trees.Expr

    Permalink

    The body of the respective FunDef instantiated with the real type parameters

  14. lazy val functionType: Trees.FunctionType

    Permalink

    The function type corresponding to this TypedFunDef's arguments and return type

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

    Permalink
    Definition Classes
    AnyRef → Any
  16. def getPos: Position

    Permalink
    Definition Classes
    Positioned
  17. val id: Identifier

    Permalink
  18. def instantiate(e: Trees.Expr): Trees.Expr

    Permalink

    A Expr instantiated with this TypedFunDef's type instantiation

  19. def instantiate(t: Trees.Type): Trees.Type

    Permalink

    A Type instantiated with this TypedFunDef's type instantiation

  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  21. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  24. def paramSubst(realArgs: Seq[Trees.Expr]): Map[Trees.ValDef, Trees.Expr]

    Permalink

    A mapping from this TypedFunDef's formal parameters to real arguments

    A mapping from this TypedFunDef's formal parameters to real arguments

    realArgs

    The arguments to which the formal arguments are mapped

  25. lazy val params: Seq[Trees.ValDef]

    Permalink

    The paremeters of the respective FunDef instantiated with the real type parameters

  26. lazy val returnType: Trees.Type

    Permalink

    The return type of the respective FunDef instantiated with the real type parameters

  27. def setPos(that: Positioned): TypedFunDef.this.type

    Permalink
    Definition Classes
    Positioned
  28. def setPos(pos: Position): TypedFunDef.this.type

    Permalink
    Definition Classes
    Positioned
  29. def signature: String

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

    Permalink
    Definition Classes
    AnyRef
  31. def toString(): String

    Permalink
    Definition Classes
    Tree → AnyRef → Any
  32. lazy val tpSubst: Map[Trees.TypeParameter, Trees.Type]

    Permalink
  33. val tps: Seq[Trees.Type]

    Permalink
  34. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. def withParamSubst(realArgs: Seq[Trees.Expr], e: Trees.Expr): Trees.Expr

    Permalink

    Substitute this TypedFunDef's formal parameters with real arguments in some expression

    Substitute this TypedFunDef's formal parameters with real arguments in some expression

    realArgs

    The arguments to which the formal argumentas are mapped

    e

    The expression in which the substitution will take place

Inherited from Product

Inherited from Equals

Inherited from Tree

Inherited from Serializable

Inherited from Serializable

Inherited from Positioned

Inherited from AnyRef

Inherited from Any

Ungrouped