Class DefaultValidationConstraints

Implements

ValidationConstraints

Index

Constructors

Properties

inference printer services

Methods

annotateType ensureNodeHasNotType ensureNodeIsAssignable ensureNodeIsEquals ensureNodeRelatedWithType

Constructors

constructor

new DefaultValidationConstraints(
services: TypirServices,
): DefaultValidationConstraints
Parameters
- services: TypirServices
Returns DefaultValidationConstraints
- Defined in services/validation.ts:68

Properties

`Protected` `Readonly`inference

inference: TypeInferenceCollector

`Protected` `Readonly`printer

printer: ProblemPrinter

`Protected` `Readonly`services

services: TypirServices

Methods

`Protected`annotateType

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

ensureNodeHasNotType

ensureNodeHasNotType(
    sourceNode: unknown,
    notExpected: unknown,
    message: ValidationMessageProvider,
): ValidationProblem[]
Parameters
- sourceNode: unknown
- notExpected: unknown
- message: ValidationMessageProvider
Returns ValidationProblem[]
Implementation of ValidationConstraints.ensureNodeHasNotType
- Defined in services/validation.ts:84

ensureNodeIsAssignable

ensureNodeIsAssignable(
    sourceNode: unknown,
    expected: unknown,
    message: ValidationMessageProvider,
): ValidationProblem[]
Parameters
- sourceNode: unknown
- expected: unknown
- message: ValidationMessageProvider
Returns ValidationProblem[]
Implementation of ValidationConstraints.ensureNodeIsAssignable
- Defined in services/validation.ts:74

ensureNodeIsEquals

ensureNodeIsEquals(
    sourceNode: unknown,
    expected: unknown,
    message: ValidationMessageProvider,
): ValidationProblem[]
Parameters
- sourceNode: unknown
- expected: unknown
- message: ValidationMessageProvider
Returns ValidationProblem[]
Implementation of ValidationConstraints.ensureNodeIsEquals
- Defined in services/validation.ts:79

ensureNodeRelatedWithType

ensureNodeRelatedWithType(
    languageNode: unknown,
    expected: unknown,
    strategy: TypeCheckStrategy,
    negated: boolean,
    message: ValidationMessageProvider,
): ValidationProblem[]
Parameters
- languageNode: unknown
- expected: unknown
- strategy: TypeCheckStrategy
- negated: boolean
- message: ValidationMessageProvider
Returns ValidationProblem[]
Implementation of ValidationConstraints.ensureNodeRelatedWithType
- Defined in services/validation.ts:89