Packages

object SBox 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. SBox
  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 = Box
    Definition Classes
    SBoxSType

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 Bytes: String
  6. lazy val BytesMethod: SMethod
  7. val BytesWithoutRef: String
  8. lazy val BytesWithoutRefMethod: SMethod
  9. val CreationInfo: String
  10. val GetReg: String
  11. lazy val GetRegFuncType: SFunc
  12. val Id: String
  13. lazy val IdMethod: SMethod
  14. val PropositionBytes: String
  15. lazy val PropositionBytesMethod: SMethod
  16. val Value: String
  17. lazy val ValueMethod: SMethod
  18. lazy val _methodsMap: Map[Byte, Map[Byte, SMethod]]
    Definition Classes
    STypeCompanion
  19. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  20. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  21. val coster: Some[Coster]
    Definition Classes
    SBoxSTypeCompanion
  22. lazy val creationInfoMethod: SMethod
  23. 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
    SBoxSType
  24. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  26. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  27. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. 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()
  29. def getMethodByName(name: String): SMethod
    Definition Classes
    STypeCompanion
  30. 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
    SBoxSProduct
  31. lazy val getRegMethod: SMethod
  32. def hasMethod(name: String): Boolean
    Definition Classes
    SProduct
  33. 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
    SBoxSType
  34. 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

  35. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  36. def method(methodName: String): Option[SMethod]
    Definition Classes
    SProduct
  37. 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

  38. def methodIndex(name: String): Int

    Returns -1 if method is not found.

    Returns -1 if method is not found.

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

    Returns all the methods of this type.

    Returns all the methods of this type.

    Definition Classes
    SProduct
  40. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  42. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  43. def property(name: String, tpeRes: SType, id: Byte, valueCompanion: ValueCompanion): SMethod
    Attributes
    protected
    Definition Classes
    SMonoType
  44. def property(name: String, tpeRes: SType, id: Byte): SMethod
    Attributes
    protected
    Definition Classes
    SMonoType
  45. def registers(idOfs: Int): Seq[SMethod]
  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. lazy val tokensMethod: SMethod
  49. val typeCode: TypeCode

    Type code used in serialization of SType values.

    Type code used in serialization of SType values.

    Definition Classes
    SBoxSType
    See also

    TypeSerializer

  50. def typeId: TypeCode

    Type identifier to use in method serialization

    Type identifier to use in method serialization

    Definition Classes
    SBoxSTypeCompanion
  51. def typeName: String
    Definition Classes
    STypeCompanion
  52. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  55. 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