OberonCore

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

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




Форум закрыт Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ Сообщений: 6 ] 
Автор Сообщение
 Заголовок сообщения: Ошибка компилятора: семантика IN
СообщениеДобавлено: Вторник, 03 Апрель, 2012 09:43 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Вот это работает, хотя должно давать ошибку на этапе компиляции:

Код:
MODULE Test;

   TYPE
      A = RECORD
         x: INTEGER
      END;

   PROCEDURE (VAR a: A) SetX (x: INTEGER), NEW;
   BEGIN
      a.x := x
   END SetX;

   PROCEDURE SetX (IN a: A);
   BEGIN
      a.SetX(1000)
   END SetX;

   PROCEDURE DoSetX*;
      VAR a: A;
   BEGIN
      SetX(a);
      HALT(0)
   END DoSetX;

END Test.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 03 Апрель, 2012 10:48 
Аватара пользователя

Зарегистрирован: Вторник, 19 Сентябрь, 2006 21:54
Сообщения: 2449
Откуда: Россия, Томск
Илья Ермаков писал(а):
Вот это работает, хотя должно давать ошибку на этапе компиляции
Не вижу проблемы. В чём по-вашему ошибка?
Неужели у IN-рекордов нельзя вызывать методы?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 03 Апрель, 2012 11:36 
Модератор
Аватара пользователя

Зарегистрирован: Среда, 16 Ноябрь, 2005 00:53
Сообщения: 4625
Откуда: Россия, Орёл
Код:
MODULE Test;

   TYPE
      A = RECORD
         x: INTEGER
      END;

   PROCEDURE (VAR a: A) Set2 (x: INTEGER), NEW;
   BEGIN
      a.x := x
   END Set2;

   PROCEDURE (IN a: A) Set1 (x: INTEGER), NEW;
   BEGIN
      a.Set2(x)   (* нет ошибки *)
   END Set1;

   PROCEDURE Set2 (VAR a: A; x: INTEGER);
   BEGIN
      a.x := x
   END Set2;

   PROCEDURE Set1 (IN a: A; x: INTEGER);
   BEGIN
      Set2(a(* X = this variable (field) is read only *), x)
   END Set1;

END Test.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 03 Апрель, 2012 13:03 
Аватара пользователя

Зарегистрирован: Вторник, 19 Сентябрь, 2006 21:54
Сообщения: 2449
Откуда: Россия, Томск
Евгений Темиргалеев писал(а):
Set2(a(* X = this variable (field) is read only *), x)
Так гораздо понятнее, спасибо!
INconsistency.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 28 Февраль, 2014 18:59 
Аватара пользователя

Зарегистрирован: Вторник, 28 Август, 2007 00:55
Сообщения: 520
Откуда: Украина, Днепропетровская обл.
Исправление предложено Wening Luo в рассылке по ББ сегодня:

Эта ошибка не исправлена в BB 1.6. Думаю, все сборки ББ должны включать этот фикс:

https://github.com/Oleg-N-Cher/BB-XDev/commit/d4418a62f2d5321ca91f5df0eb8a948470f77c50


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 28 Февраль, 2014 19:13 

Зарегистрирован: Вторник, 29 Август, 2006 12:32
Сообщения: 2662
Откуда: Россия, Ярославль
Непонятно поведение расширенных записей, если вызвать .Set у скрытой реализации, то отслеживание ошибки должно быть еще и в рантайме.
Ну и в целом, я же специально написал этот метод, чтобы менять скрытую переменную, в чем проблема?


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Форум закрыт Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ Сообщений: 6 ] 

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


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

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


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

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