c

xyz.cofe.stsl.types

CoVariant

case class CoVariant(name: String, tip: Type) extends GenericParam with Product with Serializable

Тип переменная TypeVariable указывает на ковариантный тип: selfType. assignable( someType ).

name

имя переменной

tip

тип переменной

Linear Supertypes
Serializable, Serializable, Product, Equals, GenericParam, Named, Type, Genericable, Extendable, Assignable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CoVariant
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. GenericParam
  7. Named
  8. Type
  9. Genericable
  10. Extendable
  11. Assignable
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CoVariant(name: String, tip: Type)

    name

    имя переменной

    tip

    тип переменной

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def assignable(t: Type): Boolean

    Проверка возможности присвоение с учетом параметров типа

    Проверка возможности присвоение с учетом параметров типа

    t

    присваемый тип данных

    returns

    true - операция допускается, false - не допускается

    Definition Classes
    CoVariant → Genericable → Extendable → Assignable
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. lazy val extend: Option[Type]

    Возвращает родительский тип данных

    Возвращает родительский тип данных

    returns

    родительский тип

    Definition Classes
    GenericParam → Extendable
  9. lazy val generics: GenericParams

    Список параметров типа

    Список параметров типа

    Definition Classes
    GenericParam → Genericable
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. val name: String

    Возвращает наименование

    Возвращает наименование

    returns

    наименование

    Definition Classes
    CoVariant → Named
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. def sameType(t: GenericParam): Boolean
    Definition Classes
    CoVariant → GenericParam
  17. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  18. val tip: Type
  19. def toString(): String
    Definition Classes
    CoVariant → AnyRef → Any
  20. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  22. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from GenericParam

Inherited from Named

Inherited from Type

Inherited from Genericable

Inherited from Extendable

Inherited from Assignable

Inherited from AnyRef

Inherited from Any

Ungrouped