Это команда pj_validate, которую можно запустить в провайдере бесплатного хостинга OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
pj_validate - проверяет файл строго в соответствии с форматом файла Paje
СИНТАКСИС
pj_validate [ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ] [ФАЙЛОВ]
ОПИСАНИЕ
" pj_validate(1) команда проверяет наличие файла трассировки paje ФАЙЛОВ строго следует Падже
формат файла, как определено в справочной документации (см. раздел РЕСУРСЫ для
соответствующая ссылка). Это полезная программа для проверки правильности файла Paje и его использования.
в анализе производительности параллельных и распределенных приложений. Если ФАЙЛОВ Не
при условии, используется стандартный ввод.
pj_validate читает файл трассировки от начала до конца файла. В течение
этот процесс, pj_validate полагается на библиотеку Paje для воссоздания в памяти поведения
который зарегистрирован в файле трассировки. Это означает, что pj_validate запомню все
содержимое файла трассировки, даже если входные данные очень большие. Как только все содержимое
файл трассировки моделируется без каких-либо ошибок, pj_validate выходит со значением
0 (имеется в виду, что все в порядке). Если трассировка верна, pj_validate также выводит
информация о трассировке: общее количество контейнеров в трассировке, общее количество
количество сущностей (состояний, событий, ссылок и переменных) и иерархия типов, содержащихся
в след.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
pj_validate принимает следующие варианты:
-н, - нестрогий
Поддерживайте старые имена полей в определениях событий.
-ф, --флекс
Воспользуйтесь альтернативным файловым ридером на основе flex / bison (экспериментально).
-д, --тихий
Тихо (нет вывода на стандартный вывод).
-т, --время
Выведите количество секунд для имитации ввода
- ?, --Помогите
Показать все доступные варианты.
--использование
Сделайте короткое сообщение об использовании.
ВХОД ОПИСАНИЕ
" pj_validate(1) команда ожидает ввод, который соответствует формату файла Paje (как
описано в PDF-документе, указанном в разделе РЕСУРСЫ на этой странице). Если ФАЙЛ
не предоставлен, pj_validate(1) попытается прочитать из стандартного ввода.
ВЫВОД ОПИСАНИЕ
Если ввод строго соответствует формату файла Paje, вывод pj_validate(1)
команда выглядит так:
отчет Контейнеры: 82
Report Entities: 11417509
Типы отчетов: 6
Иерархия типов отчета:
report | 0 (17PajeContainerType)
отчет || ROOT (17PajeContainerType)
отчет || ССЫЛКА (12PajeLinkType)
отчет || МАШИНА (17PajeContainerType)
отчет | | ПРОЦЕСС (17PajeContainerType)
отчет | | СОСТОЯНИЕ (13PajeStateType)
для ввода, содержащего 82 контейнера, 11417509 сущностей распределены по всем
контейнеры и 6 видов. Иерархия типов начинается с корня по умолчанию, обозначенного 0 (
тип контейнера), с одним дочерним элементом с именем ROOT (также тип контейнера), у которого есть два дочерних элемента:
ССЫЛКА (тип ссылки) и МАШИНА (тип контейнера). У МАШИНЫ есть один дочерний ПРОЦЕСС (a
тип контейнера), у которого есть единственный дочерний элемент, который является СОСТОЯНИЕМ (тип состояния).
РЕСУРСЫ
Описание файла трассировки Paje:
http://paje.sourceforge.net/download/publication/lang-paje.pdf
Главный сайт: http://github.com/schnorr/pajeng/
СОСТАВЛЕНИЕ ОТЧЕТОВ ОШИБКИ
Сообщайте об ошибках pj_validate наhttp://github.com/schnorr/pajeng/issues>
АВТОРСКИЕ ПРАВА
Авторские права (C) 2012-2014 Лукас М. Шнорр. Бесплатное использование этого программного обеспечения предоставляется на условиях
условия Стандартной общественной лицензии GNU (GPL).
Используйте pj_validate в Интернете с помощью сервисов onworks.net