diff --git a/semgrep_output_v1.atd b/semgrep_output_v1.atd index 8a928a8..154da13 100644 --- a/semgrep_output_v1.atd +++ b/semgrep_output_v1.atd @@ -71,7 +71,7 @@ type raw_json = abstract (*****************************************************************************) (* File path. less: could convert directly to Path class of pathlib library for Python *) -type fpath = string wrap +type fpath = string wrap type uri = string wrap @@ -1856,7 +1856,8 @@ type manifest_kind (* pyproject.toml - https://packaging.python.org/en/latest/guides/writing-pyproject-toml/ *) ] -type manifest = { +type manifest + = { kind: manifest_kind; path: fpath; } diff --git a/semgrep_output_v1.py b/semgrep_output_v1.py index 07b5d77..6078d5a 100644 --- a/semgrep_output_v1.py +++ b/semgrep_output_v1.py @@ -281,7 +281,7 @@ def to_json_string(self, **kw: Any) -> str: return json.dumps(self.to_json(), **kw) -@dataclass +@dataclass(frozen=True) class Fpath: """Original type: fpath""" @@ -6885,7 +6885,7 @@ def to_json_string(self, **kw: Any) -> str: return json.dumps(self.to_json(), **kw) -@dataclass +@dataclass(frozen=True) class Manifest: """Original type: manifest = { ... }"""