trait SNumericType extends SProduct
Marker trait for all numeric types.
- Alphabetic
- By Inheritance
- SNumericType
- SProduct
- SType
- SigmaNode
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
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( ... ) @native()
-
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
- Annotations
- @native()
-
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
- Annotations
- @native()
-
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 constructorC
, the typeC[T]
can be represented by a single byte.- Definition Classes
- 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.
- Annotations
- @inline()
-
def
method(methodName: String): Option[SMethod]
Finds a method descriptor SMethod for the given name.
-
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()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
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( ... ) @native()
-
def
withSubstTypes(subst: Map[STypeVar, SType]): SType
Applies a type substitution to this type.
Applies a type substitution to this type.
- subst
the type substitution to apply
- returns
the type after applying the substitution
- Definition Classes
- SType