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

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

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 hasMethodWithId(methodId: Byte): Boolean

    

    Definition Classes

    STypeCompanion

28. def isCastMethod(name: String): Boolean

    

    Definition Classes

    SNumericType

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

30. def isEmbeddable: Boolean

    

    Definition Classes

    SEmbeddable → SType

31. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

32. def max(that: SNumericType): SNumericType

    

    Returns a type which is larger.

    Returns a type which is larger.

    Definition Classes

    SNumericType

    Annotations

    @inline()

33. def method(methodName: String): Option[SMethod]

    

    Definition Classes

    SProduct

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

35. def methodIndex(name: String): Int

    

    Returns -1 if method is not found.

    Returns -1 if method is not found.

    Definition Classes

    SProduct

36. lazy val methods: Seq[SMethod]

    

    Returns all the methods of this type.

    Returns all the methods of this type.

    Definition Classes

    SProduct

37. def mkConstant(v: BigInt): Value[SBigInt.type]

    

    Construct tree node Constant for a given data object.

    Construct tree node Constant for a given data object.

    Definition Classes

    SBigInt → SType

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

    

    Definition Classes

    AnyRef

39. final def notify(): Unit

    

    Definition Classes

    AnyRef

40. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Attributes

    protected

    Definition Classes

    SMonoType

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

    

    Attributes

    protected

    Definition Classes

    SMonoType

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

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

    

    Definition Classes

    AnyRef

45. def toString(): Idn

    

    Definition Classes

    SNumericType → AnyRef → Any

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

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

48. def typeId: TypeCode

    

    Type identifier to use in method serialization

    Type identifier to use in method serialization

    Definition Classes

    SBigInt → STypeCompanion

49. def typeName: String

    

    Definition Classes

    STypeCompanion

50. def upcast(v: AnyVal): BigInt

    

    Definition Classes

    SBigInt → SNumericType

51. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    SType