SNumericType

Type Members

abstract type WrappedType

The underlying Scala type of data values described by this type descriptor.
The underlying Scala type of data values described by this type descriptor. E.g. scala.Int for SInt descriptor.

Definition Classes
SType

Abstract Value Members

abstract def canEqual(that: Any): Boolean

Definition Classes
Equals
abstract def downcast(n: AnyVal): WrappedType

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.
n
numeric value to be converted
returns
a value of WrappedType of this type descriptor's instance.
abstract 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.
abstract def productArity: Int

Definition Classes
Product
abstract def productElement(n: Int): Any

Definition Classes
Product
abstract val typeCode: TypeCode

Type code used in serialization of SType values.
Type code used in serialization of SType values.

Definition Classes
SType
See also
TypeSerializer
abstract def upcast(n: AnyVal): WrappedType

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.
n
numeric value to be converted
returns
a value of WrappedType of this type descriptor's instance.

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

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

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
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
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 hashCode(): Int

Definition Classes
AnyRef → Any
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.
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
SType
See also
sigmastate.serialization.TypeSerializer
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.

Annotations
@inline()
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
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
final def notifyAll(): Unit

Definition Classes
AnyRef
def productIterator: Iterator[Any]

Definition Classes
Product
def productPrefix: String

Definition Classes
Product
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
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def withSubstTypes(subst: Map[STypeVar, SType]): SType

Definition Classes
SType

Related Docs: object SNumericType | package sigmastate

trait SNumericType extends SProduct

Type Members

abstract type WrappedType

Abstract Value Members

abstract def canEqual(that: Any): Boolean

abstract def downcast(n: AnyVal): WrappedType

abstract def numericTypeIndex: Int

abstract def productArity: Int

abstract def productElement(n: Int): Any

abstract val typeCode: TypeCode

abstract def upcast(n: AnyVal): WrappedType

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def >(that: SNumericType): Boolean

def ?:(whenNoType: ⇒ SType): SType

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def getMethods(): Seq[SMethod]

def hasMethod(name: String): Boolean

def hashCode(): Int

def isCastMethod(name: String): Boolean

def isEmbeddable: Boolean

final def isInstanceOf[T0]: Boolean

def max(that: SNumericType): SNumericType

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

def methodIndex(name: String): Int

lazy val methods: Seq[SMethod]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def productIterator: Iterator[Any]

def productPrefix: String

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

def toString(): String

def toTermString: String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

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

Inherited from SProduct

Inherited from SType

Inherited from SigmaNode

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped