Skip to content

Commit acc5bd2

Browse files
authored
Merge pull request #55 from returntocorp/brandon/remedy-interfaces
chore: make engine_kind optional
2 parents b0960d2 + d296b26 commit acc5bd2

6 files changed

+625
-559
lines changed

semgrep_output_v1.atd

+1-1
Original file line numberDiff line numberDiff line change
@@ -600,7 +600,7 @@ type cli_match_extra <ocaml attr="deriving show"> = {
600600
* later on. *)
601601
?dataflow_trace: cli_match_dataflow_trace option;
602602

603-
engine_kind: engine_kind;
603+
?engine_kind: engine_kind option;
604604
}
605605

606606
type fix_regex <ocaml attr="deriving show"> = {

semgrep_output_v1.jsonschema

+2-3
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@
5757
},
5858
"core_match_extra": {
5959
"type": "object",
60-
"required": [ "metavars", "engine_kind" ],
60+
"required": [ "metavars" ],
6161
"properties": {
6262
"message": { "type": "string" },
6363
"metavars": { "$ref": "#/definitions/metavars" },
@@ -495,8 +495,7 @@
495495
"cli_match_extra": {
496496
"type": "object",
497497
"required": [
498-
"fingerprint", "lines", "message", "metadata", "severity",
499-
"engine_kind"
498+
"fingerprint", "lines", "message", "metadata", "severity"
500499
],
501500
"properties": {
502501
"metavars": { "$ref": "#/definitions/metavars" },

semgrep_output_v1.py

+8-6
Original file line numberDiff line numberDiff line change
@@ -918,34 +918,35 @@ class CoreMatchExtra:
918918
"""Original type: core_match_extra = { ... }"""
919919

920920
metavars: Metavars
921-
engine_kind: EngineKind
922921
message: Optional[str] = None
923922
dataflow_trace: Optional[CoreMatchDataflowTrace] = None
924923
rendered_fix: Optional[str] = None
924+
engine_kind: Optional[EngineKind] = None
925925

926926
@classmethod
927927
def from_json(cls, x: Any) -> 'CoreMatchExtra':
928928
if isinstance(x, dict):
929929
return cls(
930930
metavars=Metavars.from_json(x['metavars']) if 'metavars' in x else _atd_missing_json_field('CoreMatchExtra', 'metavars'),
931-
engine_kind=EngineKind.from_json(x['engine_kind']) if 'engine_kind' in x else _atd_missing_json_field('CoreMatchExtra', 'engine_kind'),
932931
message=_atd_read_string(x['message']) if 'message' in x else None,
933932
dataflow_trace=CoreMatchDataflowTrace.from_json(x['dataflow_trace']) if 'dataflow_trace' in x else None,
934933
rendered_fix=_atd_read_string(x['rendered_fix']) if 'rendered_fix' in x else None,
934+
engine_kind=EngineKind.from_json(x['engine_kind']) if 'engine_kind' in x else None,
935935
)
936936
else:
937937
_atd_bad_json('CoreMatchExtra', x)
938938

939939
def to_json(self) -> Any:
940940
res: Dict[str, Any] = {}
941941
res['metavars'] = (lambda x: x.to_json())(self.metavars)
942-
res['engine_kind'] = (lambda x: x.to_json())(self.engine_kind)
943942
if self.message is not None:
944943
res['message'] = _atd_write_string(self.message)
945944
if self.dataflow_trace is not None:
946945
res['dataflow_trace'] = (lambda x: x.to_json())(self.dataflow_trace)
947946
if self.rendered_fix is not None:
948947
res['rendered_fix'] = _atd_write_string(self.rendered_fix)
948+
if self.engine_kind is not None:
949+
res['engine_kind'] = (lambda x: x.to_json())(self.engine_kind)
949950
return res
950951

951952
@classmethod
@@ -2906,14 +2907,14 @@ class CliMatchExtra:
29062907
message: str
29072908
metadata: RawJson
29082909
severity: str
2909-
engine_kind: EngineKind
29102910
metavars: Optional[Metavars] = None
29112911
fix: Optional[str] = None
29122912
fix_regex: Optional[FixRegex] = None
29132913
is_ignored: Optional[bool] = None
29142914
sca_info: Optional[ScaInfo] = None
29152915
fixed_lines: Optional[List[str]] = None
29162916
dataflow_trace: Optional[CliMatchDataflowTrace] = None
2917+
engine_kind: Optional[EngineKind] = None
29172918

29182919
@classmethod
29192920
def from_json(cls, x: Any) -> 'CliMatchExtra':
@@ -2924,14 +2925,14 @@ def from_json(cls, x: Any) -> 'CliMatchExtra':
29242925
message=_atd_read_string(x['message']) if 'message' in x else _atd_missing_json_field('CliMatchExtra', 'message'),
29252926
metadata=RawJson.from_json(x['metadata']) if 'metadata' in x else _atd_missing_json_field('CliMatchExtra', 'metadata'),
29262927
severity=_atd_read_string(x['severity']) if 'severity' in x else _atd_missing_json_field('CliMatchExtra', 'severity'),
2927-
engine_kind=EngineKind.from_json(x['engine_kind']) if 'engine_kind' in x else _atd_missing_json_field('CliMatchExtra', 'engine_kind'),
29282928
metavars=Metavars.from_json(x['metavars']) if 'metavars' in x else None,
29292929
fix=_atd_read_string(x['fix']) if 'fix' in x else None,
29302930
fix_regex=FixRegex.from_json(x['fix_regex']) if 'fix_regex' in x else None,
29312931
is_ignored=_atd_read_bool(x['is_ignored']) if 'is_ignored' in x else None,
29322932
sca_info=ScaInfo.from_json(x['sca_info']) if 'sca_info' in x else None,
29332933
fixed_lines=_atd_read_list(_atd_read_string)(x['fixed_lines']) if 'fixed_lines' in x else None,
29342934
dataflow_trace=CliMatchDataflowTrace.from_json(x['dataflow_trace']) if 'dataflow_trace' in x else None,
2935+
engine_kind=EngineKind.from_json(x['engine_kind']) if 'engine_kind' in x else None,
29352936
)
29362937
else:
29372938
_atd_bad_json('CliMatchExtra', x)
@@ -2943,7 +2944,6 @@ def to_json(self) -> Any:
29432944
res['message'] = _atd_write_string(self.message)
29442945
res['metadata'] = (lambda x: x.to_json())(self.metadata)
29452946
res['severity'] = _atd_write_string(self.severity)
2946-
res['engine_kind'] = (lambda x: x.to_json())(self.engine_kind)
29472947
if self.metavars is not None:
29482948
res['metavars'] = (lambda x: x.to_json())(self.metavars)
29492949
if self.fix is not None:
@@ -2958,6 +2958,8 @@ def to_json(self) -> Any:
29582958
res['fixed_lines'] = _atd_write_list(_atd_write_string)(self.fixed_lines)
29592959
if self.dataflow_trace is not None:
29602960
res['dataflow_trace'] = (lambda x: x.to_json())(self.dataflow_trace)
2961+
if self.engine_kind is not None:
2962+
res['engine_kind'] = (lambda x: x.to_json())(self.engine_kind)
29612963
return res
29622964

29632965
@classmethod

semgrep_output_v1.ts

+14-18
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,12 @@
1-
/*
2-
Generated by atdts from type definitions in 'semgrep_output_v1.atd'.
1+
// Generated by atdts from type definitions in 'semgrep_output_v1.atd'.
2+
//
3+
// Type-safe translations from/to JSON
4+
//
5+
// For each type 'Foo', there is a pair of functions:
6+
// - 'writeFoo': convert a 'Foo' value into a JSON-compatible value.
7+
// - 'readFoo': convert a JSON-compatible value into a TypeScript value
8+
// of type 'Foo'.
39

4-
Type-safe translations from/to JSON
5-
6-
For each type 'Foo', there is a pair of functions:
7-
- 'writeFoo': convert a 'Foo' value into a JSON-compatible value.
8-
- 'readFoo': convert a JSON-compatible value into a TypeScript value
9-
of type 'Foo'.
10-
*/
11-
12-
/* tslint:disable */
13-
/* eslint-disable */
1410

1511
export type RawJson = any
1612

@@ -45,7 +41,7 @@ export type CoreMatchExtra = {
4541
metavars: Metavars;
4642
dataflow_trace?: CoreMatchDataflowTrace;
4743
rendered_fix?: string;
48-
engine_kind: EngineKind;
44+
engine_kind?: EngineKind;
4945
}
5046

5147
export type CoreMatchCallTrace =
@@ -264,7 +260,7 @@ export type CliMatchExtra = {
264260
sca_info?: ScaInfo;
265261
fixed_lines?: string[];
266262
dataflow_trace?: CliMatchDataflowTrace;
267-
engine_kind: EngineKind;
263+
engine_kind?: EngineKind;
268264
}
269265

270266
export type FixRegex = {
@@ -490,7 +486,7 @@ export function writeCoreMatchExtra(x: CoreMatchExtra, context: any = x): any {
490486
'metavars': _atd_write_required_field('CoreMatchExtra', 'metavars', writeMetavars, x.metavars, x),
491487
'dataflow_trace': _atd_write_optional_field(writeCoreMatchDataflowTrace, x.dataflow_trace, x),
492488
'rendered_fix': _atd_write_optional_field(_atd_write_string, x.rendered_fix, x),
493-
'engine_kind': _atd_write_required_field('CoreMatchExtra', 'engine_kind', writeEngineKind, x.engine_kind, x),
489+
'engine_kind': _atd_write_optional_field(writeEngineKind, x.engine_kind, x),
494490
};
495491
}
496492

@@ -500,7 +496,7 @@ export function readCoreMatchExtra(x: any, context: any = x): CoreMatchExtra {
500496
metavars: _atd_read_required_field('CoreMatchExtra', 'metavars', readMetavars, x['metavars'], x),
501497
dataflow_trace: _atd_read_optional_field(readCoreMatchDataflowTrace, x['dataflow_trace'], x),
502498
rendered_fix: _atd_read_optional_field(_atd_read_string, x['rendered_fix'], x),
503-
engine_kind: _atd_read_required_field('CoreMatchExtra', 'engine_kind', readEngineKind, x['engine_kind'], x),
499+
engine_kind: _atd_read_optional_field(readEngineKind, x['engine_kind'], x),
504500
};
505501
}
506502

@@ -1174,7 +1170,7 @@ export function writeCliMatchExtra(x: CliMatchExtra, context: any = x): any {
11741170
'sca_info': _atd_write_optional_field(writeScaInfo, x.sca_info, x),
11751171
'fixed_lines': _atd_write_optional_field(_atd_write_array(_atd_write_string), x.fixed_lines, x),
11761172
'dataflow_trace': _atd_write_optional_field(writeCliMatchDataflowTrace, x.dataflow_trace, x),
1177-
'engine_kind': _atd_write_required_field('CliMatchExtra', 'engine_kind', writeEngineKind, x.engine_kind, x),
1173+
'engine_kind': _atd_write_optional_field(writeEngineKind, x.engine_kind, x),
11781174
};
11791175
}
11801176

@@ -1192,7 +1188,7 @@ export function readCliMatchExtra(x: any, context: any = x): CliMatchExtra {
11921188
sca_info: _atd_read_optional_field(readScaInfo, x['sca_info'], x),
11931189
fixed_lines: _atd_read_optional_field(_atd_read_array(_atd_read_string), x['fixed_lines'], x),
11941190
dataflow_trace: _atd_read_optional_field(readCliMatchDataflowTrace, x['dataflow_trace'], x),
1195-
engine_kind: _atd_read_required_field('CliMatchExtra', 'engine_kind', readEngineKind, x['engine_kind'], x),
1191+
engine_kind: _atd_read_optional_field(readEngineKind, x['engine_kind'], x),
11961192
};
11971193
}
11981194

0 commit comments

Comments
 (0)