SAvlTree

Type Members

type WrappedType = AvlTree

Definition Classes
SAvlTree → SType

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( ... )
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
val coster: Some[Coster]

CosterFactory associated with this type.
CosterFactory associated with this type.

Definition Classes
SAvlTree → STypeCompanion
def createVerifier(tree: AvlTree, proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): AvlTreeVerifier

Creates AvlTreeVerifier for the given tree and proof.
def dataSize(v: SType.WrappedType): Long

Approximate size of the given value in bytes.
Approximate size of the given value in bytes. It is actual size only for primitive types.

Definition Classes
SAvlTree → SType
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
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.
This method should be overriden in derived classes to add new methods in addition to inherited. Typical override: super.getMethods() ++ Seq(m1, m2, m3)

Attributes
protected
Definition Classes
SAvlTree → SProduct
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: Coll[(Coll[Byte], Coll[Byte])], 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 isConstantSize: Boolean

Returns true if dataSize doesn't depend on data value.
Returns true if dataSize doesn't depend on data value. This is useful for optimizations of calculating sizes of collections. The method should have O(1) amortized complexity over n invocations to avoid over-cost attacks on ErgoTree interpretation.

Definition Classes
SAvlTree → SType
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 constructor C, the type C[T] can be represented by a single byte.

Definition Classes
SType
See also
sigmastate.serialization.TypeSerializer
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.
Finds a method descriptor SMethod for the given name.

Definition Classes
SProduct
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
final def notifyAll(): Unit

Definition Classes
AnyRef
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
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: Class[_]

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 reflection java.lang.reflect.Method.invoke().

Definition Classes
SAvlTree → STypeCompanion
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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.
Type code used in serialization of SType values.

Definition Classes
SAvlTree → SType
See also
TypeSerializer
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: Coll[(Coll[Byte], Coll[Byte])], 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( ... )
def withSubstTypes(subst: Map[STypeVar, SType]): SType

Definition Classes
SType

Related Doc: package sigmastate

object SAvlTree extends SProduct with SPredefType with SMonoType with Product with Serializable

Type Members

type WrappedType = AvlTree

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def ?:(whenNoType: ⇒ SType): SType

lazy val CollKeyValue: SCollection[STuple]

final val CreateAvlVerifier_Info: OperationCostInfo[PerItemCost]

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

def clone(): AnyRef

lazy val containsMethod: SMethod

def contains_eval(mc: MethodCall, tree: AvlTree, key: Coll[Byte], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Boolean

val coster: Some[Coster]

def createVerifier(tree: AvlTree, proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): AvlTreeVerifier

def dataSize(v: SType.WrappedType): Long

lazy val digestMethod: SMethod

lazy val digest_Info: OperationCostInfo[FixedCost]

lazy val enabledOperationsMethod: SMethod

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

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]]]

lazy val getMethod: SMethod

def getMethodById(methodId: Byte): Option[SMethod]

def getMethodByName(name: String): SMethod

def getMethods(): Seq[SMethod]

def get_eval(mc: MethodCall, tree: AvlTree, key: Coll[Byte], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Option[Coll[Byte]]

def hasMethod(name: String): Boolean

lazy val insertMethod: SMethod

def insert_eval(mc: MethodCall, tree: AvlTree, entries: Coll[(Coll[Byte], Coll[Byte])], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Option[AvlTree]

def isConstantSize: Boolean

def isEmbeddable: Boolean

lazy val isInsertAllowedMethod: SMethod

lazy val isInsertAllowed_Info: OperationCostInfo[FixedCost]

final def isInstanceOf[T0]: Boolean

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]

def methodById(methodId: Byte): SMethod

def methodIndex(name: String): Int

lazy val methods: Seq[SMethod]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def property(name: String, tpeRes: SType, id: Byte, valueCompanion: ValueCompanion): SMethod

def propertyCall(name: String, tpeRes: SType, id: Byte, costKind: CostKind): SMethod

lazy val removeMethod: SMethod

def remove_eval(mc: MethodCall, tree: AvlTree, operations: Coll[Coll[Byte]], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Option[AvlTree]

val reprClass: Class[_]

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

def toTermString: String

val typeCode: TypeCode

def typeId: TypeCode

def typeName: String

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: Coll[(Coll[Byte], Coll[Byte])], proof: Coll[Byte])(implicit E: ErgoTreeEvaluator): Option[AvlTree]

lazy val valueLengthOptMethod: SMethod

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def withSubstTypes(subst: Map[STypeVar, SType]): SType

Inherited from Serializable

Inherited from Serializable