Skip to main content

Calculating/Verifying format of functions in Refal-5

Project description

Refalcheck

Библиотека вывода и верификации форматов функций в языке РЕФАЛ-5. Она позволяет проверить корректность вызовов функции и определить для них тип

Установка

Для установки библиотеки необходимо запустить установщик:

python setup.py install

Как использовать

На вход подается имя файла *.ref, который содержит программу, написанную на РЕФАЛ-5, и файлы *.type, содержащие форматы используемых функций. Например:

refalcheck R05-Parser.ref LibraryEx.type R05-Lexer.type

Результат программы можно перенаправить в файл (например, Result.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


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for refalchecker, version 2.2.0rc1
Filename, size File type Python version Upload date Hashes
Filename, size refalchecker-2.2.0rc1-py2.py3-none-any.whl (94.0 kB) File type Wheel Python version py2.py3 Upload date Hashes View hashes
Filename, size refalchecker-2.2.0rc1.tar.gz (80.6 kB) File type Source Python version None Upload date Hashes View hashes

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page