@angular/compiler-cli 17.3.0-next.1 → 17.3.0

package/linker/src/file_linker/partial_linkers/util.d.ts

@@ -7,7 +7,7 @@
  */
 import { MaybeForwardRefExpression, outputAst as o, R3DeclareDependencyMetadata, R3DependencyMetadata, R3Reference } from '@angular/compiler';
 import { AstObject, AstValue } from '../../ast/ast_value';
-export declare const PLACEHOLDER_VERSION = "17.3.0-next.1";
+export declare const PLACEHOLDER_VERSION = "17.3.0";
 export declare const SHOULD_USE_TEMPLATE_PIPELINE_FOR_LINKER = true;
 export declare function wrapReference<TExpression>(wrapped: o.WrappedNodeExpr<TExpression>): R3Reference;
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@angular/compiler-cli",
-  "version": "17.3.0-next.1",
+  "version": "17.3.0",
   "description": "Angular - the compiler CLI for Node.js",
   "typings": "index.d.ts",
   "bin": {
@@ -53,7 +53,7 @@
     "yargs": "^17.2.1"
   },
   "peerDependencies": {
-    "@angular/compiler": "17.3.0-next.1",
+    "@angular/compiler": "17.3.0",
     "typescript": ">=5.2 <5.5"
   },
   "repository": {

package/src/ngtsc/annotations/component/src/handler.d.ts

@@ -20,6 +20,7 @@ import { ComponentScopeReader, DtsModuleScopeResolver, LocalModuleScopeRegistry,
 import { AnalysisOutput, CompilationMode, CompileResult, DecoratorHandler, DetectResult, HandlerPrecedence, ResolveResult } from '../../../transform';
 import { TypeCheckContext } from '../../../typecheck/api';
 import { ExtendedTemplateChecker } from '../../../typecheck/extended/api';
+import { TemplateSemanticsChecker } from '../../../typecheck/template_semantics/api/api';
 import { Xi18nContext } from '../../../xi18n';
 import { InjectableClassRegistry, ReferencesRegistry, ResourceLoader } from '../../common';
 import { ComponentAnalysisData, ComponentResolutionData } from './metadata';
@@ -86,6 +87,7 @@ export declare class ComponentDecoratorHandler implements DecoratorHandler<Decor
     index(context: IndexingContext, node: ClassDeclaration, analysis: Readonly<ComponentAnalysisData>): null;
     typeCheck(ctx: TypeCheckContext, node: ClassDeclaration, meta: Readonly<ComponentAnalysisData>): void;
     extendedTemplateCheck(component: ts.ClassDeclaration, extendedTemplateChecker: ExtendedTemplateChecker): ts.Diagnostic[];
+    templateSemanticsCheck(component: ts.ClassDeclaration, templateSemanticsChecker: TemplateSemanticsChecker): ts.Diagnostic[];
     resolve(node: ClassDeclaration, analysis: Readonly<ComponentAnalysisData>, symbol: ComponentSymbol): ResolveResult<ComponentResolutionData>;
     xi18n(ctx: Xi18nContext, node: ClassDeclaration, analysis: Readonly<ComponentAnalysisData>): void;
     updateResources(node: ClassDeclaration, analysis: ComponentAnalysisData): void;

package/src/ngtsc/annotations/directive/src/initializer_functions.d.ts

@@ -19,14 +19,17 @@ import { ClassMember, ReflectionHost } from '../../../reflection';
  * Similarly, signal-based queries follow the same pattern and are also
  * declared through initializer APIs.
  */
-export type InitializerApiFunction = 'input' | 'model' | 'ɵoutput' | 'output' | 'viewChild' | 'viewChildren' | 'contentChild' | 'contentChildren';
+export interface InitializerApiFunction {
+    owningModule: '@angular/core' | '@angular/core/rxjs-interop';
+    functionName: ('input' | 'model' | 'output' | 'outputFromObservable' | 'viewChild' | 'viewChildren' | 'contentChild' | 'contentChildren');
+}
 /**
  * Metadata describing an Angular class member that was recognized through
  * a function initializer. Like `input`, `input.required` or `viewChild`.
  */
 interface InitializerFunctionMetadata {
-    /** Name of the initializer API function that was recognized. */
-    apiName: InitializerApiFunction;
+    /** Initializer API function that was recognized. */
+    api: InitializerApiFunction;
     /** Node referring to the call expression. */
     call: ts.CallExpression;
     /** Whether the initializer is required or not. E.g. `input.required` was used. */
@@ -39,5 +42,7 @@ interface InitializerFunctionMetadata {
  * Note that multiple possible initializer API function names can be specified,
  * allowing for checking multiple types in one pass.
  */
-export declare function tryParseInitializerApiMember<FnNames extends InitializerApiFunction[]>(fnNames: FnNames, member: Pick<ClassMember, 'value'>, reflector: ReflectionHost, importTracker: ImportedSymbolsTracker): InitializerFunctionMetadata | null;
+export declare function tryParseInitializerApiMember<Functions extends InitializerApiFunction[]>(functions: Functions, member: Pick<ClassMember, 'value'>, reflector: ReflectionHost, importTracker: ImportedSymbolsTracker): (InitializerFunctionMetadata & {
+    api: Functions[number];
+} | null);
 export {};

package/src/ngtsc/core/src/compiler.d.ts

@@ -253,13 +253,7 @@ export declare class NgCompiler {
     private getTemplateDiagnostics;
     private getTemplateDiagnosticsForFile;
     private getNonTemplateDiagnostics;
-    /**
-     * Calls the `extendedTemplateCheck` phase of the trait compiler
-     * @param sf optional parameter to get diagnostics for a certain file
-     *     or all files in the program if `sf` is undefined
-     * @returns generated extended template diagnostics
-     */
-    private getExtendedTemplateDiagnostics;
+    private runAdditionalChecks;
     private makeCompilation;
 }
 /**

package/src/ngtsc/reflection/index.d.ts

@@ -6,6 +6,6 @@
  * found in the LICENSE file at https://angular.io/license
  */
 export * from './src/host';
-export { typeNodeToValueExpr } from './src/type_to_value';
+export { typeNodeToValueExpr, entityNameToValue } from './src/type_to_value';
 export { TypeScriptReflectionHost, filterToMembersWithDecorator, reflectIdentifierOfDeclaration, reflectNameOfDeclaration, reflectObjectLiteral, reflectTypeEntityToDeclaration } from './src/typescript';
 export { isNamedClassDeclaration, isNamedFunctionDeclaration, isNamedVariableDeclaration } from './src/util';

package/src/ngtsc/reflection/src/type_to_value.d.ts

@@ -22,3 +22,4 @@ export declare function typeToValue(typeNode: ts.TypeNode | null, checker: ts.Ty
  * This will return `null` if an equivalent expression cannot be constructed.
  */
 export declare function typeNodeToValueExpr(node: ts.TypeNode): ts.Expression | null;
+export declare function entityNameToValue(node: ts.EntityName): ts.Expression | null;

package/src/ngtsc/transform/src/api.d.ts

@@ -14,6 +14,7 @@ import { ClassDeclaration, Decorator, ReflectionHost } from '../../reflection';
 import { ImportManager } from '../../translator';
 import { TypeCheckContext } from '../../typecheck/api';
 import { ExtendedTemplateChecker } from '../../typecheck/extended/api';
+import { TemplateSemanticsChecker } from '../../typecheck/template_semantics/api/api';
 import { Xi18nContext } from '../../xi18n';
 /**
  * Specifies the compilation mode that is used for the compilation.
@@ -146,6 +147,7 @@ export interface DecoratorHandler<D, A, S extends SemanticSymbol | null, R> {
     xi18n?(bundle: Xi18nContext, node: ClassDeclaration, analysis: Readonly<A>): void;
     typeCheck?(ctx: TypeCheckContext, node: ClassDeclaration, analysis: Readonly<A>, resolution: Readonly<R>): void;
     extendedTemplateCheck?(component: ts.ClassDeclaration, extendedTemplateChecker: ExtendedTemplateChecker): ts.Diagnostic[];
+    templateSemanticsCheck?(component: ts.ClassDeclaration, templateSemanticsChecker: TemplateSemanticsChecker): ts.Diagnostic[];
     /**
      * Generate a description of the field which should be added to the class, including any
      * initialization code to be generated.

package/src/ngtsc/transform/src/compilation.d.ts

@@ -14,7 +14,6 @@ import { IndexingContext } from '../../indexer';
 import { PerfRecorder } from '../../perf';
 import { ClassDeclaration, DeclarationNode, Decorator, ReflectionHost } from '../../reflection';
 import { ProgramTypeCheckAdapter, TypeCheckContext } from '../../typecheck/api';
-import { ExtendedTemplateChecker } from '../../typecheck/extended/api';
 import { Xi18nContext } from '../../xi18n';
 import { CompilationMode, CompileResult, DecoratorHandler } from './api';
 import { DtsTransformRegistry } from './declaration';
@@ -110,7 +109,7 @@ export declare class TraitCompiler implements ProgramTypeCheckAdapter {
      * `ts.SourceFile`.
      */
     typeCheck(sf: ts.SourceFile, ctx: TypeCheckContext): void;
-    extendedTemplateCheck(sf: ts.SourceFile, extendedTemplateChecker: ExtendedTemplateChecker): ts.Diagnostic[];
+    runAdditionalChecks(sf: ts.SourceFile, check: (clazz: ts.ClassDeclaration, handler: DecoratorHandler<unknown, unknown, SemanticSymbol | null, unknown>) => ts.Diagnostic[] | null): ts.Diagnostic[];
     index(ctx: IndexingContext): void;
     xi18n(bundle: Xi18nContext): void;
     updateResources(clazz: DeclarationNode): void;

package/src/ngtsc/typecheck/api/checker.d.ts

@@ -5,7 +5,7 @@
  * Use of this source code is governed by an MIT-style license that can be
  * found in the LICENSE file at https://angular.io/license
  */
-import { AST, LiteralPrimitive, ParseSourceSpan, PropertyRead, SafePropertyRead, TmplAstElement, TmplAstNode, TmplAstTemplate, TmplAstTextAttribute } from '@angular/compiler';
+import { AST, LiteralPrimitive, ParseSourceSpan, PropertyRead, SafePropertyRead, TmplAstElement, TmplAstNode, TmplAstReference, TmplAstTemplate, TmplAstTextAttribute, TmplAstVariable } from '@angular/compiler';
 import ts from 'typescript';
 import { AbsoluteFsPath } from '../../../../src/ngtsc/file_system';
 import { ErrorCode } from '../../diagnostics';
@@ -179,6 +179,11 @@ export interface TemplateTypeChecker {
      * the next request.
      */
     invalidateClass(clazz: ts.ClassDeclaration): void;
+    /**
+     * Gets the target of a template expression, if possible.
+     * See `BoundTarget.getExpressionTarget` for more information.
+     */
+    getExpressionTarget(expression: AST, clazz: ts.ClassDeclaration): TmplAstReference | TmplAstVariable | null;
     /**
      * Constructs a `ts.Diagnostic` for a given `ParseSourceSpan` within a template.
      */

package/src/ngtsc/typecheck/src/checker.d.ts

@@ -5,7 +5,7 @@
  * Use of this source code is governed by an MIT-style license that can be
  * found in the LICENSE file at https://angular.io/license
  */
-import { AST, LiteralPrimitive, ParseSourceSpan, PropertyRead, SafePropertyRead, TmplAstElement, TmplAstNode, TmplAstTemplate, TmplAstTextAttribute } from '@angular/compiler';
+import { AST, LiteralPrimitive, ParseSourceSpan, PropertyRead, SafePropertyRead, TmplAstElement, TmplAstNode, TmplAstReference, TmplAstTemplate, TmplAstTextAttribute, TmplAstVariable } from '@angular/compiler';
 import ts from 'typescript';
 import { ErrorCode } from '../../diagnostics';
 import { AbsoluteFsPath } from '../../file_system';
@@ -95,6 +95,7 @@ export declare class TemplateTypeCheckerImpl implements TemplateTypeChecker {
     getExpressionCompletionLocation(ast: PropertyRead | SafePropertyRead, component: ts.ClassDeclaration): TcbLocation | null;
     getLiteralCompletionLocation(node: LiteralPrimitive | TmplAstTextAttribute, component: ts.ClassDeclaration): TcbLocation | null;
     invalidateClass(clazz: ts.ClassDeclaration): void;
+    getExpressionTarget(expression: AST, clazz: ts.ClassDeclaration): TmplAstReference | TmplAstVariable | null;
     makeTemplateDiagnostic<T extends ErrorCode>(clazz: ts.ClassDeclaration, sourceSpan: ParseSourceSpan, category: ts.DiagnosticCategory, errorCode: T, message: string, relatedInformation?: {
         text: string;
         start: number;

package/src/ngtsc/typecheck/src/oob.d.ts

@@ -5,7 +5,7 @@
  * Use of this source code is governed by an MIT-style license that can be
  * found in the LICENSE file at https://angular.io/license
  */
-import { BindingPipe, PropertyRead, PropertyWrite, TmplAstBoundAttribute, TmplAstBoundEvent, TmplAstElement, TmplAstForLoopBlock, TmplAstForLoopBlockEmpty, TmplAstHoverDeferredTrigger, TmplAstIfBlockBranch, TmplAstInteractionDeferredTrigger, TmplAstReference, TmplAstTemplate, TmplAstVariable, TmplAstViewportDeferredTrigger } from '@angular/compiler';
+import { BindingPipe, PropertyRead, TmplAstBoundAttribute, TmplAstBoundEvent, TmplAstElement, TmplAstForLoopBlock, TmplAstForLoopBlockEmpty, TmplAstHoverDeferredTrigger, TmplAstIfBlockBranch, TmplAstInteractionDeferredTrigger, TmplAstReference, TmplAstTemplate, TmplAstVariable, TmplAstViewportDeferredTrigger } from '@angular/compiler';
 import ts from 'typescript';
 import { ClassDeclaration } from '../../reflection';
 import { TemplateDiagnostic, TemplateId } from '../api';
@@ -57,7 +57,6 @@ export interface OutOfBandDiagnosticRecorder {
      * @param element the element which hosts a component that was defer-loaded.
      */
     deferredComponentUsedEagerly(templateId: TemplateId, element: TmplAstElement): void;
-    illegalAssignmentToTemplateVar(templateId: TemplateId, assignment: PropertyWrite, target: TmplAstVariable): void;
     /**
      * Reports a duplicate declaration of a template variable.
      *
@@ -107,7 +106,6 @@ export declare class OutOfBandDiagnosticRecorderImpl implements OutOfBandDiagnos
     missingPipe(templateId: TemplateId, ast: BindingPipe): void;
     deferredPipeUsedEagerly(templateId: TemplateId, ast: BindingPipe): void;
     deferredComponentUsedEagerly(templateId: TemplateId, element: TmplAstElement): void;
-    illegalAssignmentToTemplateVar(templateId: TemplateId, assignment: PropertyWrite, target: TmplAstVariable): void;
     duplicateTemplateVar(templateId: TemplateId, variable: TmplAstVariable, firstDecl: TmplAstVariable): void;
     requiresInlineTcb(templateId: TemplateId, node: ClassDeclaration): void;
     requiresInlineTypeConstructors(templateId: TemplateId, node: ClassDeclaration, directives: ClassDeclaration[]): void;

package/src/ngtsc/typecheck/src/symbol_util.d.ts

@@ -0,0 +1,10 @@
+/*!
+ * @license
+ * Copyright Google LLC All Rights Reserved.
+ *
+ * Use of this source code is governed by an MIT-style license that can be
+ * found in the LICENSE file at https://angular.io/license
+ */
+import { Symbol } from '../api';
+/** Returns whether a symbol is a reference to a signal. */
+export declare function isSignalReference(symbol: Symbol): boolean;

package/src/ngtsc/typecheck/template_semantics/api/api.d.ts

@@ -0,0 +1,18 @@
+/**
+ * @license
+ * Copyright Google LLC All Rights Reserved.
+ *
+ * Use of this source code is governed by an MIT-style license that can be
+ * found in the LICENSE file at https://angular.io/license
+ */
+import ts from 'typescript';
+import { TemplateDiagnostic } from '../../api';
+/**
+ * Interface to generate diagnostics related to the semantics of a component's template.
+ */
+export interface TemplateSemanticsChecker {
+    /**
+     * Run `TemplateSemanticsChecker`s for a component and return the generated `ts.Diagnostic`s.
+     */
+    getDiagnosticsForComponent(component: ts.ClassDeclaration): TemplateDiagnostic[];
+}

package/src/ngtsc/typecheck/template_semantics/src/template_semantics_checker.d.ts

@@ -0,0 +1,15 @@
+/**
+ * @license
+ * Copyright Google LLC All Rights Reserved.
+ *
+ * Use of this source code is governed by an MIT-style license that can be
+ * found in the LICENSE file at https://angular.io/license
+ */
+import ts from 'typescript';
+import { TemplateDiagnostic, TemplateTypeChecker } from '../../api';
+import { TemplateSemanticsChecker } from '../api/api';
+export declare class TemplateSemanticsCheckerImpl implements TemplateSemanticsChecker {
+    private templateTypeChecker;
+    constructor(templateTypeChecker: TemplateTypeChecker);
+    getDiagnosticsForComponent(component: ts.ClassDeclaration): TemplateDiagnostic[];
+}