Class FunctionCallArgumentsValidation<Specifics>

This validation uses the inference rules for all available function calls to check, whether ...

the given arguments for a function call fit to one of the defined function signature
and validates this call according to the specific validation rules for this function call. There is only one instance of this class for each function kind/manager.

Type Parameters

Specifics extends TypirSpecifics

Implements

Index

Constructors

constructor

new FunctionCallArgumentsValidation<Specifics extends TypirSpecifics>(
services: TypirServices<Specifics>,
functions: AvailableFunctionsManager<Specifics>,
): FunctionCallArgumentsValidation<Specifics>
Type Parameters
- Specifics extends TypirSpecifics
Parameters
- services: TypirServices<Specifics>
- functions: AvailableFunctionsManager<Specifics>
Returns FunctionCallArgumentsValidation<Specifics>
- Defined in kinds/function/function-validation-calls.ts:29

Properties

`Readonly`functions

functions: AvailableFunctionsManager<Specifics>

`Protected` `Readonly`services

services: TypirServices<Specifics>

Methods

`Protected`executeSingleRule

executeSingleRule(
    singleFunction: SingleFunctionDetails<Specifics>,
    languageNode: Specifics["LanguageType"],
    resultOverloaded: ValidationProblem<Specifics>[],
): boolean
Checks whether the given inference rule for function calls matches the given language node.
Parameters
- singleFunction: SingleFunctionDetails<Specifics>
  the current function and its inference rule for calls of it
- languageNode: Specifics["LanguageType"]
  the current language node, which might or might not represent a function call
- resultOverloaded: ValidationProblem<Specifics>[]
  receives a validation issue, if there is at least one conflict between given arguments and expected parameters
Returns boolean
true, if the given function signature exactly matches the current function call, false otherwise
- Defined in kinds/function/function-validation-calls.ts:129

`Protected`noFunctionCallRulesForThisLanguageKey

noFunctionCallRulesForThisLanguageKey(key: undefined | string): boolean
Parameters
- key: undefined | string
Returns boolean
- Defined in kinds/function/function-validation-calls.ts:62

onAddedRule

onAddedRule(
_rule: SingleFunctionDetails<Specifics, Specifics["LanguageType"]>,
diffOptions: RuleOptions,
): void
Parameters
- _rule: SingleFunctionDetails<Specifics, Specifics["LanguageType"]>
- diffOptions: RuleOptions
Returns void
Implementation of RuleCollectorListener.onAddedRule
- Defined in kinds/function/function-validation-calls.ts:34

onRemovedRule

onRemovedRule(
_rule: SingleFunctionDetails<Specifics, Specifics["LanguageType"]>,
diffOptions: RuleOptions,
): void
Parameters
- _rule: SingleFunctionDetails<Specifics, Specifics["LanguageType"]>
- diffOptions: RuleOptions
Returns void
Implementation of RuleCollectorListener.onRemovedRule
- Defined in kinds/function/function-validation-calls.ts:42

`Protected`reportMismatchingSignature

reportMismatchingSignature(
    languageNode: Specifics["LanguageType"],
    functionType: FunctionType,
    currentProblems: ValidationProblem<Specifics>[],
    resultOverloaded: ValidationProblem<Specifics>[],
): void
Parameters
- languageNode: Specifics["LanguageType"]
- functionType: FunctionType
- currentProblems: ValidationProblem<Specifics>[]
- resultOverloaded: ValidationProblem<Specifics>[]
Returns void
- Defined in kinds/function/function-validation-calls.ts:211

`Protected`reportOperandsMismatch

reportOperandsMismatch(
    languageNode: Specifics["LanguageType"],
    overloadedName: string,
    overloadedFunctions: OverloadedFunctionDetails<Specifics>,
    resultOverloaded: ValidationProblem<Specifics>[],
    accept: ValidationProblemAcceptor<Specifics>,
): void
Parameters
- languageNode: Specifics["LanguageType"]
- overloadedName: string
- overloadedFunctions: OverloadedFunctionDetails<Specifics>
- resultOverloaded: ValidationProblem<Specifics>[]
- accept: ValidationProblemAcceptor<Specifics>
Returns void
- Defined in kinds/function/function-validation-calls.ts:113

`Protected`reportWrongArgument

reportWrongArgument(
    languageNode: Specifics["LanguageType"],
    inputArgument: Specifics["LanguageType"],
    index: number,
    inferredType: Type | InferenceProblem<Specifics>[],
    expectedType: NameTypePair,
    parameterProblems: IndexedTypeConflict[],
    currentProblems: ValidationProblem<Specifics>[],
): void
Parameters
- languageNode: Specifics["LanguageType"]
- inputArgument: Specifics["LanguageType"]
- index: number
- inferredType: Type | InferenceProblem<Specifics>[]
- expectedType: NameTypePair
- parameterProblems: IndexedTypeConflict[]
- currentProblems: ValidationProblem<Specifics>[]
Returns void
- Defined in kinds/function/function-validation-calls.ts:201

`Protected`reportWrongNumberOfArguments

reportWrongNumberOfArguments(
    languageNode: Specifics["LanguageType"],
    parameterLength: ValueConflict[],
    currentProblems: ValidationProblem<Specifics>[],
): void
Parameters
- languageNode: Specifics["LanguageType"]
- parameterLength: ValueConflict[]
- currentProblems: ValidationProblem<Specifics>[]
Returns void
- Defined in kinds/function/function-validation-calls.ts:191

`Protected`validateArgumentsOfFunctionCalls

validateArgumentsOfFunctionCalls(
rule: InferFunctionCall<Specifics, Specifics["LanguageType"]>,
languageNode: Specifics["LanguageType"],
): boolean
Parameters
- rule: InferFunctionCall<Specifics, Specifics["LanguageType"]>
- languageNode: Specifics["LanguageType"]
Returns boolean
- Defined in kinds/function/function-validation-calls.ts:179

validation

validation(
    languageNode: Specifics["LanguageType"],
    accept: ValidationProblemAcceptor<Specifics>,
    _typir: TypirServices<Specifics>,
): void
Parameters
- languageNode: Specifics["LanguageType"]
- accept: ValidationProblemAcceptor<Specifics>
- _typir: TypirServices<Specifics>
Returns void
Implementation of ValidationRuleLifecycle.validation
- Defined in kinds/function/function-validation-calls.ts:71

Class FunctionCallArgumentsValidation<Specifics>

Type Parameters

Implements

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Parameters

Returns FunctionCallArgumentsValidation<Specifics>

Properties

Readonlyfunctions

Protected Readonlyservices

Methods

ProtectedexecuteSingleRule

Parameters

Returns boolean

ProtectednoFunctionCallRulesForThisLanguageKey

Parameters

Returns boolean

onAddedRule

Parameters

Returns void

onRemovedRule

Parameters

Returns void

ProtectedreportMismatchingSignature

Parameters

Returns void

ProtectedreportOperandsMismatch

Parameters

Returns void

ProtectedreportWrongArgument

Parameters

Returns void

ProtectedreportWrongNumberOfArguments

Parameters

Returns void

ProtectedvalidateArgumentsOfFunctionCalls

Parameters

Returns boolean

validation

Parameters

Returns void

Settings

On This Page

`Readonly`functions

`Protected` `Readonly`services

`Protected`executeSingleRule

`Protected`noFunctionCallRulesForThisLanguageKey

`Protected`reportMismatchingSignature

`Protected`reportOperandsMismatch

`Protected`reportWrongArgument

`Protected`reportWrongNumberOfArguments

`Protected`validateArgumentsOfFunctionCalls