case class ValDef(id: Int, tpeArgs: Seq[STypeVar], rhs: SValue) extends BlockItem with Product with Serializable
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
Ordering
- Alphabetic
- By Inheritance
Inherited
- ValDef
- Serializable
- Serializable
- BlockItem
- NotReadyValue
- Value
- SigmaNode
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
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()
- def companion: ValueCompanion
-
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
- Annotations
- @native()
- val id: Int
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isValDef: Boolean
-
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()
-
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
- val rhs: SValue
-
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.
- 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( ... ) @native()