Class DefaultValidationConstraints<Specifics>

Type Parameters

Specifics extends TypirSpecifics

Implements

ValidationConstraints<Specifics>

Index

Constructors

Properties

inference printer services

Methods

annotateType ensureNodeHasNotType ensureNodeIsAssignable ensureNodeIsEquals ensureNodeRelatedWithType

Constructors

constructor

new DefaultValidationConstraints<Specifics extends TypirSpecifics>(
services: TypirServices<Specifics>,
): DefaultValidationConstraints<Specifics>
Type Parameters
- Specifics extends TypirSpecifics
Parameters
- services: TypirServices<Specifics>
Returns DefaultValidationConstraints<Specifics>
- Defined in services/validation.ts:116

Properties

`Protected` `Readonly`inference

inference: TypeInferenceCollector<Specifics>

`Protected` `Readonly`printer

printer: ProblemPrinter<Specifics>

`Protected` `Readonly`services

services: TypirServices<Specifics>

Methods

`Protected`annotateType

annotateType(type: Type): AnnotatedTypeAfterValidation
Parameters
- type: Type
Returns AnnotatedTypeAfterValidation
- Defined in services/validation.ts:197

ensureNodeHasNotType

ensureNodeHasNotType<
    S extends unknown,
    E extends unknown,
    T extends unknown = Specifics["LanguageType"],
>(
    sourceNode: undefined | S,
    notExpected: undefined | Type | E,
    accept: ValidationProblemAcceptor<Specifics>,
    message: ValidationMessageProvider<Specifics, T>,
): void
Type Parameters
- S extends unknown
- E extends unknown
- T extends unknown = Specifics["LanguageType"]
Parameters
- sourceNode: undefined | S
- notExpected: undefined | Type | E
- accept: ValidationProblemAcceptor<Specifics>
- message: ValidationMessageProvider<Specifics, T>
Returns void
Implementation of ValidationConstraints.ensureNodeHasNotType
- Defined in services/validation.ts:138

ensureNodeIsAssignable

ensureNodeIsAssignable<
    S extends unknown,
    E extends unknown,
    T extends unknown = Specifics["LanguageType"],
>(
    sourceNode: undefined | S,
    expected: undefined | Type | E,
    accept: ValidationProblemAcceptor<Specifics>,
    message: ValidationMessageProvider<Specifics, T>,
): void
Type Parameters
- S extends unknown
- E extends unknown
- T extends unknown = Specifics["LanguageType"]
Parameters
- sourceNode: undefined | S
- expected: undefined | Type | E
- accept: ValidationProblemAcceptor<Specifics>
- message: ValidationMessageProvider<Specifics, T>
Returns void
Implementation of ValidationConstraints.ensureNodeIsAssignable
- Defined in services/validation.ts:122

ensureNodeIsEquals

ensureNodeIsEquals<
    S extends unknown,
    E extends unknown,
    T extends unknown = Specifics["LanguageType"],
>(
    sourceNode: undefined | S,
    expected: undefined | Type | E,
    accept: ValidationProblemAcceptor<Specifics>,
    message: ValidationMessageProvider<Specifics, T>,
): void
Type Parameters
- S extends unknown
- E extends unknown
- T extends unknown = Specifics["LanguageType"]
Parameters
- sourceNode: undefined | S
- expected: undefined | Type | E
- accept: ValidationProblemAcceptor<Specifics>
- message: ValidationMessageProvider<Specifics, T>
Returns void
Implementation of ValidationConstraints.ensureNodeIsEquals
- Defined in services/validation.ts:130

ensureNodeRelatedWithType

ensureNodeRelatedWithType<
    S extends unknown,
    E extends unknown,
    T extends unknown = Specifics["LanguageType"],
>(
    languageNode: undefined | S,
    expected: undefined | Type | E,
    strategy: TypeCheckStrategy,
    negated: boolean,
    accept: ValidationProblemAcceptor<Specifics>,
    message: ValidationMessageProvider<Specifics, T>,
): void
Type Parameters
- S extends unknown
- E extends unknown
- T extends unknown = Specifics["LanguageType"]
Parameters
- languageNode: undefined | S
- expected: undefined | Type | E
- strategy: TypeCheckStrategy
- negated: boolean
- accept: ValidationProblemAcceptor<Specifics>
- message: ValidationMessageProvider<Specifics, T>
Returns void
Implementation of ValidationConstraints.ensureNodeRelatedWithType
- Defined in services/validation.ts:146