Interpreter

Type Members

case class ReductionResult(value: SigmaBoolean, cost: Long) extends Product with Serializable

Result of ErgoTree reduction procedure (see reduceToCrypto and friends).
Result of ErgoTree reduction procedure (see reduceToCrypto and friends).
value
the value of SigmaProp type which represents a logical statement verifiable via sigma protocol.
cost
the estimated cost of the contract execution.
type ScriptEnv = Map[String, Any]

Represents properties of interpreter invocation.
type VerificationResult = (Boolean, Long)

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

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
val MaxSupportedScriptVersion: Byte

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.
val ScriptNameProp: String

Property name used to store script name.
def WhenSoftForkReductionResult(cost: Long): ReductionResult

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

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

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
def clone(): AnyRef

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

Empty interpreter properties.
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

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

Helper method to throw errors from Interpreter.
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

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

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

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

Definition Classes
AnyRef
def toString(): String

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

Special helper function which converts the given expression to expression returning boolean or throws an exception if the conversion is not defined.
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait Interpreter | package interpreter

object Interpreter

Type Members

case class ReductionResult(value: SigmaBoolean, cost: Long) extends Product with Serializable

type ScriptEnv = Map[String, Any]

type VerificationResult = (Boolean, Long)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val MaxSupportedScriptVersion: Byte

val ScriptNameProp: String

def WhenSoftForkReductionResult(cost: Long): ReductionResult

final def asInstanceOf[T0]: T0

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

def clone(): AnyRef

val emptyEnv: ScriptEnv

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def error(msg: String): Nothing

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

def toValidScriptType(exp: SValue): BoolValue

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped