OpenAPI data model, parser, and validator

core/build.gradle.kts

@@ -1,3 +1,5 @@
+import org.jetbrains.kotlin.gradle.tasks.KotlinCompile
+
 plugins {
     kotlin("jvm")
     `maven-publish`
@@ -8,10 +10,17 @@ kotlin {
     jvmToolchain(21)
 }
 
+// todo: remove when https://github.com/JLLeitschuh/ktlint-gradle/issues/912 resolved
+ktlint {
+    version.set("1.8.0")
+}
+
+
 dependencies {
     implementation("io.swagger.parser.v3:swagger-parser:2.1.39")
     implementation("com.squareup:kotlinpoet:2.2.0")
     implementation("org.jetbrains.kotlinx:kotlinx-datetime:0.7.1")
+    implementation("io.arrow-kt:arrow-core:2.2.1.1")
     testImplementation(kotlin("test"))
 }
 
@@ -26,3 +35,7 @@ publishing {
         }
     }
 }
+val compileKotlin: KotlinCompile by tasks
+compileKotlin.compilerOptions {
+    freeCompilerArgs.add("-Xcontext-parameters")
+}

core/src/main/kotlin/com/avsystem/justworks/core/model/ApiSpec.kt

@@ -0,0 +1,107 @@
+package com.avsystem.justworks.core.model
+
+/**
+ * Intermediate model representing a fully parsed OpenAPI specification.
+ *
+ * Produced by [com.avsystem.justworks.core.parser.SpecParser] and consumed by the
+ * code generators. Bridges the raw Swagger Parser OAS model and the generated
+ * Kotlin client/model source files.
+ */
+data class ApiSpec(
+    val title: String,
+    val version: String,
+    val endpoints: List<Endpoint>,
+    val schemas: List<SchemaModel>,
+    val enums: List<EnumModel>,
+)
+
+data class Endpoint(
+    val path: String,
+    val method: HttpMethod,
+    val operationId: String,
+    val summary: String?,
+    val tags: List<String>,
+    val parameters: List<Parameter>,
+    val requestBody: RequestBody?,
+    val responses: Map<String, Response>,
+)
+
+enum class HttpMethod {
+    GET,
+    POST,
+    PUT,
+    DELETE,
+    PATCH;
+
+    companion object {
+        fun parse(name: String): HttpMethod? = entries.find { it.name.equals(name, true) }
+    }
+}
+
+data class Parameter(
+    val name: String,
+    val location: ParameterLocation,
+    val required: Boolean,
+    val schema: TypeRef,
+    val description: String?,
+)
+
+// todo: add cookie
+enum class ParameterLocation {
+    PATH,
+    QUERY,
+    HEADER;
+
+    companion object {
+        fun parse(name: String): ParameterLocation? = entries.find { it.name.equals(name, true) }
+    }
+}
+
+data class RequestBody(
+    val required: Boolean,
+    val contentType: String,
+    val schema: TypeRef,
+)
+
+data class Response(
+    val statusCode: String,
+    val description: String?,
+    val schema: TypeRef?,
+)
+
+data class SchemaModel(
+    val name: String,
+    val description: String?,
+    val properties: List<PropertyModel>,
+    val requiredProperties: Set<String>,
+    val allOf: List<TypeRef>?,
+    val oneOf: List<TypeRef>?,
+    val anyOf: List<TypeRef>?,
+    val discriminator: Discriminator?,
+)
+
+data class PropertyModel(
+    val name: String,
+    val type: TypeRef,
+    val description: String?,
+    val nullable: Boolean,
+    val defaultValue: Any? = null,
+)
+
+data class EnumModel(
+    val name: String,
+    val description: String?,
+    val type: EnumBackingType,
+    val values: List<String>,
+)
+
+enum class EnumBackingType {
+    STRING,
+    INTEGER;
+
+    companion object {
+        fun parse(name: String): EnumBackingType? = entries.find { it.name.equals(name, true) }
+    }
+}
+
+data class Discriminator(val propertyName: String, val mapping: Map<String, String>)

core/src/main/kotlin/com/avsystem/justworks/core/model/TypeRef.kt

@@ -0,0 +1,21 @@
+package com.avsystem.justworks.core.model
+
+sealed interface TypeRef {
+    data class Primitive(val type: PrimitiveType) : TypeRef
+
+    data class Array(val items: TypeRef) : TypeRef
+
+    data class Reference(val schemaName: String) : TypeRef
+
+    data class Map(val valueType: TypeRef) : TypeRef
+
+    data class Inline(
+        val properties: List<PropertyModel>,
+        val requiredProperties: Set<String>,
+        val contextHint: String, // "request"|"response"|property name for context-aware naming
+    ) : TypeRef
+
+    data object Unknown : TypeRef
+}
+
+enum class PrimitiveType { STRING, INT, LONG, DOUBLE, FLOAT, BOOLEAN, BYTE_ARRAY, DATE_TIME, DATE }