validateExpressionType
Function: validateExpressionType()
validateExpressionType(
root,context,expected):ValidationIssue[]
Defined in: analyzer/validate.ts:26
Проверяет выражение на корректность:
- корректность использования идентификаторов и member-путей относительно заданного ExpressionContext;
- совместимость результирующего примитивного типа выражения с ожидаемым типом.
ВАЖНО:
- если результирующий тип выражения равен
"any", типовые проверки не выполняются и диагностические сообщения не создаются; - если базовый префикс member-пути имеет тип
"any"или"unknown", путь считается допустимым и ошибки/предупреждения не создаются.
Parameters
root
AST выражения
context
Контекст доступных переменных и их типов
expected
Ожидаемый примитивный тип выражения
Returns
Список диагностик (ошибки и/или предупреждения)