Interface ClassKindOptions

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

Index

Properties

identifierPrefix maximumNumberOfSuperClasses subtypeFieldChecking typing

Properties

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"