kt-schema-generator-core/me.kpavlov.kt.schema.generator.core.ir

Package-level declarations

Intermediate representation (IR) models and transformers.

Types

AbstractTypeGraphTransformer

abstract class AbstractTypeGraphTransformer<R, C>(val config: C) : TypeGraphTransformer<R, C>

Abstract base class for implementing type graph transformations into target schema formats.

AnyNode

data class AnyNode(val description: String? = null) : TypeNode

Any/unconstrained type node — emits {} in JSON Schema (accepts any value).

DescriptionExtractor

fun interface DescriptionExtractor

Functional interface describing a strategy for extracting a property/type description from a list of annotations associated with it. It's used to allow custom description annotations.

Discriminator

data class Discriminator(val name: String, val mapping: Map<String, TypeId>? = null)

Class discriminator information. If mapping is null, default implicit mapping is assumed (typically discriminator value equals subtype serial name).

EnumNode

data class EnumNode(val name: String, val entries: List<String>, val defaultValue: String? = null, val description: String? = null) : NamedTypeNode

Enum node with symbolic entries.

Introspections

object Introspections

Utility object for annotation-based introspection, providing methods to process annotations for descriptions, ignore markers, and name overrides.

ListNode

data class ListNode(val element: TypeRef, val description: String? = null) : TypeNode

List/array node.

MapNode

data class MapNode(val key: TypeRef, val value: TypeRef, val description: String? = null) : TypeNode

Map/dictionary node.

NamedTypeNode

sealed interface NamedTypeNode : TypeNode

A named type node.

ObjectNode

data class ObjectNode(val name: String, val properties: List<Property>, val required: Set<String>, val description: String? = null) : NamedTypeNode

Object node with named properties and required set.

PolymorphicNode

data class PolymorphicNode(val name: String, val subtypes: List<SubtypeRef>, val discriminator: Discriminator, val description: String? = null) : NamedTypeNode

Polymorphic node for sealed/open hierarchies.

PrimitiveKind

enum PrimitiveKind : Enum<PrimitiveKind>

Primitive kinds supported by the IR.

PrimitiveNode

data class PrimitiveNode(val kind: PrimitiveKind, val description: String? = null) : TypeNode

Primitive node.

Property

data class Property(val name: String, val type: TypeRef, val description: String? = null, val deprecated: Boolean = false, val hasDefaultValue: Boolean = false, val defaultValue: Any? = null, val isConstant: Boolean = false, val annotations: Map<String, String?> = emptyMap())

Property of an object.

SchemaIntrospector

interface SchemaIntrospector<T, C>

A facade for building TypeGraph from a particular source (e.g. KSP or Serialization).

SubtypeRef

data class SubtypeRef(val id: TypeId, val ref: TypeRef.Ref = TypeRef.Ref(id))

Reference to a subtype in a polymorphic hierarchy.

TypeGraph

data class TypeGraph(val root: TypeRef, val nodes: Map<TypeId, TypeNode>)

A graph of discovered types plus the root type reference used to emit schemas.

TypeGraphTransformer

interface TypeGraphTransformer<R, C>

Converts a TypeGraph intermediate representation to a target schema format.

TypeId

@JvmInline

value class TypeId(val value: String)

A stable identifier for a type definition used for deduplication and $ref linking.

TypeNode

sealed interface TypeNode

Base node for all kinds supported by the schema IR.

TypeRef

sealed interface TypeRef

Reference to a type: either inline node or reference by TypeId.

Functions

withNullable

fun TypeRef.withNullable(nullable: Boolean): TypeRef

Returns a copy of this TypeRef with the specified nullable flag. Shared across introspection front ends (reflection, KSP, APT, kotlinx.serialization) so conventions layered on top of native nullability (e.g. @Nullable-style annotations, type-name patterns) all go through the same code path.