Interface ClassKindOptions

Options which are relevant for all kinds.

interface ClassKindOptions {
    $name: string;
    identifierPrefix: string;
    maximumNumberOfSuperClasses: number;
    subtypeFieldChecking: TypeCheckStrategy;
    typing: "Structural" | "Nominal";
}

Hierarchy (View Summary)

KindOptions
- ClassKindOptions

Index

Properties

$name identifierPrefix maximumNumberOfSuperClasses subtypeFieldChecking typing

Properties

$name

$name: string

Customize the name which is used to register the kind in the kind registry.

identifierPrefix

identifierPrefix: string

Will be used only internally as prefix for the unique identifiers for class type names.

maximumNumberOfSuperClasses

maximumNumberOfSuperClasses: number

Values < 0 indicate an arbitrary number of super classes.

subtypeFieldChecking

subtypeFieldChecking: TypeCheckStrategy

typing

typing: "Structural" | "Nominal"