exhaustive tests

Author: simbo1905

jtd-esm-codegen/pom.xml

@@ -57,6 +57,12 @@
             <artifactId>assertj-core</artifactId>
             <scope>test</scope>
         </dependency>
+        <dependency>
+            <groupId>net.jqwik</groupId>
+            <artifactId>jqwik</artifactId>
+            <version>1.9.3</version>
+            <scope>test</scope>
+        </dependency>
     </dependencies>
 
     <build>

jtd-esm-codegen/src/main/java/io/github/simbo1905/json/jtd/codegen/EsmRenderer.java

@@ -3,31 +3,59 @@
 import java.util.List;
 import java.util.Map;
 
-/// Minimal AST for the experimental "flat JTD → ESM validator" code generator.
+/// Complete AST for RFC 8927 JTD code generation.
+/// Supports all schema forms: empty, type, enum, elements, properties, values, 
+/// discriminator, ref, and nullable.
 ///
-/// Supported JTD subset:
-/// - root: `properties`, `optionalProperties`, `metadata.id`
-/// - leaf: `{}` (empty form), `{ "type": ... }`, `{ "enum": [...] }`
+/// This AST is designed for stack-based code generation where each node
+/// knows how to generate its own validation logic.
 public final class JtdAst {
     private JtdAst() {}
 
-    public sealed interface JtdNode permits SchemaNode, PropertyNode, TypeNode, EnumNode, EmptyNode {}
+    public sealed interface JtdNode permits 
+            EmptyNode, TypeNode, EnumNode, ElementsNode, PropertiesNode, 
+            ValuesNode, DiscriminatorNode, RefNode, NullableNode {}
 
-    public record SchemaNode(
-            String id, // metadata.id
-            Map<String, PropertyNode> properties,
-            Map<String, PropertyNode> optionalProperties
-    ) implements JtdNode {}
+    /// Root of a JTD document with metadata, definitions, and root schema.
+    public record RootNode(
+            String id,
+            Map<String, JtdNode> definitions,
+            JtdNode rootSchema
+    ) {}
 
-    public record PropertyNode(String name, JtdNode type) implements JtdNode {}
+    /// Empty form {} - accepts any JSON value.
+    public record EmptyNode() implements JtdNode {}
 
-    /// JTD primitive type keyword as a string, e.g. "string", "int32", "timestamp".
+    /// Type form - validates primitive types.
+    /// Type values: string, boolean, timestamp, int8, uint8, int16, uint16, 
+    /// int32, uint32, float32, float64
     public record TypeNode(String type) implements JtdNode {}
 
-    /// Enum values (strings only in RFC 8927).
+    /// Enum form - validates string is one of allowed values.
     public record EnumNode(List<String> values) implements JtdNode {}
 
-    /// Empty form `{}`: accepts any JSON value.
-    public record EmptyNode() implements JtdNode {}
-}
+    /// Elements form - validates array where each element matches schema.
+    public record ElementsNode(JtdNode schema) implements JtdNode {}
+
+    /// Properties form - validates object with required/optional properties.
+    public record PropertiesNode(
+            Map<String, JtdNode> properties,
+            Map<String, JtdNode> optionalProperties,
+            boolean additionalProperties
+    ) implements JtdNode {}
 
+    /// Values form - validates object where all values match schema.
+    public record ValuesNode(JtdNode schema) implements JtdNode {}
+
+    /// Discriminator form - validates tagged unions.
+    public record DiscriminatorNode(
+            String discriminator,
+            Map<String, JtdNode> mapping
+    ) implements JtdNode {}
+
+    /// Ref form - references a definition.
+    public record RefNode(String ref) implements JtdNode {}
+
+    /// Nullable wrapper - allows null in addition to wrapped schema.
+    public record NullableNode(JtdNode wrapped) implements JtdNode {}
+}