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.  val EmptyArray: Array[SType]

   Immutable empty array, can be used to avoid repeated allocations.

5.  val EmptySeq: IndexedSeq[SType]

   Immutable empty IndexedSeq, can be used to avoid repeated allocations.

6.  val IndexedSeqOfT1: IndexedSeq[SType]
7.  val IndexedSeqOfT2: IndexedSeq[SType]
8.  val allPredefTypes: Seq[SType]

   All pre-defined types should be listed here.

   All pre-defined types should be listed here. Note, NoType is not listed. Should be in sync with sigmastate.lang.Types.predefTypes.

9.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

10.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.CloneNotSupportedException]) @native()

11.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

12.  def equals(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef → Any

13.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.Throwable])

14.  final def getClass(): Class[_ <: AnyRef]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

16.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

17.  def isValueOfType[T <: SType](x: Any, tpe: T): Boolean

    Checks that the type of the value corresponds to the descriptor tpe.

    Checks that the type of the value corresponds to the descriptor tpe. If the value has complex structure only root type constructor is checked. NOTE, this method is used in ErgoTree evaluation to systematically check that each tree node evaluates to a value of the expected type. Shallow runtime checks are enough if: 1) ErgoTree is well-typed, i.e. each sub-expression has correct types (agree with the argument type). 2) isValueOfType == true for each tree leaf 3) isValueOfType == true for each sub-expression

    tpe

    type descriptor to check value against

    returns

    true if the given value is of type tpe

18.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

19.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

20.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

21.  val paramIV: STypeParam
22.  val paramIVSeq: Seq[STypeParam]
23.  val paramOV: STypeParam
24.  val paramR: STypeParam
25.  val paramT: STypeParam
26.  final def synchronized[T0](arg0: => T0): T0

    Definition Classes

    AnyRef

27.  val tD: STypeVar
28.  val tIV: STypeVar
29.  val tK: STypeVar
30.  val tL: STypeVar
31.  val tO: STypeVar
32.  val tOV: STypeVar
33.  val tR: STypeVar
34.  val tT: STypeVar

    Named type variables and parameters used in generic types and method signatures.

    Named type variables and parameters used in generic types and method signatures. Generic type terms like (Coll[IV],(IV) => Boolean) => Boolean are used to represent method types of Coll and Option types. Each such type is an instance of SFunc. To represent variables (such as IV in the example above) STypeVar instances are used.

    Generic types are not supported by ErgoTree serialization format and STypeVars are used internally and never serialized (there is no serializer for STypeVar). Thus the usage of type variables is limited.

    All necessary type variables can be declared in advance and reused across all code base. This allows to avoid allocation of many duplicates and also improve performance of SType values.

35.  val tV: STypeVar
36.  def toString(): String

    Definition Classes

    AnyRef → Any

37.  lazy val types: Map[Byte, STypeCompanion]

    A mapping of object types supporting MethodCall operations.

    A mapping of object types supporting MethodCall operations. For each serialized typeId this map contains a companion object which can be used to access the list of corresponding methods.

    NOTE: in the current implementation only monomorphic methods are supported (without type parameters)

    NOTE2: in v3.x SNumericType.typeId is silently shadowed by SGlobal.typeId as part of toMap operation. As a result, the methods collected into SByte.methods cannot be resolved (using SMethod.fromIds()) for all numeric types (SByte, SShort, SInt, SLong, SBigInt). See the corresponding regression property("MethodCall on numerics"). However, this "shadowing" is not a problem since all casting methods are implemented via Downcast, Upcast opcodes and the remaining toBytes, toBits methods are not implemented at all. In order to allow MethodCalls on numeric types in future versions the SNumericType.typeId should be changed and SGlobal.typeId should be preserved. The regression tests in property("MethodCall Codes") should pass.

38.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

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

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

40.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()