Returns true if this numeric type is larger than that.
Returns true if this numeric type is larger than that.
Elvis operator for types.
Elvis operator for types. See https://en.wikipedia.org/wiki/Elvis_operator
The maximum size of BigInteger value in byte array representation.
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.
Type of Relation binary op like GE, LE, etc.
CosterFactory associated with this type.
CosterFactory associated with this type.
Approximate size of the given value in bytes.
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.
a value of WrappedType of this type descriptor's instance.
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
Lookup method by its id in this type.
Lookup method by its id in this type.
Looks up the method descriptor by the method name.
Looks up the method descriptor by the method name.
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)
Returns true if this type has a method with the given name.
Returns true if this type has a method with the given name.
Checks if the given name is a cast method name.
While the size of BigInteger values is limited by the available memory this is not the case with sigma BigInt.
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.
Returns a type which is larger.
Returns a type which is larger.
Finds a method descriptor SMethod for the given name.
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.
getMethodById
Returns -1 if method
is not found.
Returns -1 if method
is not found.
Returns all the methods of this type.
Returns all the methods of this type.
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.
index in the array of all numeric types.
Helper method to create method descriptors for properties (i.e.
Helper method to create method descriptors for properties (i.e. methods without args).
Helper method to create method descriptors for properties (i.e.
Helper method to create method descriptors for properties (i.e. methods without args).
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().
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.
Type code used in serialization of SType values.
Type identifier to use in method serialization
Type identifier to use in method serialization
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).
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.
a value of WrappedType of this type descriptor's instance.
Type of 256 bit integet values. Implemented using java.math.BigInteger.