Packages

•  package root

  Definition Classes

  root

•  package xyz

  Definition Classes

  root

•  package cofe

  Definition Classes

  xyz

•  package stsl

  Definition Classes

  cofe

•  package types

  Definition Classes

  stsl

•  trait TypeVarReplace[A] extends AnyRef

  Замена переменной Типа.

  Замена переменной Типа.

  Актуально когда есть параметризированный тип, например List с параметром A.

    List[A] {
      add( item : A )
    }
  

  Для правильной проверке типов и соответ вывода типов, необходима процедура замены переменных на реальные значения.

  Для примера возьмем тип User:

  User {
    name : String
    enabled : Boolean
  }
  

  Создадим переменную типа List, которая может создержать только элементы типа User. Для java кода это так: var userList = new List<User>

  В нашем случае это такой код: val userList = new GenericInstance( Map("A"->userType), listType )

  Тогда при вызове userList.add( something )

  будет выведен новый тип для userList:

    List {
      add( item: User )
    }
  

  Этот вывод новго типа осуществляется за счет TypeVarReplace.

  A

  Объект реализующий TypeVarReplace

  Definition Classes

  types

• typeVarBake

xyz.cofe.stsl.types.TypeVarReplace

typeVarBake 