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.
- Alphabetic
- By Inheritance
- SBigInt
- Serializable
- Serializable
- SMonoType
- STypeCompanion
- SNumericType
- SProduct
- SEmbeddable
- SPrimType
- SPredefType
- SType
- SigmaNode
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
>(that: SNumericType): Boolean
Returns true if this numeric type is larger than that.
Returns true if this numeric type is larger than that.
- Definition Classes
- SNumericType
- Annotations
- @inline()
-
def
?:(whenNoType: ⇒ SType): SType
Elvis operator for types.
Elvis operator for types. See https://en.wikipedia.org/wiki/Elvis_operator
- Definition Classes
- SType
-
val
MaxSizeInBytes: Long
The maximum size of BigInteger value in byte array representation.
- val MinusModQMethod: SMethod
-
val
ModQMethod: SMethod
The following
modQ
methods are not fully implemented in v4.x and this descriptors.The following
modQ
methods are not fully implemented in v4.x and this descriptors. This descritors are remain here in the code and are waiting for full implementation is upcoming soft-forks at which point the cost parameters should be calculated and changed. - val MultModQMethod: SMethod
- val PlusModQMethod: SMethod
-
val
RelationOpType: SFunc
Type of Relation binary op like GE, LE, etc.
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
-
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. Corresponds to section 5.1.3 Narrowing Primitive Conversion of Java Language Spec.
- returns
a value of WrappedType of this type descriptor's instance.
- Definition Classes
- SBigInt → SNumericType
-
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()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
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()
-
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
-
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
-
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
-
def
isCastMethod(name: String): Boolean
Checks if the given name is a cast method name.
-
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 constructorC
, the typeC[T]
can be represented by a single byte.- Definition Classes
- SEmbeddable → SType
- See also
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
max(that: SNumericType): SNumericType
Returns a type which is larger.
Returns a type which is larger.
- Definition Classes
- SNumericType
- Annotations
- @inline()
-
def
method(methodName: String): Option[SMethod]
Finds a method descriptor SMethod for the given name.
-
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
-
def
methodIndex(name: String): Int
Returns -1 if
method
is not found.Returns -1 if
method
is not found.- Definition Classes
- SProduct
-
lazy val
methods: Seq[SMethod]
Returns all the methods of this type.
Returns all the methods of this type.
- Definition Classes
- SProduct
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
def
numericTypeIndex: Int
Numeric types are ordered by the number of bytes to store the numeric values.
Numeric types are ordered by the number of bytes to store the numeric values.
- returns
index in the array of all numeric types.
- Definition Classes
- SBigInt → SNumericType
-
def
property(name: String, tpeRes: SType, id: Byte, valueCompanion: ValueCompanion): SMethod
Helper method to create method descriptors for properties (i.e.
Helper method to create method descriptors for properties (i.e. methods without args).
- Attributes
- protected
- Definition Classes
- SMonoType
-
def
propertyCall(name: String, tpeRes: SType, id: Byte, costKind: CostKind): SMethod
Helper method to create method descriptors for properties (i.e.
Helper method to create method descriptors for properties (i.e. methods without args).
- Attributes
- protected
- Definition Classes
- SMonoType
-
val
reprClass: Class[_]
Class which represents values of this type.
Class which represents values of this type. When method call is executed, the corresponding method of this class is invoked via reflection java.lang.reflect.Method.invoke().
- Definition Classes
- SBigInt → STypeCompanion
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- SNumericType → AnyRef → Any
-
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
-
val
typeCode: TypeCode
Type code used in serialization of SType values.
-
def
typeId: TypeCode
Type identifier to use in method serialization
Type identifier to use in method serialization
- Definition Classes
- SBigInt → STypeCompanion
-
def
typeName: String
If this is SType instance then returns the name of the corresponding RType.
If this is SType instance then returns the name of the corresponding RType. Otherwise returns the name of type companion object (e.g. SCollection).
- Definition Classes
- STypeCompanion
-
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. Corresponds to section 5.1.2 Widening Primitive Conversion of Java Language Spec.
- returns
a value of WrappedType of this type descriptor's instance.
- Definition Classes
- SBigInt → SNumericType
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
withSubstTypes(subst: Map[STypeVar, SType]): SType
- Definition Classes
- SType
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated