Actions
Task #6349
closed[MapBasedPrinter] Добавить возможность задавать формат вывода констант
Start date:
10/14/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
0.4.11
Description
Необходима возможность определять формат вывода констант различных типов.
Например, формат бит-вектора в NuXMV выглядит следующим образом:
word_constant ::
0 [word_sign_specifier] word_base [word_width] _ word_value
0sb5_10111 - signed word5
0d11_9 - unsigned word11
Тип boolean:
boolean_constant :: one of
FALSE TRUE
и т.д.
Updated by Mikhail Lebedev over 8 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Решено наследованием обходчика и переопределением метода onValue.
Updated by Mikhail Lebedev over 8 years ago
- Status changed from Resolved to Verified
Updated by Andrei Tatarnikov over 8 years ago
- Status changed from Verified to Closed
- Published in build set to 0.4.11
Actions