Packages

case class Context[F[_]](types: Vector[FuncType], funcs: Vector[FuncType], tables: Vector[TableType], mems: Vector[MemType], globals: Vector[GlobalType], locals: Vector[ValType], labels: Vector[ResultType], ret: Option[ResultType], operands: List[OperandType], unreachable: Boolean, parent: Option[Context[F]])(implicit F: MonadError[F, Throwable]) extends Product with Serializable

A validation context, used when performing module and instruction validation.

Source
Context.scala
Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Context
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Context(types: Vector[FuncType], funcs: Vector[FuncType], tables: Vector[TableType], mems: Vector[MemType], globals: Vector[GlobalType], locals: Vector[ValType], labels: Vector[ResultType], ret: Option[ResultType], operands: List[OperandType], unreachable: Boolean, parent: Option[Context[F]])(implicit F: MonadError[F, Throwable])

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. def emptyOperands: F[Unit]
  7. def enterContext(bt: BlockType, loop: Boolean): F[Context[F]]
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. val funcs: Vector[FuncType]
  10. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  11. val globals: Vector[GlobalType]
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. val labels: Vector[ResultType]
  14. def leaveContext(bt: BlockType, popInputs: Boolean): F[Context[F]]
  15. val locals: Vector[ValType]
  16. def markUnreachable: Context[F]
  17. val mems: Vector[MemType]
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  21. val operands: List[OperandType]
  22. val parent: Option[Context[F]]
  23. def pop: F[(OperandType, Context[F])]
  24. def pop(expected: Vector[ValType]): F[Context[F]]
  25. def pop(expected: OperandType): F[Context[F]]
  26. def pop(expected: ValType): F[Context[F]]
  27. def productElementNames: Iterator[String]
    Definition Classes
    Product
  28. def push(optypes: Vector[ValType]): Context[F]
  29. def push(optype: ValType): Context[F]
  30. def push(optype: OperandType): Context[F]
  31. val ret: Option[ResultType]
  32. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  33. val tables: Vector[TableType]
  34. val types: Vector[FuncType]
  35. val unreachable: Boolean
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. def withFreshOperands: Context[F]
  40. def withFuncs(tps: Vector[FuncType]): Context[F]
  41. def withGlobals(tps: Vector[GlobalType]): Context[F]
  42. def withLabels(tps: Vector[ResultType]): Context[F]
  43. def withLocals(tps: Vector[ValType]): Context[F]
  44. def withMems(tps: Vector[MemType]): Context[F]
  45. def withReturn(tpe: Option[ResultType]): Context[F]
  46. def withTables(tps: Vector[TableType]): Context[F]
  47. def withTypes(tps: Vector[FuncType]): Context[F]

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped