Function _strip_comments

Scripts/codegen/build_mjxmacro_snapshot.py:119–123

(text: str)

def _strip_comments(text: str) -> str:
    # Drop //... comments + /* ... */ blocks.
    text = re.sub(r"//[^\n]*", "", text)
    text = re.sub(r"/\*.*?\*/", "", text, flags=re.DOTALL)
    return text


_BODY_ENTRY_RE = re.compile(rf"^\s*{_X_TAG_RE}\s*\(")