re_patterns.py

import re

PWD_PATTERN = re.compile(r"\(\*\*PWD\*\* (?P<pwd>.*?) \*\*\)")

ML_PATHS_PATTERN = re.compile(
    r"\(\*\*ML_PATH\*\* (?P<ml_paths>.*?) \*\*\)", flags=re.DOTALL
)

ML_PATH_PATTERN = re.compile(r"(\/[0-9A-Za-z_-]+)+")

LOAD_PATHS_PATTERN = re.compile(
    r"\(\*\*LOAD_PATH\*\* (?P<load_paths>.*?) \*\*\)", flags=re.DOTALL
)

LOAD_PATH_PATTERN = re.compile(
    r"(?P<logical_path><>|([0-9A-Za-z_-]+(\.[0-9A-Za-z_-]+)*))\s+(?P<physical_path>(\/[0-9A-Za-z_-]+)+)\s+(?P<implicit>true|false)",
    re.DOTALL,
)

LOC_PATTERN = re.compile(r"\(\*\*LOC\*\* .+?(?=$|\(\*\*LOC)", flags=re.DOTALL)

PARSE_LOC_PATTERN = re.compile(r"Loc.bp = (?P<bp>\d+); Loc.ep = (?P<ep>\d+)")

TAG_PATTERN = re.compile(r"\(\*\*(?P<tag>[A-Z_]+)(\*\*)?(?P<content>.*?)\*\*\)")

UNBOUND_REL_PATTERN = re.compile(r"_UNBOUND_REL_\d+")

ADDED_STATE_PATTERN = re.compile(r"\(Added (?P<state_id>\d+)")

TYPE_PATTERN = re.compile(
    r'\(Pp_tag constr.type\(Pp_string (?P<type>"(?:\\"|[^"])*?"|[^\(\)\s"]*)\)\)'
)