X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=notes;h=9ff5af38d1d1334d8adee189a0d370664dca1269;hp=03a10c9e1bb2c39bc36631f52917f5613eb0bf8c;hb=HEAD;hpb=2990352489faafd75147773896021d7c8ef9e637 diff --git a/notes b/notes index 03a10c9..9ff5af3 100644 --- a/notes +++ b/notes @@ -1,38 +1,40 @@ -- JVM: Импортируемые модули не инициализируются -- Нет счёта строк / столбцов +- Jasmin создаёт ошибку в float константах, надо как-то порешать. +- Нужно делать проверку границ при касте индекса массива с типом HUGEINT +- Нет процедур привязанных к типм (10.2) +- Не полная реализация модуля Files + * Нет процедур ReadNum WriteNum + +- Разршить отсутсвие RETURN в функциях без BEGIN + С вкорячиванием трапа, естественно. +- Нужно передлать кодогенератор что бы складировать код в структурах а не напрямую срать в файлы + +- Не полная реализация модуля Strings + * Не реализованы процедуры Insert Append Delete Replace Extract Pos - Сделать проверку повторов в CASE. - Сделать нормальную проверку наличия RETURN. -- Нет процедур привязанных к типм - -- Нужно просмотреть Дубовые требования: - 2.3 Illegal Operations - 3. Type tests and type guards with NIL pointers. - 5. Accessing a set element outside the range 0 .. MAX (SET). - 6. Applying SHORT (...) to an argument with value not in the range of the result type. - 8. Overflows. - 2.4 WITH and guarded variables ??? - 2.5 String Comparison ? - 2.7 String and Character Compatibility - 3.5 Interfacing to External Libraries - 3.6 Underscores in Identifiers - 3.7 In-line Exponentiation - 5.10 Monadic ‘-’: -5 MOD 3 is equivalent to -(5 MOD 3) - 5.13 Read only VAR Parameters - 1.2.5 Module Files - 1.2.6 Module Strings - 1.2.7 Module Math and MathL - -- Уточнить как должна работать проверка импорта на чтение. (8.1) + +- Нужны средства создания биндингов. (oakwood 3.5) +- Любая ошибка фатальна + - Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2) Нужен другой тип округления? -- Нет модуля SYSTEM (на жабе он особо и не нужен) -- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей. -- Любая ошибка фатальна +- Неплохо бы иметь оператор ** (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: Не достаточно средств для реализации рефлексии на уровне локальных процедур. Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)