ValDef

IR node for let-bound expressions let x = rhs which is ValDef, or let f[T] = rhs which is FunDef. These nodes are used to represent ErgoTrees after common sub-expression elimination. This representation is more compact in serialized form.

id: unique identifier of the variable in the current scope.

Linear Supertypes

Serializable, Serializable, BlockItem, NotReadyValue[SType], Value[SType], SigmaNode, Product, Equals, AnyRef, Any

Instance Constructors

new ValDef(id: Int, tpeArgs: Seq[STypeVar], rhs: SValue)

id
unique identifier of the variable in the current scope.

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( ... )
def companion: ValueCompanion

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

Definition Classes
AnyRef
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 id: Int

unique identifier of the variable in the current scope.
unique identifier of the variable in the current scope.

Definition Classes
ValDef → BlockItem
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isValDef: Boolean

Definition Classes
ValDef → BlockItem
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

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
ValDef → Value
val rhs: SValue

Definition Classes
ValDef → BlockItem
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 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
ValDef → Value
val tpeArgs: Seq[STypeVar]
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 ValDef | package Values

case class ValDef(id: Int, tpeArgs: Seq[STypeVar], rhs: SValue) extends BlockItem with Product with Serializable

Instance Constructors

new ValDef(id: Int, tpeArgs: Seq[STypeVar], rhs: SValue)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def companion: ValueCompanion

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

val id: Int

final def isInstanceOf[T0]: Boolean

def isValDef: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def opCode: OpCode

def opName: String

def opType: SFunc

val rhs: SValue

def sourceContext: Nullable[SourceContext]

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

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

def tpe: SType

val tpeArgs: Seq[STypeVar]

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 BlockItem

Inherited from NotReadyValue[SType]

Inherited from Value[SType]

Inherited from SigmaNode

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped