Packages

o

sigmastate

SAvlTree

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

Linear Supertypes
Serializable, Serializable, SMonoType, STypeCompanion, SPredefType, SProduct, SType, SigmaNode, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SAvlTree
  2. Serializable
  3. Serializable
  4. SMonoType
  5. STypeCompanion
  6. SPredefType
  7. SProduct
  8. SType
  9. SigmaNode
  10. Product
  11. Equals
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type WrappedType = AvlTree
    Definition Classes
    SAvlTree → SType

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def ?:(whenNoType: ⇒ SType): SType

    Elvis operator for types.

    Elvis operator for types. See https://en.wikipedia.org/wiki/Elvis_operator

    Definition Classes
    SType
  5. val CollKeyValue: SCollection[STuple]
  6. val TCollOptionCollByte: SCollection[SOption[SCollection[SByte.type]]]
  7. lazy val _methodsMap: Map[Byte, Map[Byte, SMethod]]
    Definition Classes
    STypeCompanion
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  10. val containsMethod: SMethod
  11. val coster: Some[Coster]
    Definition Classes
    SAvlTree → STypeCompanion
  12. 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
  13. val digestMethod: SMethod
  14. val enabledOperationsMethod: SMethod
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. val getManyMethod: SMethod
  20. val getMethod: SMethod
  21. 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()
  22. def getMethodByName(name: String): SMethod
    Definition Classes
    STypeCompanion
  23. 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
  24. def hasMethod(name: String): Boolean
    Definition Classes
    SProduct
  25. def hasMethodWithId(methodId: Byte): Boolean
    Definition Classes
    STypeCompanion
  26. val insertMethod: SMethod
  27. 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.

    Definition Classes
    SAvlTree → SType
  28. def isEmbeddable: Boolean
    Definition Classes
    SType
  29. val isInsertAllowedMethod: SMethod
  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. val isRemoveAllowedMethod: SMethod
  32. val isUpdateAllowedMethod: SMethod
  33. val keyLengthMethod: SMethod
  34. def method(methodName: String): Option[SMethod]
    Definition Classes
    SProduct
  35. 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

  36. def methodIndex(name: String): Int

    Returns -1 if method is not found.

    Returns -1 if method is not found.

    Definition Classes
    SProduct
  37. lazy val methods: Seq[SMethod]

    Returns all the methods of this type.

    Returns all the methods of this type.

    Definition Classes
    SProduct
  38. def mkConstant(v: AvlTree): Value[SAvlTree.type]

    Construct tree node Constant for a given data object.

    Construct tree node Constant for a given data object.

    Definition Classes
    SAvlTree → SType
  39. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  40. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  41. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  42. def property(name: String, tpeRes: SType, id: Byte, valueCompanion: ValueCompanion): SMethod
    Attributes
    protected
    Definition Classes
    SMonoType
  43. def property(name: String, tpeRes: SType, id: Byte): SMethod
    Attributes
    protected
    Definition Classes
    SMonoType
  44. val removeMethod: SMethod
  45. def sameMethods(that: SProduct): Boolean

    Checks if this product has exactly the same methods as that.

    Checks if this product has exactly the same methods as that.

    Definition Classes
    SProduct
  46. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  47. 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
  48. 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

  49. def typeId: TypeCode

    Type identifier to use in method serialization

    Type identifier to use in method serialization

    Definition Classes
    SAvlTree → STypeCompanion
  50. def typeName: String
    Definition Classes
    STypeCompanion
  51. val updateDigestMethod: SMethod
  52. val updateMethod: SMethod
  53. val updateOperationsMethod: SMethod
  54. val valueLengthOptMethod: SMethod
  55. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  56. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  58. def withSubstTypes(subst: Map[STypeVar, SType]): SType
    Definition Classes
    SType

Inherited from Serializable

Inherited from Serializable

Inherited from SMonoType

Inherited from STypeCompanion

Inherited from SPredefType

Inherited from SProduct

Inherited from SType

Inherited from SigmaNode

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped