OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 19 Март, 2024 08:49

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
 Заголовок сообщения: Про фразу narrowed in extension
СообщениеДобавлено: Пятница, 09 Август, 2013 10:47 

Зарегистрирован: Вторник, 29 Август, 2006 12:32
Сообщения: 2662
Откуда: Россия, Ярославль
Совсем недавно обнаружил для себя заужение типа результата переопределённой функции.
Цитата:
PROCEDURE (v: View) ThisModel (): TextModels.Model
EXTENSBIBLE
Result type is narrowed.

Код:
MODULE PrivNarrow;

   TYPE
      Item* = POINTER TO ABSTRACT RECORD END;
      
      List* = POINTER TO ABSTRACT RECORD END;
      
      MyItem* = POINTER TO ABSTRACT RECORD (Item) END;
      
      MyList* = POINTER TO ABSTRACT RECORD (List) END;
      
   PROCEDURE (l: List) Set* (x: Item), NEW, ABSTRACT;
   PROCEDURE (l: List) Get* (): Item, NEW, ABSTRACT;
   
   PROCEDURE (l: MyList) Set* (x: Item), ABSTRACT; (* параметр не захотело заужать *)
   PROCEDURE (l: MyList) Get* (): MyItem, ABSTRACT;

END PrivNarrow.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 3


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB