X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=notes;h=9ff5af38d1d1334d8adee189a0d370664dca1269;hp=072a37d62285032ed0146ec950b713f235fe0074;hb=HEAD;hpb=e637b466c2a4e0b0feb0f264ad4342ecfe9efd21 diff --git a/notes b/notes index 072a37d..9ff5af3 100644 --- a/notes +++ b/notes @@ -1,32 +1,40 @@ -- Переделать присваивание строк. -- Сделать проверку повторов в CASE и выполнять прирывание при отсутствии ELSE. -- В FOR сначала должна вычисляться переменная temp. -- Сделать выполнение прерывания при отсутствии ELSE в операторе WITH. -- Сделать нормальную проверку наличия RETURN. -- Запретить массивы и записи как результат процедуры-функции. -- Запретить модулю импорт самого себя. -- Нужно проверить правила совместимости типов (Приложение A). +- Jasmin создаёт ошибку в float константах, надо как-то порешать. +- Нужно делать проверку границ при касте индекса массива с типом HUGEINT -- Нет модуля SYSTEM -- Нет функций ASH CAP CHR ENTIER LEN LONG ODD ORD SHORT -- Нет процедур ASSERT COPY DEC EXCL HALT INC INCL -- Нет счёта строк / столбцов -- Нет процедур привязанных к типм -- Не реализована свёртка констант +- Нет процедур привязанных к типм (10.2) +- Не полная реализация модуля Files + * Нет процедур ReadNum WriteNum -- Нужно просмотреть Дубовые требования. +- Разршить отсутсвие RETURN в функциях без BEGIN + С вкорячиванием трапа, естественно. +- Нужно передлать кодогенератор что бы складировать код в структурах а не напрямую срать в файлы -- JVM: Импортируемые модули не инициализируются -- JVM: Не реализовано сравнение строк. -- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур. - Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?) +- Не полная реализация модуля Strings + * Не реализованы процедуры Insert Append Delete Replace Extract Pos +- Сделать проверку повторов в CASE. +- Сделать нормальную проверку наличия RETURN. + +- Нужны средства создания биндингов. (oakwood 3.5) +- Любая ошибка фатальна -- Уточнить как должна работать проверка импорта на чтение. (8.1) -- Уточнить результат оператора "/" (8.2.2) - Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2) + Нужен другой тип округления? -- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей. -- Любая ошибка фатальна +- Неплохо бы иметь оператор ** (oakwood 3.7) +- Неплохо бы иметь параметры только для чтения (oakwood 5.13) +- Надо что-то делать с ситуацией описанной в (okawood 2.4) + +- Запретить проверку типа и приведене типа если указатель имеет значение NIL (oakwood 2.3.3) +- Запретить доступ к битам SET которые не входят в пределы 0..MAX(SET) (oakwood 2.3.5) +- Запретить каст через SHORT если значение не в пределах результата (в рантайме чтоли?) (oakwood 2.3.6) +- Нет проверки переполнений (oakwood 2.3.8) - Нет проверок переполнения в компилтайме. Возможно можно заюзать это: https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html + +- Не полная реализация модуля SYSTEM + * Процедуры GETREG PUTREG впринципе вписываются в jvm + и могут быть полезны при реализции рефлекции + * Остальное не имеет смысла в jvm +- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур. + Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)