From bbb36dc933c7462095f4398715c35e94d8861496 Mon Sep 17 00:00:00 2001 From: Sheetal Nandi Date: Fri, 18 Jul 2014 14:40:47 -0700 Subject: [PATCH 1/6] Make the symbol writing api on the text writer --- src/compiler/checker.ts | 27 +++++++++++++++++++-------- src/compiler/emitter.ts | 14 +++++++++++--- src/compiler/types.ts | 3 +++ 3 files changed, 33 insertions(+), 11 deletions(-) diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts index 7e935b03c192c..4e68994439494 100644 --- a/src/compiler/checker.ts +++ b/src/compiler/checker.ts @@ -693,6 +693,10 @@ module ts { return qualify } + function isSymbolAccessible(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags): boolean { + // TODO(shkamat): Actual implementation + } + // Enclosing declaration is optional when we dont want to get qualified name in the enclosing declaration scope // Meaning needs to be specified if the enclosing declaration is given function symbolToString(symbol: Symbol, enclosingDeclaration?: Node, meaning?: SymbolFlags) { @@ -728,10 +732,15 @@ module ts { return getSymbolName(symbol); } + function writeSymbolToTextWriter(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags, writer: TextWriter) { + writer.write(symbolToString(symbol, enclosingDeclaration, meaning)); + } + function createSingleLineTextWriter() { var result = ""; return { write(s: string) { result += s; }, + writeSymbol(symbol: Symbol, enclosingDeclaration?: Node, meaning?: SymbolFlags) { writeSymbolToTextWriter(symbol, enclosingDeclaration, meaning, this); }, writeLine() { result += " "; }, increaseIndent() { }, decreaseIndent() { }, @@ -758,7 +767,7 @@ module ts { writeTypeReference(type); } else if (type.flags & (TypeFlags.Class | TypeFlags.Interface | TypeFlags.Enum | TypeFlags.TypeParameter)) { - writer.write(symbolToString(type.symbol, enclosingDeclaration, SymbolFlags.Type)); + writer.writeSymbol(type.symbol, enclosingDeclaration, SymbolFlags.Type); } else if (type.flags & TypeFlags.Anonymous) { writeAnonymousType(type, allowFunctionOrConstructorTypeLiteral); @@ -780,7 +789,7 @@ module ts { writer.write("[]"); } else { - writer.write(symbolToString(type.target.symbol, enclosingDeclaration, SymbolFlags.Type)); + writer.writeSymbol(type.target.symbol, enclosingDeclaration, SymbolFlags.Type); writer.write("<"); for (var i = 0; i < type.typeArguments.length; i++) { if (i > 0) { @@ -814,7 +823,7 @@ module ts { function writeTypeofSymbol(type: ObjectType) { writer.write("typeof "); - writer.write(symbolToString(type.symbol, enclosingDeclaration, SymbolFlags.Value)); + writer.writeSymbol(type.symbol, enclosingDeclaration, SymbolFlags.Value); } function writeLiteralType(type: ObjectType, allowFunctionOrConstructorTypeLiteral: boolean) { @@ -870,7 +879,7 @@ module ts { if (p.flags & (SymbolFlags.Function | SymbolFlags.Method) && !getPropertiesOfType(t).length) { var signatures = getSignaturesOfType(t, SignatureKind.Call); for (var j = 0; j < signatures.length; j++) { - writer.write(symbolToString(p)); + writer.writeSymbol(p); if (isOptionalProperty(p)) { writer.write("?"); } @@ -880,7 +889,7 @@ module ts { } } else { - writer.write(symbolToString(p)); + writer.writeSymbol(p); if (isOptionalProperty(p)) { writer.write("?"); } @@ -902,7 +911,7 @@ module ts { writer.write(", "); } var tp = signature.typeParameters[i]; - writer.write(symbolToString(tp.symbol)); + writer.writeSymbol(tp.symbol); var constraint = getConstraintOfTypeParameter(tp); if (constraint) { writer.write(" extends "); @@ -920,7 +929,7 @@ module ts { if (getDeclarationFlagsFromSymbol(p) & NodeFlags.Rest) { writer.write("..."); } - writer.write(symbolToString(p)); + writer.writeSymbol(p); if (p.valueDeclaration.flags & NodeFlags.QuestionMark || (p.valueDeclaration).initializer) { writer.write("?"); } @@ -6105,7 +6114,9 @@ module ts { isDeclarationVisible: isDeclarationVisible, isImplementationOfOverload: isImplementationOfOverload, writeTypeAtLocation: writeTypeAtLocation, - writeReturnTypeOfSignatureDeclaration: writeReturnTypeOfSignatureDeclaration + writeReturnTypeOfSignatureDeclaration: writeReturnTypeOfSignatureDeclaration, + writeSymbol: writeSymbolToTextWriter, + isSymbolAccessible: isSymbolAccessible }; checkProgram(); return emitFiles(resolver); diff --git a/src/compiler/emitter.ts b/src/compiler/emitter.ts index eec80b7272908..0f5e3477778bb 100644 --- a/src/compiler/emitter.ts +++ b/src/compiler/emitter.ts @@ -88,7 +88,7 @@ module ts { }; } - function createTextWriter(): EmitTextWriter { + function createTextWriter(writeSymbol: (symbol: Symbol, enclosingDeclaration?: Node, meaning?: SymbolFlags)=> void): EmitTextWriter { var output = ""; var indent = 0; var lineStart = true; @@ -135,6 +135,7 @@ module ts { return { write: write, + writeSymbol: writeSymbol, writeLiteral: writeLiteral, writeLine: writeLine, increaseIndent: () => indent++, @@ -162,7 +163,7 @@ module ts { } function emitJavaScript(jsFilePath: string, root?: SourceFile) { - var writer = createTextWriter(); + var writer = createTextWriter(writeSymbol); var write = writer.write; var writeLine = writer.writeLine; var increaseIndent = writer.increaseIndent; @@ -204,6 +205,8 @@ module ts { /** Sourcemap data that will get encoded */ var sourceMapData: SourceMapData; + function writeSymbol(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags) { } + function initializeEmitterWithSourceMaps() { var sourceMapDir: string; // The directory in which sourcemap will be @@ -1844,7 +1847,7 @@ module ts { } function emitDeclarations(jsFilePath: string, root?: SourceFile) { - var writer = createTextWriter(); + var writer = createTextWriter(writeSymbol); var write = writer.write; var writeLine = writer.writeLine; var increaseIndent = writer.increaseIndent; @@ -1852,6 +1855,11 @@ module ts { var enclosingDeclaration: Node; + function writeSymbol(symbol: Symbol, enclosingDeclaration?: Node, meaning?: SymbolFlags) { + // TODO(shkamat): Report error if the symbol is not accessible + resolver.writeSymbol(symbol, enclosingDeclaration, meaning, writer); + } + function emitLines(nodes: Node[]) { for (var i = 0, n = nodes.length; i < n; i++) { emitNode(nodes[i]); diff --git a/src/compiler/types.ts b/src/compiler/types.ts index 65ca7d01fbdec..9b446ff01539d 100644 --- a/src/compiler/types.ts +++ b/src/compiler/types.ts @@ -597,6 +597,7 @@ module ts { export interface TextWriter { write(s: string): void; + writeSymbol(symbol: Symbol, enclosingDeclaration?: Node, meaning?: SymbolFlags): void; writeLine(): void; increaseIndent(): void; decreaseIndent(): void; @@ -625,6 +626,8 @@ module ts { isImplementationOfOverload(node: FunctionDeclaration): boolean; writeTypeAtLocation(location: Node, enclosingDeclaration: Node, flags: TypeFormatFlags, writer: TextWriter): void; writeReturnTypeOfSignatureDeclaration(signatureDeclaration: SignatureDeclaration, enclosingDeclaration: Node, flags: TypeFormatFlags, writer: TextWriter): void; + writeSymbol(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags, writer: TextWriter): void; + isSymbolAccessible(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags): boolean; } export enum SymbolFlags { From 999b7fed928cb803b83cbb4555560f623060f10d Mon Sep 17 00:00:00 2001 From: Sheetal Nandi Date: Fri, 18 Jul 2014 18:06:37 -0700 Subject: [PATCH 2/6] Checker and emitter changes to report errors on inaccessibility of symbols when writing types in declaration file --- src/compiler/checker.ts | 36 ++++++++++++++++++++++++++++++++---- src/compiler/emitter.ts | 30 +++++++++++++++++++++++++++--- src/compiler/types.ts | 14 +++++++++++++- 3 files changed, 72 insertions(+), 8 deletions(-) diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts index 4e68994439494..378e23bf83d79 100644 --- a/src/compiler/checker.ts +++ b/src/compiler/checker.ts @@ -645,7 +645,7 @@ module ts { } // If symbol is directly available by its name in the symbol table - if (isAccessible(symbols[symbol.name])) { + if (hasProperty(symbols, symbol.name) && isAccessible(symbols[symbol.name])) { return symbol; } @@ -668,7 +668,7 @@ module ts { var qualify = false; forEachSymbolTableInScope(enclosingDeclaration, symbolTable => { // If symbol of this name is not available in the symbol table we are ok - if (!symbolTable[symbol.name]) { + if (!hasProperty(symbolTable, symbol.name)) { // Continue to the next symbol table return false; } @@ -693,8 +693,36 @@ module ts { return qualify } - function isSymbolAccessible(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags): boolean { - // TODO(shkamat): Actual implementation + function isSymbolAccessible(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags): SymbolAccessiblityResult { + if (symbol && enclosingDeclaration && !(symbol.flags & SymbolFlags.TypeParameter)) { + var initialSymbol = symbol; + var meaningToLook = meaning; + while (symbol) { + // Symbol is accessible if it by itself is accessible + var accessibleSymbol = getAccessibleSymbol(symbol, enclosingDeclaration, meaningToLook); + if (accessibleSymbol) { + if (forEach(accessibleSymbol.declarations, declaration => !isDeclarationVisible(declaration))) { + return { + accessibility: SymbolAccessibility.NotAccessible, + errorSymbolName: symbolToString(initialSymbol, enclosingDeclaration, meaning), + errorModuleName: symbol !== initialSymbol ? symbolToString(symbol, enclosingDeclaration, SymbolFlags.Namespace) : undefined + }; + } + return { accessibility: SymbolAccessibility.Accessible }; + } + + meaningToLook = SymbolFlags.Namespace; + symbol = symbol.parent; + } + + // This is a local symbol that cannot be named + return { + accessibility: SymbolAccessibility.CannotBeNamed, + errorSymbolName: symbolToString(initialSymbol, enclosingDeclaration, meaning), + }; + } + + return { accessibility: SymbolAccessibility.Accessible }; } // Enclosing declaration is optional when we dont want to get qualified name in the enclosing declaration scope diff --git a/src/compiler/emitter.ts b/src/compiler/emitter.ts index 0f5e3477778bb..bf6f8c7fff969 100644 --- a/src/compiler/emitter.ts +++ b/src/compiler/emitter.ts @@ -1854,10 +1854,30 @@ module ts { var decreaseIndent = writer.decreaseIndent; var enclosingDeclaration: Node; + var reportedDeclarationError = false; + + var getSymbolVisibilityDiagnosticMessage: (symbolAccesibilityResult: SymbolAccessiblityResult) => { + errorNode: Node; + diagnosticMessage: DiagnosticMessage; + typeName: Identifier + } function writeSymbol(symbol: Symbol, enclosingDeclaration?: Node, meaning?: SymbolFlags) { - // TODO(shkamat): Report error if the symbol is not accessible - resolver.writeSymbol(symbol, enclosingDeclaration, meaning, writer); + var symbolAccesibilityResult = resolver.isSymbolAccessible(symbol, enclosingDeclaration, meaning); + // TODO(shkamat): Since we dont have error reporting for all the cases as yet we have this check on handler being present + if (!getSymbolVisibilityDiagnosticMessage || symbolAccesibilityResult.accessibility === SymbolAccessibility.Accessible) { + resolver.writeSymbol(symbol, enclosingDeclaration, meaning, writer); + } + else { + // Report error + reportedDeclarationError = true; + var errorInfo = getSymbolVisibilityDiagnosticMessage(symbolAccesibilityResult); + diagnostics.push(createDiagnosticForNode(errorInfo.errorNode, + errorInfo.diagnosticMessage, + getSourceTextOfLocalNode(errorInfo.typeName), + symbolAccesibilityResult.errorSymbolName, + symbolAccesibilityResult.errorModuleName)); + } } function emitLines(nodes: Node[]) { @@ -2296,7 +2316,11 @@ module ts { }); } - writeFile(getModuleNameFromFilename(jsFilePath) + ".d.ts", referencePathsOutput + writer.getText()); + // TODO(shkamat): Should we not write any declaration file if any of them can produce error, + // or should we just not write this file like we are doing now + if (!reportedDeclarationError) { + writeFile(getModuleNameFromFilename(jsFilePath) + ".d.ts", referencePathsOutput + writer.getText()); + } } var shouldEmitDeclarations = resolver.shouldEmitDeclarations(); diff --git a/src/compiler/types.ts b/src/compiler/types.ts index 9b446ff01539d..6bf3f971a9562 100644 --- a/src/compiler/types.ts +++ b/src/compiler/types.ts @@ -611,6 +611,18 @@ module ts { WriteArrayAsGenericType = 0x00000001, // Declarations } + export enum SymbolAccessibility { + Accessible, + NotAccessible, + CannotBeNamed + } + + export interface SymbolAccessiblityResult { + accessibility: SymbolAccessibility; + errorSymbolName?: string // Optional symbol name that results in error + errorModuleName?: string // If the symbol is not visibile from module, module's name + } + export interface EmitResolver { getProgram(): Program; getModuleObjectName(node: ModuleDeclaration): string; @@ -627,7 +639,7 @@ module ts { writeTypeAtLocation(location: Node, enclosingDeclaration: Node, flags: TypeFormatFlags, writer: TextWriter): void; writeReturnTypeOfSignatureDeclaration(signatureDeclaration: SignatureDeclaration, enclosingDeclaration: Node, flags: TypeFormatFlags, writer: TextWriter): void; writeSymbol(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags, writer: TextWriter): void; - isSymbolAccessible(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags): boolean; + isSymbolAccessible(symbol: Symbol, enclosingDeclaration: Node, meaning: SymbolFlags): SymbolAccessiblityResult; } export enum SymbolFlags { From 09ec1bb9ae92557f50becbb31c003643a1bb8862 Mon Sep 17 00:00:00 2001 From: Sheetal Nandi Date: Fri, 18 Jul 2014 18:07:38 -0700 Subject: [PATCH 3/6] Report error on Class/Interface heritage clause if it cant be accessed Fixes #78 and #83 --- .../diagnosticInformationMap.generated.ts | 6 + src/compiler/diagnosticMessages.json | 24 ++ src/compiler/emitter.ts | 48 +++ src/harness/harness.ts | 8 +- ...ivacyClassExtendsClauseDeclFile.errors.txt | 106 ++++++ .../privacyClassExtendsClauseDeclFile.js | 351 ++++++++++++++++++ ...cyClassImplementsClauseDeclFile.errors.txt | 105 ++++++ .../privacyClassImplementsClauseDeclFile.js | 239 ++++++++++++ ...yInterfaceExtendsClauseDeclFile.errors.txt | 105 ++++++ .../privacyInterfaceExtendsClauseDeclFile.js | 98 +++++ .../privacyClassExtendsClauseDeclFile.ts | 97 +++++ .../privacyClassImplementsClauseDeclFile.ts | 94 +++++ .../privacyInterfaceExtendsClauseDeclFile.ts | 94 +++++ 13 files changed, 1371 insertions(+), 4 deletions(-) create mode 100644 tests/baselines/reference/privacyClassExtendsClauseDeclFile.errors.txt create mode 100644 tests/baselines/reference/privacyClassExtendsClauseDeclFile.js create mode 100644 tests/baselines/reference/privacyClassImplementsClauseDeclFile.errors.txt create mode 100644 tests/baselines/reference/privacyClassImplementsClauseDeclFile.js create mode 100644 tests/baselines/reference/privacyInterfaceExtendsClauseDeclFile.errors.txt create mode 100644 tests/baselines/reference/privacyInterfaceExtendsClauseDeclFile.js create mode 100644 tests/cases/compiler/privacyClassExtendsClauseDeclFile.ts create mode 100644 tests/cases/compiler/privacyClassImplementsClauseDeclFile.ts create mode 100644 tests/cases/compiler/privacyInterfaceExtendsClauseDeclFile.ts diff --git a/src/compiler/diagnosticInformationMap.generated.ts b/src/compiler/diagnosticInformationMap.generated.ts index d9e35f29086ca..80bf686c8ae20 100644 --- a/src/compiler/diagnosticInformationMap.generated.ts +++ b/src/compiler/diagnosticInformationMap.generated.ts @@ -99,6 +99,12 @@ module ts { A_constructor_implementation_cannot_be_declared_in_an_ambient_context: { code: 1111, category: DiagnosticCategory.Error, key: "A constructor implementation cannot be declared in an ambient context." }, A_class_member_cannot_be_declared_optional: { code: 1112, category: DiagnosticCategory.Error, key: "A class member cannot be declared optional." }, Duplicate_identifier_0: { code: 2000, category: DiagnosticCategory.Error, key: "Duplicate identifier '{0}'." }, + Extends_clause_of_exported_class_0_has_or_is_using_private_name_1: { code: 2018, category: DiagnosticCategory.Error, key: "Extends clause of exported class '{0}' has or is using private name '{1}'." }, + Implements_clause_of_exported_class_0_has_or_is_using_private_name_1: { code: 2019, category: DiagnosticCategory.Error, key: "Implements clause of exported class '{0}' has or is using private name '{1}'." }, + Extends_clause_of_exported_interface_0_has_or_is_using_private_name_1: { code: 2020, category: DiagnosticCategory.Error, key: "Extends clause of exported interface '{0}' has or is using private name '{1}'." }, + Extends_clause_of_exported_class_0_has_or_is_using_name_1_from_private_module_2: { code: 2021, category: DiagnosticCategory.Error, key: "Extends clause of exported class '{0}' has or is using name '{1}' from private module '{2}'." }, + Implements_clause_of_exported_class_0_has_or_is_using_name_1_from_private_module_2: { code: 2022, category: DiagnosticCategory.Error, key: "Implements clause of exported class '{0}' has or is using name '{1}' from private module '{2}'." }, + Extends_clause_of_exported_interface_0_has_or_is_using_name_1_from_private_module_2: { code: 2023, category: DiagnosticCategory.Error, key: "Extends clause of exported interface '{0}' has or is using name '{1}' from private module '{2}'." }, new_T_cannot_be_used_to_create_an_array_Use_new_Array_T_instead: { code: 2068, category: DiagnosticCategory.Error, key: "'new T[]' cannot be used to create an array. Use 'new Array()' instead." }, Multiple_constructor_implementations_are_not_allowed: { code: 2070, category: DiagnosticCategory.Error, key: "Multiple constructor implementations are not allowed." }, A_class_may_only_implement_another_class_or_interface: { code: 2074, category: DiagnosticCategory.Error, key: "A class may only implement another class or interface." }, diff --git a/src/compiler/diagnosticMessages.json b/src/compiler/diagnosticMessages.json index 92b8d1a3e0eed..362f4cd61293a 100644 --- a/src/compiler/diagnosticMessages.json +++ b/src/compiler/diagnosticMessages.json @@ -390,6 +390,30 @@ "category": "Error", "code": 2000 }, + "Extends clause of exported class '{0}' has or is using private name '{1}'.": { + "category": "Error", + "code": 2018 + }, + "Implements clause of exported class '{0}' has or is using private name '{1}'.": { + "category": "Error", + "code": 2019 + }, + "Extends clause of exported interface '{0}' has or is using private name '{1}'.": { + "category": "Error", + "code": 2020 + }, + "Extends clause of exported class '{0}' has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2021 + }, + "Implements clause of exported class '{0}' has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2022 + }, + "Extends clause of exported interface '{0}' has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2023 + }, "'new T[]' cannot be used to create an array. Use 'new Array()' instead.": { "category": "Error", "code": 2068 diff --git a/src/compiler/emitter.ts b/src/compiler/emitter.ts index bf6f8c7fff969..5de70cbc318d7 100644 --- a/src/compiler/emitter.ts +++ b/src/compiler/emitter.ts @@ -2027,6 +2027,54 @@ module ts { function emitHeritageClause(typeReferences: TypeReferenceNode[], isImplementsList: boolean) { function emitTypeOfTypeReference(node: Node) { + function getHeritageClauseVisibilityError(symbolAccesibilityResult: SymbolAccessiblityResult) { + var diagnosticMessage: DiagnosticMessage; + if (node.parent.kind === SyntaxKind.ClassDeclaration) { + // Class + if (symbolAccesibilityResult.accessibility == SymbolAccessibility.NotAccessible) { + if (symbolAccesibilityResult.errorModuleName) { + // Module is inaccessible + diagnosticMessage = isImplementsList ? + Diagnostics.Implements_clause_of_exported_class_0_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Extends_clause_of_exported_class_0_has_or_is_using_name_1_from_private_module_2; + } + else { + // Class or Interface implemented/extended is inaccessible + diagnosticMessage = isImplementsList ? + Diagnostics.Implements_clause_of_exported_class_0_has_or_is_using_private_name_1 : + Diagnostics.Extends_clause_of_exported_class_0_has_or_is_using_private_name_1; + } + } + else { + // CannotBeNamed + // TODO(shkamat): CannotBeNamed error needs to be handled + } + } + else { + // Interface + if (symbolAccesibilityResult.accessibility == SymbolAccessibility.NotAccessible) { + if (symbolAccesibilityResult.errorModuleName) { + // Module is inaccessible + diagnosticMessage = Diagnostics.Extends_clause_of_exported_interface_0_has_or_is_using_name_1_from_private_module_2; + } + else { + // interface is inaccessible + diagnosticMessage = Diagnostics.Extends_clause_of_exported_interface_0_has_or_is_using_private_name_1; + } + } + else { + // CannotBeNamed + // TODO(shkamat): CannotBeNamed error needs to be handled + } + } + + return { + diagnosticMessage: diagnosticMessage, + errorNode: node, + typeName: (node.parent).name + } + } + getSymbolVisibilityDiagnosticMessage = getHeritageClauseVisibilityError; resolver.writeTypeAtLocation(node, enclosingDeclaration, TypeFormatFlags.WriteArrayAsGenericType, writer); } diff --git a/src/harness/harness.ts b/src/harness/harness.ts index c35ba97df3ad4..b68c27712fcc1 100644 --- a/src/harness/harness.ts +++ b/src/harness/harness.ts @@ -736,13 +736,13 @@ module Harness { checker.checkProgram(); // only emit if there weren't parse errors - var sourceMapData: ts.SourceMapData[]; + var emitResult: ts.EmitResult; if (!hadParseErrors) { - sourceMapData = checker.emitFiles().sourceMaps; + emitResult = checker.emitFiles(); } var errors: MinimalDiagnostic[] = []; - program.getDiagnostics().concat(checker.getDiagnostics()).forEach(err => { + program.getDiagnostics().concat(checker.getDiagnostics()).concat(emitResult ? emitResult.errors : []).forEach(err => { // TODO: new compiler formats errors after this point to add . and newlines so we'll just do it manually for now errors.push({ filename: err.file && err.file.filename, start: err.start, end: err.start + err.length, line: 0, character: 0, message: err.messageText }); }); @@ -750,7 +750,7 @@ module Harness { var result = new CompilerResult(fileOutputs, errors, []); // Covert the source Map data into the baseline - result.updateSourceMapRecord(program, sourceMapData); + result.updateSourceMapRecord(program, emitResult ? emitResult.sourceMaps : undefined); onComplete(result); return options; } diff --git a/tests/baselines/reference/privacyClassExtendsClauseDeclFile.errors.txt b/tests/baselines/reference/privacyClassExtendsClauseDeclFile.errors.txt new file mode 100644 index 0000000000000..598dead51547e --- /dev/null +++ b/tests/baselines/reference/privacyClassExtendsClauseDeclFile.errors.txt @@ -0,0 +1,106 @@ +==== tests/cases/compiler/privacyClassExtendsClauseDeclFile_externalModule.ts (4 errors) ==== + + export module publicModule { + export class publicClassInPublicModule { + private f1() { + } + } + + class privateClassInPublicModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPublicModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPublicModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported class 'publicClassExtendingPrivateClassInModule' has or is using private name 'privateClassInPublicModule'. + } + + class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } + export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported class 'publicClassExtendingFromPrivateModuleClass' has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. + } + } + + module privateModule { + export class publicClassInPrivateModule { + private f1() { + } + } + + class privateClassInPrivateModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPrivateModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPrivateModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPrivateModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPrivateModule { + } + + class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } + export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } + } + + export class publicClass { + private f1() { + } + } + + class privateClass { + } + + class privateClassExtendingPublicClass extends publicClass { + } + class privateClassExtendingPrivateClassInModule extends privateClass { + } + export class publicClassExtendingPublicClass extends publicClass { + } + export class publicClassExtendingPrivateClass extends privateClass { // Should error + ~~~~~~~~~~~~ +!!! Extends clause of exported class 'publicClassExtendingPrivateClass' has or is using private name 'privateClass'. + } + + class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } + export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported class 'publicClassExtendingFromPrivateModuleClass' has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. + } + +==== tests/cases/compiler/privacyClassExtendsClauseDeclFile_GlobalFile.ts (1 errors) ==== + module publicModuleInGlobal { + export class publicClassInPublicModule { + private f1() { + } + } + + class privateClassInPublicModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPublicModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPublicModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported class 'publicClassExtendingPrivateClassInModule' has or is using private name 'privateClassInPublicModule'. + } + } + class publicClassInGlobal { + } + class publicClassExtendingPublicClassInGlobal extends publicClassInGlobal { + } + \ No newline at end of file diff --git a/tests/baselines/reference/privacyClassExtendsClauseDeclFile.js b/tests/baselines/reference/privacyClassExtendsClauseDeclFile.js new file mode 100644 index 0000000000000..77adca24aa680 --- /dev/null +++ b/tests/baselines/reference/privacyClassExtendsClauseDeclFile.js @@ -0,0 +1,351 @@ +//// [tests/cases/compiler/privacyClassExtendsClauseDeclFile.ts] //// + +//// [privacyClassExtendsClauseDeclFile_externalModule.ts] + +export module publicModule { + export class publicClassInPublicModule { + private f1() { + } + } + + class privateClassInPublicModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPublicModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPublicModule { // Should error + } + + class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } + export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { // Should error + } +} + +module privateModule { + export class publicClassInPrivateModule { + private f1() { + } + } + + class privateClassInPrivateModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPrivateModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPrivateModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPrivateModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPrivateModule { + } + + class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } + export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } +} + +export class publicClass { + private f1() { + } +} + +class privateClass { +} + +class privateClassExtendingPublicClass extends publicClass { +} +class privateClassExtendingPrivateClassInModule extends privateClass { +} +export class publicClassExtendingPublicClass extends publicClass { +} +export class publicClassExtendingPrivateClass extends privateClass { // Should error +} + +class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { +} +export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { // Should error +} + +//// [privacyClassExtendsClauseDeclFile_GlobalFile.ts] +module publicModuleInGlobal { + export class publicClassInPublicModule { + private f1() { + } + } + + class privateClassInPublicModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPublicModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPublicModule { // Should error + } +} +class publicClassInGlobal { +} +class publicClassExtendingPublicClassInGlobal extends publicClassInGlobal { +} + + +//// [privacyClassExtendsClauseDeclFile_externalModule.js] +var __extends = this.__extends || function (d, b) { + for (var p in b) if (b.hasOwnProperty(p)) d[p] = b[p]; + function __() { this.constructor = d; } + __.prototype = b.prototype; + d.prototype = new __(); +}; +(function (publicModule) { + var publicClassInPublicModule = (function () { + function publicClassInPublicModule() { + } + publicClassInPublicModule.prototype.f1 = function () { + }; + return publicClassInPublicModule; + })(); + publicModule.publicClassInPublicModule = publicClassInPublicModule; + var privateClassInPublicModule = (function () { + function privateClassInPublicModule() { + } + return privateClassInPublicModule; + })(); + var privateClassExtendingPublicClassInModule = (function (_super) { + __extends(privateClassExtendingPublicClassInModule, _super); + function privateClassExtendingPublicClassInModule() { + _super.apply(this, arguments); + } + return privateClassExtendingPublicClassInModule; + })(publicClassInPublicModule); + var privateClassExtendingPrivateClassInModule = (function (_super) { + __extends(privateClassExtendingPrivateClassInModule, _super); + function privateClassExtendingPrivateClassInModule() { + _super.apply(this, arguments); + } + return privateClassExtendingPrivateClassInModule; + })(privateClassInPublicModule); + var publicClassExtendingPublicClassInModule = (function (_super) { + __extends(publicClassExtendingPublicClassInModule, _super); + function publicClassExtendingPublicClassInModule() { + _super.apply(this, arguments); + } + return publicClassExtendingPublicClassInModule; + })(publicClassInPublicModule); + publicModule.publicClassExtendingPublicClassInModule = publicClassExtendingPublicClassInModule; + var publicClassExtendingPrivateClassInModule = (function (_super) { + __extends(publicClassExtendingPrivateClassInModule, _super); + function publicClassExtendingPrivateClassInModule() { + _super.apply(this, arguments); + } + return publicClassExtendingPrivateClassInModule; + })(privateClassInPublicModule); + publicModule.publicClassExtendingPrivateClassInModule = publicClassExtendingPrivateClassInModule; + var privateClassExtendingFromPrivateModuleClass = (function (_super) { + __extends(privateClassExtendingFromPrivateModuleClass, _super); + function privateClassExtendingFromPrivateModuleClass() { + _super.apply(this, arguments); + } + return privateClassExtendingFromPrivateModuleClass; + })(privateModule.publicClassInPrivateModule); + var publicClassExtendingFromPrivateModuleClass = (function (_super) { + __extends(publicClassExtendingFromPrivateModuleClass, _super); + function publicClassExtendingFromPrivateModuleClass() { + _super.apply(this, arguments); + } + return publicClassExtendingFromPrivateModuleClass; + })(privateModule.publicClassInPrivateModule); + publicModule.publicClassExtendingFromPrivateModuleClass = publicClassExtendingFromPrivateModuleClass; +})(exports.publicModule || (exports.publicModule = {})); +var publicModule = exports.publicModule; +var privateModule; +(function (privateModule) { + var publicClassInPrivateModule = (function () { + function publicClassInPrivateModule() { + } + publicClassInPrivateModule.prototype.f1 = function () { + }; + return publicClassInPrivateModule; + })(); + privateModule.publicClassInPrivateModule = publicClassInPrivateModule; + var privateClassInPrivateModule = (function () { + function privateClassInPrivateModule() { + } + return privateClassInPrivateModule; + })(); + var privateClassExtendingPublicClassInModule = (function (_super) { + __extends(privateClassExtendingPublicClassInModule, _super); + function privateClassExtendingPublicClassInModule() { + _super.apply(this, arguments); + } + return privateClassExtendingPublicClassInModule; + })(publicClassInPrivateModule); + var privateClassExtendingPrivateClassInModule = (function (_super) { + __extends(privateClassExtendingPrivateClassInModule, _super); + function privateClassExtendingPrivateClassInModule() { + _super.apply(this, arguments); + } + return privateClassExtendingPrivateClassInModule; + })(privateClassInPrivateModule); + var publicClassExtendingPublicClassInModule = (function (_super) { + __extends(publicClassExtendingPublicClassInModule, _super); + function publicClassExtendingPublicClassInModule() { + _super.apply(this, arguments); + } + return publicClassExtendingPublicClassInModule; + })(publicClassInPrivateModule); + privateModule.publicClassExtendingPublicClassInModule = publicClassExtendingPublicClassInModule; + var publicClassExtendingPrivateClassInModule = (function (_super) { + __extends(publicClassExtendingPrivateClassInModule, _super); + function publicClassExtendingPrivateClassInModule() { + _super.apply(this, arguments); + } + return publicClassExtendingPrivateClassInModule; + })(privateClassInPrivateModule); + privateModule.publicClassExtendingPrivateClassInModule = publicClassExtendingPrivateClassInModule; + var privateClassExtendingFromPrivateModuleClass = (function (_super) { + __extends(privateClassExtendingFromPrivateModuleClass, _super); + function privateClassExtendingFromPrivateModuleClass() { + _super.apply(this, arguments); + } + return privateClassExtendingFromPrivateModuleClass; + })(privateModule.publicClassInPrivateModule); + var publicClassExtendingFromPrivateModuleClass = (function (_super) { + __extends(publicClassExtendingFromPrivateModuleClass, _super); + function publicClassExtendingFromPrivateModuleClass() { + _super.apply(this, arguments); + } + return publicClassExtendingFromPrivateModuleClass; + })(privateModule.publicClassInPrivateModule); + privateModule.publicClassExtendingFromPrivateModuleClass = publicClassExtendingFromPrivateModuleClass; +})(privateModule || (privateModule = {})); +var publicClass = (function () { + function publicClass() { + } + publicClass.prototype.f1 = function () { + }; + return publicClass; +})(); +exports.publicClass = publicClass; +var privateClass = (function () { + function privateClass() { + } + return privateClass; +})(); +var privateClassExtendingPublicClass = (function (_super) { + __extends(privateClassExtendingPublicClass, _super); + function privateClassExtendingPublicClass() { + _super.apply(this, arguments); + } + return privateClassExtendingPublicClass; +})(publicClass); +var privateClassExtendingPrivateClassInModule = (function (_super) { + __extends(privateClassExtendingPrivateClassInModule, _super); + function privateClassExtendingPrivateClassInModule() { + _super.apply(this, arguments); + } + return privateClassExtendingPrivateClassInModule; +})(privateClass); +var publicClassExtendingPublicClass = (function (_super) { + __extends(publicClassExtendingPublicClass, _super); + function publicClassExtendingPublicClass() { + _super.apply(this, arguments); + } + return publicClassExtendingPublicClass; +})(publicClass); +exports.publicClassExtendingPublicClass = publicClassExtendingPublicClass; +var publicClassExtendingPrivateClass = (function (_super) { + __extends(publicClassExtendingPrivateClass, _super); + function publicClassExtendingPrivateClass() { + _super.apply(this, arguments); + } + return publicClassExtendingPrivateClass; +})(privateClass); +exports.publicClassExtendingPrivateClass = publicClassExtendingPrivateClass; +var privateClassExtendingFromPrivateModuleClass = (function (_super) { + __extends(privateClassExtendingFromPrivateModuleClass, _super); + function privateClassExtendingFromPrivateModuleClass() { + _super.apply(this, arguments); + } + return privateClassExtendingFromPrivateModuleClass; +})(privateModule.publicClassInPrivateModule); +var publicClassExtendingFromPrivateModuleClass = (function (_super) { + __extends(publicClassExtendingFromPrivateModuleClass, _super); + function publicClassExtendingFromPrivateModuleClass() { + _super.apply(this, arguments); + } + return publicClassExtendingFromPrivateModuleClass; +})(privateModule.publicClassInPrivateModule); +exports.publicClassExtendingFromPrivateModuleClass = publicClassExtendingFromPrivateModuleClass; +//// [privacyClassExtendsClauseDeclFile_GlobalFile.js] +var __extends = this.__extends || function (d, b) { + for (var p in b) if (b.hasOwnProperty(p)) d[p] = b[p]; + function __() { this.constructor = d; } + __.prototype = b.prototype; + d.prototype = new __(); +}; +var publicModuleInGlobal; +(function (publicModuleInGlobal) { + var publicClassInPublicModule = (function () { + function publicClassInPublicModule() { + } + publicClassInPublicModule.prototype.f1 = function () { + }; + return publicClassInPublicModule; + })(); + publicModuleInGlobal.publicClassInPublicModule = publicClassInPublicModule; + var privateClassInPublicModule = (function () { + function privateClassInPublicModule() { + } + return privateClassInPublicModule; + })(); + var privateClassExtendingPublicClassInModule = (function (_super) { + __extends(privateClassExtendingPublicClassInModule, _super); + function privateClassExtendingPublicClassInModule() { + _super.apply(this, arguments); + } + return privateClassExtendingPublicClassInModule; + })(publicClassInPublicModule); + var privateClassExtendingPrivateClassInModule = (function (_super) { + __extends(privateClassExtendingPrivateClassInModule, _super); + function privateClassExtendingPrivateClassInModule() { + _super.apply(this, arguments); + } + return privateClassExtendingPrivateClassInModule; + })(privateClassInPublicModule); + var publicClassExtendingPublicClassInModule = (function (_super) { + __extends(publicClassExtendingPublicClassInModule, _super); + function publicClassExtendingPublicClassInModule() { + _super.apply(this, arguments); + } + return publicClassExtendingPublicClassInModule; + })(publicClassInPublicModule); + publicModuleInGlobal.publicClassExtendingPublicClassInModule = publicClassExtendingPublicClassInModule; + var publicClassExtendingPrivateClassInModule = (function (_super) { + __extends(publicClassExtendingPrivateClassInModule, _super); + function publicClassExtendingPrivateClassInModule() { + _super.apply(this, arguments); + } + return publicClassExtendingPrivateClassInModule; + })(privateClassInPublicModule); + publicModuleInGlobal.publicClassExtendingPrivateClassInModule = publicClassExtendingPrivateClassInModule; +})(publicModuleInGlobal || (publicModuleInGlobal = {})); +var publicClassInGlobal = (function () { + function publicClassInGlobal() { + } + return publicClassInGlobal; +})(); +var publicClassExtendingPublicClassInGlobal = (function (_super) { + __extends(publicClassExtendingPublicClassInGlobal, _super); + function publicClassExtendingPublicClassInGlobal() { + _super.apply(this, arguments); + } + return publicClassExtendingPublicClassInGlobal; +})(publicClassInGlobal); diff --git a/tests/baselines/reference/privacyClassImplementsClauseDeclFile.errors.txt b/tests/baselines/reference/privacyClassImplementsClauseDeclFile.errors.txt new file mode 100644 index 0000000000000..61b5e199b079f --- /dev/null +++ b/tests/baselines/reference/privacyClassImplementsClauseDeclFile.errors.txt @@ -0,0 +1,105 @@ +==== tests/cases/compiler/privacyClassImplementsClauseDeclFile_externalModule.ts (5 errors) ==== + + export module publicModule { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Implements clause of exported class 'publicClassImplementingPrivateInterfaceInModule' has or is using private name 'privateInterfaceInPublicModule'. + } + + class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } + export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Implements clause of exported class 'publicClassImplementingFromPrivateModuleInterface' has or is using name 'privateModule.publicInterfaceInPrivateModule' from private module 'privateModule'. + } + + export class publicClassImplementingPrivateAndPublicInterface implements privateInterfaceInPublicModule, publicInterfaceInPublicModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Implements clause of exported class 'publicClassImplementingPrivateAndPublicInterface' has or is using private name 'privateInterfaceInPublicModule'. + } + } + + module privateModule { + export interface publicInterfaceInPrivateModule { + + } + + interface privateInterfaceInPrivateModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPrivateModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPrivateModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPrivateModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPrivateModule { + } + + class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } + export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } + } + + export interface publicInterface { + + } + + interface privateInterface { + } + + class privateClassImplementingPublicInterface implements publicInterface { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterface { + } + export class publicClassImplementingPublicInterface implements publicInterface { + } + export class publicClassImplementingPrivateInterface implements privateInterface { // Should error + ~~~~~~~~~~~~~~~~ +!!! Implements clause of exported class 'publicClassImplementingPrivateInterface' has or is using private name 'privateInterface'. + } + + class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } + export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Implements clause of exported class 'publicClassImplementingFromPrivateModuleInterface' has or is using name 'privateModule.publicInterfaceInPrivateModule' from private module 'privateModule'. + } + +==== tests/cases/compiler/privacyClassImplementsClauseDeclFile_GlobalFile.ts (1 errors) ==== + module publicModuleInGlobal { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Implements clause of exported class 'publicClassImplementingPrivateInterfaceInModule' has or is using private name 'privateInterfaceInPublicModule'. + } + } + interface publicInterfaceInGlobal { + } + class publicClassImplementingPublicInterfaceInGlobal implements publicInterfaceInGlobal { + } + \ No newline at end of file diff --git a/tests/baselines/reference/privacyClassImplementsClauseDeclFile.js b/tests/baselines/reference/privacyClassImplementsClauseDeclFile.js new file mode 100644 index 0000000000000..d4a1ffafd53fe --- /dev/null +++ b/tests/baselines/reference/privacyClassImplementsClauseDeclFile.js @@ -0,0 +1,239 @@ +//// [tests/cases/compiler/privacyClassImplementsClauseDeclFile.ts] //// + +//// [privacyClassImplementsClauseDeclFile_externalModule.ts] + +export module publicModule { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { // Should error + } + + class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } + export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { // Should error + } + + export class publicClassImplementingPrivateAndPublicInterface implements privateInterfaceInPublicModule, publicInterfaceInPublicModule { // Should error + } +} + +module privateModule { + export interface publicInterfaceInPrivateModule { + + } + + interface privateInterfaceInPrivateModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPrivateModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPrivateModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPrivateModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPrivateModule { + } + + class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } + export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } +} + +export interface publicInterface { + +} + +interface privateInterface { +} + +class privateClassImplementingPublicInterface implements publicInterface { +} +class privateClassImplementingPrivateInterfaceInModule implements privateInterface { +} +export class publicClassImplementingPublicInterface implements publicInterface { +} +export class publicClassImplementingPrivateInterface implements privateInterface { // Should error +} + +class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { +} +export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { // Should error +} + +//// [privacyClassImplementsClauseDeclFile_GlobalFile.ts] +module publicModuleInGlobal { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { // Should error + } +} +interface publicInterfaceInGlobal { +} +class publicClassImplementingPublicInterfaceInGlobal implements publicInterfaceInGlobal { +} + + +//// [privacyClassImplementsClauseDeclFile_externalModule.js] +(function (publicModule) { + var privateClassImplementingPublicInterfaceInModule = (function () { + function privateClassImplementingPublicInterfaceInModule() { + } + return privateClassImplementingPublicInterfaceInModule; + })(); + var privateClassImplementingPrivateInterfaceInModule = (function () { + function privateClassImplementingPrivateInterfaceInModule() { + } + return privateClassImplementingPrivateInterfaceInModule; + })(); + var publicClassImplementingPublicInterfaceInModule = (function () { + function publicClassImplementingPublicInterfaceInModule() { + } + return publicClassImplementingPublicInterfaceInModule; + })(); + publicModule.publicClassImplementingPublicInterfaceInModule = publicClassImplementingPublicInterfaceInModule; + var publicClassImplementingPrivateInterfaceInModule = (function () { + function publicClassImplementingPrivateInterfaceInModule() { + } + return publicClassImplementingPrivateInterfaceInModule; + })(); + publicModule.publicClassImplementingPrivateInterfaceInModule = publicClassImplementingPrivateInterfaceInModule; + var privateClassImplementingFromPrivateModuleInterface = (function () { + function privateClassImplementingFromPrivateModuleInterface() { + } + return privateClassImplementingFromPrivateModuleInterface; + })(); + var publicClassImplementingFromPrivateModuleInterface = (function () { + function publicClassImplementingFromPrivateModuleInterface() { + } + return publicClassImplementingFromPrivateModuleInterface; + })(); + publicModule.publicClassImplementingFromPrivateModuleInterface = publicClassImplementingFromPrivateModuleInterface; + var publicClassImplementingPrivateAndPublicInterface = (function () { + function publicClassImplementingPrivateAndPublicInterface() { + } + return publicClassImplementingPrivateAndPublicInterface; + })(); + publicModule.publicClassImplementingPrivateAndPublicInterface = publicClassImplementingPrivateAndPublicInterface; +})(exports.publicModule || (exports.publicModule = {})); +var publicModule = exports.publicModule; +var privateModule; +(function (privateModule) { + var privateClassImplementingPublicInterfaceInModule = (function () { + function privateClassImplementingPublicInterfaceInModule() { + } + return privateClassImplementingPublicInterfaceInModule; + })(); + var privateClassImplementingPrivateInterfaceInModule = (function () { + function privateClassImplementingPrivateInterfaceInModule() { + } + return privateClassImplementingPrivateInterfaceInModule; + })(); + var publicClassImplementingPublicInterfaceInModule = (function () { + function publicClassImplementingPublicInterfaceInModule() { + } + return publicClassImplementingPublicInterfaceInModule; + })(); + privateModule.publicClassImplementingPublicInterfaceInModule = publicClassImplementingPublicInterfaceInModule; + var publicClassImplementingPrivateInterfaceInModule = (function () { + function publicClassImplementingPrivateInterfaceInModule() { + } + return publicClassImplementingPrivateInterfaceInModule; + })(); + privateModule.publicClassImplementingPrivateInterfaceInModule = publicClassImplementingPrivateInterfaceInModule; + var privateClassImplementingFromPrivateModuleInterface = (function () { + function privateClassImplementingFromPrivateModuleInterface() { + } + return privateClassImplementingFromPrivateModuleInterface; + })(); + var publicClassImplementingFromPrivateModuleInterface = (function () { + function publicClassImplementingFromPrivateModuleInterface() { + } + return publicClassImplementingFromPrivateModuleInterface; + })(); + privateModule.publicClassImplementingFromPrivateModuleInterface = publicClassImplementingFromPrivateModuleInterface; +})(privateModule || (privateModule = {})); +var privateClassImplementingPublicInterface = (function () { + function privateClassImplementingPublicInterface() { + } + return privateClassImplementingPublicInterface; +})(); +var privateClassImplementingPrivateInterfaceInModule = (function () { + function privateClassImplementingPrivateInterfaceInModule() { + } + return privateClassImplementingPrivateInterfaceInModule; +})(); +var publicClassImplementingPublicInterface = (function () { + function publicClassImplementingPublicInterface() { + } + return publicClassImplementingPublicInterface; +})(); +exports.publicClassImplementingPublicInterface = publicClassImplementingPublicInterface; +var publicClassImplementingPrivateInterface = (function () { + function publicClassImplementingPrivateInterface() { + } + return publicClassImplementingPrivateInterface; +})(); +exports.publicClassImplementingPrivateInterface = publicClassImplementingPrivateInterface; +var privateClassImplementingFromPrivateModuleInterface = (function () { + function privateClassImplementingFromPrivateModuleInterface() { + } + return privateClassImplementingFromPrivateModuleInterface; +})(); +var publicClassImplementingFromPrivateModuleInterface = (function () { + function publicClassImplementingFromPrivateModuleInterface() { + } + return publicClassImplementingFromPrivateModuleInterface; +})(); +exports.publicClassImplementingFromPrivateModuleInterface = publicClassImplementingFromPrivateModuleInterface; +//// [privacyClassImplementsClauseDeclFile_GlobalFile.js] +var publicModuleInGlobal; +(function (publicModuleInGlobal) { + var privateClassImplementingPublicInterfaceInModule = (function () { + function privateClassImplementingPublicInterfaceInModule() { + } + return privateClassImplementingPublicInterfaceInModule; + })(); + var privateClassImplementingPrivateInterfaceInModule = (function () { + function privateClassImplementingPrivateInterfaceInModule() { + } + return privateClassImplementingPrivateInterfaceInModule; + })(); + var publicClassImplementingPublicInterfaceInModule = (function () { + function publicClassImplementingPublicInterfaceInModule() { + } + return publicClassImplementingPublicInterfaceInModule; + })(); + publicModuleInGlobal.publicClassImplementingPublicInterfaceInModule = publicClassImplementingPublicInterfaceInModule; + var publicClassImplementingPrivateInterfaceInModule = (function () { + function publicClassImplementingPrivateInterfaceInModule() { + } + return publicClassImplementingPrivateInterfaceInModule; + })(); + publicModuleInGlobal.publicClassImplementingPrivateInterfaceInModule = publicClassImplementingPrivateInterfaceInModule; +})(publicModuleInGlobal || (publicModuleInGlobal = {})); +var publicClassImplementingPublicInterfaceInGlobal = (function () { + function publicClassImplementingPublicInterfaceInGlobal() { + } + return publicClassImplementingPublicInterfaceInGlobal; +})(); diff --git a/tests/baselines/reference/privacyInterfaceExtendsClauseDeclFile.errors.txt b/tests/baselines/reference/privacyInterfaceExtendsClauseDeclFile.errors.txt new file mode 100644 index 0000000000000..24fccd203bcc2 --- /dev/null +++ b/tests/baselines/reference/privacyInterfaceExtendsClauseDeclFile.errors.txt @@ -0,0 +1,105 @@ +==== tests/cases/compiler/privacyInterfaceExtendsClauseDeclFile_externalModule.ts (5 errors) ==== + + export module publicModule { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported interface 'publicInterfaceImplementingPrivateInterfaceInModule' has or is using private name 'privateInterfaceInPublicModule'. + } + + interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported interface 'publicInterfaceImplementingFromPrivateModuleInterface' has or is using name 'privateModule.publicInterfaceInPrivateModule' from private module 'privateModule'. + } + + export interface publicInterfaceImplementingPrivateAndPublicInterface extends privateInterfaceInPublicModule, publicInterfaceInPublicModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported interface 'publicInterfaceImplementingPrivateAndPublicInterface' has or is using private name 'privateInterfaceInPublicModule'. + } + } + + module privateModule { + export interface publicInterfaceInPrivateModule { + + } + + interface privateInterfaceInPrivateModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPrivateModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPrivateModule { + } + + interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } + } + + export interface publicInterface { + + } + + interface privateInterface { + } + + interface privateInterfaceImplementingPublicInterface extends publicInterface { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterface { + } + export interface publicInterfaceImplementingPublicInterface extends publicInterface { + } + export interface publicInterfaceImplementingPrivateInterface extends privateInterface { // Should error + ~~~~~~~~~~~~~~~~ +!!! Extends clause of exported interface 'publicInterfaceImplementingPrivateInterface' has or is using private name 'privateInterface'. + } + + interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported interface 'publicInterfaceImplementingFromPrivateModuleInterface' has or is using name 'privateModule.publicInterfaceInPrivateModule' from private module 'privateModule'. + } + +==== tests/cases/compiler/privacyInterfaceExtendsClauseDeclFile_GlobalFile.ts (1 errors) ==== + module publicModuleInGlobal { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { // Should error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! Extends clause of exported interface 'publicInterfaceImplementingPrivateInterfaceInModule' has or is using private name 'privateInterfaceInPublicModule'. + } + } + interface publicInterfaceInGlobal { + } + interface publicInterfaceImplementingPublicInterfaceInGlobal extends publicInterfaceInGlobal { + } + \ No newline at end of file diff --git a/tests/baselines/reference/privacyInterfaceExtendsClauseDeclFile.js b/tests/baselines/reference/privacyInterfaceExtendsClauseDeclFile.js new file mode 100644 index 0000000000000..65f0a2af420b7 --- /dev/null +++ b/tests/baselines/reference/privacyInterfaceExtendsClauseDeclFile.js @@ -0,0 +1,98 @@ +//// [tests/cases/compiler/privacyInterfaceExtendsClauseDeclFile.ts] //// + +//// [privacyInterfaceExtendsClauseDeclFile_externalModule.ts] + +export module publicModule { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { // Should error + } + + interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { // Should error + } + + export interface publicInterfaceImplementingPrivateAndPublicInterface extends privateInterfaceInPublicModule, publicInterfaceInPublicModule { // Should error + } +} + +module privateModule { + export interface publicInterfaceInPrivateModule { + + } + + interface privateInterfaceInPrivateModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPrivateModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPrivateModule { + } + + interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } +} + +export interface publicInterface { + +} + +interface privateInterface { +} + +interface privateInterfaceImplementingPublicInterface extends publicInterface { +} +interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterface { +} +export interface publicInterfaceImplementingPublicInterface extends publicInterface { +} +export interface publicInterfaceImplementingPrivateInterface extends privateInterface { // Should error +} + +interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { +} +export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { // Should error +} + +//// [privacyInterfaceExtendsClauseDeclFile_GlobalFile.ts] +module publicModuleInGlobal { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { // Should error + } +} +interface publicInterfaceInGlobal { +} +interface publicInterfaceImplementingPublicInterfaceInGlobal extends publicInterfaceInGlobal { +} + + +//// [privacyInterfaceExtendsClauseDeclFile_externalModule.js] +//// [privacyInterfaceExtendsClauseDeclFile_GlobalFile.js] diff --git a/tests/cases/compiler/privacyClassExtendsClauseDeclFile.ts b/tests/cases/compiler/privacyClassExtendsClauseDeclFile.ts new file mode 100644 index 0000000000000..4feb4a691b72e --- /dev/null +++ b/tests/cases/compiler/privacyClassExtendsClauseDeclFile.ts @@ -0,0 +1,97 @@ +// @module: commonjs +// @declaration: true + +// @Filename: privacyClassExtendsClauseDeclFile_externalModule.ts +export module publicModule { + export class publicClassInPublicModule { + private f1() { + } + } + + class privateClassInPublicModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPublicModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPublicModule { // Should error + } + + class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } + export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { // Should error + } +} + +module privateModule { + export class publicClassInPrivateModule { + private f1() { + } + } + + class privateClassInPrivateModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPrivateModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPrivateModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPrivateModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPrivateModule { + } + + class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } + export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { + } +} + +export class publicClass { + private f1() { + } +} + +class privateClass { +} + +class privateClassExtendingPublicClass extends publicClass { +} +class privateClassExtendingPrivateClassInModule extends privateClass { +} +export class publicClassExtendingPublicClass extends publicClass { +} +export class publicClassExtendingPrivateClass extends privateClass { // Should error +} + +class privateClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { +} +export class publicClassExtendingFromPrivateModuleClass extends privateModule.publicClassInPrivateModule { // Should error +} + +// @Filename: privacyClassExtendsClauseDeclFile_GlobalFile.ts +module publicModuleInGlobal { + export class publicClassInPublicModule { + private f1() { + } + } + + class privateClassInPublicModule { + } + + class privateClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + class privateClassExtendingPrivateClassInModule extends privateClassInPublicModule { + } + export class publicClassExtendingPublicClassInModule extends publicClassInPublicModule { + } + export class publicClassExtendingPrivateClassInModule extends privateClassInPublicModule { // Should error + } +} +class publicClassInGlobal { +} +class publicClassExtendingPublicClassInGlobal extends publicClassInGlobal { +} diff --git a/tests/cases/compiler/privacyClassImplementsClauseDeclFile.ts b/tests/cases/compiler/privacyClassImplementsClauseDeclFile.ts new file mode 100644 index 0000000000000..17791e49f862d --- /dev/null +++ b/tests/cases/compiler/privacyClassImplementsClauseDeclFile.ts @@ -0,0 +1,94 @@ +// @module: commonjs +// @declaration: true + +// @Filename: privacyClassImplementsClauseDeclFile_externalModule.ts +export module publicModule { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { // Should error + } + + class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } + export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { // Should error + } + + export class publicClassImplementingPrivateAndPublicInterface implements privateInterfaceInPublicModule, publicInterfaceInPublicModule { // Should error + } +} + +module privateModule { + export interface publicInterfaceInPrivateModule { + + } + + interface privateInterfaceInPrivateModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPrivateModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPrivateModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPrivateModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPrivateModule { + } + + class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } + export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { + } +} + +export interface publicInterface { + +} + +interface privateInterface { +} + +class privateClassImplementingPublicInterface implements publicInterface { +} +class privateClassImplementingPrivateInterfaceInModule implements privateInterface { +} +export class publicClassImplementingPublicInterface implements publicInterface { +} +export class publicClassImplementingPrivateInterface implements privateInterface { // Should error +} + +class privateClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { +} +export class publicClassImplementingFromPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { // Should error +} + +// @Filename: privacyClassImplementsClauseDeclFile_GlobalFile.ts +module publicModuleInGlobal { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + class privateClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + class privateClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { + } + export class publicClassImplementingPublicInterfaceInModule implements publicInterfaceInPublicModule { + } + export class publicClassImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { // Should error + } +} +interface publicInterfaceInGlobal { +} +class publicClassImplementingPublicInterfaceInGlobal implements publicInterfaceInGlobal { +} diff --git a/tests/cases/compiler/privacyInterfaceExtendsClauseDeclFile.ts b/tests/cases/compiler/privacyInterfaceExtendsClauseDeclFile.ts new file mode 100644 index 0000000000000..d1c73724bb9a7 --- /dev/null +++ b/tests/cases/compiler/privacyInterfaceExtendsClauseDeclFile.ts @@ -0,0 +1,94 @@ +// @module: commonjs +// @declaration: true + +// @Filename: privacyInterfaceExtendsClauseDeclFile_externalModule.ts +export module publicModule { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { // Should error + } + + interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { // Should error + } + + export interface publicInterfaceImplementingPrivateAndPublicInterface extends privateInterfaceInPublicModule, publicInterfaceInPublicModule { // Should error + } +} + +module privateModule { + export interface publicInterfaceInPrivateModule { + + } + + interface privateInterfaceInPrivateModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPrivateModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPrivateModule { + } + + interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } + export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { + } +} + +export interface publicInterface { + +} + +interface privateInterface { +} + +interface privateInterfaceImplementingPublicInterface extends publicInterface { +} +interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterface { +} +export interface publicInterfaceImplementingPublicInterface extends publicInterface { +} +export interface publicInterfaceImplementingPrivateInterface extends privateInterface { // Should error +} + +interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { +} +export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { // Should error +} + +// @Filename: privacyInterfaceExtendsClauseDeclFile_GlobalFile.ts +module publicModuleInGlobal { + export interface publicInterfaceInPublicModule { + } + + interface privateInterfaceInPublicModule { + } + + interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModule { + } + export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { // Should error + } +} +interface publicInterfaceInGlobal { +} +interface publicInterfaceImplementingPublicInterfaceInGlobal extends publicInterfaceInGlobal { +} From 9fd95fcb95fa13265ad27090a8b1be74ac1e8a3e Mon Sep 17 00:00:00 2001 From: Sheetal Nandi Date: Fri, 18 Jul 2014 18:11:04 -0700 Subject: [PATCH 4/6] Report errors if the type parameter uses constraint that is using private type/module Fixes #86 --- .../diagnosticInformationMap.generated.ts | 16 + src/compiler/diagnosticMessages.json | 64 ++ src/compiler/emitter.ts | 68 ++ .../privacyTypeParameterOfFunction.errors.txt | 136 --- ...TypeParameterOfFunctionDeclFile.errors.txt | 495 +++++++++++ .../privacyTypeParameterOfFunctionDeclFile.js | 816 ++++++++++++++++++ .../privacyTypeParametersOfClass.errors.txt | 47 - ...cyTypeParametersOfClassDeclFile.errors.txt | 163 ++++ .../privacyTypeParametersOfClassDeclFile.js | 383 ++++++++ ...rivacyTypeParametersOfInterface.errors.txt | 62 -- ...peParametersOfInterfaceDeclFile.errors.txt | 199 +++++ ...rivacyTypeParametersOfInterfaceDeclFile.js | 265 ++++++ .../privacyTypeParameterOfFunction.ts | 1 + .../privacyTypeParameterOfFunctionDeclFile.ts | 440 ++++++++++ .../compiler/privacyTypeParametersOfClass.ts | 1 + .../privacyTypeParametersOfClassDeclFile.ts | 155 ++++ .../privacyTypeParametersOfInterface.ts | 1 + ...rivacyTypeParametersOfInterfaceDeclFile.ts | 192 +++++ 18 files changed, 3259 insertions(+), 245 deletions(-) delete mode 100644 tests/baselines/reference/privacyTypeParameterOfFunction.errors.txt create mode 100644 tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.errors.txt create mode 100644 tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.js delete mode 100644 tests/baselines/reference/privacyTypeParametersOfClass.errors.txt create mode 100644 tests/baselines/reference/privacyTypeParametersOfClassDeclFile.errors.txt create mode 100644 tests/baselines/reference/privacyTypeParametersOfClassDeclFile.js delete mode 100644 tests/baselines/reference/privacyTypeParametersOfInterface.errors.txt create mode 100644 tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.errors.txt create mode 100644 tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.js create mode 100644 tests/cases/compiler/privacyTypeParameterOfFunctionDeclFile.ts create mode 100644 tests/cases/compiler/privacyTypeParametersOfClassDeclFile.ts create mode 100644 tests/cases/compiler/privacyTypeParametersOfInterfaceDeclFile.ts diff --git a/src/compiler/diagnosticInformationMap.generated.ts b/src/compiler/diagnosticInformationMap.generated.ts index 80bf686c8ae20..2f5daae7ed481 100644 --- a/src/compiler/diagnosticInformationMap.generated.ts +++ b/src/compiler/diagnosticInformationMap.generated.ts @@ -105,6 +105,22 @@ module ts { Extends_clause_of_exported_class_0_has_or_is_using_name_1_from_private_module_2: { code: 2021, category: DiagnosticCategory.Error, key: "Extends clause of exported class '{0}' has or is using name '{1}' from private module '{2}'." }, Implements_clause_of_exported_class_0_has_or_is_using_name_1_from_private_module_2: { code: 2022, category: DiagnosticCategory.Error, key: "Implements clause of exported class '{0}' has or is using name '{1}' from private module '{2}'." }, Extends_clause_of_exported_interface_0_has_or_is_using_name_1_from_private_module_2: { code: 2023, category: DiagnosticCategory.Error, key: "Extends clause of exported interface '{0}' has or is using name '{1}' from private module '{2}'." }, + TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_private_name_1: { code: 2208, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of constructor signature from exported interface has or is using private name '{1}'." }, + TypeParameter_0_of_call_signature_from_exported_interface_has_or_is_using_private_name_1: { code: 2209, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of call signature from exported interface has or is using private name '{1}'." }, + TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_private_name_1: { code: 2210, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of public static method from exported class has or is using private name '{1}'." }, + TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_private_name_1: { code: 2211, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of public method from exported class has or is using private name '{1}'." }, + TypeParameter_0_of_method_from_exported_interface_has_or_is_using_private_name_1: { code: 2212, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of method from exported interface has or is using private name '{1}'." }, + TypeParameter_0_of_exported_function_has_or_is_using_private_name_1: { code: 2213, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported function has or is using private name '{1}'." }, + TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2214, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of constructor signature from exported interface has or is using name '{1}' from private module '{2}'." }, + TypeParameter_0_of_call_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2215, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of call signature from exported interface has or is using name '{1}' from private module '{2}'." }, + TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2216, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of public static method from exported class has or is using name '{1}' from private module '{2}'." }, + TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2217, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of public method from exported class has or is using name '{1}' from private module '{2}'." }, + TypeParameter_0_of_method_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2218, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of method from exported interface has or is using name '{1}' from private module '{2}'." }, + TypeParameter_0_of_exported_function_has_or_is_using_name_1_from_private_module_2: { code: 2219, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported function has or is using name '{1}' from private module '{2}'." }, + TypeParameter_0_of_exported_class_has_or_is_using_private_name_1: { code: 2220, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported class has or is using private name '{1}'." }, + TypeParameter_0_of_exported_interface_has_or_is_using_private_name_1: { code: 2221, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported interface has or is using private name '{1}'." }, + TypeParameter_0_of_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2222, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported class has or is using name '{1}' from private module '{2}'." }, + TypeParameter_0_of_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2223, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported interface has or is using name '{1}' from private module '{2}'." }, new_T_cannot_be_used_to_create_an_array_Use_new_Array_T_instead: { code: 2068, category: DiagnosticCategory.Error, key: "'new T[]' cannot be used to create an array. Use 'new Array()' instead." }, Multiple_constructor_implementations_are_not_allowed: { code: 2070, category: DiagnosticCategory.Error, key: "Multiple constructor implementations are not allowed." }, A_class_may_only_implement_another_class_or_interface: { code: 2074, category: DiagnosticCategory.Error, key: "A class may only implement another class or interface." }, diff --git a/src/compiler/diagnosticMessages.json b/src/compiler/diagnosticMessages.json index 362f4cd61293a..1b1ccff36fd82 100644 --- a/src/compiler/diagnosticMessages.json +++ b/src/compiler/diagnosticMessages.json @@ -414,6 +414,70 @@ "category": "Error", "code": 2023 }, + "TypeParameter '{0}' of constructor signature from exported interface has or is using private name '{1}'.": { + "category": "Error", + "code": 2208 + }, + "TypeParameter '{0}' of call signature from exported interface has or is using private name '{1}'.": { + "category": "Error", + "code": 2209 + }, + "TypeParameter '{0}' of public static method from exported class has or is using private name '{1}'.": { + "category": "Error", + "code": 2210 + }, + "TypeParameter '{0}' of public method from exported class has or is using private name '{1}'.": { + "category": "Error", + "code": 2211 + }, + "TypeParameter '{0}' of method from exported interface has or is using private name '{1}'.": { + "category": "Error", + "code": 2212 + }, + "TypeParameter '{0}' of exported function has or is using private name '{1}'.": { + "category": "Error", + "code": 2213 + }, + "TypeParameter '{0}' of constructor signature from exported interface has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2214 + }, + "TypeParameter '{0}' of call signature from exported interface has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2215 + }, + "TypeParameter '{0}' of public static method from exported class has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2216 + }, + "TypeParameter '{0}' of public method from exported class has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2217 + }, + "TypeParameter '{0}' of method from exported interface has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2218 + }, + "TypeParameter '{0}' of exported function has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2219 + }, + "TypeParameter '{0}' of exported class has or is using private name '{1}'.": { + "category": "Error", + "code": 2220 + }, + "TypeParameter '{0}' of exported interface has or is using private name '{1}'.": { + "category": "Error", + "code": 2221 + }, + "TypeParameter '{0}' of exported class has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2222 + }, + "TypeParameter '{0}' of exported interface has or is using name '{1}' from private module '{2}'.": { + "category": "Error", + "code": 2223 + }, "'new T[]' cannot be used to create an array. Use 'new Array()' instead.": { "category": "Error", "code": 2068 diff --git a/src/compiler/emitter.ts b/src/compiler/emitter.ts index 5de70cbc318d7..4169d48e0b197 100644 --- a/src/compiler/emitter.ts +++ b/src/compiler/emitter.ts @@ -2011,10 +2011,76 @@ module ts { function emitTypeParameters(typeParameters: TypeParameterDeclaration[]) { function emitTypeParameter(node: TypeParameterDeclaration) { + function getTypeParameterConstraintVisibilityError(symbolAccesibilityResult: SymbolAccessiblityResult) { + // TODO(shkamat) Cannot access name errors + var diagnosticMessage: DiagnosticMessage; + switch (node.parent.kind) { + case SyntaxKind.ClassDeclaration: + diagnosticMessage = symbolAccesibilityResult.errorModuleName ? + Diagnostics.TypeParameter_0_of_exported_class_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.TypeParameter_0_of_exported_class_has_or_is_using_private_name_1; + break; + + case SyntaxKind.InterfaceDeclaration: + diagnosticMessage = symbolAccesibilityResult.errorModuleName ? + Diagnostics.TypeParameter_0_of_exported_interface_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.TypeParameter_0_of_exported_interface_has_or_is_using_private_name_1; + break; + + case SyntaxKind.ConstructSignature: + diagnosticMessage = symbolAccesibilityResult.errorModuleName ? + Diagnostics.TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_private_name_1; + break; + + case SyntaxKind.CallSignature: + diagnosticMessage = symbolAccesibilityResult.errorModuleName ? + Diagnostics.TypeParameter_0_of_call_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.TypeParameter_0_of_call_signature_from_exported_interface_has_or_is_using_private_name_1; + break; + + case SyntaxKind.Method: + if (node.parent.flags & NodeFlags.Static) { + diagnosticMessage = symbolAccesibilityResult.errorModuleName ? + Diagnostics.TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_private_name_1; + } + else if (node.parent.parent.kind === SyntaxKind.ClassDeclaration) { + diagnosticMessage = symbolAccesibilityResult.errorModuleName ? + Diagnostics.TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_private_name_1; + } + else { + diagnosticMessage = symbolAccesibilityResult.errorModuleName ? + Diagnostics.TypeParameter_0_of_method_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.TypeParameter_0_of_method_from_exported_interface_has_or_is_using_private_name_1; + } + break; + + case SyntaxKind.FunctionDeclaration: + diagnosticMessage = symbolAccesibilityResult.errorModuleName ? + Diagnostics.TypeParameter_0_of_exported_function_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.TypeParameter_0_of_exported_function_has_or_is_using_private_name_1; + break; + + default: + Debug.fail("This is unknown parent for type parameter: " + SyntaxKind[node.parent.kind]); + } + + return { + diagnosticMessage: diagnosticMessage, + errorNode: node, + typeName: node.name + } + } + emitSourceTextOfNode(node.name); if (node.constraint) { write(" extends "); + getSymbolVisibilityDiagnosticMessage = getTypeParameterConstraintVisibilityError; resolver.writeTypeAtLocation(node.constraint, enclosingDeclaration, TypeFormatFlags.None, writer); + // TODO(shkamat) This is just till we get rest of the error reporting up + getSymbolVisibilityDiagnosticMessage = undefined; } } @@ -2076,6 +2142,8 @@ module ts { } getSymbolVisibilityDiagnosticMessage = getHeritageClauseVisibilityError; resolver.writeTypeAtLocation(node, enclosingDeclaration, TypeFormatFlags.WriteArrayAsGenericType, writer); + // TODO(shkamat) This is just till we get rest of the error reporting up + getSymbolVisibilityDiagnosticMessage = undefined; } if (typeReferences) { diff --git a/tests/baselines/reference/privacyTypeParameterOfFunction.errors.txt b/tests/baselines/reference/privacyTypeParameterOfFunction.errors.txt deleted file mode 100644 index a48f291d50703..0000000000000 --- a/tests/baselines/reference/privacyTypeParameterOfFunction.errors.txt +++ /dev/null @@ -1,136 +0,0 @@ -==== tests/cases/compiler/privacyTypeParameterOfFunction.ts (1 errors) ==== - class privateClass { - } - - export class publicClass { - ~~~~~~~~~~~~~~~~~~~~~~~~~~ - } - ~ -!!! Cannot compile external modules unless the '--module' flag is provided. - - export interface publicInterfaceWithPrivateTypeParameters { - // TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_private_type_1 - new (): privateClass; - - // TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_private_type_1 - (): privateClass; - - // TypeParameter_0_of_method_from_exported_interface_has_or_is_using_private_type_1 - myMethod(): privateClass; - } - - export interface publicInterfaceWithPublicTypeParameters { - new (): publicClass; - (): publicClass; - myMethod(): publicClass; - } - - interface privateInterfaceWithPrivateTypeParameters { - new (): privateClass; - (): privateClass; - myMethod(): privateClass; - } - - interface privateInterfaceWithPublicTypeParameters { - new (): publicClass; - (): publicClass; - myMethod(): publicClass; - } - - export class publicClassWithWithPrivateTypeParameters { - // TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_private_type_1 - static myPublicStaticMethod() { - } - private static myPrivateStaticMethod() { // No error - } - // TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_private_type_1 - myPublicMethod() { - } - private myPrivateMethod() { // No error - } - } - - export class publicClassWithWithPublicTypeParameters { - static myPublicStaticMethod() { - } - private static myPrivateStaticMethod() { - } - myPublicMethod() { - } - private myPrivateMethod() { - } - } - - class privateClassWithWithPrivateTypeParameters { - static myPublicStaticMethod() { - } - private static myPrivateStaticMethod() { // No error - } - myPublicMethod() { - } - private myPrivateMethod() { // No error - } - } - - class privateClassWithWithPublicTypeParameters { - static myPublicStaticMethod() { - } - private static myPrivateStaticMethod() { - } - myPublicMethod() { - } - private myPrivateMethod() { - } - } - - // TypeParameter_0_of_exported_function_has_or_is_using_private_type_1 - export function publicFunctionWithPrivateTypeParameters() { - } - - export function publicFunctionWithPublicTypeParameters() { - } - - function privateFunctionWithPrivateTypeParameters() { - } - - function privateFunctionWithPublicTypeParameters() { - } - - export interface publicInterfaceWithPublicTypeParametersWithoutExtends { - new (): publicClass; - (): publicClass; - myMethod(): publicClass; - } - - interface privateInterfaceWithPublicTypeParametersWithoutExtends { - new (): publicClass; - (): publicClass; - myMethod(): publicClass; - } - - export class publicClassWithWithPublicTypeParametersWithoutExtends { - static myPublicStaticMethod() { - } - private static myPrivateStaticMethod() { - } - myPublicMethod() { - } - private myPrivateMethod() { - } - } - class privateClassWithWithPublicTypeParametersWithoutExtends { - static myPublicStaticMethod() { - } - private static myPrivateStaticMethod() { - } - myPublicMethod() { - } - private myPrivateMethod() { - } - } - - export function publicFunctionWithPublicTypeParametersWithoutExtends() { - } - - function privateFunctionWithPublicTypeParametersWithoutExtends() { - } \ No newline at end of file diff --git a/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.errors.txt b/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.errors.txt new file mode 100644 index 0000000000000..ccb7be1e18142 --- /dev/null +++ b/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.errors.txt @@ -0,0 +1,495 @@ +==== tests/cases/compiler/privacyTypeParameterOfFunctionDeclFile.ts (28 errors) ==== + class privateClass { + } + + export class publicClass { + } + + export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of constructor signature from exported interface has or is using private name 'privateClass'. + (): privateClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of call signature from exported interface has or is using private name 'privateClass'. + myMethod(): privateClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of method from exported interface has or is using private name 'privateClass'. + } + + export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public static method from exported class has or is using private name 'privateClass'. + } + private static myPrivateStaticMethod() { + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public static method from exported class has or is using private name 'privateClass'. + } + myPublicMethod() { // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public method from exported class has or is using private name 'privateClass'. + } + private myPrivateMethod() { + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public method from exported class has or is using private name 'privateClass'. + } + } + + export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPrivateTypeParameters() { // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported function has or is using private name 'privateClass'. + } + + export function publicFunctionWithPublicTypeParameters() { + } + + function privateFunctionWithPrivateTypeParameters() { + } + + function privateFunctionWithPublicTypeParameters() { + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } + + export interface publicInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of constructor signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. + (): privateModule.publicClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of call signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. + myMethod(): privateModule.publicClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of method from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. + } + export class publicClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public static method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. + } + myPublicMethod() { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. + } + } + export function publicFunctionWithPrivateMopduleTypeParameters() { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported function has or is using name 'privateModule.publicClass' from private module 'privateModule'. + } + + + interface privateInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; + (): privateModule.publicClass; + myMethod(): privateModule.publicClass; + } + class privateClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { + } + myPublicMethod() { + } + } + function privateFunctionWithPrivateMopduleTypeParameters() { + } + + + export module publicModule { + class privateClass { + } + + export class publicClass { + } + + export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of constructor signature from exported interface has or is using private name 'privateClass'. + (): privateClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of call signature from exported interface has or is using private name 'privateClass'. + myMethod(): privateClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of method from exported interface has or is using private name 'privateClass'. + } + + export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public static method from exported class has or is using private name 'privateClass'. + } + private static myPrivateStaticMethod() { + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public static method from exported class has or is using private name 'privateClass'. + } + myPublicMethod() { // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public method from exported class has or is using private name 'privateClass'. + } + private myPrivateMethod() { + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public method from exported class has or is using private name 'privateClass'. + } + } + + export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPrivateTypeParameters() { // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported function has or is using private name 'privateClass'. + } + + export function publicFunctionWithPublicTypeParameters() { + } + + function privateFunctionWithPrivateTypeParameters() { + } + + function privateFunctionWithPublicTypeParameters() { + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } + + export interface publicInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of constructor signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. + (): privateModule.publicClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of call signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. + myMethod(): privateModule.publicClass; // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of method from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. + } + export class publicClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public static method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. + } + myPublicMethod() { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of public method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. + } + } + export function publicFunctionWithPrivateMopduleTypeParameters() { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported function has or is using name 'privateModule.publicClass' from private module 'privateModule'. + } + + + interface privateInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; + (): privateModule.publicClass; + myMethod(): privateModule.publicClass; + } + class privateClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { + } + myPublicMethod() { + } + } + function privateFunctionWithPrivateMopduleTypeParameters() { + } + + } + + module privateModule { + class privateClass { + } + + export class publicClass { + } + + export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPrivateTypeParameters() { + } + + export function publicFunctionWithPublicTypeParameters() { + } + + function privateFunctionWithPrivateTypeParameters() { + } + + function privateFunctionWithPublicTypeParameters() { + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } + } \ No newline at end of file diff --git a/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.js b/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.js new file mode 100644 index 0000000000000..173b48b804956 --- /dev/null +++ b/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.js @@ -0,0 +1,816 @@ +//// [privacyTypeParameterOfFunctionDeclFile.ts] +class privateClass { +} + +export class publicClass { +} + +export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; // Error + (): privateClass; // Error + myMethod(): privateClass; // Error +} + +export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; +} + +interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; +} + +interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; +} + +export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { // Error + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { // Error + } + private myPrivateMethod() { + } +} + +export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} + +class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} + +class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} + +export function publicFunctionWithPrivateTypeParameters() { // Error +} + +export function publicFunctionWithPublicTypeParameters() { +} + +function privateFunctionWithPrivateTypeParameters() { +} + +function privateFunctionWithPublicTypeParameters() { +} + +export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; +} + +interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; +} + +export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} +class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} + +export function publicFunctionWithPublicTypeParametersWithoutExtends() { +} + +function privateFunctionWithPublicTypeParametersWithoutExtends() { +} + +export interface publicInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; // Error + (): privateModule.publicClass; // Error + myMethod(): privateModule.publicClass; // Error +} +export class publicClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { // Error + } + myPublicMethod() { // Error + } +} +export function publicFunctionWithPrivateMopduleTypeParameters() { // Error +} + + +interface privateInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; + (): privateModule.publicClass; + myMethod(): privateModule.publicClass; +} +class privateClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { + } + myPublicMethod() { + } +} +function privateFunctionWithPrivateMopduleTypeParameters() { +} + + +export module publicModule { + class privateClass { + } + + export class publicClass { + } + + export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; // Error + (): privateClass; // Error + myMethod(): privateClass; // Error + } + + export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { // Error + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { // Error + } + private myPrivateMethod() { + } + } + + export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPrivateTypeParameters() { // Error + } + + export function publicFunctionWithPublicTypeParameters() { + } + + function privateFunctionWithPrivateTypeParameters() { + } + + function privateFunctionWithPublicTypeParameters() { + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } + + export interface publicInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; // Error + (): privateModule.publicClass; // Error + myMethod(): privateModule.publicClass; // Error + } + export class publicClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { // Error + } + myPublicMethod() { // Error + } + } + export function publicFunctionWithPrivateMopduleTypeParameters() { // Error + } + + + interface privateInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; + (): privateModule.publicClass; + myMethod(): privateModule.publicClass; + } + class privateClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { + } + myPublicMethod() { + } + } + function privateFunctionWithPrivateMopduleTypeParameters() { + } + +} + +module privateModule { + class privateClass { + } + + export class publicClass { + } + + export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPrivateTypeParameters() { + } + + export function publicFunctionWithPublicTypeParameters() { + } + + function privateFunctionWithPrivateTypeParameters() { + } + + function privateFunctionWithPublicTypeParameters() { + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } +} + +//// [privacyTypeParameterOfFunctionDeclFile.js] +var privateClass = (function () { + function privateClass() { + } + return privateClass; +})(); +var publicClass = (function () { + function publicClass() { + } + return publicClass; +})(); +exports.publicClass = publicClass; +var publicClassWithWithPrivateTypeParameters = (function () { + function publicClassWithWithPrivateTypeParameters() { + } + publicClassWithWithPrivateTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.myPrivateStaticMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPublicMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPrivateTypeParameters; +})(); +exports.publicClassWithWithPrivateTypeParameters = publicClassWithWithPrivateTypeParameters; +var publicClassWithWithPublicTypeParameters = (function () { + function publicClassWithWithPublicTypeParameters() { + } + publicClassWithWithPublicTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPublicTypeParameters.myPrivateStaticMethod = function () { + }; + publicClassWithWithPublicTypeParameters.prototype.myPublicMethod = function () { + }; + publicClassWithWithPublicTypeParameters.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPublicTypeParameters; +})(); +exports.publicClassWithWithPublicTypeParameters = publicClassWithWithPublicTypeParameters; +var privateClassWithWithPrivateTypeParameters = (function () { + function privateClassWithWithPrivateTypeParameters() { + } + privateClassWithWithPrivateTypeParameters.myPublicStaticMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.myPrivateStaticMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.prototype.myPublicMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPrivateTypeParameters; +})(); +var privateClassWithWithPublicTypeParameters = (function () { + function privateClassWithWithPublicTypeParameters() { + } + privateClassWithWithPublicTypeParameters.myPublicStaticMethod = function () { + }; + privateClassWithWithPublicTypeParameters.myPrivateStaticMethod = function () { + }; + privateClassWithWithPublicTypeParameters.prototype.myPublicMethod = function () { + }; + privateClassWithWithPublicTypeParameters.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPublicTypeParameters; +})(); +function publicFunctionWithPrivateTypeParameters() { +} +exports.publicFunctionWithPrivateTypeParameters = publicFunctionWithPrivateTypeParameters; +function publicFunctionWithPublicTypeParameters() { +} +exports.publicFunctionWithPublicTypeParameters = publicFunctionWithPublicTypeParameters; +function privateFunctionWithPrivateTypeParameters() { +} +function privateFunctionWithPublicTypeParameters() { +} +var publicClassWithWithPublicTypeParametersWithoutExtends = (function () { + function publicClassWithWithPublicTypeParametersWithoutExtends() { + } + publicClassWithWithPublicTypeParametersWithoutExtends.myPublicStaticMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.myPrivateStaticMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.prototype.myPublicMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPublicTypeParametersWithoutExtends; +})(); +exports.publicClassWithWithPublicTypeParametersWithoutExtends = publicClassWithWithPublicTypeParametersWithoutExtends; +var privateClassWithWithPublicTypeParametersWithoutExtends = (function () { + function privateClassWithWithPublicTypeParametersWithoutExtends() { + } + privateClassWithWithPublicTypeParametersWithoutExtends.myPublicStaticMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.myPrivateStaticMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.prototype.myPublicMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPublicTypeParametersWithoutExtends; +})(); +function publicFunctionWithPublicTypeParametersWithoutExtends() { +} +exports.publicFunctionWithPublicTypeParametersWithoutExtends = publicFunctionWithPublicTypeParametersWithoutExtends; +function privateFunctionWithPublicTypeParametersWithoutExtends() { +} +var publicClassWithWithPrivateModuleTypeParameters = (function () { + function publicClassWithWithPrivateModuleTypeParameters() { + } + publicClassWithWithPrivateModuleTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPrivateModuleTypeParameters.prototype.myPublicMethod = function () { + }; + return publicClassWithWithPrivateModuleTypeParameters; +})(); +exports.publicClassWithWithPrivateModuleTypeParameters = publicClassWithWithPrivateModuleTypeParameters; +function publicFunctionWithPrivateMopduleTypeParameters() { +} +exports.publicFunctionWithPrivateMopduleTypeParameters = publicFunctionWithPrivateMopduleTypeParameters; +var privateClassWithWithPrivateModuleTypeParameters = (function () { + function privateClassWithWithPrivateModuleTypeParameters() { + } + privateClassWithWithPrivateModuleTypeParameters.myPublicStaticMethod = function () { + }; + privateClassWithWithPrivateModuleTypeParameters.prototype.myPublicMethod = function () { + }; + return privateClassWithWithPrivateModuleTypeParameters; +})(); +function privateFunctionWithPrivateMopduleTypeParameters() { +} +(function (publicModule) { + var privateClass = (function () { + function privateClass() { + } + return privateClass; + })(); + var publicClass = (function () { + function publicClass() { + } + return publicClass; + })(); + publicModule.publicClass = publicClass; + var publicClassWithWithPrivateTypeParameters = (function () { + function publicClassWithWithPrivateTypeParameters() { + } + publicClassWithWithPrivateTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.myPrivateStaticMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPublicMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPrivateTypeParameters; + })(); + publicModule.publicClassWithWithPrivateTypeParameters = publicClassWithWithPrivateTypeParameters; + var publicClassWithWithPublicTypeParameters = (function () { + function publicClassWithWithPublicTypeParameters() { + } + publicClassWithWithPublicTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPublicTypeParameters.myPrivateStaticMethod = function () { + }; + publicClassWithWithPublicTypeParameters.prototype.myPublicMethod = function () { + }; + publicClassWithWithPublicTypeParameters.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPublicTypeParameters; + })(); + publicModule.publicClassWithWithPublicTypeParameters = publicClassWithWithPublicTypeParameters; + var privateClassWithWithPrivateTypeParameters = (function () { + function privateClassWithWithPrivateTypeParameters() { + } + privateClassWithWithPrivateTypeParameters.myPublicStaticMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.myPrivateStaticMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.prototype.myPublicMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPrivateTypeParameters; + })(); + var privateClassWithWithPublicTypeParameters = (function () { + function privateClassWithWithPublicTypeParameters() { + } + privateClassWithWithPublicTypeParameters.myPublicStaticMethod = function () { + }; + privateClassWithWithPublicTypeParameters.myPrivateStaticMethod = function () { + }; + privateClassWithWithPublicTypeParameters.prototype.myPublicMethod = function () { + }; + privateClassWithWithPublicTypeParameters.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPublicTypeParameters; + })(); + function publicFunctionWithPrivateTypeParameters() { + } + publicModule.publicFunctionWithPrivateTypeParameters = publicFunctionWithPrivateTypeParameters; + function publicFunctionWithPublicTypeParameters() { + } + publicModule.publicFunctionWithPublicTypeParameters = publicFunctionWithPublicTypeParameters; + function privateFunctionWithPrivateTypeParameters() { + } + function privateFunctionWithPublicTypeParameters() { + } + var publicClassWithWithPublicTypeParametersWithoutExtends = (function () { + function publicClassWithWithPublicTypeParametersWithoutExtends() { + } + publicClassWithWithPublicTypeParametersWithoutExtends.myPublicStaticMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.myPrivateStaticMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.prototype.myPublicMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPublicTypeParametersWithoutExtends; + })(); + publicModule.publicClassWithWithPublicTypeParametersWithoutExtends = publicClassWithWithPublicTypeParametersWithoutExtends; + var privateClassWithWithPublicTypeParametersWithoutExtends = (function () { + function privateClassWithWithPublicTypeParametersWithoutExtends() { + } + privateClassWithWithPublicTypeParametersWithoutExtends.myPublicStaticMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.myPrivateStaticMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.prototype.myPublicMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPublicTypeParametersWithoutExtends; + })(); + function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + publicModule.publicFunctionWithPublicTypeParametersWithoutExtends = publicFunctionWithPublicTypeParametersWithoutExtends; + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } + var publicClassWithWithPrivateModuleTypeParameters = (function () { + function publicClassWithWithPrivateModuleTypeParameters() { + } + publicClassWithWithPrivateModuleTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPrivateModuleTypeParameters.prototype.myPublicMethod = function () { + }; + return publicClassWithWithPrivateModuleTypeParameters; + })(); + publicModule.publicClassWithWithPrivateModuleTypeParameters = publicClassWithWithPrivateModuleTypeParameters; + function publicFunctionWithPrivateMopduleTypeParameters() { + } + publicModule.publicFunctionWithPrivateMopduleTypeParameters = publicFunctionWithPrivateMopduleTypeParameters; + var privateClassWithWithPrivateModuleTypeParameters = (function () { + function privateClassWithWithPrivateModuleTypeParameters() { + } + privateClassWithWithPrivateModuleTypeParameters.myPublicStaticMethod = function () { + }; + privateClassWithWithPrivateModuleTypeParameters.prototype.myPublicMethod = function () { + }; + return privateClassWithWithPrivateModuleTypeParameters; + })(); + function privateFunctionWithPrivateMopduleTypeParameters() { + } +})(exports.publicModule || (exports.publicModule = {})); +var publicModule = exports.publicModule; +var privateModule; +(function (privateModule) { + var privateClass = (function () { + function privateClass() { + } + return privateClass; + })(); + var publicClass = (function () { + function publicClass() { + } + return publicClass; + })(); + privateModule.publicClass = publicClass; + var publicClassWithWithPrivateTypeParameters = (function () { + function publicClassWithWithPrivateTypeParameters() { + } + publicClassWithWithPrivateTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.myPrivateStaticMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPublicMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPrivateTypeParameters; + })(); + privateModule.publicClassWithWithPrivateTypeParameters = publicClassWithWithPrivateTypeParameters; + var publicClassWithWithPublicTypeParameters = (function () { + function publicClassWithWithPublicTypeParameters() { + } + publicClassWithWithPublicTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPublicTypeParameters.myPrivateStaticMethod = function () { + }; + publicClassWithWithPublicTypeParameters.prototype.myPublicMethod = function () { + }; + publicClassWithWithPublicTypeParameters.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPublicTypeParameters; + })(); + privateModule.publicClassWithWithPublicTypeParameters = publicClassWithWithPublicTypeParameters; + var privateClassWithWithPrivateTypeParameters = (function () { + function privateClassWithWithPrivateTypeParameters() { + } + privateClassWithWithPrivateTypeParameters.myPublicStaticMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.myPrivateStaticMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.prototype.myPublicMethod = function () { + }; + privateClassWithWithPrivateTypeParameters.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPrivateTypeParameters; + })(); + var privateClassWithWithPublicTypeParameters = (function () { + function privateClassWithWithPublicTypeParameters() { + } + privateClassWithWithPublicTypeParameters.myPublicStaticMethod = function () { + }; + privateClassWithWithPublicTypeParameters.myPrivateStaticMethod = function () { + }; + privateClassWithWithPublicTypeParameters.prototype.myPublicMethod = function () { + }; + privateClassWithWithPublicTypeParameters.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPublicTypeParameters; + })(); + function publicFunctionWithPrivateTypeParameters() { + } + privateModule.publicFunctionWithPrivateTypeParameters = publicFunctionWithPrivateTypeParameters; + function publicFunctionWithPublicTypeParameters() { + } + privateModule.publicFunctionWithPublicTypeParameters = publicFunctionWithPublicTypeParameters; + function privateFunctionWithPrivateTypeParameters() { + } + function privateFunctionWithPublicTypeParameters() { + } + var publicClassWithWithPublicTypeParametersWithoutExtends = (function () { + function publicClassWithWithPublicTypeParametersWithoutExtends() { + } + publicClassWithWithPublicTypeParametersWithoutExtends.myPublicStaticMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.myPrivateStaticMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.prototype.myPublicMethod = function () { + }; + publicClassWithWithPublicTypeParametersWithoutExtends.prototype.myPrivateMethod = function () { + }; + return publicClassWithWithPublicTypeParametersWithoutExtends; + })(); + privateModule.publicClassWithWithPublicTypeParametersWithoutExtends = publicClassWithWithPublicTypeParametersWithoutExtends; + var privateClassWithWithPublicTypeParametersWithoutExtends = (function () { + function privateClassWithWithPublicTypeParametersWithoutExtends() { + } + privateClassWithWithPublicTypeParametersWithoutExtends.myPublicStaticMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.myPrivateStaticMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.prototype.myPublicMethod = function () { + }; + privateClassWithWithPublicTypeParametersWithoutExtends.prototype.myPrivateMethod = function () { + }; + return privateClassWithWithPublicTypeParametersWithoutExtends; + })(); + function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + privateModule.publicFunctionWithPublicTypeParametersWithoutExtends = publicFunctionWithPublicTypeParametersWithoutExtends; + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } +})(privateModule || (privateModule = {})); diff --git a/tests/baselines/reference/privacyTypeParametersOfClass.errors.txt b/tests/baselines/reference/privacyTypeParametersOfClass.errors.txt deleted file mode 100644 index ad9ed70998f29..0000000000000 --- a/tests/baselines/reference/privacyTypeParametersOfClass.errors.txt +++ /dev/null @@ -1,47 +0,0 @@ -==== tests/cases/compiler/privacyTypeParametersOfClass.ts (1 errors) ==== - class privateClass { - } - - export class publicClass { - ~~~~~~~~~~~~~~~~~~~~~~~~~~ - } - ~ -!!! Cannot compile external modules unless the '--module' flag is provided. - - // TypeParameter_0_of_exported_class_1_has_or_is_using_private_type_2 - export class publicClassWithPrivateTypeParameters { - myMethod(val: T): T { // Error - return val; - } - } - - export class publicClassWithPublicTypeParameters { - myMethod(val: T): T { // No Error - return val; - } - } - - class privateClassWithPrivateTypeParameters { - myMethod(val: T): T { // No Error - return val; - } - } - - class privateClassWithPublicTypeParameters { - myMethod(val: T): T { // No Error - return val; - } - } - - export class publicClassWithPublicTypeParametersWithoutExtends { - myMethod(val: T): T { // No Error - return val; - } - } - - class privateClassWithPublicTypeParametersWithoutExtends { - myMethod(val: T): T { // No Error - return val; - } - } - \ No newline at end of file diff --git a/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.errors.txt b/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.errors.txt new file mode 100644 index 0000000000000..fd9386f9b1396 --- /dev/null +++ b/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.errors.txt @@ -0,0 +1,163 @@ +==== tests/cases/compiler/privacyTypeParametersOfClassDeclFile.ts (4 errors) ==== + class privateClass { + } + + export class publicClass { + } + + export class publicClassWithPrivateTypeParameters { // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported class has or is using private name 'privateClass'. + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithTypeParametersFromPrivateModule { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported class has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. + myMethod(val: T): T { + return val; + } + } + + class privateClassWithTypeParametersFromPrivateModule { + myMethod(val: T): T { + return val; + } + } + + export module publicModule { + class privateClassInPublicModule { + } + + export class publicClassInPublicModule { + } + + export class publicClassWithPrivateTypeParameters { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported class has or is using private name 'privateClassInPublicModule'. + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithTypeParametersFromPrivateModule { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported class has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. + myMethod(val: T): T { + return val; + } + } + + class privateClassWithTypeParametersFromPrivateModule { + myMethod(val: T): T { + return val; + } + } + } + + module privateModule { + class privateClassInPrivateModule { + } + + export class publicClassInPrivateModule { + } + + export class publicClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + } + \ No newline at end of file diff --git a/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.js b/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.js new file mode 100644 index 0000000000000..ae829f5ab8a40 --- /dev/null +++ b/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.js @@ -0,0 +1,383 @@ +//// [privacyTypeParametersOfClassDeclFile.ts] +class privateClass { +} + +export class publicClass { +} + +export class publicClassWithPrivateTypeParameters { // Error + myMethod(val: T): T { + return val; + } +} + +export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } +} + +class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } +} + +class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } +} + +export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } +} + +class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } +} + +export class publicClassWithTypeParametersFromPrivateModule { // Error + myMethod(val: T): T { + return val; + } +} + +class privateClassWithTypeParametersFromPrivateModule { + myMethod(val: T): T { + return val; + } +} + +export module publicModule { + class privateClassInPublicModule { + } + + export class publicClassInPublicModule { + } + + export class publicClassWithPrivateTypeParameters { // Error + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithTypeParametersFromPrivateModule { // Error + myMethod(val: T): T { + return val; + } + } + + class privateClassWithTypeParametersFromPrivateModule { + myMethod(val: T): T { + return val; + } + } +} + +module privateModule { + class privateClassInPrivateModule { + } + + export class publicClassInPrivateModule { + } + + export class publicClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } +} + + +//// [privacyTypeParametersOfClassDeclFile.js] +var privateClass = (function () { + function privateClass() { + } + return privateClass; +})(); +var publicClass = (function () { + function publicClass() { + } + return publicClass; +})(); +exports.publicClass = publicClass; +var publicClassWithPrivateTypeParameters = (function () { + function publicClassWithPrivateTypeParameters() { + } + publicClassWithPrivateTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPrivateTypeParameters; +})(); +exports.publicClassWithPrivateTypeParameters = publicClassWithPrivateTypeParameters; +var publicClassWithPublicTypeParameters = (function () { + function publicClassWithPublicTypeParameters() { + } + publicClassWithPublicTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPublicTypeParameters; +})(); +exports.publicClassWithPublicTypeParameters = publicClassWithPublicTypeParameters; +var privateClassWithPrivateTypeParameters = (function () { + function privateClassWithPrivateTypeParameters() { + } + privateClassWithPrivateTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPrivateTypeParameters; +})(); +var privateClassWithPublicTypeParameters = (function () { + function privateClassWithPublicTypeParameters() { + } + privateClassWithPublicTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPublicTypeParameters; +})(); +var publicClassWithPublicTypeParametersWithoutExtends = (function () { + function publicClassWithPublicTypeParametersWithoutExtends() { + } + publicClassWithPublicTypeParametersWithoutExtends.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPublicTypeParametersWithoutExtends; +})(); +exports.publicClassWithPublicTypeParametersWithoutExtends = publicClassWithPublicTypeParametersWithoutExtends; +var privateClassWithPublicTypeParametersWithoutExtends = (function () { + function privateClassWithPublicTypeParametersWithoutExtends() { + } + privateClassWithPublicTypeParametersWithoutExtends.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPublicTypeParametersWithoutExtends; +})(); +var publicClassWithTypeParametersFromPrivateModule = (function () { + function publicClassWithTypeParametersFromPrivateModule() { + } + publicClassWithTypeParametersFromPrivateModule.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithTypeParametersFromPrivateModule; +})(); +exports.publicClassWithTypeParametersFromPrivateModule = publicClassWithTypeParametersFromPrivateModule; +var privateClassWithTypeParametersFromPrivateModule = (function () { + function privateClassWithTypeParametersFromPrivateModule() { + } + privateClassWithTypeParametersFromPrivateModule.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithTypeParametersFromPrivateModule; +})(); +(function (publicModule) { + var privateClassInPublicModule = (function () { + function privateClassInPublicModule() { + } + return privateClassInPublicModule; + })(); + var publicClassInPublicModule = (function () { + function publicClassInPublicModule() { + } + return publicClassInPublicModule; + })(); + publicModule.publicClassInPublicModule = publicClassInPublicModule; + var publicClassWithPrivateTypeParameters = (function () { + function publicClassWithPrivateTypeParameters() { + } + publicClassWithPrivateTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPrivateTypeParameters; + })(); + publicModule.publicClassWithPrivateTypeParameters = publicClassWithPrivateTypeParameters; + var publicClassWithPublicTypeParameters = (function () { + function publicClassWithPublicTypeParameters() { + } + publicClassWithPublicTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPublicTypeParameters; + })(); + publicModule.publicClassWithPublicTypeParameters = publicClassWithPublicTypeParameters; + var privateClassWithPrivateTypeParameters = (function () { + function privateClassWithPrivateTypeParameters() { + } + privateClassWithPrivateTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPrivateTypeParameters; + })(); + var privateClassWithPublicTypeParameters = (function () { + function privateClassWithPublicTypeParameters() { + } + privateClassWithPublicTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPublicTypeParameters; + })(); + var publicClassWithPublicTypeParametersWithoutExtends = (function () { + function publicClassWithPublicTypeParametersWithoutExtends() { + } + publicClassWithPublicTypeParametersWithoutExtends.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPublicTypeParametersWithoutExtends; + })(); + publicModule.publicClassWithPublicTypeParametersWithoutExtends = publicClassWithPublicTypeParametersWithoutExtends; + var privateClassWithPublicTypeParametersWithoutExtends = (function () { + function privateClassWithPublicTypeParametersWithoutExtends() { + } + privateClassWithPublicTypeParametersWithoutExtends.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPublicTypeParametersWithoutExtends; + })(); + var publicClassWithTypeParametersFromPrivateModule = (function () { + function publicClassWithTypeParametersFromPrivateModule() { + } + publicClassWithTypeParametersFromPrivateModule.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithTypeParametersFromPrivateModule; + })(); + publicModule.publicClassWithTypeParametersFromPrivateModule = publicClassWithTypeParametersFromPrivateModule; + var privateClassWithTypeParametersFromPrivateModule = (function () { + function privateClassWithTypeParametersFromPrivateModule() { + } + privateClassWithTypeParametersFromPrivateModule.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithTypeParametersFromPrivateModule; + })(); +})(exports.publicModule || (exports.publicModule = {})); +var publicModule = exports.publicModule; +var privateModule; +(function (privateModule) { + var privateClassInPrivateModule = (function () { + function privateClassInPrivateModule() { + } + return privateClassInPrivateModule; + })(); + var publicClassInPrivateModule = (function () { + function publicClassInPrivateModule() { + } + return publicClassInPrivateModule; + })(); + privateModule.publicClassInPrivateModule = publicClassInPrivateModule; + var publicClassWithPrivateTypeParameters = (function () { + function publicClassWithPrivateTypeParameters() { + } + publicClassWithPrivateTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPrivateTypeParameters; + })(); + privateModule.publicClassWithPrivateTypeParameters = publicClassWithPrivateTypeParameters; + var publicClassWithPublicTypeParameters = (function () { + function publicClassWithPublicTypeParameters() { + } + publicClassWithPublicTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPublicTypeParameters; + })(); + privateModule.publicClassWithPublicTypeParameters = publicClassWithPublicTypeParameters; + var privateClassWithPrivateTypeParameters = (function () { + function privateClassWithPrivateTypeParameters() { + } + privateClassWithPrivateTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPrivateTypeParameters; + })(); + var privateClassWithPublicTypeParameters = (function () { + function privateClassWithPublicTypeParameters() { + } + privateClassWithPublicTypeParameters.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPublicTypeParameters; + })(); + var publicClassWithPublicTypeParametersWithoutExtends = (function () { + function publicClassWithPublicTypeParametersWithoutExtends() { + } + publicClassWithPublicTypeParametersWithoutExtends.prototype.myMethod = function (val) { + return val; + }; + return publicClassWithPublicTypeParametersWithoutExtends; + })(); + privateModule.publicClassWithPublicTypeParametersWithoutExtends = publicClassWithPublicTypeParametersWithoutExtends; + var privateClassWithPublicTypeParametersWithoutExtends = (function () { + function privateClassWithPublicTypeParametersWithoutExtends() { + } + privateClassWithPublicTypeParametersWithoutExtends.prototype.myMethod = function (val) { + return val; + }; + return privateClassWithPublicTypeParametersWithoutExtends; + })(); +})(privateModule || (privateModule = {})); diff --git a/tests/baselines/reference/privacyTypeParametersOfInterface.errors.txt b/tests/baselines/reference/privacyTypeParametersOfInterface.errors.txt deleted file mode 100644 index 42eb13995c87e..0000000000000 --- a/tests/baselines/reference/privacyTypeParametersOfInterface.errors.txt +++ /dev/null @@ -1,62 +0,0 @@ -==== tests/cases/compiler/privacyTypeParametersOfInterface.ts (1 errors) ==== - class privateClass { - } - - export class publicClass { - ~~~~~~~~~~~~~~~~~~~~~~~~~~ - } - ~ -!!! Cannot compile external modules unless the '--module' flag is provided. - - class privateClassT { - } - - export class publicClassT { - } - - // TypeParameter_0_of_exported_interface_1_has_or_is_using_private_type_2 - export interface publicInterfaceWithPrivateTypeParameters { - myMethod(val: T): T; // Error - myMethod0(): publicClassT; // error - myMethod1(): privateClassT; // error - myMethod2(): privateClassT; // error - myMethod3(): publicClassT; //error - myMethod4(): publicClassT; // no error - } - - export interface publicInterfaceWithPublicTypeParameters { - myMethod(val: T): T; // No Error - myMethod0(): publicClassT; // No error - myMethod1(): privateClassT; // error - myMethod2(): privateClassT; // error - myMethod3(): publicClassT; //error - myMethod4(): publicClassT; // no error - } - - interface privateInterfaceWithPrivateTypeParameters { - myMethod(val: T): T; // No Error - myMethod0(): publicClassT; // No error - myMethod1(): privateClassT; // No error - myMethod2(): privateClassT; // No error - myMethod3(): publicClassT; //No error - myMethod4(): publicClassT; // no error - } - - interface privateInterfaceWithPublicTypeParameters { - myMethod(val: T): T; // No Error - myMethod0(): publicClassT; // No error - myMethod1(): privateClassT; // No error - myMethod2(): privateClassT; // No error - myMethod3(): publicClassT; //No error - myMethod4(): publicClassT; // no error - } - - export interface publicInterfaceWithPublicTypeParametersWithoutExtends { - myMethod(val: T): T; // No Error - myMethod0(): publicClassT; // No error - } - - interface privateInterfaceWithPublicTypeParametersWithoutExtends { - myMethod(val: T): T; // No Error - myMethod0(): publicClassT; // No error - } \ No newline at end of file diff --git a/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.errors.txt b/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.errors.txt new file mode 100644 index 0000000000000..090ca91836d53 --- /dev/null +++ b/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.errors.txt @@ -0,0 +1,199 @@ +==== tests/cases/compiler/privacyTypeParametersOfInterfaceDeclFile.ts (4 errors) ==== + class privateClass { + } + + export class publicClass { + } + + class privateClassT { + } + + export class publicClassT { + } + + export interface publicInterfaceWithPrivateTypeParameters { // Error + ~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported interface has or is using private name 'privateClass'. + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; + } + + export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; + } + + interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; + } + + interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassT; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassT; + } + + + export interface publicInterfaceWithPrivateModuleTypeParameterConstraints { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported interface has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. + } + + interface privateInterfaceWithPrivateModuleTypeParameterConstraints { // Error + } + + export module publicModule { + class privateClassInPublicModule { + } + + export class publicClassInPublicModule { + } + + class privateClassInPublicModuleT { + } + + export class publicClassInPublicModuleT { + } + + export interface publicInterfaceWithPrivateTypeParameters { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported interface has or is using private name 'privateClassInPublicModule'. + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPrivateModuleTypeParameterConstraints { // Error + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +!!! TypeParameter 'T' of exported interface has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. + } + + interface privateInterfaceWithPrivateModuleTypeParameterConstraints { // Error + } + } + + module privateModule { + class privateClassInPrivateModule { + } + + export class publicClassInPrivateModule { + } + + class privateClassInPrivateModuleT { + } + + export class publicClassInPrivateModuleT { + } + + export interface publicInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + } + } \ No newline at end of file diff --git a/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.js b/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.js new file mode 100644 index 0000000000000..2ae5488dd3cd5 --- /dev/null +++ b/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.js @@ -0,0 +1,265 @@ +//// [privacyTypeParametersOfInterfaceDeclFile.ts] +class privateClass { +} + +export class publicClass { +} + +class privateClassT { +} + +export class publicClassT { +} + +export interface publicInterfaceWithPrivateTypeParameters { // Error + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; +} + +export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; +} + +interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; +} + +interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; +} + +export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassT; +} + +interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassT; +} + + +export interface publicInterfaceWithPrivateModuleTypeParameterConstraints { // Error +} + +interface privateInterfaceWithPrivateModuleTypeParameterConstraints { // Error +} + +export module publicModule { + class privateClassInPublicModule { + } + + export class publicClassInPublicModule { + } + + class privateClassInPublicModuleT { + } + + export class publicClassInPublicModuleT { + } + + export interface publicInterfaceWithPrivateTypeParameters { // Error + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPrivateModuleTypeParameterConstraints { // Error + } + + interface privateInterfaceWithPrivateModuleTypeParameterConstraints { // Error + } +} + +module privateModule { + class privateClassInPrivateModule { + } + + export class publicClassInPrivateModule { + } + + class privateClassInPrivateModuleT { + } + + export class publicClassInPrivateModuleT { + } + + export interface publicInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + } +} + +//// [privacyTypeParametersOfInterfaceDeclFile.js] +var privateClass = (function () { + function privateClass() { + } + return privateClass; +})(); +var publicClass = (function () { + function publicClass() { + } + return publicClass; +})(); +exports.publicClass = publicClass; +var privateClassT = (function () { + function privateClassT() { + } + return privateClassT; +})(); +var publicClassT = (function () { + function publicClassT() { + } + return publicClassT; +})(); +exports.publicClassT = publicClassT; +(function (publicModule) { + var privateClassInPublicModule = (function () { + function privateClassInPublicModule() { + } + return privateClassInPublicModule; + })(); + var publicClassInPublicModule = (function () { + function publicClassInPublicModule() { + } + return publicClassInPublicModule; + })(); + publicModule.publicClassInPublicModule = publicClassInPublicModule; + var privateClassInPublicModuleT = (function () { + function privateClassInPublicModuleT() { + } + return privateClassInPublicModuleT; + })(); + var publicClassInPublicModuleT = (function () { + function publicClassInPublicModuleT() { + } + return publicClassInPublicModuleT; + })(); + publicModule.publicClassInPublicModuleT = publicClassInPublicModuleT; +})(exports.publicModule || (exports.publicModule = {})); +var publicModule = exports.publicModule; +var privateModule; +(function (privateModule) { + var privateClassInPrivateModule = (function () { + function privateClassInPrivateModule() { + } + return privateClassInPrivateModule; + })(); + var publicClassInPrivateModule = (function () { + function publicClassInPrivateModule() { + } + return publicClassInPrivateModule; + })(); + privateModule.publicClassInPrivateModule = publicClassInPrivateModule; + var privateClassInPrivateModuleT = (function () { + function privateClassInPrivateModuleT() { + } + return privateClassInPrivateModuleT; + })(); + var publicClassInPrivateModuleT = (function () { + function publicClassInPrivateModuleT() { + } + return publicClassInPrivateModuleT; + })(); + privateModule.publicClassInPrivateModuleT = publicClassInPrivateModuleT; +})(privateModule || (privateModule = {})); diff --git a/tests/cases/compiler/privacyTypeParameterOfFunction.ts b/tests/cases/compiler/privacyTypeParameterOfFunction.ts index 2b22b5321bb89..dfbecc24bf3f3 100644 --- a/tests/cases/compiler/privacyTypeParameterOfFunction.ts +++ b/tests/cases/compiler/privacyTypeParameterOfFunction.ts @@ -1,3 +1,4 @@ +// @module: commonjs class privateClass { } diff --git a/tests/cases/compiler/privacyTypeParameterOfFunctionDeclFile.ts b/tests/cases/compiler/privacyTypeParameterOfFunctionDeclFile.ts new file mode 100644 index 0000000000000..7ea908e9cfb34 --- /dev/null +++ b/tests/cases/compiler/privacyTypeParameterOfFunctionDeclFile.ts @@ -0,0 +1,440 @@ +// @module: commonjs +// @declaration: true +class privateClass { +} + +export class publicClass { +} + +export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; // Error + (): privateClass; // Error + myMethod(): privateClass; // Error +} + +export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; +} + +interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; +} + +interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; +} + +export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { // Error + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { // Error + } + private myPrivateMethod() { + } +} + +export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} + +class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} + +class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} + +export function publicFunctionWithPrivateTypeParameters() { // Error +} + +export function publicFunctionWithPublicTypeParameters() { +} + +function privateFunctionWithPrivateTypeParameters() { +} + +function privateFunctionWithPublicTypeParameters() { +} + +export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; +} + +interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; +} + +export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} +class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } +} + +export function publicFunctionWithPublicTypeParametersWithoutExtends() { +} + +function privateFunctionWithPublicTypeParametersWithoutExtends() { +} + +export interface publicInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; // Error + (): privateModule.publicClass; // Error + myMethod(): privateModule.publicClass; // Error +} +export class publicClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { // Error + } + myPublicMethod() { // Error + } +} +export function publicFunctionWithPrivateMopduleTypeParameters() { // Error +} + + +interface privateInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; + (): privateModule.publicClass; + myMethod(): privateModule.publicClass; +} +class privateClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { + } + myPublicMethod() { + } +} +function privateFunctionWithPrivateMopduleTypeParameters() { +} + + +export module publicModule { + class privateClass { + } + + export class publicClass { + } + + export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; // Error + (): privateClass; // Error + myMethod(): privateClass; // Error + } + + export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { // Error + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { // Error + } + private myPrivateMethod() { + } + } + + export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPrivateTypeParameters() { // Error + } + + export function publicFunctionWithPublicTypeParameters() { + } + + function privateFunctionWithPrivateTypeParameters() { + } + + function privateFunctionWithPublicTypeParameters() { + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } + + export interface publicInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; // Error + (): privateModule.publicClass; // Error + myMethod(): privateModule.publicClass; // Error + } + export class publicClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { // Error + } + myPublicMethod() { // Error + } + } + export function publicFunctionWithPrivateMopduleTypeParameters() { // Error + } + + + interface privateInterfaceWithPrivatModuleTypeParameters { + new (): privateModule.publicClass; + (): privateModule.publicClass; + myMethod(): privateModule.publicClass; + } + class privateClassWithWithPrivateModuleTypeParameters { + static myPublicStaticMethod() { + } + myPublicMethod() { + } + } + function privateFunctionWithPrivateMopduleTypeParameters() { + } + +} + +module privateModule { + class privateClass { + } + + export class publicClass { + } + + export interface publicInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + export interface publicInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPrivateTypeParameters { + new (): privateClass; + (): privateClass; + myMethod(): privateClass; + } + + interface privateInterfaceWithPublicTypeParameters { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export class publicClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPrivateTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + class privateClassWithWithPublicTypeParameters { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPrivateTypeParameters() { + } + + export function publicFunctionWithPublicTypeParameters() { + } + + function privateFunctionWithPrivateTypeParameters() { + } + + function privateFunctionWithPublicTypeParameters() { + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + new (): publicClass; + (): publicClass; + myMethod(): publicClass; + } + + export class publicClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + class privateClassWithWithPublicTypeParametersWithoutExtends { + static myPublicStaticMethod() { + } + private static myPrivateStaticMethod() { + } + myPublicMethod() { + } + private myPrivateMethod() { + } + } + + export function publicFunctionWithPublicTypeParametersWithoutExtends() { + } + + function privateFunctionWithPublicTypeParametersWithoutExtends() { + } +} \ No newline at end of file diff --git a/tests/cases/compiler/privacyTypeParametersOfClass.ts b/tests/cases/compiler/privacyTypeParametersOfClass.ts index 59f771ef718cf..e7b520e58cac3 100644 --- a/tests/cases/compiler/privacyTypeParametersOfClass.ts +++ b/tests/cases/compiler/privacyTypeParametersOfClass.ts @@ -1,3 +1,4 @@ +// @module: commonjs class privateClass { } diff --git a/tests/cases/compiler/privacyTypeParametersOfClassDeclFile.ts b/tests/cases/compiler/privacyTypeParametersOfClassDeclFile.ts new file mode 100644 index 0000000000000..dcc21ca362a26 --- /dev/null +++ b/tests/cases/compiler/privacyTypeParametersOfClassDeclFile.ts @@ -0,0 +1,155 @@ +// @module: commonjs +// @declaration: true +class privateClass { +} + +export class publicClass { +} + +export class publicClassWithPrivateTypeParameters { // Error + myMethod(val: T): T { + return val; + } +} + +export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } +} + +class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } +} + +class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } +} + +export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } +} + +class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } +} + +export class publicClassWithTypeParametersFromPrivateModule { // Error + myMethod(val: T): T { + return val; + } +} + +class privateClassWithTypeParametersFromPrivateModule { + myMethod(val: T): T { + return val; + } +} + +export module publicModule { + class privateClassInPublicModule { + } + + export class publicClassInPublicModule { + } + + export class publicClassWithPrivateTypeParameters { // Error + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithTypeParametersFromPrivateModule { // Error + myMethod(val: T): T { + return val; + } + } + + class privateClassWithTypeParametersFromPrivateModule { + myMethod(val: T): T { + return val; + } + } +} + +module privateModule { + class privateClassInPrivateModule { + } + + export class publicClassInPrivateModule { + } + + export class publicClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPrivateTypeParameters { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParameters { + myMethod(val: T): T { + return val; + } + } + + export class publicClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } + + class privateClassWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T { + return val; + } + } +} diff --git a/tests/cases/compiler/privacyTypeParametersOfInterface.ts b/tests/cases/compiler/privacyTypeParametersOfInterface.ts index fedb16be766a1..c61174a37c0fc 100644 --- a/tests/cases/compiler/privacyTypeParametersOfInterface.ts +++ b/tests/cases/compiler/privacyTypeParametersOfInterface.ts @@ -1,3 +1,4 @@ +// @module: commonjs class privateClass { } diff --git a/tests/cases/compiler/privacyTypeParametersOfInterfaceDeclFile.ts b/tests/cases/compiler/privacyTypeParametersOfInterfaceDeclFile.ts new file mode 100644 index 0000000000000..55984b46ccb2b --- /dev/null +++ b/tests/cases/compiler/privacyTypeParametersOfInterfaceDeclFile.ts @@ -0,0 +1,192 @@ +// @module: commonjs +// @declaration: true +class privateClass { +} + +export class publicClass { +} + +class privateClassT { +} + +export class publicClassT { +} + +export interface publicInterfaceWithPrivateTypeParameters { // Error + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; +} + +export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; +} + +interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; +} + +interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassT; + myMethod1(): privateClassT; + myMethod2(): privateClassT; + myMethod3(): publicClassT; + myMethod4(): publicClassT; +} + +export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassT; +} + +interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassT; +} + + +export interface publicInterfaceWithPrivateModuleTypeParameterConstraints { // Error +} + +interface privateInterfaceWithPrivateModuleTypeParameterConstraints { // Error +} + +export module publicModule { + class privateClassInPublicModule { + } + + export class publicClassInPublicModule { + } + + class privateClassInPublicModuleT { + } + + export class publicClassInPublicModuleT { + } + + export interface publicInterfaceWithPrivateTypeParameters { // Error + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + myMethod1(): privateClassInPublicModuleT; + myMethod2(): privateClassInPublicModuleT; + myMethod3(): publicClassInPublicModuleT; + myMethod4(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPublicModuleT; + } + + export interface publicInterfaceWithPrivateModuleTypeParameterConstraints { // Error + } + + interface privateInterfaceWithPrivateModuleTypeParameterConstraints { // Error + } +} + +module privateModule { + class privateClassInPrivateModule { + } + + export class publicClassInPrivateModule { + } + + class privateClassInPrivateModuleT { + } + + export class publicClassInPrivateModuleT { + } + + export interface publicInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + export interface publicInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPrivateTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPublicTypeParameters { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + myMethod1(): privateClassInPrivateModuleT; + myMethod2(): privateClassInPrivateModuleT; + myMethod3(): publicClassInPrivateModuleT; + myMethod4(): publicClassInPrivateModuleT; + } + + export interface publicInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + } + + interface privateInterfaceWithPublicTypeParametersWithoutExtends { + myMethod(val: T): T; + myMethod0(): publicClassInPrivateModuleT; + } +} \ No newline at end of file From 0e76a820724cc2677d5f87a84ea5af711c77c597 Mon Sep 17 00:00:00 2001 From: Sheetal Nandi Date: Mon, 4 Aug 2014 12:06:07 -0700 Subject: [PATCH 5/6] Fix the incorrect error reporting and declaration file emit for the type parameter constraint of private methods Also incorporates code review feedback --- .../diagnosticInformationMap.generated.ts | 32 ++++----- src/compiler/diagnosticMessages.json | 32 ++++----- src/compiler/emitter.ts | 54 +++++++-------- ...TypeParameterOfFunctionDeclFile.errors.txt | 58 +++++++--------- ...cyTypeParametersOfClassDeclFile.errors.txt | 8 +-- ...peParametersOfInterfaceDeclFile.errors.txt | 8 +-- ...dWithTypeParameterExtendsClauseDeclFile.js | 66 +++++++++++++++++++ ...dWithTypeParameterExtendsClauseDeclFile.ts | 22 +++++++ 8 files changed, 181 insertions(+), 99 deletions(-) create mode 100644 tests/baselines/reference/staticMethodWithTypeParameterExtendsClauseDeclFile.js create mode 100644 tests/cases/compiler/staticMethodWithTypeParameterExtendsClauseDeclFile.ts diff --git a/src/compiler/diagnosticInformationMap.generated.ts b/src/compiler/diagnosticInformationMap.generated.ts index 2f5daae7ed481..c7c28f9e22696 100644 --- a/src/compiler/diagnosticInformationMap.generated.ts +++ b/src/compiler/diagnosticInformationMap.generated.ts @@ -105,22 +105,22 @@ module ts { Extends_clause_of_exported_class_0_has_or_is_using_name_1_from_private_module_2: { code: 2021, category: DiagnosticCategory.Error, key: "Extends clause of exported class '{0}' has or is using name '{1}' from private module '{2}'." }, Implements_clause_of_exported_class_0_has_or_is_using_name_1_from_private_module_2: { code: 2022, category: DiagnosticCategory.Error, key: "Implements clause of exported class '{0}' has or is using name '{1}' from private module '{2}'." }, Extends_clause_of_exported_interface_0_has_or_is_using_name_1_from_private_module_2: { code: 2023, category: DiagnosticCategory.Error, key: "Extends clause of exported interface '{0}' has or is using name '{1}' from private module '{2}'." }, - TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_private_name_1: { code: 2208, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of constructor signature from exported interface has or is using private name '{1}'." }, - TypeParameter_0_of_call_signature_from_exported_interface_has_or_is_using_private_name_1: { code: 2209, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of call signature from exported interface has or is using private name '{1}'." }, - TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_private_name_1: { code: 2210, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of public static method from exported class has or is using private name '{1}'." }, - TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_private_name_1: { code: 2211, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of public method from exported class has or is using private name '{1}'." }, - TypeParameter_0_of_method_from_exported_interface_has_or_is_using_private_name_1: { code: 2212, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of method from exported interface has or is using private name '{1}'." }, - TypeParameter_0_of_exported_function_has_or_is_using_private_name_1: { code: 2213, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported function has or is using private name '{1}'." }, - TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2214, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of constructor signature from exported interface has or is using name '{1}' from private module '{2}'." }, - TypeParameter_0_of_call_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2215, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of call signature from exported interface has or is using name '{1}' from private module '{2}'." }, - TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2216, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of public static method from exported class has or is using name '{1}' from private module '{2}'." }, - TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2217, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of public method from exported class has or is using name '{1}' from private module '{2}'." }, - TypeParameter_0_of_method_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2218, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of method from exported interface has or is using name '{1}' from private module '{2}'." }, - TypeParameter_0_of_exported_function_has_or_is_using_name_1_from_private_module_2: { code: 2219, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported function has or is using name '{1}' from private module '{2}'." }, - TypeParameter_0_of_exported_class_has_or_is_using_private_name_1: { code: 2220, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported class has or is using private name '{1}'." }, - TypeParameter_0_of_exported_interface_has_or_is_using_private_name_1: { code: 2221, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported interface has or is using private name '{1}'." }, - TypeParameter_0_of_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2222, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported class has or is using name '{1}' from private module '{2}'." }, - TypeParameter_0_of_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2223, category: DiagnosticCategory.Error, key: "TypeParameter '{0}' of exported interface has or is using name '{1}' from private module '{2}'." }, + Type_parameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_private_name_1: { code: 2208, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of constructor signature from exported interface has or is using private name '{1}'." }, + Type_parameter_0_of_call_signature_from_exported_interface_has_or_is_using_private_name_1: { code: 2209, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of call signature from exported interface has or is using private name '{1}'." }, + Type_parameter_0_of_public_static_method_from_exported_class_has_or_is_using_private_name_1: { code: 2210, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of public static method from exported class has or is using private name '{1}'." }, + Type_parameter_0_of_public_method_from_exported_class_has_or_is_using_private_name_1: { code: 2211, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of public method from exported class has or is using private name '{1}'." }, + Type_parameter_0_of_method_from_exported_interface_has_or_is_using_private_name_1: { code: 2212, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of method from exported interface has or is using private name '{1}'." }, + Type_parameter_0_of_exported_function_has_or_is_using_private_name_1: { code: 2213, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of exported function has or is using private name '{1}'." }, + Type_parameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2214, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of constructor signature from exported interface has or is using name '{1}' from private module '{2}'." }, + Type_parameter_0_of_call_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2215, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of call signature from exported interface has or is using name '{1}' from private module '{2}'." }, + Type_parameter_0_of_public_static_method_from_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2216, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of public static method from exported class has or is using name '{1}' from private module '{2}'." }, + Type_parameter_0_of_public_method_from_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2217, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of public method from exported class has or is using name '{1}' from private module '{2}'." }, + Type_parameter_0_of_method_from_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2218, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of method from exported interface has or is using name '{1}' from private module '{2}'." }, + Type_parameter_0_of_exported_function_has_or_is_using_name_1_from_private_module_2: { code: 2219, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of exported function has or is using name '{1}' from private module '{2}'." }, + Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: { code: 2220, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of exported class has or is using private name '{1}'." }, + Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: { code: 2221, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of exported interface has or is using private name '{1}'." }, + Type_parameter_0_of_exported_class_has_or_is_using_name_1_from_private_module_2: { code: 2222, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of exported class has or is using name '{1}' from private module '{2}'." }, + Type_parameter_0_of_exported_interface_has_or_is_using_name_1_from_private_module_2: { code: 2223, category: DiagnosticCategory.Error, key: "Type parameter '{0}' of exported interface has or is using name '{1}' from private module '{2}'." }, new_T_cannot_be_used_to_create_an_array_Use_new_Array_T_instead: { code: 2068, category: DiagnosticCategory.Error, key: "'new T[]' cannot be used to create an array. Use 'new Array()' instead." }, Multiple_constructor_implementations_are_not_allowed: { code: 2070, category: DiagnosticCategory.Error, key: "Multiple constructor implementations are not allowed." }, A_class_may_only_implement_another_class_or_interface: { code: 2074, category: DiagnosticCategory.Error, key: "A class may only implement another class or interface." }, diff --git a/src/compiler/diagnosticMessages.json b/src/compiler/diagnosticMessages.json index 1b1ccff36fd82..e963757079406 100644 --- a/src/compiler/diagnosticMessages.json +++ b/src/compiler/diagnosticMessages.json @@ -414,67 +414,67 @@ "category": "Error", "code": 2023 }, - "TypeParameter '{0}' of constructor signature from exported interface has or is using private name '{1}'.": { + "Type parameter '{0}' of constructor signature from exported interface has or is using private name '{1}'.": { "category": "Error", "code": 2208 }, - "TypeParameter '{0}' of call signature from exported interface has or is using private name '{1}'.": { + "Type parameter '{0}' of call signature from exported interface has or is using private name '{1}'.": { "category": "Error", "code": 2209 }, - "TypeParameter '{0}' of public static method from exported class has or is using private name '{1}'.": { + "Type parameter '{0}' of public static method from exported class has or is using private name '{1}'.": { "category": "Error", "code": 2210 }, - "TypeParameter '{0}' of public method from exported class has or is using private name '{1}'.": { + "Type parameter '{0}' of public method from exported class has or is using private name '{1}'.": { "category": "Error", "code": 2211 }, - "TypeParameter '{0}' of method from exported interface has or is using private name '{1}'.": { + "Type parameter '{0}' of method from exported interface has or is using private name '{1}'.": { "category": "Error", "code": 2212 }, - "TypeParameter '{0}' of exported function has or is using private name '{1}'.": { + "Type parameter '{0}' of exported function has or is using private name '{1}'.": { "category": "Error", "code": 2213 }, - "TypeParameter '{0}' of constructor signature from exported interface has or is using name '{1}' from private module '{2}'.": { + "Type parameter '{0}' of constructor signature from exported interface has or is using name '{1}' from private module '{2}'.": { "category": "Error", "code": 2214 }, - "TypeParameter '{0}' of call signature from exported interface has or is using name '{1}' from private module '{2}'.": { + "Type parameter '{0}' of call signature from exported interface has or is using name '{1}' from private module '{2}'.": { "category": "Error", "code": 2215 }, - "TypeParameter '{0}' of public static method from exported class has or is using name '{1}' from private module '{2}'.": { + "Type parameter '{0}' of public static method from exported class has or is using name '{1}' from private module '{2}'.": { "category": "Error", "code": 2216 }, - "TypeParameter '{0}' of public method from exported class has or is using name '{1}' from private module '{2}'.": { + "Type parameter '{0}' of public method from exported class has or is using name '{1}' from private module '{2}'.": { "category": "Error", "code": 2217 }, - "TypeParameter '{0}' of method from exported interface has or is using name '{1}' from private module '{2}'.": { + "Type parameter '{0}' of method from exported interface has or is using name '{1}' from private module '{2}'.": { "category": "Error", "code": 2218 }, - "TypeParameter '{0}' of exported function has or is using name '{1}' from private module '{2}'.": { + "Type parameter '{0}' of exported function has or is using name '{1}' from private module '{2}'.": { "category": "Error", "code": 2219 }, - "TypeParameter '{0}' of exported class has or is using private name '{1}'.": { + "Type parameter '{0}' of exported class has or is using private name '{1}'.": { "category": "Error", "code": 2220 }, - "TypeParameter '{0}' of exported interface has or is using private name '{1}'.": { + "Type parameter '{0}' of exported interface has or is using private name '{1}'.": { "category": "Error", "code": 2221 }, - "TypeParameter '{0}' of exported class has or is using name '{1}' from private module '{2}'.": { + "Type parameter '{0}' of exported class has or is using name '{1}' from private module '{2}'.": { "category": "Error", "code": 2222 }, - "TypeParameter '{0}' of exported interface has or is using name '{1}' from private module '{2}'.": { + "Type parameter '{0}' of exported interface has or is using name '{1}' from private module '{2}'.": { "category": "Error", "code": 2223 }, diff --git a/src/compiler/emitter.ts b/src/compiler/emitter.ts index 4169d48e0b197..6052e5c3ba06b 100644 --- a/src/compiler/emitter.ts +++ b/src/compiler/emitter.ts @@ -2017,50 +2017,50 @@ module ts { switch (node.parent.kind) { case SyntaxKind.ClassDeclaration: diagnosticMessage = symbolAccesibilityResult.errorModuleName ? - Diagnostics.TypeParameter_0_of_exported_class_has_or_is_using_name_1_from_private_module_2 : - Diagnostics.TypeParameter_0_of_exported_class_has_or_is_using_private_name_1; + Diagnostics.Type_parameter_0_of_exported_class_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Type_parameter_0_of_exported_class_has_or_is_using_private_name_1; break; case SyntaxKind.InterfaceDeclaration: diagnosticMessage = symbolAccesibilityResult.errorModuleName ? - Diagnostics.TypeParameter_0_of_exported_interface_has_or_is_using_name_1_from_private_module_2 : - Diagnostics.TypeParameter_0_of_exported_interface_has_or_is_using_private_name_1; + Diagnostics.Type_parameter_0_of_exported_interface_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1; break; case SyntaxKind.ConstructSignature: diagnosticMessage = symbolAccesibilityResult.errorModuleName ? - Diagnostics.TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : - Diagnostics.TypeParameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_private_name_1; + Diagnostics.Type_parameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Type_parameter_0_of_constructor_signature_from_exported_interface_has_or_is_using_private_name_1; break; case SyntaxKind.CallSignature: diagnosticMessage = symbolAccesibilityResult.errorModuleName ? - Diagnostics.TypeParameter_0_of_call_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : - Diagnostics.TypeParameter_0_of_call_signature_from_exported_interface_has_or_is_using_private_name_1; + Diagnostics.Type_parameter_0_of_call_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Type_parameter_0_of_call_signature_from_exported_interface_has_or_is_using_private_name_1; break; case SyntaxKind.Method: if (node.parent.flags & NodeFlags.Static) { diagnosticMessage = symbolAccesibilityResult.errorModuleName ? - Diagnostics.TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_name_1_from_private_module_2 : - Diagnostics.TypeParameter_0_of_public_static_method_from_exported_class_has_or_is_using_private_name_1; + Diagnostics.Type_parameter_0_of_public_static_method_from_exported_class_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Type_parameter_0_of_public_static_method_from_exported_class_has_or_is_using_private_name_1; } else if (node.parent.parent.kind === SyntaxKind.ClassDeclaration) { diagnosticMessage = symbolAccesibilityResult.errorModuleName ? - Diagnostics.TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_name_1_from_private_module_2 : - Diagnostics.TypeParameter_0_of_public_method_from_exported_class_has_or_is_using_private_name_1; + Diagnostics.Type_parameter_0_of_public_method_from_exported_class_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Type_parameter_0_of_public_method_from_exported_class_has_or_is_using_private_name_1; } else { diagnosticMessage = symbolAccesibilityResult.errorModuleName ? - Diagnostics.TypeParameter_0_of_method_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : - Diagnostics.TypeParameter_0_of_method_from_exported_interface_has_or_is_using_private_name_1; + Diagnostics.Type_parameter_0_of_method_from_exported_interface_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Type_parameter_0_of_method_from_exported_interface_has_or_is_using_private_name_1; } break; case SyntaxKind.FunctionDeclaration: diagnosticMessage = symbolAccesibilityResult.errorModuleName ? - Diagnostics.TypeParameter_0_of_exported_function_has_or_is_using_name_1_from_private_module_2 : - Diagnostics.TypeParameter_0_of_exported_function_has_or_is_using_private_name_1; + Diagnostics.Type_parameter_0_of_exported_function_has_or_is_using_name_1_from_private_module_2 : + Diagnostics.Type_parameter_0_of_exported_function_has_or_is_using_private_name_1; break; default: @@ -2075,7 +2075,8 @@ module ts { } emitSourceTextOfNode(node.name); - if (node.constraint) { + // If there is constraint present and this is not a type parameter of the private method emit the constraint + if (node.constraint && (node.parent.kind !== SyntaxKind.Method || !(node.parent.flags & NodeFlags.Private))) { write(" extends "); getSymbolVisibilityDiagnosticMessage = getTypeParameterConstraintVisibilityError; resolver.writeTypeAtLocation(node.constraint, enclosingDeclaration, TypeFormatFlags.None, writer); @@ -2092,7 +2093,17 @@ module ts { } function emitHeritageClause(typeReferences: TypeReferenceNode[], isImplementsList: boolean) { + if (typeReferences) { + write(isImplementsList ? " implements " : " extends "); + emitCommaList(typeReferences, emitTypeOfTypeReference); + } + function emitTypeOfTypeReference(node: Node) { + getSymbolVisibilityDiagnosticMessage = getHeritageClauseVisibilityError; + resolver.writeTypeAtLocation(node, enclosingDeclaration, TypeFormatFlags.WriteArrayAsGenericType, writer); + // TODO(shkamat) This is just till we get rest of the error reporting up + getSymbolVisibilityDiagnosticMessage = undefined; + function getHeritageClauseVisibilityError(symbolAccesibilityResult: SymbolAccessiblityResult) { var diagnosticMessage: DiagnosticMessage; if (node.parent.kind === SyntaxKind.ClassDeclaration) { @@ -2140,15 +2151,6 @@ module ts { typeName: (node.parent).name } } - getSymbolVisibilityDiagnosticMessage = getHeritageClauseVisibilityError; - resolver.writeTypeAtLocation(node, enclosingDeclaration, TypeFormatFlags.WriteArrayAsGenericType, writer); - // TODO(shkamat) This is just till we get rest of the error reporting up - getSymbolVisibilityDiagnosticMessage = undefined; - } - - if (typeReferences) { - write(isImplementsList ? " implements " : " extends "); - emitCommaList(typeReferences, emitTypeOfTypeReference); } } diff --git a/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.errors.txt b/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.errors.txt index ccb7be1e18142..8e892e57deed5 100644 --- a/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.errors.txt +++ b/tests/baselines/reference/privacyTypeParameterOfFunctionDeclFile.errors.txt @@ -1,4 +1,4 @@ -==== tests/cases/compiler/privacyTypeParameterOfFunctionDeclFile.ts (28 errors) ==== +==== tests/cases/compiler/privacyTypeParameterOfFunctionDeclFile.ts (24 errors) ==== class privateClass { } @@ -8,13 +8,13 @@ export interface publicInterfaceWithPrivateTypeParameters { new (): privateClass; // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of constructor signature from exported interface has or is using private name 'privateClass'. +!!! Type parameter 'T' of constructor signature from exported interface has or is using private name 'privateClass'. (): privateClass; // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of call signature from exported interface has or is using private name 'privateClass'. +!!! Type parameter 'T' of call signature from exported interface has or is using private name 'privateClass'. myMethod(): privateClass; // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of method from exported interface has or is using private name 'privateClass'. +!!! Type parameter 'T' of method from exported interface has or is using private name 'privateClass'. } export interface publicInterfaceWithPublicTypeParameters { @@ -38,19 +38,15 @@ export class publicClassWithWithPrivateTypeParameters { static myPublicStaticMethod() { // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public static method from exported class has or is using private name 'privateClass'. +!!! Type parameter 'T' of public static method from exported class has or is using private name 'privateClass'. } private static myPrivateStaticMethod() { - ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public static method from exported class has or is using private name 'privateClass'. } myPublicMethod() { // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public method from exported class has or is using private name 'privateClass'. +!!! Type parameter 'T' of public method from exported class has or is using private name 'privateClass'. } private myPrivateMethod() { - ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public method from exported class has or is using private name 'privateClass'. } } @@ -89,7 +85,7 @@ export function publicFunctionWithPrivateTypeParameters() { // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported function has or is using private name 'privateClass'. +!!! Type parameter 'T' of exported function has or is using private name 'privateClass'. } export function publicFunctionWithPublicTypeParameters() { @@ -143,27 +139,27 @@ export interface publicInterfaceWithPrivatModuleTypeParameters { new (): privateModule.publicClass; // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of constructor signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of constructor signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. (): privateModule.publicClass; // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of call signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of call signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. myMethod(): privateModule.publicClass; // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of method from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of method from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. } export class publicClassWithWithPrivateModuleTypeParameters { static myPublicStaticMethod() { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public static method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of public static method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. } myPublicMethod() { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of public method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. } } export function publicFunctionWithPrivateMopduleTypeParameters() { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported function has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of exported function has or is using name 'privateModule.publicClass' from private module 'privateModule'. } @@ -192,13 +188,13 @@ export interface publicInterfaceWithPrivateTypeParameters { new (): privateClass; // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of constructor signature from exported interface has or is using private name 'privateClass'. +!!! Type parameter 'T' of constructor signature from exported interface has or is using private name 'privateClass'. (): privateClass; // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of call signature from exported interface has or is using private name 'privateClass'. +!!! Type parameter 'T' of call signature from exported interface has or is using private name 'privateClass'. myMethod(): privateClass; // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of method from exported interface has or is using private name 'privateClass'. +!!! Type parameter 'T' of method from exported interface has or is using private name 'privateClass'. } export interface publicInterfaceWithPublicTypeParameters { @@ -222,19 +218,15 @@ export class publicClassWithWithPrivateTypeParameters { static myPublicStaticMethod() { // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public static method from exported class has or is using private name 'privateClass'. +!!! Type parameter 'T' of public static method from exported class has or is using private name 'privateClass'. } private static myPrivateStaticMethod() { - ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public static method from exported class has or is using private name 'privateClass'. } myPublicMethod() { // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public method from exported class has or is using private name 'privateClass'. +!!! Type parameter 'T' of public method from exported class has or is using private name 'privateClass'. } private myPrivateMethod() { - ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public method from exported class has or is using private name 'privateClass'. } } @@ -273,7 +265,7 @@ export function publicFunctionWithPrivateTypeParameters() { // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported function has or is using private name 'privateClass'. +!!! Type parameter 'T' of exported function has or is using private name 'privateClass'. } export function publicFunctionWithPublicTypeParameters() { @@ -327,27 +319,27 @@ export interface publicInterfaceWithPrivatModuleTypeParameters { new (): privateModule.publicClass; // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of constructor signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of constructor signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. (): privateModule.publicClass; // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of call signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of call signature from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. myMethod(): privateModule.publicClass; // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of method from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of method from exported interface has or is using name 'privateModule.publicClass' from private module 'privateModule'. } export class publicClassWithWithPrivateModuleTypeParameters { static myPublicStaticMethod() { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public static method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of public static method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. } myPublicMethod() { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of public method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of public method from exported class has or is using name 'privateModule.publicClass' from private module 'privateModule'. } } export function publicFunctionWithPrivateMopduleTypeParameters() { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported function has or is using name 'privateModule.publicClass' from private module 'privateModule'. +!!! Type parameter 'T' of exported function has or is using name 'privateModule.publicClass' from private module 'privateModule'. } diff --git a/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.errors.txt b/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.errors.txt index fd9386f9b1396..b413b671f408a 100644 --- a/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.errors.txt +++ b/tests/baselines/reference/privacyTypeParametersOfClassDeclFile.errors.txt @@ -7,7 +7,7 @@ export class publicClassWithPrivateTypeParameters { // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported class has or is using private name 'privateClass'. +!!! Type parameter 'T' of exported class has or is using private name 'privateClass'. myMethod(val: T): T { return val; } @@ -45,7 +45,7 @@ export class publicClassWithTypeParametersFromPrivateModule { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported class has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. +!!! Type parameter 'T' of exported class has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. myMethod(val: T): T { return val; } @@ -66,7 +66,7 @@ export class publicClassWithPrivateTypeParameters { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported class has or is using private name 'privateClassInPublicModule'. +!!! Type parameter 'T' of exported class has or is using private name 'privateClassInPublicModule'. myMethod(val: T): T { return val; } @@ -104,7 +104,7 @@ export class publicClassWithTypeParametersFromPrivateModule { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported class has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. +!!! Type parameter 'T' of exported class has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. myMethod(val: T): T { return val; } diff --git a/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.errors.txt b/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.errors.txt index 090ca91836d53..92aa57bcef10b 100644 --- a/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.errors.txt +++ b/tests/baselines/reference/privacyTypeParametersOfInterfaceDeclFile.errors.txt @@ -13,7 +13,7 @@ export interface publicInterfaceWithPrivateTypeParameters { // Error ~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported interface has or is using private name 'privateClass'. +!!! Type parameter 'T' of exported interface has or is using private name 'privateClass'. myMethod(val: T): T; myMethod0(): publicClassT; myMethod1(): privateClassT; @@ -62,7 +62,7 @@ export interface publicInterfaceWithPrivateModuleTypeParameterConstraints { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported interface has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. +!!! Type parameter 'T' of exported interface has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. } interface privateInterfaceWithPrivateModuleTypeParameterConstraints { // Error @@ -83,7 +83,7 @@ export interface publicInterfaceWithPrivateTypeParameters { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported interface has or is using private name 'privateClassInPublicModule'. +!!! Type parameter 'T' of exported interface has or is using private name 'privateClassInPublicModule'. myMethod(val: T): T; myMethod0(): publicClassInPublicModuleT; myMethod1(): privateClassInPublicModuleT; @@ -131,7 +131,7 @@ export interface publicInterfaceWithPrivateModuleTypeParameterConstraints { // Error ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -!!! TypeParameter 'T' of exported interface has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. +!!! Type parameter 'T' of exported interface has or is using name 'privateModule.publicClassInPrivateModule' from private module 'privateModule'. } interface privateInterfaceWithPrivateModuleTypeParameterConstraints { // Error diff --git a/tests/baselines/reference/staticMethodWithTypeParameterExtendsClauseDeclFile.js b/tests/baselines/reference/staticMethodWithTypeParameterExtendsClauseDeclFile.js new file mode 100644 index 0000000000000..ba2ca1ae758a9 --- /dev/null +++ b/tests/baselines/reference/staticMethodWithTypeParameterExtendsClauseDeclFile.js @@ -0,0 +1,66 @@ +//// [staticMethodWithTypeParameterExtendsClauseDeclFile.ts] +class privateClass { +} + +export class publicClass { +} + +export class publicClassWithWithPrivateTypeParameters { + private static myPrivateStaticMethod1() { // do not emit extends clause + } + private myPrivateMethod1() { // do not emit extends clause + } + private static myPrivateStaticMethod2() { // do not emit extends clause + } + private myPrivateMethod2() { // do not emit extends clause + } + public static myPublicStaticMethod() { + } + public myPublicMethod() { + } +} + + +//// [staticMethodWithTypeParameterExtendsClauseDeclFile.js] +var privateClass = (function () { + function privateClass() { + } + return privateClass; +})(); +var publicClass = (function () { + function publicClass() { + } + return publicClass; +})(); +exports.publicClass = publicClass; +var publicClassWithWithPrivateTypeParameters = (function () { + function publicClassWithWithPrivateTypeParameters() { + } + publicClassWithWithPrivateTypeParameters.myPrivateStaticMethod1 = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPrivateMethod1 = function () { + }; + publicClassWithWithPrivateTypeParameters.myPrivateStaticMethod2 = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPrivateMethod2 = function () { + }; + publicClassWithWithPrivateTypeParameters.myPublicStaticMethod = function () { + }; + publicClassWithWithPrivateTypeParameters.prototype.myPublicMethod = function () { + }; + return publicClassWithWithPrivateTypeParameters; +})(); +exports.publicClassWithWithPrivateTypeParameters = publicClassWithWithPrivateTypeParameters; + + +//// [staticMethodWithTypeParameterExtendsClauseDeclFile.d.ts] +export declare class publicClass { +} +export declare class publicClassWithWithPrivateTypeParameters { + private static myPrivateStaticMethod1(); + private myPrivateMethod1(); + private static myPrivateStaticMethod2(); + private myPrivateMethod2(); + static myPublicStaticMethod(): void; + myPublicMethod(): void; +} diff --git a/tests/cases/compiler/staticMethodWithTypeParameterExtendsClauseDeclFile.ts b/tests/cases/compiler/staticMethodWithTypeParameterExtendsClauseDeclFile.ts new file mode 100644 index 0000000000000..48d31d92870f2 --- /dev/null +++ b/tests/cases/compiler/staticMethodWithTypeParameterExtendsClauseDeclFile.ts @@ -0,0 +1,22 @@ +// @module: commonjs +// @declaration: true +class privateClass { +} + +export class publicClass { +} + +export class publicClassWithWithPrivateTypeParameters { + private static myPrivateStaticMethod1() { // do not emit extends clause + } + private myPrivateMethod1() { // do not emit extends clause + } + private static myPrivateStaticMethod2() { // do not emit extends clause + } + private myPrivateMethod2() { // do not emit extends clause + } + public static myPublicStaticMethod() { + } + public myPublicMethod() { + } +} From e31aa9e12ae98fe5cbfffdd4aaee85bf0b67197b Mon Sep 17 00:00:00 2001 From: Sheetal Nandi Date: Wed, 6 Aug 2014 11:26:34 -0700 Subject: [PATCH 6/6] Added more comments and todos as per code review feedback --- src/compiler/checker.ts | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts index 378e23bf83d79..076478ae98982 100644 --- a/src/compiler/checker.ts +++ b/src/compiler/checker.ts @@ -711,6 +711,20 @@ module ts { return { accessibility: SymbolAccessibility.Accessible }; } + // TODO(shkamat): Handle static method of class + + // If we havent got the accessible symbol doesnt mean the symbol is actually inaccessible. + // It could be qualified symbol and hence verify the path + // eg: + // module m { + // export class c { + // } + // } + // var x: typeof m.c + // In the above example when we start with checking if typeof m.c symbol is accessible, + // we are going to see if c can be accessed in scope directly. + // But it cant, hence the accessible is going to be undefined, but that doesnt mean m.c is accessible + // It is accessible if the parent m is accessible because then m.c can be accessed through qualification meaningToLook = SymbolFlags.Namespace; symbol = symbol.parent; }