Class

inox.ast.Definitions

TypedFunDef

Related Doc: package Definitions

Permalink

case class TypedFunDef 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

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

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

    Annotations
    @inline()
  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. def flags: Set[Trees.Flag]

    Permalink

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

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

    Annotations
    @inline()
  14. def fullBody: Trees.Expr

    Permalink

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

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

    Annotations
    @inline()
  15. def functionType: Trees.FunctionType

    Permalink

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

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

    Annotations
    @inline()
  16. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    Positioned
  18. val id: Identifier

    Permalink
  19. def instantiate(f: Trees.Flag): Trees.Flag

    Permalink

    A Flag instantiated with this TypedFunDef's type instantiation

  20. def instantiate(e: Trees.Expr): Trees.Expr

    Permalink

    A Expr instantiated with this TypedFunDef's type instantiation

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

    Permalink

    A Type instantiated with this TypedFunDef's type instantiation

  22. final def isInstanceOf[T0]: Boolean

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

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

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

    Permalink
    Definition Classes
    AnyRef
  26. 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

  27. def params: Seq[Trees.ValDef]

    Permalink

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

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

    Annotations
    @inline()
  28. def returnType: Trees.Type

    Permalink

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

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

    Annotations
    @inline()
  29. def setPos(that: Positioned): TypedFunDef.this.type

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

    Permalink
    Definition Classes
    Positioned
  31. def signature: String

    Permalink
  32. implicit val symbols: Trees.Symbols

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

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

    Permalink
    Definition Classes
    Tree → AnyRef → Any
  35. def tpSubst: Map[Trees.TypeParameter, Trees.Type]

    Permalink
    Annotations
    @inline()
  36. val tps: Seq[Trees.Type]

    Permalink
  37. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. 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