object SAvlTree extends SProduct with SPredefType with SMonoType with Product with Serializable
Type descriptor of AvlTree
type of ErgoTree.
- Alphabetic
- By Inheritance
- SAvlTree
- Serializable
- Serializable
- SMonoType
- STypeCompanion
- SPredefType
- SProduct
- SType
- SigmaNode
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
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
-
def
?:(whenNoType: ⇒ SType): SType
Elvis operator for types.
Elvis operator for types. See https://en.wikipedia.org/wiki/Elvis_operator
- Definition Classes
- SType
- lazy val CollKeyValue: SCollection[STuple]
-
final
val
CreateAvlVerifier_Info: OperationCostInfo[PerItemCost]
The proof may contain keys, labels and values, we don't know for sure how many, but we assume the cost is O(proof.length).
The proof may contain keys, labels and values, we don't know for sure how many, but we assume the cost is O(proof.length). So the following is an approximation of the proof parsing cost.
- final val InsertIntoAvlTree_Info: OperationCostInfo[PerItemCost]
- final val LookupAvlTree_Info: OperationCostInfo[PerItemCost]
- final val RemoveAvlTree_Info: OperationCostInfo[PerItemCost]
- lazy val TCollOptionCollByte: SCollection[SOption[SCollection[SByte.type]]]
- final val UpdateAvlTree_Info: OperationCostInfo[PerItemCost]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- lazy val containsMethod: SMethod
-
def
contains_eval(mc: MethodCall, tree: AvlTree, key: Coll[Byte], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Boolean
Implements evaluation of AvlTree.contains method call ErgoTree node.
Implements evaluation of AvlTree.contains method call ErgoTree node. Called via reflection based on naming convention.
- See also
SMethod.evalMethod
-
def
createVerifier(tree: AvlTree, proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): AvlTreeVerifier
Creates AvlTreeVerifier for the given tree and proof.
- lazy val digestMethod: SMethod
-
lazy val
digest_Info: OperationCostInfo[FixedCost]
Cost descriptor of
digest
method. - lazy val enabledOperationsMethod: SMethod
-
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()
- lazy val getManyMethod: SMethod
-
def
getMany_eval(mc: MethodCall, tree: AvlTree, keys: Coll[Coll[Byte]], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Coll[Option[Coll[Byte]]]
Implements evaluation of AvlTree.getMany method call ErgoTree node.
Implements evaluation of AvlTree.getMany method call ErgoTree node. Called via reflection based on naming convention.
- See also
SMethod.evalMethod
- lazy val getMethod: SMethod
-
def
getMethodById(methodId: Byte): Option[SMethod]
Lookup method by its id in this type.
Lookup method by its id in this type.
- Definition Classes
- STypeCompanion
- Annotations
- @inline()
-
def
getMethodByName(name: String): SMethod
Looks up the method descriptor by the method name.
Looks up the method descriptor by the method name.
- Definition Classes
- STypeCompanion
-
def
getMethods(): Seq[SMethod]
This method should be overriden in derived classes to add new methods in addition to inherited.
-
def
get_eval(mc: MethodCall, tree: AvlTree, key: Coll[Byte], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Option[Coll[Byte]]
Implements evaluation of AvlTree.get method call ErgoTree node.
Implements evaluation of AvlTree.get method call ErgoTree node. Called via reflection based on naming convention.
- See also
SMethod.evalMethod
-
def
hasMethod(name: String): Boolean
Returns true if this type has a method with the given name.
Returns true if this type has a method with the given name.
- Definition Classes
- SProduct
- lazy val insertMethod: SMethod
-
def
insert_eval(mc: MethodCall, tree: AvlTree, entries: KeyValueColl, proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Option[AvlTree]
Implements evaluation of AvlTree.insert method call ErgoTree node.
Implements evaluation of AvlTree.insert method call ErgoTree node. Called via reflection based on naming convention.
- See also
SMethod.evalMethod
-
def
isEmbeddable: Boolean
Returns true if this type embeddable, i.e.
Returns true if this type embeddable, i.e. a type that can be combined with type constructor for optimized encoding. For each embeddable type
T
, and type constructorC
, the typeC[T]
can be represented by a single byte.- Definition Classes
- SType
- See also
- lazy val isInsertAllowedMethod: SMethod
- lazy val isInsertAllowed_Info: OperationCostInfo[FixedCost]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- lazy val isRemoveAllowedMethod: SMethod
- lazy val isRemoveAllowed_Info: OperationCostInfo[FixedCost]
- lazy val isUpdateAllowedMethod: SMethod
- lazy val isUpdateAllowed_Info: OperationCostInfo[FixedCost]
- lazy val keyLengthMethod: SMethod
-
def
method(methodName: String): Option[SMethod]
Finds a method descriptor SMethod for the given name.
-
def
methodById(methodId: Byte): SMethod
Lookup method in this type by method's id or throw ValidationException.
Lookup method in this type by method's id or throw ValidationException. This method can be used in trySoftForkable section to either obtain valid method or catch ValidatioinException which can be checked for soft-fork condition. It delegate to getMethodById to lookup method.
- Definition Classes
- STypeCompanion
- See also
getMethodById
-
def
methodIndex(name: String): Int
Returns -1 if
method
is not found.Returns -1 if
method
is not found.- Definition Classes
- SProduct
-
lazy val
methods: Seq[SMethod]
Returns all the methods of this type.
Returns all the methods of this type.
- Definition Classes
- SProduct
-
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
property(name: String, tpeRes: SType, id: Byte, valueCompanion: ValueCompanion): SMethod
Helper method to create method descriptors for properties (i.e.
Helper method to create method descriptors for properties (i.e. methods without args).
- Attributes
- protected
- Definition Classes
- SMonoType
-
def
propertyCall(name: String, tpeRes: SType, id: Byte, costKind: CostKind): SMethod
Helper method to create method descriptors for properties (i.e.
Helper method to create method descriptors for properties (i.e. methods without args).
- Attributes
- protected
- Definition Classes
- SMonoType
-
val
reflection: InterpreterReflection.type
Force initialization of reflection.
Force initialization of reflection.
- Definition Classes
- STypeCompanion
- lazy val removeMethod: SMethod
-
def
remove_eval(mc: MethodCall, tree: AvlTree, operations: Coll[Coll[Byte]], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Option[AvlTree]
Implements evaluation of AvlTree.remove method call ErgoTree node.
Implements evaluation of AvlTree.remove method call ErgoTree node. Called via reflection based on naming convention.
- See also
SMethod.evalMethod
-
val
reprClass: RClass[_]
Class which represents values of this type.
Class which represents values of this type. When method call is executed, the corresponding method of this class is invoked via RMethod.invoke().
- Definition Classes
- SAvlTree → STypeCompanion
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
lazy val
thisRClass: RClass[_]
Represents class of
this
.Represents class of
this
.- Definition Classes
- STypeCompanion
-
def
toTermString: String
Returns parsable type term string of the type described by this type descriptor.
Returns parsable type term string of the type described by this type descriptor. For every type it should be inverse to SigmaTyper.parseType. This is default fallback implementation, should be overriden if it is not correct for a particular type.
- Definition Classes
- SType
-
val
typeCode: TypeCode
Type code used in serialization of SType values.
-
def
typeId: TypeCode
Type identifier to use in method serialization
Type identifier to use in method serialization
- Definition Classes
- SAvlTree → STypeCompanion
-
def
typeName: String
If this is SType instance then returns the name of the corresponding RType.
If this is SType instance then returns the name of the corresponding RType. Otherwise returns the name of type companion object (e.g. SCollection).
- Definition Classes
- STypeCompanion
- lazy val updateDigestMethod: SMethod
- lazy val updateDigest_Info: OperationCostInfo[FixedCost]
- lazy val updateMethod: SMethod
- lazy val updateOperationsMethod: SMethod
-
def
update_eval(mc: MethodCall, tree: AvlTree, operations: KeyValueColl, proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Option[AvlTree]
Implements evaluation of AvlTree.update method call ErgoTree node.
Implements evaluation of AvlTree.update method call ErgoTree node. Called via reflection based on naming convention.
- See also
SMethod.evalMethod
- lazy val valueLengthOptMethod: SMethod
-
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
withSubstTypes(subst: Map[STypeVar, SType]): SType
Applies a type substitution to this type.
Applies a type substitution to this type.
- subst
the type substitution to apply
- returns
the type after applying the substitution
- Definition Classes
- SType