Class

inox.tip.Parser.TermExtractor

Context

Related Doc: package TermExtractor

Permalink

case class Context(locals: Locals) extends AbstractContext with Product with Serializable

Attributes
protected
Linear Supertypes
Serializable, Serializable, Product, Equals, TermExtractor.AbstractContext, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Context
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AbstractContext
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Context(locals: Locals)

    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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  7. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  9. def getConstructor(sym: SSymbol): Identifier

    Permalink
    Annotations
    @inline()

  10. def getFunction(sym: SSymbol): Identifier

    Permalink
    Annotations
    @inline()

  11. def getGeneric(sym: SSymbol): trees.TypeParameter

    Permalink
    Annotations
    @inline()

  12. def getSelector(sym: SSymbol): Identifier

    Permalink
    Annotations
    @inline()

  13. def getSort(sym: SSymbol): Identifier

    Permalink
    Annotations
    @inline()

  14. def getVariable(sym: SSymbol): trees.Expr

    Permalink
    Annotations
    @inline()

  15. def isConstructor(sym: SSymbol): Boolean

    Permalink
    Annotations
    @inline()

  16. def isFunction(sym: SSymbol): Boolean

    Permalink
    Annotations
    @inline()

  17. def isGeneric(sym: SSymbol): Boolean

    Permalink
    Annotations
    @inline()

  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  19. def isSelector(sym: SSymbol): Boolean

    Permalink
    Annotations
    @inline()

  20. def isSort(sym: SSymbol): Boolean

    Permalink
    Annotations
    @inline()

  21. def isVariable(sym: SSymbol): Boolean

    Permalink
    Annotations
    @inline()

  22. val locals: Locals

    Permalink

  23. def lookupConstructor(sym: SSymbol): Option[Identifier]

    Permalink
    Annotations
    @inline()

  24. def lookupSort(sym: SSymbol): Option[Identifier]

    Permalink
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    AnyRef

  26. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  27. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  29. val vars: Map[SSymbol, trees.Expr]

    Permalink
    Definition Classes
    Context → AbstractContext

  30. final def wait(): Unit

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

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

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

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

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

  33. def withVariable(sym: SSymbol, expr: trees.Expr): Context

    Permalink
    Definition Classes
    Context → AbstractContext

  34. def withVariables(vars: Seq[(SSymbol, trees.Expr)]): Context

    Permalink
    Definition Classes
    AbstractContext

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from TermExtractor.AbstractContext

Inherited from AnyRef

Inherited from Any

Ungrouped