SFunc

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. def ?:(whenNoType: ⇒ SType): SType

   

   Elvis operator for types.

   Elvis operator for types. See https://en.wikipedia.org/wiki/Elvis_operator

   Definition Classes

   SType

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. def dataSize(v: SType.WrappedType): Long

   

   Approximate size of the given value in bytes.

   Approximate size of the given value in bytes. It is actual size only for primitive types.

   Definition Classes

   SFunc → SType

8. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

9. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

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

10. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

11. def getGenericType: SFunc

    

12. def isConstantSize: Boolean

    

    Returns true if dataSize doesn't depend on data value.

    Returns true if dataSize doesn't depend on data value. This is useful for optimizations of calculating sizes of collections.

    Definition Classes

    SFunc → SType

13. def isEmbeddable: Boolean

    

    Definition Classes

    SType

14. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

15. def mkConstant(v: WrappedType): Value[SFunc.this.type]

    

    Construct tree node Constant for a given data object.

    Construct tree node Constant for a given data object.

    Definition Classes

    SType

16. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

17. final def notify(): Unit

    

    Definition Classes

    AnyRef

18. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

19. lazy val substitutedTypeParams: Seq[STypeParam]

    

    Definition Classes

    SGenericType

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

    

    Definition Classes

    AnyRef

21. val tDom: IndexedSeq[SType]

    

22. val tRange: SType

    

23. def toString(): String

    

    Definition Classes

    SFunc → AnyRef → Any

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

    SFunc → SType

25. val tparamSubst: Map[STypeVar, SType]

    

    Definition Classes

    SFunc → SGenericType

26. val tpeParams: Seq[STypeParam]

    

27. val typeCode: TypeCode

    

    Type code used in serialization of SType values.

    Type code used in serialization of SType values.

    Definition Classes

    SFunc → SType

    See also

    TypeSerializer

28. val typeParams: Seq[STypeParam]

    

    Definition Classes

    SFunc → SGenericType

29. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

31. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32. def withReceiverType(objType: SType): SFunc

    

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

    

    Definition Classes

    SType