pj_validate - ออนไลน์ใน Cloud

โครงการ:

ชื่อ

pj_validate - ตรวจสอบไฟล์ตามรูปแบบไฟล์ Paje อย่างเคร่งครัด

เรื่องย่อ

pj_validate [OPTIONS] [ไฟล์]

DESCRIPTION

เทศกาล pj_validate(1) คำสั่งตรวจสอบว่าไฟล์ติดตาม paje หรือไม่ ไฟล์ ปฏิบัติตาม Paje . อย่างเคร่งครัด
รูปแบบไฟล์ตามที่กำหนดโดยเอกสารอ้างอิง (ดูหัวข้อ RESOURCES สำหรับ
ลิงค์ที่เหมาะสม) เป็นโปรแกรมที่มีประโยชน์ในการตรวจสอบว่าไฟล์ Paje นั้นถูกต้องและใช้งานได้หรือไม่
ในการวิเคราะห์ประสิทธิภาพของแอปพลิเคชันแบบขนานและแบบกระจาย ถ้า ไฟล์ ไม่ใช่
ให้แล้วจึงใช้อินพุตมาตรฐาน

pj_validate อ่านไฟล์การติดตามตั้งแต่ต้นจนจบไฟล์ ในระหว่าง
กระบวนการนี้ pj_validate อาศัยห้องสมุด Paje เพื่อสร้างความทรงจำในพฤติกรรม
ที่ลงทะเบียนไว้ในไฟล์การติดตาม หมายความว่า pj_validate จะใส่ไว้ในความทรงจำทั้งหมด
เนื้อหาของไฟล์การติดตาม แม้ว่าอินพุตจะมีขนาดใหญ่มาก เมื่อเนื้อหาทั้งหมดของ
ไฟล์การติดตามถูกจำลองโดยไม่มีข้อผิดพลาดใดๆ pj_validate ออกด้วยค่า
0 (หมายถึงทุกอย่างโอเค) หากการติดตามถูกต้อง pj_validate ยังส่งออก
ข้อมูลเกี่ยวกับการติดตาม: จำนวนคอนเทนเนอร์ทั้งหมดในการติดตาม ยอดทั้งหมด
จำนวนเอนทิตี (สถานะ เหตุการณ์ ลิงก์และตัวแปร) และลำดับชั้นประเภทที่มีอยู่
ในการติดตาม

OPTIONS

pj_validate ยอมรับตัวเลือกต่อไปนี้:

-NS, --ไม่เข้มงวด
รองรับชื่อฟิลด์เก่าในคำจำกัดความของเหตุการณ์

-NS, --ดิ้น
ใช้โปรแกรมอ่านไฟล์ทางเลือกตาม flex/bison (ทดลอง)

-NS, --เงียบ
เงียบ (ไม่มีเอาต์พุตใน stdout)

-NS, --เวลา
พิมพ์จำนวนวินาทีเพื่อจำลองอินพุต

- --ช่วยด้วย
แสดงตัวเลือกที่มีอยู่ทั้งหมด

--การใช้งาน
ให้ข้อความการใช้งานสั้น ๆ

INPUT DESCRIPTION

เทศกาล pj_validate(1) คำสั่งคาดหวังอินพุตที่เป็นไปตามรูปแบบไฟล์ Paje (as
อธิบายไว้ในเอกสาร PDF ที่ระบุไว้ในส่วนทรัพยากรของหน้านี้) ถ้า FILE เป็น
ไม่ได้จัดเตรียมไว้ให้, pj_validate(1) จะพยายามอ่านจากอินพุตมาตรฐาน

เอาท์พุท DESCRIPTION

หากอินพุตเป็นไปตามรูปแบบไฟล์ Paje อย่างเคร่งครัด เอาต์พุตของ pj_validate(1)
คำสั่งมีลักษณะดังนี้:

รายงานคอนเทนเนอร์: 82
รายงานหน่วยงาน: 11417509
รายงานประเภท: 6
ลำดับชั้นประเภทรายงาน:
รายงาน |0 (17PajeContainerType)
รายงาน ||ROOT (17PajeContainerType)
รายงาน || ลิงค์ (12PajeLinkType)
รายงาน || เครื่องจักร (17PajeContainerType)
รายงาน | | กระบวนการ (17PajeContainerType)
รายงาน | | รัฐ (13PajeStateType)

สำหรับอินพุตที่มี 82 คอนเทนเนอร์ 11417509 เอนทิตีกระจายอยู่ท่ามกลาง
คอนเทนเนอร์และ 6 ประเภท. ลำดับชั้นของประเภทเริ่มต้นด้วยรูทเริ่มต้นที่ระบุโดย 0 (a
ประเภทคอนเทนเนอร์) โดยมีลูกหนึ่งคนชื่อ ROOT (รวมถึงประเภทคอนเทนเนอร์ด้วย) ที่มีลูกสองคน:
LINK (ประเภทลิงก์) และ MACHINE (ประเภทคอนเทนเนอร์) MACHINE มีกระบวนการลูกหนึ่งคน (a
ประเภทคอนเทนเนอร์) ที่มีลูกคนเดียวซึ่งเป็น STATE (ประเภทรัฐ)

ทรัพยากร

คำอธิบายของไฟล์ติดตาม 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 Lucas M. Schnorr อนุญาตให้ใช้ซอฟต์แวร์นี้ได้ฟรีภายใต้
เงื่อนไขของสัญญาอนุญาตสาธารณะทั่วไปของกนู (GPL)

ใช้ pj_validate ออนไลน์โดยใช้บริการ onworks.net