Fully support allOf (#25)

Fixes: sourcemeta/jsonschema#619
Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>

Author: jviotti

README.markdown

@@ -36,7 +36,7 @@ to use a JSON Schema validator at runtime to enforce remaining constraints.
 | Applicator (2020-12) | `propertyNames` | Ignored |
 | Applicator (2020-12) | `dependentSchemas` | Pending |
 | Applicator (2020-12) | `contains` | Ignored |
-| Applicator (2020-12) | `allOf` | Pending |
+| Applicator (2020-12) | `allOf` | Yes |
 | Applicator (2020-12) | `oneOf` | **PARTIAL GIVEN LANGUAGE LIMITATIONS** |
 | Applicator (2020-12) | `not` | **CANNOT SUPPORT** |
 | Applicator (2020-12) | `if` | Pending |

test/e2e/typescript/2020-12/allof_intersection/expected.d.ts

@@ -0,0 +1,19 @@
+export type AllOfIntersection_1Age = number;
+
+export type AllOfIntersection_1AdditionalProperties = never;
+
+export interface AllOfIntersection_1 {
+  "age": AllOfIntersection_1Age;
+}
+
+export type AllOfIntersection_0Name = string;
+
+export type AllOfIntersection_0AdditionalProperties = never;
+
+export interface AllOfIntersection_0 {
+  "name": AllOfIntersection_0Name;
+}
+
+export type AllOfIntersection =
+  AllOfIntersection_0 &
+  AllOfIntersection_1;

test/e2e/typescript/2020-12/allof_intersection/options.json

@@ -0,0 +1,3 @@
+{
+  "defaultPrefix": "AllOfIntersection"
+}

test/e2e/typescript/2020-12/allof_intersection/schema.json

@@ -0,0 +1,21 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "allOf": [
+    {
+      "type": "object",
+      "properties": {
+        "name": { "type": "string" }
+      },
+      "required": [ "name" ],
+      "additionalProperties": false
+    },
+    {
+      "type": "object",
+      "properties": {
+        "age": { "type": "integer" }
+      },
+      "required": [ "age" ],
+      "additionalProperties": false
+    }
+  ]
+}

test/e2e/typescript/2020-12/allof_intersection/test.ts

@@ -0,0 +1,19 @@
+import { AllOfIntersection } from "./expected";
+
+// Valid: satisfies both branches
+const valid: AllOfIntersection = {
+  name: "Alice",
+  age: 30
+};
+
+// Invalid: missing age from second branch
+// @ts-expect-error
+const missingAge: AllOfIntersection = {
+  name: "Bob"
+};
+
+// Invalid: missing name from first branch
+// @ts-expect-error
+const missingName: AllOfIntersection = {
+  age: 25
+};

test/e2e/typescript/2020-12/allof_refs/expected.d.ts

@@ -0,0 +1,23 @@
+export type Person_1 = PersonAged;
+
+export type Person_0 = PersonNamed;
+
+export type PersonNamedName = string;
+
+export type PersonNamedAdditionalProperties = never;
+
+export interface PersonNamed {
+  "name": PersonNamedName;
+}
+
+export type PersonAgedAge = number;
+
+export type PersonAgedAdditionalProperties = never;
+
+export interface PersonAged {
+  "age": PersonAgedAge;
+}
+
+export type Person =
+  Person_0 &
+  Person_1;

test/e2e/typescript/2020-12/allof_refs/options.json

@@ -0,0 +1,3 @@
+{
+  "defaultPrefix": "Person"
+}

test/e2e/typescript/2020-12/allof_refs/schema.json

@@ -0,0 +1,25 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$defs": {
+    "Named": {
+      "type": "object",
+      "properties": {
+        "name": { "type": "string" }
+      },
+      "required": [ "name" ],
+      "additionalProperties": false
+    },
+    "Aged": {
+      "type": "object",
+      "properties": {
+        "age": { "type": "integer" }
+      },
+      "required": [ "age" ],
+      "additionalProperties": false
+    }
+  },
+  "allOf": [
+    { "$ref": "#/$defs/Named" },
+    { "$ref": "#/$defs/Aged" }
+  ]
+}

test/e2e/typescript/2020-12/allof_refs/test.ts

@@ -0,0 +1,19 @@
+import { Person } from "./expected";
+
+// Valid: satisfies both $ref branches
+const valid: Person = {
+  name: "Alice",
+  age: 30
+};
+
+// Invalid: missing age
+// @ts-expect-error
+const missingAge: Person = {
+  name: "Bob"
+};
+
+// Invalid: missing name
+// @ts-expect-error
+const missingName: Person = {
+  age: 25
+};

test/e2e/typescript/2020-12/allof_single_element/expected.d.ts

@@ -0,0 +1,9 @@
+export type Wrapper_0Value = string;
+
+export type Wrapper_0AdditionalProperties = never;
+
+export interface Wrapper_0 {
+  "value": Wrapper_0Value;
+}
+
+export type Wrapper = Wrapper_0;