שחרור של re2c lexer generator 1.2

התרחש שחרור re2c, מחולל מנתח מילוני בחינם לשפות C ו-C++. בואו נזכור ש-re2c נכתב ב-1993 על ידי פיטר במבוליס כמחולל ניסיוני של מנתחים מילוניים מהירים מאוד, בשונה ממחוללים אחרים במהירות הקוד שנוצר ובממשק משתמש גמיש בצורה יוצאת דופן המאפשר לשלב מנתחים בקלות וביעילות במכשיר קיים. בסיס קוד. מאז, הפרויקט פותח על ידי הקהילה וממשיך להוות פלטפורמה לניסויים ומחקרים בתחום הדקדוקים הפורמליים ומכונות המצב הסופי.

ההכנה לשחרור ארכה כמעט שנה שלמה. רוב הזמן, כמו תמיד, הושקע בפיתוח מסגרת תיאורטית ובכתיבה
מאמרים"חילוץ POSIX Submatch יעיל ב-NFA".
האלגוריתמים המתוארים במאמר מיושמים בספריית הניסוי libre2c
(בניית הספרייה ובדיקות הביצועים מושבתת כברירת מחדל ומופעלת על ידי אפשרות התצורה "--enable-libs"). הספרייה אינה מיועדת כמתחרה לפרויקטים קיימים כגון RE2, אלא כפלטפורמת מחקר לפיתוח חדשים.
אלגוריתמים (שאפשר להשתמש בהם ב-re2c או בפרויקטים אחרים). זה נוח גם מנקודת מבט של בדיקה, מדידת ביצועים ויצירת כריכות לשפות אחרות.

חידושים עיקריים בגרסה re2c 1.2:

• נוספה שיטה פשוטה חדשה לבדיקת סוף נתוני הקלט ("כלל EOF"). לשם כך, נוספה תצורת "re2c:eof",
  מאפשר לך לבחור את תו הטרמינל,
  וכלל מיוחד "$", שמופעל אם lexer
  הגיע בהצלחה לסוף נתוני הקלט.
  מבחינה היסטורית, re2c מספקת בחירה של מספר שיטות אימות עבור
  סוף תשומות משתנות במגבלה, יעילות ופשטות
  יישומים. השיטה החדשה נועדה לפשט את כתיבת הקוד, תוך כדי
  תוך שמירה על אפקטיביות וישימה נרחבת. דרכים ישנות
  עדיין עובד ועשוי להיות מועדף במקרים מסוימים.

• נוספה את היכולת לכלול קבצים חיצוניים באמצעות הוראה
  "/*!include:re2c "file.re" */", כאשר "file.re" הוא שם הקובץ שיש לכלול. Re2c מחפש קבצים בספריית הקבצים הכוללים,
  כמו גם ברשימת הנתיבים שצוינו באמצעות האפשרות "-I".
  הקבצים הכלולים עשויים לכלול קבצים אחרים.
  Re2c מספק קבצים "סטנדרטיים" בספריית "include/".
  פרויקט - צפוי שיצטברו שם הגדרות שימושיות
  ביטויים רגולריים, משהו כמו הספרייה הסטנדרטית.
  עד כה, לבקשת העובדים, נוסף קובץ אחד עם הגדרות של קטגוריות Unicode.

• נוספה את היכולת ליצור קבצי כותרת עם שרירותית
  תוכן באמצעות אפשרויות "-t --type-header" (או מתאים
  תצורות) והנחיות חדשות "/*!header:re2c:on*/" ו
  "/*!header:re2c:off*/". זה עשוי להיות שימושי במקרים שבהם
  כאשר re2c צריך ליצור הגדרות של משתנים, מבנים ופקודות מאקרו,
  בשימוש ביחידות תרגום אחרות.

• Re2c מבין כעת UTF8 מילולי ומחלקות תווים בביטויים רגולריים.
  כברירת מחדל, re2c מנתח ביטויים כמו "∀x ∃y" as
  רצף של תווי ASCII 1-bit "e2 88 80 78 20 e2 88 83 79"
  (קודי hex), והמשתמשים צריכים להימלט מתווי Unicode באופן ידני:
  "\\u2200x\\u2203y". זה מאוד לא נוח ובלתי צפוי עבור רבים
  משתמשים (כפי שמעידים דיווחי באגים קבועים). אז עכשיו
  re2c מספק את האפשרות "--input-encoding {ascii | utf8}",
  מה שמאפשר לך לשנות את ההתנהגות ולנתח "∀x ∃y" כ
  "2200 78 20 2203 79."

• Re2c מאפשר כעת להשתמש בלוקים רגילים של re2c במצב "-r --reuse".
  זה נוח אם קובץ הקלט מכיל בלוקים רבים ורק חלק מהם
  צריך לעשות שימוש חוזר.

• עכשיו אתה יכול להגדיר את הפורמט של אזהרות והודעות שגיאה
  באמצעות האפשרות החדשה "--location-format {gnu | msvc}". פורמט GNU מוצג
  בתור "שם קובץ:שורה:עמודה:", ופורמט MSVC בתור "שם קובץ(שורה,עמודה)".
  תכונה זו עשויה להיות שימושית עבור אוהבי IDE.
  נוספה גם אפשרות "--verbose", המציגה הודעת ניצחון קצרה אם היא מצליחה.

• מצב ה"תאימות" עם flex שופר - כמה שגיאות ניתוח תוקנו ו
  עדיפות מפעיל שגויה במקרים נדירים.
  מבחינה היסטורית, האפשרות "-F --flex-suppor" אפשרה לך לכתוב קוד
  מעורבב בסגנון flex וסגנון re2c, מה שמקשה מעט על הניתוח.
  מצב תאימות Flex משמש לעתים רחוקות בקוד חדש,
  אבל re2c ממשיכה לתמוך בו לתאימות לאחור.

• אופרטור החיסור של מחלקת התווים "/" חל כעת
  לפני הרחבת הקידוד, מה שמאפשר להשתמש בו במספר גדול יותר של מקרים,
  אם נעשה שימוש בקידוד אורך תו משתנה (לדוגמה UTF8).

• קובץ הפלט נוצר כעת בצורה אטומית: re2c יוצר תחילה קובץ זמני
  וכותב לתוכו את התוצאה, ואז משנה את שם הקובץ הזמני לפלט
  פעולה אחת.

• התיעוד הושלם ונכתב מחדש; במיוחד נוספו חדשים
  פרקים על http://re2c.org/manual/manual.html#buffer-refilling заполнение буфера
  и על דרכים לבדוק את סוף נתוני הקלט.
  התיעוד החדש נאסף בטופס
  מדריך מקיף בן עמוד אחד
  עם דוגמאות (אותם מקורות מוצגים ב-manpage ובתיעוד המקוון).
  נעשו ניסיונות גרועים לשפר את קריאות האתר בטלפונים.

• מנקודת המבט של המפתחים, re2c רכשה תת-מערכת שלמה יותר
  איתור באגים קוד איתור באגים מושבת כעת ב-builds מהדורה ו
  ניתן להפעיל באמצעות אפשרות התצורה "--enable-debug".

מקור: OpenNet.ru