@artel/artc 0.6.25216 → 0.6.25218

package/build/types/analysis/Scope.d.ts

@@ -1,5 +1,5 @@
 import { Name, PackageLocale, SearchName } from '../common/index.js';
-import { AliasTypeEntity, EntityHidingLevel, IEntityHidingMatcher, MethodEntity, NamedTypeEntity, OperatorKind, PackageAliasEntity, PackageMethodTypeEntity, PackageStructuredTypeEntity, PackageVariantTypeEntity, TypeEntity, TypeExtensionEntity, TypeParameterEntity, VariableEntity, VariantEntity } from '../entities/index.js';
+import { EntityHidingLevel, IEntityHidingMatcher, MethodEntity, NamedTypeEntity, OperatorKind, PackageAliasEntity, TypeEntity, TypeExtensionEntity, VariableEntity } from '../entities/index.js';
 import * as tree from '../tree/index.js';
 import * as types from '../types/index.js';
 import { Analyzer } from './Analyzer.js';
@@ -8,105 +8,16 @@ import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
 import { Lookup } from './Lookup.js';
 import { TypeMemberLookup } from './TypeMemberLookup.js';
 export interface IScope {
-    getTypesOrContainersWithTypes(hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<TypeOrContainerWithTypes>[];
-    getTypesOrContainersWithTypesByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<TypeOrContainerWithTypes>[];
-    getNamedDeclarations(hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<NamedDeclaration>[];
-    getNamedDeclarationsByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<NamedDeclaration>[];
-    getOperators(hidingMatcher?: IEntityHidingMatcher): FoundAnonymousDeclaration<types.Operator>[];
-    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher): FoundAnonymousDeclaration<types.Operator>[];
-    getTypeExtensionsByType(typeEntity: TypeEntity, hidingMatcher?: IEntityHidingMatcher): TypeExtensionEntity[];
-}
-export type TypeOrContainerWithTypes = TypeOrContainerWithTypes_type | TypeOrContainerWithTypes_packageAlias | TypeOrContainerWithTypes_packageNameSegment;
-export declare class TypeOrContainerWithTypes_type implements ITypeOrContainerWithTypes {
-    readonly value: TypeDeclaration;
-    readonly kind = "type";
-    constructor(value: TypeDeclaration);
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class TypeOrContainerWithTypes_packageAlias implements ITypeOrContainerWithTypes {
-    readonly value: PackageAliasEntity;
-    readonly kind = "package-alias";
-    constructor(value: PackageAliasEntity);
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class TypeOrContainerWithTypes_packageNameSegment implements ITypeOrContainerWithTypes {
-    readonly value: PackageNameTreeNode;
-    readonly kind = "package-name-segment";
-    constructor(value: PackageNameTreeNode);
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-interface ITypeOrContainerWithTypes {
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export type TypeDeclaration = TypeDeclaration_structured | TypeDeclaration_variant | TypeDeclaration_method | TypeDeclaration_parameter | TypeDeclaration_alias;
-export declare class TypeDeclaration_structured implements ITypeDeclaration {
-    readonly value: PackageStructuredTypeEntity;
-    readonly kind = "structured";
-    constructor(value: PackageStructuredTypeEntity);
-    getArity(): number;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getName(): Name;
-    getEntity(): NamedTypeEntity;
-    isHidden(): EntityHidingLevel | undefined;
-    instantiate(analyzer: Analyzer, typeArguments: readonly types.Type[]): types.Type;
-}
-export declare class TypeDeclaration_variant implements ITypeDeclaration {
-    readonly value: PackageVariantTypeEntity;
-    readonly kind = "variant";
-    constructor(value: PackageVariantTypeEntity);
-    getArity(): number;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getName(): Name;
-    getEntity(): NamedTypeEntity;
-    isHidden(): EntityHidingLevel | undefined;
-    instantiate(analyzer: Analyzer, typeArguments: readonly types.Type[]): types.Type;
-}
-export declare class TypeDeclaration_method implements ITypeDeclaration {
-    readonly value: PackageMethodTypeEntity;
-    readonly kind = "method";
-    constructor(value: PackageMethodTypeEntity);
-    getArity(): number;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getName(): Name;
-    getEntity(): NamedTypeEntity;
-    isHidden(): EntityHidingLevel | undefined;
-    instantiate(analyzer: Analyzer, typeArguments: readonly types.Type[]): types.Type;
-}
-export declare class TypeDeclaration_parameter implements ITypeDeclaration {
-    readonly value: TypeParameterEntity;
-    readonly kind = "parameter";
-    constructor(value: TypeParameterEntity);
-    getArity(): number;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getName(): Name;
-    getEntity(): NamedTypeEntity;
-    isHidden(): EntityHidingLevel | undefined;
-    instantiate(analyzer: Analyzer, _typeArguments: readonly types.Type[]): types.Type;
-}
-export declare class TypeDeclaration_alias implements ITypeDeclaration {
-    readonly value: AliasTypeEntity;
-    readonly kind = "alias";
-    constructor(value: AliasTypeEntity);
-    getArity(): number;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getName(): Name;
-    getEntity(): NamedTypeEntity;
-    isHidden(): EntityHidingLevel | undefined;
-    instantiate(analyzer: Analyzer, typeArguments: readonly types.Type[]): types.Type;
-}
-interface ITypeDeclaration {
-    getArity(): number;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getName(): Name;
-    getEntity(): NamedTypeEntity;
-    isHidden(): EntityHidingLevel | undefined;
-    instantiate(analyzer: Analyzer, typeArguments: readonly types.Type[]): types.Type;
-}
-export type NamedDeclaration = NamedDeclaration_method | NamedDeclaration_variable | NamedDeclaration_type | NamedDeclaration_variant | NamedDeclaration_packageAlias | NamedDeclaration_packageNameSegment;
+    getTypesOrContainersWithTypes(hidingMatcher?: IEntityHidingMatcher): readonly FoundNamedDeclaration<TypeOrContainerWithTypes>[];
+    getTypesOrContainersWithTypesByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher): readonly FoundNamedDeclaration<TypeOrContainerWithTypes>[];
+    getNamedDeclarations(hidingMatcher?: IEntityHidingMatcher): readonly FoundNamedDeclaration<NamedDeclaration>[];
+    getNamedDeclarationsByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher): readonly FoundNamedDeclaration<NamedDeclaration>[];
+    getOperators(hidingMatcher?: IEntityHidingMatcher): readonly FoundAnonymousDeclaration<types.Operator>[];
+    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher): readonly FoundAnonymousDeclaration<types.Operator>[];
+    getTypeExtensionsByType(typeEntity: TypeEntity, hidingMatcher?: IEntityHidingMatcher): readonly TypeExtensionEntity[];
+}
+export type TypeOrContainerWithTypes = NamedDeclaration_type | NamedDeclaration_packageAlias | NamedDeclaration_packageNameSegment;
+export type NamedDeclaration = NamedDeclaration_method | NamedDeclaration_variable | NamedDeclaration_type | NamedDeclaration_packageAlias | NamedDeclaration_packageNameSegment;
 export declare class NamedDeclaration_method implements INamedDeclaration {
     readonly value: NamedDeclarationMethod;
     readonly kind = "method";
@@ -193,16 +104,9 @@ interface INamedDeclarationVariable {
     isHidden(): EntityHidingLevel | undefined;
 }
 export declare class NamedDeclaration_type implements INamedDeclaration {
-    readonly value: TypeDeclaration;
+    readonly value: NamedTypeEntity;
     readonly kind = "type";
-    constructor(value: TypeDeclaration);
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class NamedDeclaration_variant implements INamedDeclaration {
-    readonly value: VariantEntity;
-    readonly kind = "variant";
-    constructor(value: VariantEntity);
+    constructor(value: NamedTypeEntity);
     getName(): Name;
     isHidden(): EntityHidingLevel | undefined;
 }
@@ -229,7 +133,9 @@ export declare class SourceFileScope implements IScope {
     private readonly _containingPackageMemberLookup;
     private readonly _importedPackageMemberLookups;
     private readonly _packageNameSegments;
+    private readonly _packageNameSegmentsByKey;
     private readonly _locale;
+    private get packageNameSegmentsByKey();
     constructor(analyzer: Analyzer, node: tree.SourceFile);
     getTypesOrContainersWithTypes(hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<TypeOrContainerWithTypes>[];
     getTypesOrContainersWithTypesByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<TypeOrContainerWithTypes>[];
@@ -238,7 +144,6 @@ export declare class SourceFileScope implements IScope {
     getOperators(_hidingMatcher?: IEntityHidingMatcher): FoundAnonymousDeclaration<types.Operator>[];
     getOperatorsByKind(_kind: OperatorKind, _hidingMatcher?: IEntityHidingMatcher): FoundAnonymousDeclaration<types.Operator>[];
     getTypeExtensionsByType(type: TypeEntity, hidingMatcher?: IEntityHidingMatcher): TypeExtensionEntity[];
-    private convertPackageMembersTypeDeclaration;
     private convertPackageMemberToNamedDeclaration;
     private convertPackageAliasToTypeOrContainerWithTypes;
     private convertPackageMemberToTypeOrContainerWithTypes;
@@ -247,15 +152,15 @@ export declare class SourceFileScope implements IScope {
     private checkNamedDeclarationShadowing;
 }
 export declare class GenericScope implements IScope {
-    private readonly _typeOrContainerWithTypes;
     private readonly _namedDeclarations;
+    private readonly _typeOrContainerWithTypes;
     private readonly _typeExtensionEntities;
     private readonly _locale;
     private readonly _namedDeclarationsByName;
     private readonly _typesOrContainerWithTypesByName;
     private get namedDeclarationsByName();
     private get typesOrContainerWithTypesByName();
-    constructor(typeOrContainerWithTypes: readonly TypeOrContainerWithTypes[], namedDeclarations: readonly NamedDeclaration[], typeExtensionEntities: readonly TypeExtensionEntity[], locale: PackageLocale);
+    constructor(namedDeclarations: readonly NamedDeclaration[], typeExtensionEntities: readonly TypeExtensionEntity[], locale: PackageLocale);
     getTypesOrContainersWithTypes(hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<TypeOrContainerWithTypes>[];
     getTypesOrContainersWithTypesByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<TypeOrContainerWithTypes>[];
     getNamedDeclarations(hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<NamedDeclaration>[];
@@ -284,7 +189,7 @@ export declare class ParameterDeclarationsScope implements IScope {
     getTypeExtensionsByType(typeEntity: TypeEntity, hidingMatcher?: IEntityHidingMatcher): TypeExtensionEntity[];
     private checkHiding;
 }
-export declare class StructuredTypeBodyScope implements IScope {
+export declare class TypeWithMembersBodyScope implements IScope {
     private readonly _memberLookup;
     private readonly _typeExtensionsLookup;
     constructor(_memberLookup: TypeMemberLookup, _typeExtensionsLookup: Lookup);
@@ -292,8 +197,8 @@ export declare class StructuredTypeBodyScope implements IScope {
     getTypesOrContainersWithTypesByName(_name: SearchName, _hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<TypeOrContainerWithTypes>[];
     getNamedDeclarations(hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<NamedDeclaration>[];
     getNamedDeclarationsByName(name: SearchName, hidingMatcher: IEntityHidingMatcher | undefined): FoundNamedDeclaration<NamedDeclaration>[];
-    getOperators(hidingMatcher?: IEntityHidingMatcher): FoundAnonymousDeclaration<types.Operator>[];
-    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher): FoundAnonymousDeclaration<types.Operator>[];
+    getOperators(hidingMatcher?: IEntityHidingMatcher): readonly FoundAnonymousDeclaration<types.Operator>[];
+    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher): readonly FoundAnonymousDeclaration<types.Operator>[];
     getTypeExtensionsByType(_typeEntity: TypeEntity, _hidingMatcher?: IEntityHidingMatcher): TypeExtensionEntity[];
     private convertNamedMember;
 }
@@ -312,7 +217,7 @@ export declare class TypeExtensionBodyScope implements IScope {
     getNamedDeclarations(hidingMatcher: IEntityHidingMatcher | undefined): FoundNamedDeclaration<NamedDeclaration>[];
     getNamedDeclarationsByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher): FoundNamedDeclaration<NamedDeclaration>[];
     getOperators(hidingMatcher?: IEntityHidingMatcher): FoundAnonymousDeclaration<types.Operator>[];
-    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher): FoundAnonymousDeclaration<types.Operator>[];
+    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher): readonly FoundAnonymousDeclaration<types.Operator>[];
     getTypeExtensionsByType(_typeEntity: TypeEntity, _hidingMatcher?: IEntityHidingMatcher): TypeExtensionEntity[];
     private convertNamedTypeExtensionMember;
     private convertTypeExtensionOperator;

package/build/types/analysis/SemanticContext.d.ts

@@ -35,6 +35,8 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: MethodDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
+        private getEntity;
     }
     export class Operator implements ISubprogramInfo {
         readonly kind = "operator";
@@ -43,6 +45,7 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: tree.OperatorDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
     }
     export class Constructor implements ISubprogramInfo {
         readonly kind = "constructor";
@@ -51,6 +54,7 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: tree.TypeConstructorDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
         getEntity(): ConstructorEntity;
     }
     export class Destructor implements ISubprogramInfo {
@@ -60,6 +64,7 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: tree.TypeDestructorDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
     }
     export class Getter implements ISubprogramInfo {
         readonly kind = "getter";
@@ -68,6 +73,7 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: GetterDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
     }
     export class Setter implements ISubprogramInfo {
         readonly kind = "setter";
@@ -76,6 +82,7 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: SetterDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
     }
     export class PackageConstructor implements ISubprogramInfo {
         readonly kind = "package-constructor";
@@ -84,6 +91,7 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: tree.PackageConstructorDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
         getPackageEntity(): PackageEntity;
     }
     export class PackageEntryPoint implements ISubprogramInfo {
@@ -93,6 +101,7 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: tree.PackageEntryPointDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
         getPackageEntity(): PackageEntity;
     }
     export class MethodLiteral implements ISubprogramInfo {
@@ -102,10 +111,13 @@ export declare namespace SubprogramInfo {
         constructor(analyzer: Analyzer, node: RegularOrBlockMethodLiteral);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
+        private getSignatureType;
     }
     interface ISubprogramInfo {
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
+        allowsAsyncCalls(): boolean;
     }
     export {};
 }
@@ -132,9 +144,9 @@ export declare namespace TypeOrTypeExtension {
     export {};
 }
 export declare class RunStatementClausesInfo {
-    readonly hasOnErrorClause: boolean;
+    readonly hasCatchClause: boolean;
     readonly hasFinallyClause: boolean;
-    constructor(hasOnErrorClause: boolean, hasFinallyClause: boolean);
+    constructor(hasCatchClause: boolean, hasFinallyClause: boolean);
 }
 declare abstract class SemanticContextWithParent implements SemanticContext {
     protected readonly _parentContext: SemanticContext;
@@ -295,10 +307,8 @@ export declare class GetterSemanticContext extends SemanticContextWithParent {
 export declare class SetterSemanticContext extends SemanticContextWithParent {
     private readonly _analyzer;
     private readonly _node;
-    private readonly _scopeChain;
     private readonly _subprogramInfo;
     constructor(analyzer: Analyzer, node: SetterDeclaration, parentContext: SemanticContext);
-    getScopeChain(): ScopeChain;
     getContainingSubprogram(): SubprogramInfo | undefined;
 }
 export declare class StatementBlockSemanticContext extends SemanticContextWithParent {
@@ -327,11 +337,11 @@ export declare class ForStatementSemanticContext extends SemanticContextWithPare
     constructor(analyzer: Analyzer, node: tree.ForStatement, parentContext: SemanticContext);
     getScopeChain(): ScopeChain;
 }
-export declare class OnErrorClauseSemanticContext extends SemanticContextWithParent {
+export declare class CatchClauseSemanticContext extends SemanticContextWithParent {
     private readonly _analyzer;
     private readonly _node;
     private readonly _scopeChain;
-    constructor(analyzer: Analyzer, node: tree.OnErrorClause, parentContext: SemanticContext);
+    constructor(analyzer: Analyzer, node: tree.CatchClause, parentContext: SemanticContext);
     getScopeChain(): ScopeChain;
 }
 export {};

package/build/types/analysis/SemanticContextBuilder.d.ts

@@ -38,7 +38,7 @@ export declare class SemanticContextBuilder {
     ofTypeDestructorDeclaration(node: tree.TypeDestructorDeclaration): SemanticContext;
     ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration, hint: 'body' | 'parameters'): SemanticContext;
     ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration, hint: 'body' | 'parameters'): SemanticContext;
-    ofOnErrorClause(node: tree.OnErrorClause): SemanticContext;
+    ofCatchClause(node: tree.CatchClause): SemanticContext;
     private containingInternal;
     private ofChildOfMethodDeclaration;
     private ofChildOfTypeDeclarationWithMemberBlock;

package/build/types/analysis/SourceFileMembers.d.ts

@@ -1,92 +1,15 @@
-import { Name, Query, SearchName } from '../common/index.js';
-import { AliasTypeEntity, EntityHidingLevel, PackageAliasEntity, PackageMethodEntity, PackageMethodTypeEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, StructuredTypeEntity, TypeExtensionEntity, TypeParameterEntity } from '../entities/index.js';
+import { SearchName } from '../common/index.js';
+import { PackageAliasEntity, PackageMethodEntity, PackageTypeEntity, PackageVariableEntity, TypeExtensionEntity } from '../entities/index.js';
 export declare class SourceFileMembers {
-    private readonly _namedDeclarations;
+    private readonly _namedMembers;
     private readonly _typeExtensions;
     private readonly _declarationsByName;
-    get declarationsByName(): ReadonlyMap<string, readonly NamedDeclaration[]>;
-    constructor(namedDeclarations: readonly NamedDeclaration[], typeExtensions: readonly TypeExtensionEntity[]);
-    getNamedDeclarations(): Query<NamedDeclaration>;
-    getNamedDeclarationsByName(name: SearchName): Query<NamedDeclaration>;
-    getPackageAliases(): Query<PackageAliasEntity>;
-    getPackageAliasesByName(name: SearchName): Query<PackageAliasEntity>;
-    getTypeExtensions(): Query<TypeExtensionEntity>;
-    getTypeExtensionsByType(type: StructuredTypeEntity): Query<TypeExtensionEntity>;
-}
-export type NamedDeclaration = NamedDeclaration_type | NamedDeclaration_variable | NamedDeclaration_method | NamedDeclaration_packageAlias;
-export declare class NamedDeclaration_type implements INamedDeclaration {
-    readonly value: TypeDeclaration;
-    readonly kind = "type";
-    constructor(value: TypeDeclaration);
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class NamedDeclaration_variable implements INamedDeclaration {
-    readonly value: PackageVariableEntity;
-    readonly kind = "variable";
-    constructor(value: PackageVariableEntity);
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class NamedDeclaration_method implements INamedDeclaration {
-    readonly value: PackageMethodEntity;
-    readonly kind = "method";
-    constructor(value: PackageMethodEntity);
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class NamedDeclaration_packageAlias implements INamedDeclaration {
-    readonly value: PackageAliasEntity;
-    readonly kind = "package-alias";
-    constructor(value: PackageAliasEntity);
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-interface INamedDeclaration {
-    getName(): Name;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export type TypeDeclaration = TypeDeclaration_alias | TypeDeclaration_method | TypeDeclaration_structured | TypeDeclaration_variant;
-export declare class TypeDeclaration_alias implements ITypeDeclaration {
-    readonly value: AliasTypeEntity;
-    readonly kind = "alias";
-    constructor(value: AliasTypeEntity);
-    getName(): Name;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getArity(): number;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class TypeDeclaration_method implements ITypeDeclaration {
-    readonly value: PackageMethodTypeEntity;
-    readonly kind = "method";
-    constructor(value: PackageMethodTypeEntity);
-    getName(): Name;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getArity(): number;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class TypeDeclaration_structured implements ITypeDeclaration {
-    readonly value: PackageStructuredTypeEntity;
-    readonly kind = "structured";
-    constructor(value: PackageStructuredTypeEntity);
-    getName(): Name;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getArity(): number;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class TypeDeclaration_variant implements ITypeDeclaration {
-    readonly value: PackageVariantTypeEntity;
-    readonly kind = "variant";
-    constructor(value: PackageVariantTypeEntity);
-    getName(): Name;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getArity(): number;
-    isHidden(): EntityHidingLevel | undefined;
-}
-interface ITypeDeclaration {
-    getName(): Name;
-    getTypeParameters(): readonly TypeParameterEntity[];
-    getArity(): number;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export {};
+    get declarationsByName(): ReadonlyMap<string, readonly NamedSourceFileMemberEntity[]>;
+    constructor(namedMembers: readonly NamedSourceFileMemberEntity[], typeExtensions: readonly TypeExtensionEntity[]);
+    getNamedDeclarations(): readonly NamedSourceFileMemberEntity[];
+    getNamedDeclarationsByName(name: SearchName): readonly NamedSourceFileMemberEntity[];
+    getPackageAliases(): readonly PackageAliasEntity[];
+    getPackageAliasesByName(name: SearchName): readonly PackageAliasEntity[];
+    getTypeExtensions(): readonly TypeExtensionEntity[];
+}
+export type NamedSourceFileMemberEntity = PackageTypeEntity | PackageVariableEntity | PackageMethodEntity | PackageAliasEntity;

package/build/types/analysis/TagMeaning.d.ts

@@ -1,26 +1,74 @@
 import { Diagnostic } from '../diagnostic/Diagnostic.js';
+import { MethodEntity, NamedTypeEntity, PackageAliasEntity } from '../entities/index.js';
 import { Tag } from '../tree/index.js';
 import * as types from '../types/index.js';
-import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
+import { AccessedMethod } from './AccessedMethod.js';
+import { FoundAnonymousDeclaration, FoundNamedDeclaration } from './FoundDeclaration.js';
+import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
 import { Analyzer } from './index.js';
 export declare class Resolver {
     private readonly _analyzer;
     private readonly _node;
+    private readonly _semanticContext;
+    private get semanticContext();
     constructor(_analyzer: Analyzer, _node: Tag);
-    resolve(): Meaning;
+    resolve(): ResolutionResult;
+    private resolveNameInScope;
+    private resolveNameInPackage;
+    private resolveTypeOverload;
+    private resolveTagType;
+    private resolveTagMethod;
+    private createAccessedMethod;
+    private resolveMethodOverload;
 }
-export type Meaning = Meaning_constructorCall | Meaning_unresolved;
-declare class Meaning_constructorCall {
-    readonly type: types.StructuredType;
+export declare class ResolutionResult {
+    readonly meaning: Meaning;
+    readonly resolvedQualifiers: readonly ResolvedQualifier[];
+    readonly diagnostic?: Diagnostic | undefined;
+    constructor(meaning: Meaning, resolvedQualifiers: readonly ResolvedQualifier[], diagnostic?: Diagnostic | undefined);
+}
+export type Meaning = Meaning_tagType | Meaning_tagMethod | Meaning_unresolved;
+declare class Meaning_tagType {
+    readonly type: types.Type;
     readonly candidates: readonly FoundAnonymousDeclaration<types.Constructor>[];
     readonly suitableConstructors: readonly FoundAnonymousDeclaration<types.Constructor>[];
-    readonly kind = "resolved";
+    readonly kind = "tag-type";
     get singleSuitableConstructor(): FoundAnonymousDeclaration<types.Constructor> | undefined;
-    constructor(type: types.StructuredType, candidates: readonly FoundAnonymousDeclaration<types.Constructor>[], suitableConstructors: readonly FoundAnonymousDeclaration<types.Constructor>[]);
+    constructor(type: types.Type, candidates: readonly FoundAnonymousDeclaration<types.Constructor>[], suitableConstructors: readonly FoundAnonymousDeclaration<types.Constructor>[]);
+}
+declare class Meaning_tagMethod {
+    readonly candidates: readonly FoundNamedDeclaration<AccessedMethod>[];
+    readonly suitableMethods: readonly FoundNamedDeclaration<AccessedMethod>[];
+    readonly kind = "tag-method";
+    get singleSuitableMethod(): FoundNamedDeclaration<AccessedMethod> | undefined;
+    constructor(candidates: readonly FoundNamedDeclaration<AccessedMethod>[], suitableMethods: readonly FoundNamedDeclaration<AccessedMethod>[]);
 }
 declare class Meaning_unresolved {
-    readonly diagnostics: readonly Diagnostic[];
     readonly kind = "unresolved";
-    constructor(diagnostics: readonly Diagnostic[]);
+}
+export type ResolvedQualifier = ResolvedQualifier_packageNameSegment | ResolvedQualifier_packageAlias | ResolvedQualifier_type | ResolvedQualifier_method;
+export declare class ResolvedQualifier_packageNameSegment {
+    readonly packageTreeNode: PackageNameTreeNode;
+    readonly kind = "package-name-segment";
+    constructor(packageTreeNode: PackageNameTreeNode);
+}
+export declare class ResolvedQualifier_packageAlias {
+    readonly packageAlias: PackageAliasEntity;
+    readonly kind = "package-alias";
+    constructor(packageAlias: PackageAliasEntity);
+}
+export declare class ResolvedQualifier_type {
+    readonly candidates: readonly FoundNamedDeclaration<NamedTypeEntity>[];
+    readonly suitableTypes: readonly FoundNamedDeclaration<NamedTypeEntity>[];
+    readonly kind = "type";
+    get singleSuitableType(): FoundNamedDeclaration<NamedTypeEntity> | undefined;
+    constructor(candidates: readonly FoundNamedDeclaration<NamedTypeEntity>[], suitableTypes: readonly FoundNamedDeclaration<NamedTypeEntity>[]);
+}
+export declare class ResolvedQualifier_method {
+    readonly candidates: readonly FoundNamedDeclaration<MethodEntity>[];
+    readonly suitableMethods: readonly FoundNamedDeclaration<MethodEntity>[];
+    readonly kind = "method";
+    get singleSuitableMethod(): FoundNamedDeclaration<MethodEntity> | undefined;
+    constructor(candidates: readonly FoundNamedDeclaration<MethodEntity>[], suitableMethods: readonly FoundNamedDeclaration<MethodEntity>[]);
 }
 export {};

package/build/types/analysis/Tags.d.ts

@@ -1,12 +1,12 @@
 import { VariableEntity } from '../entities/index.js';
 import * as types from '../types/index.js';
 export declare class Tag {
-    readonly type: types.StructuredType;
+    readonly type: types.Type;
     readonly constructor_: types.Constructor;
     readonly argumentByParameter: ReadonlyMap<VariableEntity, TagArgument>;
     private readonly _argumentByName;
     get argumentByName(): ReadonlyMap<string, TagArgument>;
-    constructor(type: types.StructuredType, constructor_: types.Constructor, argumentByParameter: ReadonlyMap<VariableEntity, TagArgument>);
+    constructor(type: types.Type, constructor_: types.Constructor, argumentByParameter: ReadonlyMap<VariableEntity, TagArgument>);
 }
 export type TagArgument = TagArgument_string | TagArgument_numeric | TagArgument_boolean | TagArgument_invalid;
 export declare class TagArgument_string {

package/build/types/analysis/TypeMemberLookup.d.ts

@@ -1,4 +1,4 @@
-import { PackageLocale, Query, SearchName } from '../common/index.js';
+import { PackageLocale, SearchName } from '../common/index.js';
 import { IEntityHidingMatcher, OperatorKind, TypeEntity } from '../entities/index.js';
 import * as types from '../types/index.js';
 import { Analyzer } from './Analyzer.js';
@@ -16,13 +16,13 @@ export declare class TypeMemberLookup {
     get searchLocale(): PackageLocale;
     constructor(_analyzer: Analyzer, _type: types.Type, _localizationContext: LocalizationContext | undefined);
     static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, localizationContext: LocalizationContext | undefined): TypeMemberLookup;
-    getNamedMembers(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundNamedDeclaration<types.NamedTypeMember>>;
-    getNamedMembersByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundNamedDeclaration<types.NamedTypeMember>>;
-    getOperators(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.Operator>>;
-    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.Operator>>;
-    getConstructors(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.Constructor>>;
-    getIndexers(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.Indexer>>;
-    getDereferenceOperators(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.DereferenceOperator>>;
+    getNamedMembers(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): readonly FoundNamedDeclaration<types.NamedTypeMember>[];
+    getNamedMembersByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): readonly FoundNamedDeclaration<types.NamedTypeMember>[];
+    getOperators(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): readonly FoundAnonymousDeclaration<types.Operator>[];
+    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): readonly FoundAnonymousDeclaration<types.Operator>[];
+    getConstructors(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): readonly FoundAnonymousDeclaration<types.Constructor>[];
+    getIndexers(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): readonly FoundAnonymousDeclaration<types.Indexer>[];
+    getDereferenceOperators(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): readonly FoundAnonymousDeclaration<types.DereferenceOperator>[];
     private getLocaleOfTypeEntity;
 }
 export declare class BoundTypeMemberLookup {
@@ -31,11 +31,11 @@ export declare class BoundTypeMemberLookup {
     private readonly _typeExtensionLookup;
     constructor(analyzer: Analyzer, type: types.Type, localizationContext: LocalizationContext | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: Lookup | undefined);
     static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, localizationContext: LocalizationContext | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: Lookup | undefined): BoundTypeMemberLookup;
-    getNamedMembers(): Query<FoundNamedDeclaration<types.NamedTypeMember>>;
-    getNamedMembersByName(name: SearchName): Query<FoundNamedDeclaration<types.NamedTypeMember>>;
-    getOperators(): Query<FoundAnonymousDeclaration<types.Operator>>;
-    getOperatorsByKind(kind: OperatorKind): Query<FoundAnonymousDeclaration<types.Operator>>;
-    getConstructors(): Query<FoundAnonymousDeclaration<types.Constructor>>;
-    getIndexers(): Query<FoundAnonymousDeclaration<types.Indexer>>;
-    getDereferenceOperators(): Query<FoundAnonymousDeclaration<types.DereferenceOperator>>;
+    getNamedMembers(): readonly FoundNamedDeclaration<types.NamedTypeMember>[];
+    getNamedMembersByName(name: SearchName): readonly FoundNamedDeclaration<types.NamedTypeMember>[];
+    getOperators(): readonly FoundAnonymousDeclaration<types.Operator>[];
+    getOperatorsByKind(kind: OperatorKind): readonly FoundAnonymousDeclaration<types.Operator>[];
+    getConstructors(): readonly FoundAnonymousDeclaration<types.Constructor>[];
+    getIndexers(): readonly FoundAnonymousDeclaration<types.Indexer>[];
+    getDereferenceOperators(): readonly FoundAnonymousDeclaration<types.DereferenceOperator>[];
 }

package/build/types/analysis/TypeOverloadResolver.d.ts

@@ -1,5 +1,5 @@
 export declare class Resolver<TCandidate extends ICandidate> {
-    resolveByArgumentCount(candidates: Iterable<TCandidate>, argumentCount: number): Iterable<TCandidate>;
+    resolveByArgumentCount(candidates: readonly TCandidate[], argumentCount: number): readonly TCandidate[];
 }
 export interface ICandidate {
     getParameterCount(): number;

package/build/types/analysis/WellKnownDeclarations.d.ts

@@ -33,4 +33,5 @@ export declare class WellKnownDeclarations {
     realName: StructuredTypeEntity;
     builtIntoPlatform: StructuredTypeEntity;
     typeVariableProxy: StructuredTypeEntity;
+    javaScriptDecorator: StructuredTypeEntity;
 }

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

@@ -1,5 +1,5 @@
 export * from './Analyzer.js';
-export * from './CallArgumentsToParametersMatcher.js';
+export * from './ArgumentsToParametersMatcher.js';
 export * from './DeclarationsUsageCounter.js';
 export * from './DiagnosticCollector.js';
 export * from './FindModifier.js';

package/build/types/api/Api.d.ts

@@ -3,9 +3,8 @@ export * from '../analysis/AnalyzedTranslationPackage.js';
 export * from '../analysis/Analyzer.js';
 export type { Meaning as AutotypeCallExpressionMeaning } from '../analysis/AutotypeCallExpressionMeaning.js';
 export type { Meaning as BaseExpressionMeaning } from '../analysis/BaseExpressionMeaning.js';
-export { MatchResult, MatchResultValueParameter } from '../analysis/CallArgumentToParameterMatchResult.js';
+export { MatchResult, MatchResultValueParameter } from '../analysis/ArgumentToParameterMatchResult.js';
 export type { Meaning as CallExpressionMeaning } from '../analysis/CallExpressionMeaning.js';
-export * as dereferencedVariableAccess from '../analysis/DereferencedVariableAccess.js';
 export type { Meaning as DereferenceExpressionMeaning } from '../analysis/DereferenceExpressionMeaning.js';
 export * from '../analysis/DiagnosticCollector.js';
 export * from '../analysis/EntityLocalizationHelper.js';
@@ -13,7 +12,6 @@ export * from '../analysis/FindModifier.js';
 export * from '../analysis/FoundDeclaration.js';
 export type { Meaning as IdentifierExpressionMeaning, ResolutionResult as IdentifierExpressionResolutionResult } from '../analysis/IdentifierExpressionMeaning.js';
 export * from '../analysis/ImportedPackageNameTree.js';
-export * as indexedAccess from '../analysis/IndexedAccess.js';
 export type { Meaning as IndexedAccessExpressionMeaning } from '../analysis/IndexedAccessExpressionMeaning.js';
 export * from '../analysis/Localization.js';
 export * from '../analysis/LocalizationContext.js';
@@ -22,7 +20,7 @@ export * from '../analysis/NodeTypeUtils.js';
 export type { Meaning as ObjectExpressionMeaning } from '../analysis/ObjectExpressionMeaning.js';
 export * from '../analysis/PackageMemberLookup.js';
 export type { Meaning as PropertyAccessExpressionMeaning, ResolutionResult as PropertyAccessExpressionResolutionResult } from '../analysis/PropertyAccessExpressionMeaning.js';
-export type { IScope, NamedDeclaration, TypeDeclaration, TypeOrContainerWithTypes } from '../analysis/Scope.js';
+export type { IScope, NamedDeclaration, TypeOrContainerWithTypes } from '../analysis/Scope.js';
 export * from '../analysis/SemanticContext.js';
 export * from '../analysis/SourceFileMembers.js';
 export * from '../analysis/SourcePackageDependencyGraph.js';
@@ -32,8 +30,6 @@ export * from '../analysis/Tags.js';
 export * from '../analysis/TargetTypeHint.js';
 export * from '../analysis/TypeMemberLookup.js';
 export * from '../analysis/Utils.js';
-export * as variableAccess from '../analysis/VariableAccess.js';
-export * from '../analysis/VariantLookup.js';
 export * from '../analysis/Visitor.js';
 export * from '../analysis/WellKnownDeclarations.js';
 export * from '../common/index.js';