SBigInt

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. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

13. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

14. def coster: Option[CosterFactory]

    

    CosterFactory associated with this type.

    CosterFactory associated with this type.

    Definition Classes

    STypeCompanion

15. 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

16. def downcast(v: AnyVal): BigInt

    

    Downcasts the given value of a larger type to this smaller type.

    Downcasts the given value of a larger type to this smaller type.

    returns

    a value of WrappedType of this type descriptor's instance.

    Definition Classes

    SBigInt → SNumericType

17. 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()

18. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

19. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

20. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

21. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

22. 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()

23. 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

24. 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

25. 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

26. def isCastMethod(name: String): Boolean

    

    Checks if the given name is a cast method name.

    Checks if the given name is a cast method name.

    returns

    true if it is.

    Definition Classes

    SNumericType

27. 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

28. 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

29. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

30. def max(that: SNumericType): SNumericType

    

    Returns a type which is larger.

    Returns a type which is larger.

    Definition Classes

    SNumericType

    Annotations

    @inline()

31. 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

32. 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

33. def methodIndex(name: String): Int

    

    Returns -1 if method is not found.

    Returns -1 if method is not found.

    Definition Classes

    SProduct

34. lazy val methods: Seq[SMethod]

    

    Returns all the methods of this type.

    Returns all the methods of this type.

    Definition Classes

    SProduct

35. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

36. final def notify(): Unit

    

    Definition Classes

    AnyRef

37. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Attributes

    protected

    Definition Classes

    SMonoType

39. def property(name: String, tpeRes: SType, id: Byte): SMethod

    

    Attributes

    protected

    Definition Classes

    SMonoType

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

    

    Definition Classes

    AnyRef

41. def toString(): Idn

    

    Definition Classes

    SNumericType → AnyRef → Any

42. 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

43. 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

44. def typeId: TypeCode

    

    Type identifier to use in method serialization

    Type identifier to use in method serialization

    Definition Classes

    SBigInt → STypeCompanion

45. def typeName: String

    

    Definition Classes

    STypeCompanion

46. def upcast(v: AnyVal): BigInt

    

    Upcasts the given value of a smaller type to this larger type.

    Upcasts the given value of a smaller type to this larger type.

    returns

    a value of WrappedType of this type descriptor's instance.

    Definition Classes

    SBigInt → SNumericType

47. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

49. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    SType