@artel/artc 0.6.25226 → 0.6.25228

package/build/types/diagnostic/DiagnosticCode.d.ts

@@ -12,29 +12,30 @@ export declare enum DiagnosticCode {
     EnumerationVariableDeclarationExpected = 106,
     StatementExpected = 107,
     ExpressionExpected = 108,
-    BaseTypeNameExpected = 109,
-    TypeSpecifierExpected = 110,
-    TypeBodyExpected = 111,
-    FunctionCallArgumentExpected = 112,
-    IndexedAccessArgumentExpected = 113,
-    TagArgumentExpected = 114,
-    TypeParameterExpected = 115,
-    ParameterExpected = 116,
-    CatchClauseOrFinallyClauseExpected = 117,
-    PackageImportExpected = 118,
-    DeclarationOrPackageImportExpected = 119,
-    Expected0But1Found = 120,
-    InvalidTextTemplateLiteral = 121,
-    ModifierListExpected = 122,
-    RunKeywordCreationKeywordOrModifierListExpected = 123,
-    HidingLevelExpected = 124,
-    ParameterNameCanContainOnlyOneBackQuote = 125,
-    FieldNameCanContainOnlyTwoBackQuote = 126,
-    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 127,
-    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 128,
-    TagNameExpected = 129,
-    TypeMemberTranslationExpected = 130,
-    TranslationExpected = 131,
+    ExpressionCannotBeUsedAsStatement = 109,
+    BaseTypeNameExpected = 110,
+    TypeSpecifierExpected = 111,
+    TypeBodyExpected = 112,
+    FunctionCallArgumentExpected = 113,
+    IndexedAccessArgumentExpected = 114,
+    TagArgumentExpected = 115,
+    TypeParameterExpected = 116,
+    ParameterExpected = 117,
+    CatchClauseOrFinallyClauseExpected = 118,
+    PackageImportExpected = 119,
+    DeclarationOrPackageImportExpected = 120,
+    Expected0But1Found = 121,
+    InvalidTextTemplateLiteral = 122,
+    ModifierListExpected = 123,
+    RunKeywordCreationKeywordOrModifierListExpected = 124,
+    HidingLevelExpected = 125,
+    ParameterNameCanContainOnlyOneBackQuote = 126,
+    FieldNameCanContainOnlyTwoBackQuote = 127,
+    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 128,
+    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 129,
+    TagNameExpected = 130,
+    TypeMemberTranslationExpected = 131,
+    TranslationExpected = 132,
     TypeCannotBeUsedAsValue = 201,
     PackageNameCannotBeUsedAsValue = 202,
     PackageAliasCannotBeUsedAsValue = 203,
@@ -67,12 +68,12 @@ export declare enum DiagnosticCode {
     CannotDetermineTargetTypeToCallTheConstructor = 230,
     AmbiguousAccess = 231,
     AmbiguousAccess0 = 232,
-    CanNotAssignValueToContextVariable = 233,
+    CannotAssignValueToContextVariable = 233,
     ExpectedPackageNameOrAliasButFoundType = 234,
     TypeExpected = 235,
     NameOfTypeOrPackageNotFound = 236,
     TypeIsNotATag = 237,
-    ExpressionOfType0CanNotBeUsedForEnumeration = 238,
+    ExpressionOfType0CannotBeUsedForEnumeration = 238,
     Operator0IsNotDefinedForTypes1And2 = 239,
     Operator0IsNotDefinedForType1 = 240,
     VariantMustHaveAssociatedValue = 241,
@@ -86,47 +87,67 @@ export declare enum DiagnosticCode {
     InterfacePackageVariablesMustNotHaveInitializers = 249,
     BodyIsMissing = 250,
     AbstractTypeMembersMustNotHaveBody = 251,
-    AbstractVariablesMustNotHaveInitializers = 252,
-    PackageIsAlreadyImportedInAnotherLanguage = 253,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 254,
-    FunctionsUsingYieldStatementCanNotReturnValue = 255,
-    YieldStatementCanNotBeUsedInAnonymousFunctions = 256,
-    YieldStatementCanNotBeUsedHere = 257,
-    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 258,
-    YieldStatementCanNotBeUsedInTryStatementThatHasCatchClause = 259,
-    YieldStatementCanNotBeUsedInFinallyClause = 260,
-    SubprogramMustReturnValue = 261,
-    ResultVariableCanNotBeUsedInFunctionsUsingYieldStatement = 262,
-    TypeAliasReferencesItself = 263,
-    TypeParameterHasCircularConstraint = 264,
-    BaseTypeCausesInheritanceCycle = 265,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 266,
-    Expected0TypeArguments = 267,
-    ExpectedFrom0To1TypeArguments = 268,
-    Type0IsNotAssignableToConstraint1 = 269,
-    VariableIsDeclaredButNotUsed = 270,
-    DefaultConstructorArgumentsMustBeNamed = 271,
-    IncorrectBodyOfRedefinableAliasTypeMethod = 272,
-    TheFollowingDeclarationsAreNotTranslated0 = 273,
-    TheFollowingDeclarationAreNotTranslated0And1More = 274,
-    OperatorFunctionMustNotBeStatic = 275,
-    OperatorFunction0MustNotHaveParameters = 276,
-    OperatorFunction0MustHaveOneParameter = 277,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 278,
-    CorrespondingRedefinableTypeMemberNotFound = 279,
-    ConstructorCanNotBeRedefinable = 280,
-    ConstructorCanNotBeRedefined = 281,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 282,
-    TagNotFound = 283,
-    TypeOrFunctionNameExpected = 284,
-    PackageNameOrAliasExpected = 285,
-    ExpressionCanBeNone = 286,
-    NoneAwareAccessCanNotBeUsedOnTheLeftHandSideOfAssignmentStatement = 287,
-    UnreachableCode = 288,
-    CanNotFindTsLibDirectoryBaseSearchPaths0 = 301,
-    SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 302,
-    ProgramWithoutMainPackageCanNotBeCompiled = 303,
-    JsonConfigurationValidationError = 304,
-    StandardPackage0NotFound = 305,
-    Declaration0NotFoundInStandardPackage1 = 306
+    MembersOfAspectTypeMustNotHaveBody = 252,
+    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 253,
+    AbstractVariablesMustNotHaveInitializers = 254,
+    PackageIsAlreadyImportedInAnotherLanguage = 255,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 256,
+    FunctionsUsingYieldStatementCannotReturnValue = 257,
+    YieldStatementCannotBeUsedInAnonymousFunctions = 258,
+    YieldStatementCannotBeUsedHere = 259,
+    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 260,
+    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 261,
+    YieldStatementCannotBeUsedInFinallyClause = 262,
+    SubprogramMustReturnValue = 263,
+    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 264,
+    TypeAliasReferencesItself = 265,
+    TypeParameterHasCircularConstraint = 266,
+    BaseTypeCausesInheritanceCycle = 267,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 268,
+    Expected0TypeArguments = 269,
+    ExpectedFrom0To1TypeArguments = 270,
+    Type0IsNotAssignableToConstraint1 = 271,
+    VariableIsDeclaredButItsValueIsNeverRead = 272,
+    FunctionIsDeclaredButNotUsed = 273,
+    TypeParameterIsDeclaredButNotUsed = 274,
+    DefaultConstructorArgumentsMustBeNamed = 275,
+    IncorrectBodyOfRedefinableAliasTypeMethod = 276,
+    TheFollowingDeclarationsAreNotTranslated0 = 277,
+    TheFollowingDeclarationAreNotTranslated0And1More = 278,
+    OperatorFunctionMustNotBeStatic = 279,
+    OperatorFunction0MustNotHaveParameters = 280,
+    OperatorFunction0MustHaveOneParameter = 281,
+    OperatorFunction0MustHaveNoMoreThanOneParameter = 282,
+    CorrespondingRedefinableTypeMemberNotFound = 283,
+    ConstructorCannotBeDeclaredAsBasic = 284,
+    ConstructorCannotBeDeclaredAsRedefinable = 285,
+    ConstructorCannotBeDeclaredAsOverridden = 286,
+    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 287,
+    TagNotFound = 288,
+    TypeOrFunctionNameExpected = 289,
+    PackageNameOrAliasExpected = 290,
+    ExpressionCanBeNone = 291,
+    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 292,
+    UnreachableCode = 293,
+    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 294,
+    RecursionOccurredWhileInferringTheTypeOfTheVariable = 295,
+    ScopeAlreadyContainsDeclarationWithTheSameName = 296,
+    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 297,
+    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 298,
+    PackageAlreadyContainsDeclarationWithTheSameName = 299,
+    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 300,
+    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 301,
+    PackageAliasWithTheSameNameAlreadyExits = 302,
+    PackageCanHaveOnlyEntryPoint = 303,
+    PackageCanHaveOnlyOneConstructor = 304,
+    VariableIsUsedBeforeItsDeclaration = 305,
+    VariableMayNotHasBeenAssignedBeforeUsage = 306,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 307,
+    WriteFunctionHasNoCorrespondingReadFunction = 308,
+    CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
+    SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
+    ProgramWithoutMainPackageCannotBeCompiled = 403,
+    ErrorsInJsonConfigurationFile = 404,
+    StandardPackage0NotFound = 405,
+    Declaration0NotFoundInStandardPackage1 = 406
 }

package/build/types/emitter/IrBuilder.d.ts

@@ -91,7 +91,7 @@ export declare class IrBuilder {
     private convertIndexedAccess;
     private convertDereferencedVariableAccess;
     private buildReferenceExpression;
-    private buildWhenTernaryExpression;
+    private buildConditionalExpression;
     private buildTextTemplateLiteral;
     private buildTokenExpression;
     private buildKeywordExpression;

package/build/types/emitter/Transformer.d.ts

@@ -95,7 +95,7 @@ export declare class Transformer {
     transformVariableAccessExpressionChildren(_expression: ir.VariableAccessExpression): void;
     transformFunctionAccessExpressionChildren(_expression: ir.FunctionAccessExpression): void;
     transformTypeAccessExpression(expression: ir.TypeAccessExpression): ir.TypeAccessExpression;
-    transformInstanceVariableAccessExpressionChildren(expression: ir.FieldAccessExpression): void;
+    transformFieldAccessExpressionChildren(expression: ir.FieldAccessExpression): void;
     transformMethodAccessExpressionChildren(expression: ir.MethodAccessExpression): void;
     transformConstructorCallExpressionChildren(expression: ir.ConstructorCallExpression): void;
     transformInlineJsExpressionChildren(_expression: ir.InlineJsExpression): void;

package/build/types/entities/FunctionEntity.d.ts

@@ -1,7 +1,7 @@
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { Name } from '../common/index.js';
-import { FunctionBlockLiteral, FunctionLiteral, NestedFunctionDeclaration, PackageFunctionDeclaration, MethodDeclaration } from '../tree/index.js';
+import { NestedFunctionDeclaration, PackageFunctionDeclaration, MethodDeclaration } from '../tree/index.js';
 import * as types from '../types/index.js';
 import type { PackageEntity } from './index.js';
 import { DefinitionKind, Entity, EntityHidingLevel, EntityKind, ParameterVariableEntity, SubstitutionApplicationMode, TypeMemberEntityContainer, TypeParameterEntity } from './index.js';
@@ -40,7 +40,7 @@ interface IFunctionEntity {
 }
 export type FunctionEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: PackageFunctionDeclaration | MethodDeclaration | NestedFunctionDeclaration | FunctionLiteral | FunctionBlockLiteral;
+    node: PackageFunctionDeclaration | MethodDeclaration | NestedFunctionDeclaration;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {

package/build/types/entities/VariableEntity.d.ts

@@ -1,7 +1,8 @@
+import { SetterDeclaration, SubprogramDeclarationOrLiteral } from '../analysis/NodeTypeUtils.js';
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { Lazy, Name } from '../common/index.js';
-import { EnumerationVariableDeclaration, ErrorVariableDeclaration, FieldDeclaration, FieldGetterDeclaration, FieldSetterDeclaration, FunctionLiteral, LocalVariableDeclaration, PackageVariableDeclaration, PackageVariableGetterDeclaration, PackageVariableSetterDeclaration, ParameterDeclaration, VariantDeclaration } from '../tree/index.js';
+import * as tree from '../tree/index.js';
 import * as types from '../types/index.js';
 import type { Entity, IndexerEntity, PackageEntity } from './index.js';
 import { Entity as ActualEntity, ConstructorEntity, DefinitionKind, DestructorEntity, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, GetterEntity, OperatorEntity, SetterEntity, TypeMemberEntityContainer } from './index.js';
@@ -28,8 +29,14 @@ export interface ParameterVariableEntity extends IVariableEntity {
 }
 export interface LocalVariableEntity extends IVariableEntity {
     readonly subkind: 'local';
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
 }
+export declare enum LocalVariableKind {
+    Regular = 0,
+    Enumeration = 1,
+    Error = 2
+}
 interface IVariableEntity {
     readonly kind: EntityKind.Variable;
     getName(): Name;
@@ -41,6 +48,7 @@ interface IVariableEntity {
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    ensureAllDiagnosticsReported?(): void;
 }
 export type ParameterVariableEntityContainer = ParameterVariableEntityContainer.Entity | ParameterVariableEntityContainer.FunctionLiteral;
 export declare namespace ParameterVariableEntityContainer {
@@ -67,29 +75,34 @@ export type VariableEntityDefinition = {
 export type SourceVariableEntityDefinition = SingleSourceVariableEntityDefinition | MultiSourceVariableEntityDefinition;
 export type SingleSourceVariableEntityDefinition = {
     kind: 'single';
-    node: PackageVariableDeclaration | FieldDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ErrorVariableDeclaration | ParameterDeclaration | VariantDeclaration;
+    node: tree.PackageVariableDeclaration | tree.FieldDeclaration | tree.LocalVariableDeclaration | tree.EnumerationVariableDeclaration | tree.ErrorVariableDeclaration | tree.ParameterDeclaration | tree.VariantDeclaration;
 };
 export type MultiSourceVariableEntityDefinition = {
     kind: 'multi';
-    nodes: ReadonlyArray<PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | ParameterDeclaration>;
+    nodes: ReadonlyArray<tree.PackageVariableGetterDeclaration | tree.PackageVariableSetterDeclaration | tree.FieldGetterDeclaration | tree.FieldSetterDeclaration | tree.ParameterDeclaration>;
 };
-export declare class ImplicitFunctionBlockParameterSpecialVariableEntityInfo {
-    readonly targetTypeParameter: types.ValueParameter;
-    readonly kind = "implicit-function-block-parameter";
-    constructor(targetTypeParameter: types.ValueParameter);
-}
 export type SpecialVariableEntityInfo = ResultSpecialVariableEntityInfo | ValueSpecialVariableEntityInfo | BackingSpecialVariableEntityInfo | ImplicitFunctionBlockParameterSpecialVariableEntityInfo;
 export declare class ResultSpecialVariableEntityInfo {
+    readonly subprogramNode: SubprogramDeclarationOrLiteral;
     readonly kind = "result";
+    constructor(subprogramNode: SubprogramDeclarationOrLiteral);
 }
 export declare class ValueSpecialVariableEntityInfo {
+    readonly setterDeclaration: SetterDeclaration;
     readonly kind = "value";
+    constructor(setterDeclaration: SetterDeclaration);
 }
 export declare class BackingSpecialVariableEntityInfo {
     readonly computedVariable: PackageVariableEntity | FieldEntity;
     readonly kind = "backing";
     constructor(computedVariable: PackageVariableEntity | FieldEntity);
 }
+export declare class ImplicitFunctionBlockParameterSpecialVariableEntityInfo {
+    readonly targetTypeParameter: types.ValueParameter;
+    readonly functionBlockLiteral: tree.FunctionBlockLiteral;
+    readonly kind = "implicit-function-block-parameter";
+    constructor(targetTypeParameter: types.ValueParameter, functionBlockLiteral: tree.FunctionBlockLiteral);
+}
 export declare class PackageVariableDeclarationEntity implements PackageVariableEntity {
     private readonly _analyzer;
     private readonly _node;
@@ -97,8 +110,9 @@ export declare class PackageVariableDeclarationEntity implements PackageVariable
     readonly subkind = "package";
     private readonly _typeInferrer;
     private readonly _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get modifierFlags();
-    constructor(_analyzer: Analyzer, _node: PackageVariableDeclaration);
+    constructor(_analyzer: Analyzer, _node: tree.PackageVariableDeclaration);
     getName(): Name;
     getContainingPackage(): PackageEntity;
     getType(): types.Type;
@@ -109,6 +123,7 @@ export declare class PackageVariableDeclarationEntity implements PackageVariable
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class ComputedPackageVariableDeclarationEntity implements PackageVariableEntity {
     readonly kind = EntityKind.Variable;
@@ -119,7 +134,7 @@ export declare class ComputedPackageVariableDeclarationEntity implements Package
     private readonly _getterOrSetterDeclaration;
     private readonly _modifierFlags;
     private get modifierFlags();
-    constructor(analyzer: Analyzer, getterDeclaration: PackageVariableGetterDeclaration | undefined, setterDeclaration: PackageVariableSetterDeclaration | undefined);
+    constructor(analyzer: Analyzer, getterDeclaration: tree.PackageVariableGetterDeclaration | undefined, setterDeclaration: tree.PackageVariableSetterDeclaration | undefined);
     getName(): Name;
     getType(): types.Type;
     getContainingPackage(): PackageEntity;
@@ -139,8 +154,9 @@ export declare class FieldDeclarationEntity implements FieldEntity {
     private readonly _typeInferrer;
     private readonly _overriddenMembers;
     private readonly _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get modifierFlags();
-    constructor(analyzer: Analyzer, node: FieldDeclaration);
+    constructor(analyzer: Analyzer, node: tree.FieldDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -157,6 +173,7 @@ export declare class FieldDeclarationEntity implements FieldEntity {
     isAbstract(): boolean;
     getOverriddenMembers(): readonly types.Variable[];
     isVariant(): boolean;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     readonly kind = EntityKind.Variable;
@@ -168,7 +185,7 @@ export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     private readonly _overriddenMembers;
     private readonly _modifierFlags;
     private get modifierFlags();
-    constructor(analyzer: Analyzer, getterDeclaration: FieldGetterDeclaration | undefined, setterDeclaration: FieldSetterDeclaration | undefined);
+    constructor(analyzer: Analyzer, getterDeclaration: tree.FieldGetterDeclaration | undefined, setterDeclaration: tree.FieldSetterDeclaration | undefined);
     getName(): Name;
     getType(): types.Type;
     getContainer(): TypeMemberEntityContainer;
@@ -193,7 +210,7 @@ export declare class VariantDeclarationEntity implements FieldEntity {
     private readonly _node;
     private readonly _variantTypeDeclaration;
     private readonly _type;
-    constructor(analyzer: Analyzer, node: VariantDeclaration);
+    constructor(analyzer: Analyzer, node: tree.VariantDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -217,7 +234,8 @@ export declare class LocalVariableDeclarationEntity implements LocalVariableEnti
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
     private readonly _typeInferrer;
-    constructor(_analyzer: Analyzer, _node: LocalVariableDeclaration);
+    private _hasReportedAllDiagnostics;
+    constructor(_analyzer: Analyzer, _node: tree.LocalVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -227,7 +245,9 @@ export declare class LocalVariableDeclarationEntity implements LocalVariableEnti
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class EnumerationVariableDeclarationEntity implements LocalVariableEntity {
     private readonly _analyzer;
@@ -235,7 +255,8 @@ export declare class EnumerationVariableDeclarationEntity implements LocalVariab
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
     private readonly _typeInferrer;
-    constructor(_analyzer: Analyzer, _node: EnumerationVariableDeclaration);
+    private _hasReportedAllDiagnostics;
+    constructor(_analyzer: Analyzer, _node: tree.EnumerationVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -245,14 +266,16 @@ export declare class EnumerationVariableDeclarationEntity implements LocalVariab
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class ErrorVariableDeclarationEntity implements LocalVariableEntity {
     private readonly _analyzer;
     private readonly _node;
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
-    constructor(_analyzer: Analyzer, _node: ErrorVariableDeclaration);
+    constructor(_analyzer: Analyzer, _node: tree.ErrorVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -262,6 +285,7 @@ export declare class ErrorVariableDeclarationEntity implements LocalVariableEnti
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
 }
 export declare class ParameterDeclarationEntity implements ParameterVariableEntity {
@@ -270,7 +294,8 @@ export declare class ParameterDeclarationEntity implements ParameterVariableEnti
     readonly kind = EntityKind.Variable;
     readonly subkind = "parameter";
     private readonly _typeInferrer;
-    constructor(_analyzer: Analyzer, _node: ParameterDeclaration);
+    private _hasReportedAllDiagnostics;
+    constructor(_analyzer: Analyzer, _node: tree.ParameterDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -283,6 +308,7 @@ export declare class ParameterDeclarationEntity implements ParameterVariableEnti
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class IndexParameterDeclarationEntity implements ParameterVariableEntity {
     private readonly _analyzer;
@@ -293,7 +319,8 @@ export declare class IndexParameterDeclarationEntity implements ParameterVariabl
     readonly subkind = "parameter";
     private readonly _getterOrSetterParameterDeclaration;
     private readonly _typeInferrer;
-    constructor(_analyzer: Analyzer, _getterParameterDeclaration: ParameterDeclaration | undefined, _setterParameterDeclaration: ParameterDeclaration | undefined, _indexerEntity: IndexerEntity);
+    private _hasReportedAllDiagnostics;
+    constructor(_analyzer: Analyzer, _getterParameterDeclaration: tree.ParameterDeclaration | undefined, _setterParameterDeclaration: tree.ParameterDeclaration | undefined, _indexerEntity: IndexerEntity);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -306,6 +333,7 @@ export declare class IndexParameterDeclarationEntity implements ParameterVariabl
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class FunctionLiteralParameterDeclarationEntity implements ParameterVariableEntity {
     private readonly _analyzer;
@@ -314,7 +342,7 @@ export declare class FunctionLiteralParameterDeclarationEntity implements Parame
     readonly kind = EntityKind.Variable;
     readonly subkind = "parameter";
     private readonly _parameterIndex;
-    constructor(_analyzer: Analyzer, _node: ParameterDeclaration, _functionLiteral: FunctionLiteral);
+    constructor(_analyzer: Analyzer, _node: tree.ParameterDeclaration, _functionLiteral: tree.FunctionLiteral);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -424,6 +452,7 @@ export declare class IntrinsicLocalVariableEntity implements LocalVariableEntity
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
 }
 export {};

package/build/types/entities/index.d.ts

@@ -77,6 +77,10 @@ export type EntityWithTags = ConstructorEntity | DestructorEntity | IndexerEntit
 export declare function isEntityWithTags(entity: Entity): entity is EntityWithTags;
 export type TypeMemberEntity = FieldEntity | MethodEntity | OperatorEntity | ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity;
 export declare function isTypeMemberEntity(entity: Entity): entity is TypeMemberEntity;
+export declare namespace TypeMemberEntity {
+    function isAspectTypeMember(entity: TypeMemberEntity): boolean;
+    function isStatic(entity: TypeMemberEntity): boolean;
+}
 export declare function entityToStringDecorator<T extends {
     new (...args: any[]): Entity;
 }>(constructor: T): void;

package/build/types/services/DefinitionService.d.ts

@@ -11,6 +11,9 @@ export declare class DefinitionService {
     private getReferenceTargetSourceLocation;
     private getReferenceTargetEntity;
     private createLocalizationContextForSourceGeneration;
+    private getSourceLocationsOfVariableEntity;
+    private getSourceLocationsOfSpecialVariable;
+    private getSourceLocationOfSubprogramNode;
 }
 export declare class DefinitionsAndReferenceInfo {
     readonly definitionLocations: readonly SourceLocation[];

package/build/types/tree/KeywordKind.d.ts

@@ -29,34 +29,35 @@ export declare enum KeywordKind {
     RepeatWhile = 27,
     Yield = 28,
     When = 29,
-    Creation = 30,
-    Catch = 31,
-    BreakLoop = 32,
-    ContinueLoop = 33,
-    For = 34,
-    Const = 35,
-    Hidden = 36,
-    Abstract = 37,
-    Redefinable = 38,
-    Redefined = 39,
-    Async = 40,
-    Static = 41,
-    As = 42,
-    Not = 43,
-    Switch = 44,
-    Case = 45,
-    Dispose = 46,
-    Destruction = 47,
-    InHierarchy = 48,
-    InFile = 49,
-    InPackage = 50,
-    InType = 51,
-    Yes = 52,
-    No = 53,
-    Reference = 54,
-    Translations = 55,
-    Base = 56,
-    None = 57,
-    Get = 58,
-    Set = 59
+    Cond = 30,
+    Creation = 31,
+    Catch = 32,
+    BreakLoop = 33,
+    ContinueLoop = 34,
+    For = 35,
+    Const = 36,
+    Hidden = 37,
+    Abstract = 38,
+    Redefinable = 39,
+    Redefined = 40,
+    Async = 41,
+    Static = 42,
+    As = 43,
+    Not = 44,
+    Switch = 45,
+    Case = 46,
+    Dispose = 47,
+    Destruction = 48,
+    InHierarchy = 49,
+    InFile = 50,
+    InPackage = 51,
+    InType = 52,
+    Yes = 53,
+    No = 54,
+    Reference = 55,
+    Translations = 56,
+    Base = 57,
+    None = 58,
+    Get = 59,
+    Set = 60
 }

package/build/types/tree/NodeKind.d.ts

@@ -75,7 +75,7 @@ export declare enum NodeKind {
     IsExpression = 73,
     FunctionLiteral = 74,
     ParenthesizedExpression = 75,
-    WhenTernaryExpression = 76,
+    ConditionalExpression = 76,
     PrefixUnaryExpression = 77,
     MemberAccessExpression = 78,
     ReferenceExpression = 79,