Object/Trait

sigmastate.interpreter

Interpreter

Related Docs: trait Interpreter | package interpreter

Permalink

object Interpreter

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Interpreter
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type ReductionResult = (SigmaBoolean, Long)

    Permalink

    Result of ErgoTree reduction procedure (see reduceToCrypto and friends).

    Result of ErgoTree reduction procedure (see reduceToCrypto and friends). The first component is the value of SigmaProp type which represents a statement verifiable via sigma protocol. The second component is the estimated cost of consumed by the contract execution.

  2. type ScriptEnv = Map[String, Any]

    Permalink
  3. type VerificationResult = (Boolean, Long)

    Permalink

    Result of Box.ergoTree verification procedure (see verify method).

    Result of Box.ergoTree verification procedure (see verify method). The first component is the value of Boolean type which represents a result of SigmaProp condition verification via sigma protocol. The second component is the estimated cost of contract execution.

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. val MaxSupportedScriptVersion: Byte

    Permalink

    Maximum version of ErgoTree supported by this interpreter release.

    Maximum version of ErgoTree supported by this interpreter release. See version bits in ErgoTree.header for more details. This value should be increased with each new protocol update via soft-fork. The following values are used for current and upcoming forks: - version 3.x this value must be 0 - in v4.0 must be 1 - in v5.x must be 2 etc.

  5. val ScriptNameProp: String

    Permalink
  6. val WhenSoftForkReductionResult: ReductionResult

    Permalink

    The result of script reduction when soft-fork condition is detected by the old node, in which case the script is reduced to the trivial true proposition and takes up 0 cost.

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def calcResult(IR: IRContext)(context: Context, calcF: eval.IRContext.Ref[(eval.IRContext.Context) ⇒ Any]): SigmaProp

    Permalink

    Executes the given calcF graph in the given context.

    Executes the given calcF graph in the given context.

    IR

    container of the graph (see IRContext)

    context

    script execution context (built from org.ergoplatform.ErgoLikeContext)

    calcF

    graph which represents a reduction function from Context to SigmaProp.

    returns

    a reduction result

  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. val emptyEnv: ScriptEnv

    Permalink
  11. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  13. def error(msg: String): Nothing

    Permalink
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  17. final def isInstanceOf[T0]: Boolean

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

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

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

    Permalink
    Definition Classes
    AnyRef
  21. final def synchronized[T0](arg0: ⇒ T0): T0

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

    Permalink
    Definition Classes
    AnyRef → Any
  23. def toValidScriptType(exp: SValue): BoolValue

    Permalink

    Special helper function which converts the given expression to expression returning boolean or throws an exception if the conversion is not defined.

  24. final def wait(): Unit

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped