Calculating/Verifying format of functions in Refal-5
Project description
Refalcheck
Библиотека вывода и верификации форматов функций в языке РЕФАЛ-5 на языке Python 3. Позволяет проверить корректность вызовов функции и определить для них тип
Установка
Для установки библиотеки необходимо запустить установщик
:
python setup.py install
Как использовать
На вход подается имя файла *.ref, который содержит программу, написанную на РЕФАЛ-5, и файлы *.type, содержащие форматы используемых функций.
refalcheck R05-Parser.ref LibraryEx.type R05-Lexer.type
Результат программы можно перенаправить в файл (например, Refal.ref):
refalcheck R05-Parser.ref LibraryEx.type R05-Lexer.type R05-Parser.type >Result.ref
В файле constants.py
использует константы, конфигурируемые при запуске.
Тестирование
Для проверки работоспособности верификатора необходимо запустить тесты:
python setup.py test
При успешной работы вывод должен быть таким:
======================================================================================== test session starts ========================================================================================
platform darwin -- Python 3.7.0, pytest-4.5.0, py-1.8.0, pluggy-0.11.0
rootdir: /Users/geoiva/Desktop/Учеба/Учеба (8 сем)/Диплом
collected 1 item
tests/refal_test.py . [100%]
===================================================================================== 1 passed in 0.37 seconds ======================================================================================
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for refalchecker-2.0.0b3-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 04fc60c19de5d405b3484bc51958bd0539ac1a24e861f264337da5920f1da834 |
|
MD5 | 37b77ea796a197ecd3a6b94e8d0aeba4 |
|
BLAKE2b-256 | b3d71f0d7fc5251dea54890a284971deb6197629c82e00a701f29954c2db1f2f |