Packages

o

sigmastate

SBigInt

object SBigInt extends SPrimType with SEmbeddable with SNumericType with SMonoType with Product with Serializable

Type of 256 bit integet values. Implemented using java.math.BigInteger.

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

Type Members

  1. type WrappedType = BigInt
    Definition Classes
    SBigInt → 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 Max: BigInt
  6. val MaxSizeInBytes: Long

    The maximum size of BigInteger value in byte array representation.

  7. val MinusModQMethod: SMethod
  8. val ModQMethod: SMethod
  9. val MultModQMethod: SMethod
  10. val PlusModQMethod: SMethod
  11. val RelationOpType: SFunc

    Type of Relation binary op like GE, LE, etc.

  12. lazy val _methodsMap: Map[Byte, Map[Byte, SMethod]]
    Definition Classes
    STypeCompanion
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  15. def coster: Option[CosterFactory]
    Definition Classes
    STypeCompanion
  16. 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
    SBigInt → SType
  17. def downcast(v: AnyVal): BigInt
    Definition Classes
    SBigInt → SNumericType
  18. final def embedIn(typeConstrId: Byte): Byte

    Type code of embeddable type can be combined with code of type constructor.

    Type code of embeddable type can be combined with code of type constructor. Resulting code can be serialized. This simple convention allows to save space for most frequently used types. See TypeSerializer

    Definition Classes
    SEmbeddable
    Annotations
    @inline()
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  21. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  22. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. 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()
  24. def getMethodByName(name: String): SMethod
    Definition Classes
    STypeCompanion
  25. 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
    SBigInt → SNumericType → SProduct
  26. def hasMethod(name: String): Boolean
    Definition Classes
    SProduct
  27. def isCastMethod(name: String): Boolean
    Definition Classes
    SNumericType
  28. def isConstantSize: Boolean

    While the size of BigInteger values is limited by the available memory this is not the case with sigma BigInt.

    While the size of BigInteger values is limited by the available memory this is not the case with sigma BigInt. In sigma we limit the size by the fixed constant and thus BigInt is a constant size type.

    Definition Classes
    SBigInt → SType
  29. 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
    SEmbeddable → SType
    See also

    sigmastate.serialization.TypeSerializer

  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. def max(that: SNumericType): SNumericType

    Returns a type which is larger.

    Returns a type which is larger.

    Definition Classes
    SNumericType
    Annotations
    @inline()
  32. def method(methodName: String): Option[SMethod]
    Definition Classes
    SProduct
  33. 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

  34. def methodIndex(name: String): Int

    Returns -1 if method is not found.

    Returns -1 if method is not found.

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

    Returns all the methods of this type.

    Returns all the methods of this type.

    Definition Classes
    SProduct
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  39. def property(name: String, tpeRes: SType, id: Byte, valueCompanion: ValueCompanion): SMethod
    Attributes
    protected
    Definition Classes
    SMonoType
  40. def property(name: String, tpeRes: SType, id: Byte): SMethod
    Attributes
    protected
    Definition Classes
    SMonoType
  41. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  42. def toString(): Idn
    Definition Classes
    SNumericType → AnyRef → Any
  43. 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
  44. val typeCode: TypeCode

    Type code used in serialization of SType values.

    Type code used in serialization of SType values.

    Definition Classes
    SBigInt → SType
    See also

    TypeSerializer

  45. def typeId: TypeCode

    Type identifier to use in method serialization

    Type identifier to use in method serialization

    Definition Classes
    SBigInt → STypeCompanion
  46. def typeName: String
    Definition Classes
    STypeCompanion
  47. def upcast(v: AnyVal): BigInt
    Definition Classes
    SBigInt → SNumericType
  48. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  51. def withSubstTypes(subst: Map[STypeVar, SType]): SType
    Definition Classes
    SType

Inherited from Serializable

Inherited from Serializable

Inherited from SMonoType

Inherited from STypeCompanion

Inherited from SNumericType

Inherited from SProduct

Inherited from SEmbeddable

Inherited from SPrimType

Inherited from SPredefType

Inherited from SType

Inherited from SigmaNode

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped