redux/io.github.jmltoolkit.redux/RecordClassBuilder

RecordClassBuilder

class RecordClassBuilder(val addSpecification: Boolean = true, val addBodies: Boolean = true, val useInvariantFree: Boolean = true) : Transformer(source)

This transformation is made to transform any found RecordDeclaration into a corresponding ClassOrInterfaceDeclaration.

Author

weigl

Since

2026-03-11

See also

Constructors

RecordClassBuilder

constructor(addSpecification: Boolean = true, addBodies: Boolean = true, useInvariantFree: Boolean = true)

Properties

val addBodies: Boolean

addSpecification

val addSpecification: Boolean

useInvariantFree

val useInvariantFree: Boolean

Functions

open override fun apply(a: Node): Node