ValNode

Instance Constructors

new ValNode(name: String, givenType: SType, body: SValue)

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 addCost[R](costKind: TypeBasedCost, tpe: SType)(block: () ⇒ R)(implicit E: ErgoTreeEvaluator): R

Add the cost given by the descriptor to the accumulator and associate it with this operation node.
Add the cost given by the descriptor to the accumulator and associate it with this operation node.

Definition Classes
Value
Annotations
@inline()
final def addCost(costKind: FixedCost)(implicit E: ErgoTreeEvaluator): Unit

Add the cost given by the kind to the accumulator and associate it with this operation node.
Add the cost given by the kind to the accumulator and associate it with this operation node.

Definition Classes
Value
Annotations
@inline()
final def addSeqCost[R](costKind: PerItemCost, nItems: Int)(block: () ⇒ R)(implicit E: ErgoTreeEvaluator): R

Add the cost of a repeated operation to the accumulator and associate it with this operation.
Add the cost of a repeated operation to the accumulator and associate it with this operation. The number of items (loop iterations) is known in advance (like in Coll.map operation)
R
result type of the operation
costKind
cost descriptor of the operation
nItems
number of operations known in advance (before loop execution)
block
operation executed under the given cost

Definition Classes
Value
Annotations
@inline()
final def addSeqCostNoOp(costKind: PerItemCost, nItems: Int)(implicit E: ErgoTreeEvaluator): Unit

Add the cost of a repeated operation to the accumulator and associate it with this operation.
Add the cost of a repeated operation to the accumulator and associate it with this operation. The number of items (loop iterations) is known in advance (like in Coll.map operation)
costKind
cost descriptor of the operation
nItems
number of operations known in advance (before loop execution)

Definition Classes
Value
Annotations
@inline()
final def asInstanceOf[T0]: T0

Definition Classes
Any
val body: SValue

Definition Classes
ValNode → Val
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def companion: ValNode.type

The companion node descriptor with opCode, cost and other metadata.
The companion node descriptor with opCode, cost and other metadata.

Definition Classes
ValNode → Value
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def eval(env: DataEnv)(implicit E: ErgoTreeEvaluator): Any

Defines an evaluation semantics of this tree node (aka Value or expression) in the given data environment.
Defines an evaluation semantics of this tree node (aka Value or expression) in the given data environment. Should be implemented by all the ErgoTree nodes (aka operations). Thus, the ErgoTree interpreter implementation consists of combined implementations of this method. NOTE, this method shouldn't be called directly, instead use evalTo method.
env
immutable map, which binds variables (given by ids) to the values
E
Evaluator which defines evaluation context, cost accumulator, settings etc.
returns
the data value which is the result of evaluation

Attributes
protected
Definition Classes
Value
final def evalTo[T](env: DataEnv)(implicit E: ErgoTreeEvaluator): T

Evaluates this node to the value of the given expected type.
Evaluates this node to the value of the given expected type. This method should called from all eval implementations.
T
expected type of the resulting value
env
immutable map, which binds variables (given by ids) to the values
E
Evaluator which defines evaluation context, cost accumulator, settings etc.
returns
the data value which is the result of evaluation

Definition Classes
Value
Annotations
@inline()
def finalize(): Unit

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

Definition Classes
AnyRef → Any
val givenType: SType

Definition Classes
ValNode → Val
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val name: String

Definition Classes
ValNode → Val
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def opCode: OpCode

Unique id of the node class used in serialization of ErgoTree.
Unique id of the node class used in serialization of ErgoTree.

Definition Classes
Value
def opName: String

Name of the operation.
Name of the operation.

Definition Classes
Value
def opType: SFunc

This is not used as operation, but rather to form a program structure
This is not used as operation, but rather to form a program structure

Definition Classes
ValNode → Value
def sourceContext: Nullable[SourceContext]

Definition Classes
Value
def sourceContext_=(srcCtx: Nullable[SourceContext]): Unit

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

Definition Classes
AnyRef
def toSigmaProp: SigmaPropValue

Transforms this expression to SigmaProp expression or throws an exception.
Transforms this expression to SigmaProp expression or throws an exception.

Definition Classes
Value
def tpe: SType

The type of the value represented by this node.
The type of the value represented by this node. If the value is an operation it is the type of operation result.

Definition Classes
ValNode → Value
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: object ValNode | package ast

case class ValNode(name: String, givenType: SType, body: SValue) extends Value[SType] with Val with Product with Serializable

Instance Constructors

new ValNode(name: String, givenType: SType, body: SValue)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def addCost[R](costKind: TypeBasedCost, tpe: SType)(block: () ⇒ R)(implicit E: ErgoTreeEvaluator): R

final def addCost(costKind: FixedCost)(implicit E: ErgoTreeEvaluator): Unit

final def addSeqCost[R](costKind: PerItemCost, nItems: Int)(block: () ⇒ R)(implicit E: ErgoTreeEvaluator): R

final def addSeqCostNoOp(costKind: PerItemCost, nItems: Int)(implicit E: ErgoTreeEvaluator): Unit

final def asInstanceOf[T0]: T0

val body: SValue

def clone(): AnyRef

def companion: ValNode.type

final def eq(arg0: AnyRef): Boolean

def eval(env: DataEnv)(implicit E: ErgoTreeEvaluator): Any

final def evalTo[T](env: DataEnv)(implicit E: ErgoTreeEvaluator): T

def finalize(): Unit

final def getClass(): Class[_]

val givenType: SType

final def isInstanceOf[T0]: Boolean

val name: String

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def opCode: OpCode

def opName: String

def opType: SFunc

def sourceContext: Nullable[SourceContext]

def sourceContext_=(srcCtx: Nullable[SourceContext]): Unit

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

def toSigmaProp: SigmaPropValue

def tpe: SType

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Val

Inherited from Value[SType]

Inherited from SigmaNode

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped