trait InterpreterContext extends AnyRef
Base class of the context passed to verifier and prover.
- Alphabetic
- By Inheritance
- InterpreterContext
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
def
activatedScriptVersion: Byte
Maximum version of ErgoTree currently activated on the network.
Maximum version of ErgoTree currently activated on the network. The activation is performed via miners voting. The maximum version supported by the interpreter is defined by
Interpreter.MaxSupportedScriptVersion
. As a result, the execution of theInterpreter.verify
method depends on the relation between max supported and activated version. (see docs/aot-jit-switch.md). -
abstract
val
costLimit: Long
Hard limit on accumulated execution cost.
Hard limit on accumulated execution cost. Exceeding it leads to CostLimitException to be thrown.
-
abstract
val
extension: ContextExtension
Prover-defined key-value pairs, that may be used inside a script.
-
abstract
val
initCost: Long
Initial value of execution cost already accumulated before
Interpreter.verify
(orprove
) is called. -
abstract
def
toSigmaContext(extensions: Map[Byte, AnyValue] = Map()): Context
Creates
special.sigma.Context
instance based on this context.Creates
special.sigma.Context
instance based on this context. The created instance contains all data represented using types form special.sigma package. These types are used internally by ErgoTree interpreter. Thus, this method performs transformation from Ergo to internal Sigma representation of all context data.- extensions
additional context variables which will be merged with those in the
extension
of this instance, overriding existing bindings in case variable ids overlap.
- See also
sigmastate.eval.Evaluation
-
abstract
val
validationSettings: SigmaValidationSettings
Validation parameters passed to Interpreter.verify to detect soft-fork conditions.
-
abstract
def
withCostLimit(newCostLimit: Long): InterpreterContext
Creates a new instance with costLimit updated with given value.
-
abstract
def
withErgoTreeVersion(newVersion: Byte): InterpreterContext
Creates a new instance with currErgoTreeVersion updated with the given value.
-
abstract
def
withExtension(newExtension: ContextExtension): InterpreterContext
Creates a new instance with extension updated with given value.
-
abstract
def
withInitCost(newCost: Long): InterpreterContext
Creates a new instance with initCost updated with given value.
-
abstract
def
withValidationSettings(newVs: SigmaValidationSettings): InterpreterContext
Creates a new instance with given validation settings.
Concrete 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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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( ... ) @native()
-
def
withBindings(bindings: VarBinding*): InterpreterContext
Creates a new instance with given bindings added to extension.