Skip to content

Commit 4303da4

Browse files
committed
nullable optionals
1 parent 164a796 commit 4303da4

File tree

3 files changed

+9
-9
lines changed

3 files changed

+9
-9
lines changed

src/main/resources/wfc/schemas/report.yaml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ properties:
5151
#OPTIONAL
5252
extra:
5353
description: "Extra, optional coverage information, collected by different tools."
54-
type: array
54+
type: [array, "null"]
5555
items:
5656
$ref: "#/$defs/Coverage"
5757

@@ -75,7 +75,7 @@ $defs:
7575
context:
7676
description: "An optional context for the fault. The same fault type could be manifested in different ways, \
7777
and we use this property to differentiate among them."
78-
type: string
78+
type: [string, "null"]
7979
required: ["code"]
8080
TestFilePath:
8181
description: "A relative path used to unique locate a test suite file."
@@ -198,6 +198,6 @@ $defs:
198198
minimum: 0
199199
total:
200200
description: "Optional number of all testing targets for this criterion. For some criteria, this number can be unknown."
201-
type: integer
201+
type: [integer, "null"]
202202
minimum: 0
203203
required: ["name","covered"]

web-report/src/types/GeneratedTypes.tsx

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ export interface WebFuzzingCommonsReport {
5959
/**
6060
* Extra, optional coverage information, collected by different tools.
6161
*/
62-
extra?: Coverage[];
62+
extra?: Coverage[] | null;
6363
[k: string]: unknown;
6464
}
6565
export interface Faults {
@@ -96,7 +96,7 @@ export interface FaultCategoryId {
9696
/**
9797
* An optional context for the fault. The same fault type could be manifested in different ways, and we use this property to differentiate among them.
9898
*/
99-
context?: string;
99+
context?: string | null;
100100
[k: string]: unknown;
101101
}
102102
export interface RESTReport {
@@ -165,6 +165,6 @@ export interface CoverageCriterion {
165165
/**
166166
* Optional number of all testing targets for this criterion. For some criteria, this number can be unknown.
167167
*/
168-
total?: number;
168+
total?: number | null;
169169
[k: string]: unknown;
170170
}

web-report/src/types/GeneratedTypesZod.ts

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ export const testCaseSchema = z.record(z.unknown()).and(
2222
export const faultCategoryIdSchema = z.record(z.unknown()).and(
2323
z.object({
2424
code: z.number(),
25-
context: z.string().optional(),
25+
context: z.string().optional().nullable(),
2626
}),
2727
);
2828

@@ -38,7 +38,7 @@ export const coverageCriterionSchema = z.record(z.unknown()).and(
3838
z.object({
3939
name: z.string(),
4040
covered: z.number(),
41-
total: z.number().optional(),
41+
total: z.number().optional().nullable(),
4242
}),
4343
);
4444

@@ -89,6 +89,6 @@ export const webFuzzingCommonsReportSchema = z.record(z.unknown()).and(
8989
totalTests: z.number(),
9090
testFilePaths: z.array(testFilePathSchema),
9191
testCases: z.array(testCaseSchema),
92-
extra: z.array(coverageSchema).optional(),
92+
extra: z.array(coverageSchema).optional().nullable(),
9393
}),
9494
);

0 commit comments

Comments
 (0)