这是 pj_validate 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
pj_validate - 检查文件严格遵循 Paje 文件格式
概要
pj_验证 [配置[文件]
商品描述
这个 pj_验证(1) 命令检查 paje 跟踪文件 文件 严格遵守Paje
参考文档定义的文件格式（请参阅资源部分
适当的链接）。 这是一个检查 Paje 文件是否有效并且可以使用的有用程序
在并行和分布式应用程序的性能分析中。 如果 文件 是不是
提供，则使用标准输入。
pj_验证 从头开始读取跟踪文件，直到找到文件结尾。 期间
这个流程， pj_验证 依赖 Paje 库在内存中重新创建行为
在跟踪文件中注册的。 这意味着 pj_验证 将全部放入内存
跟踪文件的内容，即使输入非常大。 一旦所有内容
跟踪文件被模拟没有任何错误， pj_验证 以值退出
0（意味着一切正常）。 如果跟踪有效，则 pj_验证 还输出
有关跟踪的信息：跟踪中的容器总数，总数
实体（状态、事件、链接和变量）的数量和包含的类型层次结构
在踪迹中。
配置
pj_验证 接受以下选项：
-n, --不严格
支持事件定义中的旧字段名称。
-F， - 柔性
使用基于 flex/bison 的替代文件阅读器（实验性）。
-q, - 安静的
保持安静（标准输出上没有输出）。
-t, - 时间
打印模拟输入的秒数
-？， - 帮帮我
显示所有可用选项。
- 用法
给出简短的使用信息。
INPUT 商品描述
这个 pj_验证(1) 命令需要遵循 Paje 文件格式的输入（如
在本页资源部分列出的 PDF 文档中描述）。 如果文件是
不提供， pj_验证(1) 将尝试从标准输入读取。
OUTPUT 商品描述
如果输入严格遵循 Paje 文件格式，则输出 pj_验证(1)
命令如下所示：
报告容器：82
举报实体：11417509
报告类型：6
报告类型层次结构：
报告 |0 (17PajeContainerType)
报告 ||ROOT (17PajeContainerType)
报告 || 链接（12PajeLinkType）
报告 || 机器 (17PajeContainerType)
报告| | 进程 (17PajeContainerType)
报告| | 状态 (13PajeStateType)
对于包含 82 个容器的输入，11417509 个实体分布在所有
容器和 6 种类型。 类型层次结构从由 0 标识的默认根开始（a
容器类型），有一个名为 ROOT（也是一种容器类型）的子节点，它有两个子节点：
LINK（一种链接类型）和 MACHINE（一种容器类型）。 MACHINE 有一个子进程（一个
容器类型），它有一个是 STATE（状态类型）的孩子。
即将上线
Paje 跟踪文件的描述：
http://paje.sourceforge.net/download/publication/lang-paje.pdf
主要网站： http://github.com/schnorr/pajeng/
REPORTING BUGS
将 pj_validate 错误报告给http://github.com/schnorr/pajeng/issues>
版权
版权所有 (C) 2012-2014 Lucas M. Schnorr。 免费使用本软件是根据
GNU 通用公共许可证 (GPL) 的条款。
使用 onworks.net 服务在线使用 pj_validate
