camlp5r.opt - מקוון בענן

תָכְנִית:

שֵׁם

camlp5 - Pre-Precessor-Pretty-Printer עבור ocaml
mkcamlp5 - צור camlp5 מותאם אישית
mkcamlp5.opt - צור camlp5 מותאם אישית (קוד מקורי)
ocpp5 - מעבד קדם אוניברסלי

תַקצִיר

camlp5 [ אפשרויות טעינה ] [--] [ אפשרויות אחרות ]
camlp5o [ אפשרויות טעינה ] [--] [ אפשרויות אחרות ]
camlp5r [ אפשרויות טעינה ] [--] [ אפשרויות אחרות ]
camlp5sch [ אפשרויות טעינה ] [--] [ אפשרויות אחרות ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 קובץ [טעינה-אפשרויות]

camlp5o.opt [--] [ אפשרויות אחרות ]
camlp5r.opt [--] [ אפשרויות אחרות ]

תיאור

camlp5 הוא Pre-Processor-Pretty-Printer עבור OKaml, מנתח קובץ מקור והדפסה
תוצאה כלשהי על פלט סטנדרטי.

camlp5o, camlp5r ו camlp5sch הן גרסאות של camlp5 עם כמה קבצים שכבר נטענו (ראה
נוסף).

camlp5o.cma, camlp5r.cma ו camlp5sch.cma הם קבצים שיש לטעון ב-ocaml toplevel לשימוש
מכונות camlp5

mkcamlp5 ו mkcamlp5.opt יוצר קובצי הפעלה של camlp5 עם כמעט אותן אפשרויות מאשר
ocamlmktop. ראה עוד.

ocpp5 הוא מעבד קדם אוניברסלי, המטפל בכל סוג של קובץ מקור, ומייצר אותו
טקסט עם הציטוטים האפשריים מורחבים.

camlp5o.opt ו camlp5r.opt הן גרסאות של camlp5o ו-camlp5r שקובצו על ידי ה-Native-
מהדר קוד ocamlopt. הם מהירים יותר אך לא ניתנים להרחבה. והם לא זמינים ב
כל ההתקנות של camlp5.

לִטעוֹן אפשרויות

אפשרויות הטעינה בוחרות בפעולות ניתוח והדפסה המתועדות בקובצי אובייקט של OCaml
(מסתיים ב-.cmo או .cma). מספר שימושים באפשרויות אלה מורשים. הם חייבים
להקדים את האפשרויות האחרות.

אופציונלי -- עשוי לסיים את אפשרויות הטעינה.

-I בספרייה
להוסיף בספרייה בנתיב החיפוש של קבצים שנטענו. אלא אם כן האפשרות -nolib היא
בשימוש, ספריית camlp5 מצורף לנתיב. אזהרה: אין
חיפוש אוטומטי בספרייה הנוכחית: הוסף "-I ." לזה.

-איפה הדפס את שם ספריית camlp5 וצא.

-נוליב אין חיפוש אוטומטי של קבצי אובייקטים בספריית camlp5.

קובץ אובייקט
הקובץ נטען בליבת camlp5.

אחר אפשרויות

האפשרויות האחרות הן:

פילה לטפל פילה כקובץ ממשק אם הוא מסתיים ב-.mli וכקובץ יישום
אם זה מסתיים ב-.ml.

-intf פילה
לטפל פילה כקובץ ממשק, לא משנה מה הסיומת שלו.

-impl פילה
לטפל פילה כקובץ יישום, לא משנה מה הסיומת שלו.

-מְסוּכָּן
צור גישה לא בטוחה למערכים ולמחרוזות.

-נואסרט
אין להרכיב בדיקות הצהרות.

-שורש
יותר מילולי בשגיאות ניתוח.

-QD פילה
לזרוק פנימה פילה במקרה של שגיאת תחביר בתוצאה של הרחבת ציטוט.

-o מחוץ לקובץ
הדפס את התוצאה ב-out-file במקום פלט רגיל. הקובץ נפתח עם
open_out_bin (ראה ספריית OCaml Pervasives).

-v הדפס את מספר הגרסה וצא.

עזרה הדפס את האפשרויות הזמינות וצא. הדפסה זו כוללת את האפשרויות האפשריות
נוסף על ידי קבצי האובייקט הטעונים.

ניתן להרחיב את האפשרויות האחרות על ידי קבצי אובייקט טעונים. הקבצים שסופקו מוסיפים את
האפשרויות הבאות:

-l אורך קו
נוסף על ידי pr_o.cmo ו-pr_r.cmo: הגדר את אורך השורה (ברירת מחדל 78).

-ספטמבר מחרוזת
נוסף על ידי pr_o.cmo ו-pr_r.cmo: הדפס מחרוזת זו בין ביטויים במקום
תגובות.

-לא_ס נוסף על ידי pr_o.cmo: אין להדפיס נקודות פסיק כפולות

-D זיהוי
נוסף על ידי pa_macro.cmo: הגדר את הזיהוי.

-U זיהוי
נוסף על ידי pa_macro.cmo: בטל את הגדרת הזיהוי.

ניתן קבצים

קבצים אלה מותקנים בספרייה /usr/lib/ocaml/camlp5.

ניתוח קבצים:
pa_r.cmo: תחביר מתוקן
pa_rp.cmo: זרמים ומנתחים
pa_lexer.cmo: lexers
pa_o.cmo: תחביר רגיל
pa_op.cmo: זרמים ומנתחים
pa_oop.cmo: זרמים ומנתחים (ללא אופטימיזציה של קוד)
pa_scheme.cmo: תחביר סכמה
pa_extend.cmo: סיומת תחביר לדקדוקים
pa_extfold.cmo: הרחבה של pa_extend עם FOLD0 ו-FOLD1
pa_extfun.cmo: סיומת תחביר לפונקציות הניתנות להרחבה
pa_extprint.cmo: הרחבות תחביר למדפסות הניתנות להרחבה
pa_pprintf.cmo: סיומת תחביר עבור הצהרת pprintf
pa_fstream.cmo: סיומת תחביר לזרמים פונקציונליים
pa_macro.cmo: הוסף פקודות מאקרו (ifdef, define) כמו ב-C
pa_lefteval.cmo: הערכה משמאל לימין של פרמטרים
pa_pragma.cmo: הנחיה #pragma

הדפסת קבצים:
pr_r.cmo: תחביר מתוקן ללא אובייקטים ותוויות
pr_ro.cmo: תחביר מתוקן עבור אובייקטים ותוויות
pr_rp.cmo: נסה לבנות מחדש תחביר זרמים ותחביר מנתחים
pr_o.cmo: תחביר רגיל
pr_op.cmo: נסה לבנות מחדש תחביר זרמים ותחביר מנתחים
pr_scheme.cmo: תחביר סכמה
pr_schemep.cmo: נסה לבנות מחדש תחביר זרמים ותחביר מנתחים
pr_extend.cmo: נסה לבנות מחדש הצהרות EXTEND
pr_extfun.cmo: נסה לבנות מחדש הצהרות של extfun
pr_extprint.cmo: נסה לבנות מחדש הצהרות EXTEND_PRINTER
pr_dump.cmo: עץ תחביר dump עבור מהדר ocaml
pr_depend.cmo: תלות בקבצים
pr_null.cmo: אין פלט

מרחיבים הצעות מחיר:
q_MLast.cmo: צמתי עץ תחביר (בתחביר מתוקן)
q_ast.cmo: צמתי עץ תחביר בתחביר מלא של המשתמש
q_phony.cmo: שמירת הצעות מחיר להדפסה יפה

הפקודה camlp5o הוא קיצור דרך עבור:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

הפקודה camlp5r הוא קיצור דרך עבור:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

הפקודה camlp5sch הוא קיצור דרך עבור:
camlp5 pa_scheme.cmo pr_dump.cmo

הקובץ camlp5o.cma ניתן לטעון ברמה העליונה כדי להתחיל את camlp5 עם תחביר OCaml.

הקובץ camlp5r.cma ניתן לטעון ברמה העליונה כדי להתחיל את camlp5 עם תחביר מתוקן.

הקובץ camlp5sch.cma ניתן לטעון ברמה העליונה כדי להתחיל את camlp5 עם תחביר Scheme.

MKCAMLP5

mkcamlp5 ו mkcamlp5.opt יוצר קובצי הפעלה של camlp5 עם כמעט אותן אפשרויות מאשר
ocamlmktop. הגרסא mkcamlp5.opt יכול ליצור קובצי הפעלה מקוריים של קוד, מהר יותר אבל לא
ניתן להרחבה.

עבור mkcamlp5, יש להוסיף במפורש את הממשקים שיהיו גלויים בשורת הפקודה בשם
קבצי ".cmi". לדוגמה, כיצד להוסיף את מודול ה-OCaml "str":
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str

הסביבה מִשְׁתַנֶה

ניתן גם להתייעץ עם משתנה הסביבה הבא:

CAMLP5PARAM
הגדר את פרמטרי האלגוריתם של ניתוח הדקדוקים. משתנה זה חייב להיות רצף של
מפרטי פרמטרים. מפרט פרמטר הוא אות באופן אופציונלי
ואחריו = וערך. ישנם ארבעה פרמטרים אפשריים:

b (לַחֲזוֹר עַל עִקבוֹתָיו)
הגדר את אלגוריתם המסלול האחורי כברירת מחדל.

t (זֵכֶר)
מעקב אחר סימנים (טרמינלים ולא טרמינלים) תוך כדי ניתוח עם מעקב לאחור.

y (עיכוב עקבות)
במעקב אחורה, עקוב אחר ההתקדמות בזרם הקלט (מספר האסימונים שלא הוקפאו)
והעצירה האפשרית (מספר בדיקות אסימונים).

l (השבתה מקסימלית)
הגדר את ערך ההקפאה המקסימלי.

השתמש ב-camlp5r.opt באינטרנט באמצעות שירותי onworks.net