Task #5529
open
Использовать префиксы для указания основания в строковом представлении числовых данных
Added by Artem Kotsynyak almost 10 years ago.
Updated over 9 years ago.
Assignee:
Andrei Tatarnikov
Description
Текущий подход чтения данных из строкового представления основан на передаче единственного основания вручную, при этом требуется следить за правильным значением основания при чтении и записи. Более того, такой подход невозможен для составных типов как массивы или структуры, так как в строковом представлении терминальных типов могут использоваться различные основания. Видится два решения: передавать основания для каждого терминального типа, или, предпочтительно, использовать привычные префиксы для оснований (0b, 0, 0x).
- Target version changed from 0.4 to 0.3
- Assignee set to Andrei Tatarnikov
- Priority changed from Normal to High
Для SMT и XML нужны универсальные методы сохранения/чтения данных (для типов int и bit vector) в виде текста. Основание (radix), используемое при чтении и записи, должно задаваться при помощи SMT-style префиксов. Методы должны быть релизованы классами, описывающими типы данных. Код парсеров для SMT и XML должен их использовать.
Была проблема с парсингом элементов MAP. Временный фикс: r837. В дальнейшем должно быть универсализированно.
- Subject changed from [data] Использовать префиксы для указания основания в строковом представлении числовых данных to Использовать префиксы для указания основания в строковом представлении числовых данных
- Category set to Expression
- Target version changed from 0.3 to 0.4
Also available in: Atom
PDF