معرفی شرکت ها


CVLDoc-1.0.1


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Utility for reading CERTORA spec files, parse and export their NatSpec comments to JSON files.
ویژگی مقدار
سیستم عامل -
نام فایل CVLDoc-1.0.1
نام CVLDoc
نسخه کتابخانه 1.0.1
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Certora ltd
ایمیل نویسنده support@certora.com
آدرس صفحه اصلی https://github.com/Certora/natspecTools
آدرس اینترنتی https://pypi.org/project/CVLDoc/
مجوز -
# CVLDoc parse NatSpec comments from a spec file(s) and save them in a JSON file. ## usage CVLDoc.exe [-h] [-v] [-dev] [-user] [--version] input_file [input_file ...] argument: input_file - the input spec file to analyze, there can be more than one ### options: -h, --help - display help message and exit. -v, --verbosity - increase output verbosity --version - show program version and exit The tool invoke the netspec parser and will generate a JSON file that contains all the # Testing In order to test the JSON generator run simply: python natspec_tests.py This will run a series of spec file as input and compare the resulted json with the expected json result. Any differences will be reported to the standard outputs. ## Notes 1. Every input file will generate a JSON file, with the same name, at the same folder, different extension. 2. If the parser or the conversion process will encounter one or more problems, the error messages will be displayed on the standard output 3. Not all NatSpec tags and required error messages are supported in this version.


نیازمندی

مقدار نام
==1.0.1 cvldoc-parser
- inflection


زبان مورد نیاز

مقدار نام
>=3.7 Python


نحوه نصب


نصب پکیج whl CVLDoc-1.0.1:

    pip install CVLDoc-1.0.1.whl


نصب پکیج tar.gz CVLDoc-1.0.1:

    pip install CVLDoc-1.0.1.tar.gz