Java Code Generator for DDM Dialects

Generates Java source files from DDM dialect definitions:

• Sealed interfaces for categories, with operator records as nested types
• Non-sealed stub interfaces for abstract categories (e.g., Init.Expr)
• Generated toIon methods on each record for serialization
• Static factory methods for ergonomic AST construction
• Slim Ion serializer with helper methods (no reflection)

All names are disambiguated to avoid collisions with Java reserved words, base classes (Node, SourceRange, IonSerializer), and each other.

Name Utilities

Type Mapping

Serialization Code Generation

Java Structures

structure StrataDDM.Java.GeneratedFiles : Type

All generated Java source files for a dialect.

• sourceRange : String
• node : String
• categories : Array (String × String)
• stubs : Array (String × String)
• builders : String × String
• serializer : String

@[implicit_reducible]

instance StrataDDM.Java.instInhabitedGeneratedFiles : Inhabited GeneratedFiles

Equations

• StrataDDM.Java.instInhabitedGeneratedFiles = { default := StrataDDM.Java.instInhabitedGeneratedFiles.default }

def StrataDDM.Java.instInhabitedGeneratedFiles.default : GeneratedFiles

Equations

• StrataDDM.Java.instInhabitedGeneratedFiles.default = { sourceRange := default, node := default, categories := default, stubs := default, builders := default, serializer := default }

Code Generation

def StrataDDM.Java.generateDialect (d : Dialect) (package : String) : Except String GeneratedFiles

Equations

• One or more equations did not get rendered due to their size.

File Output

def StrataDDM.Java.packageToPath (package : String) : System.FilePath

Equations

• StrataDDM.Java.packageToPath package = { toString := "/".intercalate (package.splitOn ".") }

def StrataDDM.Java.writeJavaFiles (baseDir : System.FilePath) (package : String) (files : GeneratedFiles) : IO Unit

Equations

• One or more equations did not get rendered due to their size.