Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
60 commits
Select commit Hold shift + click to select a range
e3a3fb8
Added support for private identifier methods.
dragomirtitian Jan 15, 2021
4ab27a2
Added tests for private methods.
dragomirtitian Jan 15, 2021
6977b9f
Added check to only not allow private name method signatures in anyth…
dragomirtitian Jan 18, 2021
bc8c07e
Added private accessors tests
dragomirtitian Jan 19, 2021
2760ed8
Transform private methods
mkubilayk Jan 25, 2021
04af85d
Rename shouldTransformPrivateFields
mkubilayk Jan 25, 2021
f048d72
Accept baseline
mkubilayk Jan 25, 2021
f8cfb81
Use a single WeakSet for brand-check
mkubilayk Jan 26, 2021
4aa4c3b
Accept baseline
mkubilayk Jan 26, 2021
0ac1271
Add a test for using private methods in static field initializers
mkubilayk Jan 26, 2021
7da5bd9
Add breaking checker test
mkubilayk Jan 26, 2021
e133f60
Add to instances once per-instance
mkubilayk Jan 26, 2021
aa5dd8a
Accept baseline
mkubilayk Jan 26, 2021
a3889a7
fix: evaluate receiver and rhs expressions before throwing on readonl…
mkubilayk Jan 26, 2021
8952caa
Add a test for evaluating rhs before readonly assignment
mkubilayk Jan 26, 2021
dee87bb
Transpile private accessors
mkubilayk Jan 27, 2021
aec7e9b
Accept baseline
mkubilayk Jan 27, 2021
f3bbf0f
fix: handle readonly/writeonly accessors
mkubilayk Jan 28, 2021
a1b59cd
accept baseline
mkubilayk Jan 28, 2021
6b74498
add a test for private setter without a getter
mkubilayk Jan 28, 2021
d51f6cd
fix: getAllUnscopedEmitHelpers
mkubilayk Jan 28, 2021
c175770
fix: better handling of duplicate names
mkubilayk Jan 29, 2021
4301af5
Fixed wrong error message for private methods in class expressions.
dragomirtitian Feb 1, 2021
3a056b2
change error message
mkubilayk Feb 1, 2021
95df2d1
add a test for async private methods with a higher target
mkubilayk Feb 1, 2021
590124e
fix: setter assignment returns rhs value
mkubilayk Feb 3, 2021
219ea83
add a test for setter assignment return value
mkubilayk Feb 3, 2021
25da8ca
fix: handle duplicate accessors
mkubilayk Feb 3, 2021
a2228be
add tests for duplicate accessors
mkubilayk Feb 3, 2021
ff4f737
docs: add missing parameter docs
mkubilayk Feb 3, 2021
704727c
Fixed failing test.
dragomirtitian Feb 3, 2021
73925dc
baseline-accept: ordering changes
mkubilayk Feb 17, 2021
67fd38d
fix: attach weakSetName to property declaration
mkubilayk Feb 17, 2021
45c2a41
add a test for nested private methods
mkubilayk Feb 17, 2021
356b91d
add a test with any
mkubilayk Feb 17, 2021
b391464
Merge pull request #51 from bloomberg/fix/nested-private-methods
dragomirtitian Feb 18, 2021
5ebb3d6
Added support for static private fields accessors and methods.
dragomirtitian Feb 16, 2021
7006c09
Added error message for private identifiers used with static decorato…
dragomirtitian Feb 16, 2021
b876613
Fixed emit static bug that used private names outside of classes for …
dragomirtitian Feb 18, 2021
31a8c00
Added tests for private static fields methods and accessors.
dragomirtitian Feb 18, 2021
9219e99
Merge remote-tracking branch 'remotes/origin/master' into es-private-…
dragomirtitian Feb 19, 2021
5a27a32
Merge remote-tracking branch 'remotes/bloomberg/es-private-methods-an…
dragomirtitian Feb 19, 2021
964fc27
Fixed error messages and tests after merge.
dragomirtitian Feb 19, 2021
d2ab6fc
Merge branch 'es-private-methods-and-accessors' into es-private-stati…
dragomirtitian Feb 19, 2021
23f6c67
Accept new baseline.
dragomirtitian Feb 19, 2021
374e6f3
Improved duplicate identifier checks for static private class elements.
dragomirtitian Feb 19, 2021
62b4f2f
Added error when using initializers with private static fields when u…
dragomirtitian Feb 23, 2021
b2a692d
Fixed code review issues.
dragomirtitian Feb 24, 2021
363041e
Removed semantically wrong emit on `useDefineForClassFields:true` wit…
dragomirtitian Feb 24, 2021
64757e0
Changed emit for uninitialized private static fields.
dragomirtitian Feb 25, 2021
68a7f80
Added runtime error in helper if a static private field is accessed b…
dragomirtitian Feb 25, 2021
7e7b0b1
Fixed code review comments for private identifier static class elements.
dragomirtitian Feb 25, 2021
30c7f69
add debug.assertNever for unknown node type (#53)
mkubilayk Mar 1, 2021
c924058
Merge remote-tracking branch 'upstream/master' into es-private-method…
mkubilayk Mar 1, 2021
e65116f
Merge remote-tracking branch 'upstream/master' into es-private-method…
mkubilayk Mar 2, 2021
4748c87
Fixed code review issues.
dragomirtitian Mar 3, 2021
09a5aae
Merge branch 'es-private-methods-and-accessors' into es-private-stati…
dragomirtitian Mar 3, 2021
497e47f
Fixed code review issues for private class elements.
dragomirtitian Mar 3, 2021
294cc48
Fixes class shadowing when checking access to a private static class …
dragomirtitian Mar 8, 2021
027bdb3
Merge remote-tracking branch 'remotes/origin/master' into es-private-…
dragomirtitian Mar 8, 2021
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
134 changes: 85 additions & 49 deletions src/compiler/checker.ts

Large diffs are not rendered by default.

24 changes: 16 additions & 8 deletions src/compiler/diagnosticMessages.json
Original file line number Diff line number Diff line change
Expand Up @@ -3264,6 +3264,18 @@
"category": "Error",
"code": 2802
},
"Cannot assign to private method '{0}'. Private methods are not writable.": {
"category": "Error",
"code": 2803
},
"Duplicate identifier '{0}'. Static and instance elements cannot share the same private name.": {
"category": "Error",
"code": 2804
},
"Static fields with private names can't have initializers when the '--useDefineForClassFields' flag is not specified with a '--target' of 'esnext'. Consider adding the '--useDefineForClassFields' flag.": {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ugh we need to workshop this one a bit more.

"category": "Error",
"code": 2805
},

"Import declaration '{0}' is using private name '{1}'.": {
"category": "Error",
Expand Down Expand Up @@ -6315,14 +6327,6 @@
"category": "Error",
"code": 18019
},
"A method cannot be named with a private identifier.": {
"category": "Error",
"code": 18022
},
"An accessor cannot be named with a private identifier.": {
"category": "Error",
"code": 18023
},
"An enum member cannot be named with a private identifier.": {
"category": "Error",
"code": 18024
Expand Down Expand Up @@ -6366,5 +6370,9 @@
"Invalid value for 'jsxFragmentFactory'. '{0}' is not a valid identifier or qualified-name.": {
"category": "Error",
"code": 18035
},
"Class decorators can't be used with static private identifier. Consider removing the experimental decorator.": {
"category": "Error",
"code": 18036
}
}
245 changes: 244 additions & 1 deletion src/compiler/factory/emitHelpers.ts
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,19 @@ namespace ts {
// Class Fields Helpers
createClassPrivateFieldGetHelper(receiver: Expression, privateField: Identifier): Expression;
createClassPrivateFieldSetHelper(receiver: Expression, privateField: Identifier, value: Expression): Expression;
createClassPrivateMethodGetHelper(receiver: Expression, instances: Identifier, fn: Identifier): Expression;
createClassPrivateReadonlyHelper(receiver: Expression, value: Expression): Expression;
createClassPrivateWriteonlyHelper(receiver: Expression): Expression;
createClassPrivateAccessorGetHelper(receiver: Expression, instances: Identifier, fn: Identifier): Expression;
createClassPrivateAccessorSetHelper(receiver: Expression, instances: Identifier, fn: Identifier, value: Expression): Expression;
// Class Static Private Helpers
createClassStaticPrivateFieldGetHelper(receiver: Expression, classConstructor: Identifier, privateField: Identifier): Expression;
createClassStaticPrivateFieldSetHelper(receiver: Expression, classConstructor: Identifier, privateField: Identifier, value: Expression): Expression;
createClassStaticPrivateMethodGetHelper(receiver: Expression, classConstructor: Identifier, fn: Identifier): Expression;
createClassStaticPrivateReadonlyHelper(receiver: Expression, value: Expression): Expression;
createClassStaticPrivateWriteonlyHelper(receiver: Expression): Expression;
createClassStaticPrivateAccessorGetHelper(receiver: Expression, classConstructor: Identifier, fn: Identifier): Expression;
createClassStaticPrivateAccessorSetHelper(receiver: Expression, classConstructor: Identifier, fn: Identifier, value: Expression): Expression;
Comment on lines +37 to +49
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This adds a large number of emit helpers that are extremely similar. Perhaps we could condense them down? In #42458 I suggested extending the existing __classPrivateFieldGet and __classPrivateFieldSet helpers in a backwards-compatible fashion. While that suggestion does make those helper functions larger than they are currently, if you were to write a file that exercised every single one of these helpers you could end up with significantly larger emit.

}

export function createEmitHelperFactory(context: TransformationContext): EmitHelperFactory {
Expand Down Expand Up @@ -72,6 +85,18 @@ namespace ts {
// Class Fields Helpers
createClassPrivateFieldGetHelper,
createClassPrivateFieldSetHelper,
createClassPrivateMethodGetHelper,
createClassPrivateReadonlyHelper,
createClassPrivateWriteonlyHelper,
createClassPrivateAccessorGetHelper,
createClassPrivateAccessorSetHelper,
createClassStaticPrivateFieldGetHelper,
createClassStaticPrivateFieldSetHelper,
createClassStaticPrivateMethodGetHelper,
createClassStaticPrivateReadonlyHelper,
createClassStaticPrivateWriteonlyHelper,
createClassStaticPrivateAccessorGetHelper,
createClassStaticPrivateAccessorSetHelper,
};

/**
Expand Down Expand Up @@ -377,6 +402,66 @@ namespace ts {
context.requestEmitHelper(classPrivateFieldSetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classPrivateFieldSet"), /*typeArguments*/ undefined, [receiver, privateField, value]);
}

function createClassPrivateMethodGetHelper(receiver: Expression, instances: Identifier, fn: Identifier) {
context.requestEmitHelper(classPrivateMethodGetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classPrivateMethodGet"), /*typeArguments*/ undefined, [receiver, instances, fn]);
}

function createClassPrivateReadonlyHelper(receiver: Expression, value: Expression) {
context.requestEmitHelper(classPrivateReadonlyHelper);
return factory.createCallExpression(getUnscopedHelperName("__classPrivateReadonly"), /*typeArguments*/ undefined, [receiver, value]);
}

function createClassPrivateWriteonlyHelper(receiver: Expression) {
context.requestEmitHelper(classPrivateWriteonlyHelper);
return factory.createCallExpression(getUnscopedHelperName("__classPrivateWriteonly"), /*typeArguments*/ undefined, [receiver]);
}

function createClassPrivateAccessorGetHelper(receiver: Expression, instances: Identifier, fn: Identifier) {
context.requestEmitHelper(classPrivateAccessorGetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classPrivateAccessorGet"), /*typeArguments*/ undefined, [receiver, instances, fn]);
}

function createClassPrivateAccessorSetHelper(receiver: Expression, instances: Identifier, fn: Identifier, value: Expression) {
context.requestEmitHelper(classPrivateAccessorSetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classPrivateAccessorSet"), /*typeArguments*/ undefined, [receiver, instances, fn, value]);
}
// Class Private Static Helpers
function createClassStaticPrivateFieldGetHelper(receiver: Expression, classConstructor: Identifier, privateField: Identifier) {
context.requestEmitHelper(classStaticPrivateFieldGetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classStaticPrivateFieldGet"), /*typeArguments*/ undefined, [receiver, classConstructor, privateField]);
}

function createClassStaticPrivateFieldSetHelper(receiver: Expression, classConstructor: Identifier, privateField: Identifier, value: Expression) {
context.requestEmitHelper(classStaticPrivateFieldSetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classStaticPrivateFieldSet"), /*typeArguments*/ undefined, [receiver, classConstructor, privateField, value]);
}

function createClassStaticPrivateMethodGetHelper(receiver: Expression, classConstructor: Identifier, fn: Identifier) {
context.requestEmitHelper(classStaticPrivateMethodGetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classStaticPrivateMethodGet"), /*typeArguments*/ undefined, [receiver, classConstructor, fn]);
}

function createClassStaticPrivateReadonlyHelper(receiver: Expression, value: Expression) {
context.requestEmitHelper(classStaticPrivateReadonlyHelper);
return factory.createCallExpression(getUnscopedHelperName("__classStaticPrivateReadonly"), /*typeArguments*/ undefined, [receiver, value]);
}

function createClassStaticPrivateWriteonlyHelper(receiver: Expression) {
context.requestEmitHelper(classStaticPrivateWriteonlyHelper);
return factory.createCallExpression(getUnscopedHelperName("__classStaticPrivateWriteonly"), /*typeArguments*/ undefined, [receiver]);
}

function createClassStaticPrivateAccessorGetHelper(receiver: Expression, classConstructor: Identifier, fn: Identifier) {
context.requestEmitHelper(classStaticPrivateAccessorGetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classStaticPrivateAccessorGet"), /*typeArguments*/ undefined, [receiver, classConstructor, fn]);
}

function createClassStaticPrivateAccessorSetHelper(receiver: Expression, classConstructor: Identifier, fn: Identifier, value: Expression) {
context.requestEmitHelper(classStaticPrivateAccessorSetHelper);
return factory.createCallExpression(getUnscopedHelperName("__classStaticPrivateAccessorSet"), /*typeArguments*/ undefined, [receiver, classConstructor, fn, value]);
}
}

/* @internal */
Expand Down Expand Up @@ -844,6 +929,159 @@ namespace ts {
};`
};

export const classPrivateMethodGetHelper: UnscopedEmitHelper = {
name: "typescript:classPrivateMethodGet",
importName: "__classPrivateMethodGet",
scoped: false,
text: `
var __classPrivateMethodGet = (this && this.__classPrivateMethodGet) || function (receiver, instances, fn) {
if (!instances.has(receiver)) {
throw new TypeError("attempted to get private method on non-instance");
}
return fn;
};`
};

export const classPrivateReadonlyHelper: UnscopedEmitHelper = {
name: "typescript:classPrivateReadonly",
importName: "__classPrivateReadonly",
scoped: false,
text: `
var __classPrivateReadonly = (this && this.__classPrivateReadonly) || function () {
throw new TypeError("private element is not writable");
};`
};

export const classPrivateWriteonlyHelper: UnscopedEmitHelper = {
name: "typescript:classPrivateWriteonly",
importName: "__classPrivateWriteonly",
scoped: false,
text: `
var __classPrivateWriteonly = (this && this.__classPrivateWriteonly) || function () {
throw new TypeError("private setter was defined without a getter");
};`
};

export const classPrivateAccessorGetHelper: UnscopedEmitHelper = {
name: "typescript:classPrivateAccessorGet",
importName: "__classPrivateAccessorGet",
scoped: false,
text: `
var __classPrivateAccessorGet = (this && this.__classPrivateAccessorGet) || function (receiver, instances, fn) {
if (!instances.has(receiver)) {
throw new TypeError("attempted to get private accessor on non-instance");
}
return fn.call(receiver);
};`
};

export const classPrivateAccessorSetHelper: UnscopedEmitHelper = {
name: "typescript:classPrivateAccessorSet",
importName: "__classPrivateAccessorSet",
scoped: false,
text: `
var __classPrivateAccessorSet = (this && this.__classPrivateAccessorSet) || function (receiver, instances, fn, value) {
if (!instances.has(receiver)) {
throw new TypeError("attempted to set private accessor on non-instance");
}
fn.call(receiver, value);
return value;
};`
};

export const classStaticPrivateFieldGetHelper: UnscopedEmitHelper = {
name: "typescript:classStaticPrivateFieldGet",
importName: "__classStaticPrivateFieldGet",
scoped: false,
text: `
var __classStaticPrivateFieldGet = (this && this.__classStaticPrivateFieldGet) || function (receiver, classConstructor, propertyDescriptor) {
if (receiver !== classConstructor) {
throw new TypeError("Private static access of wrong provenance");
}
if (propertyDescriptor === undefined) {
throw new TypeError("Private static field was accessed before its declaration.");
}
return propertyDescriptor.value;
};`
};

export const classStaticPrivateFieldSetHelper: UnscopedEmitHelper = {
name: "typescript:classStaticPrivateFieldSet",
importName: "__classStaticPrivateFieldSet",
scoped: false,
text: `
var __classStaticPrivateFieldSet = (this && this.__classStaticPrivateFieldSet) || function (receiver, classConstructor, propertyDescriptor, value) {
if (receiver !== classConstructor) {
throw new TypeError("Private static access of wrong provenance");
}
if (propertyDescriptor === undefined) {
throw new TypeError("Private static field was accessed before its declaration.");
}
propertyDescriptor.value = value;
return value;
};`
};

export const classStaticPrivateMethodGetHelper: UnscopedEmitHelper = {
name: "typescript:classStaticPrivateMethodGet",
importName: "__classStaticPrivateMethodGet",
scoped: false,
text: `
var __classStaticPrivateMethodGet = (this && this.__classStaticPrivateMethodGet) || function (receiver, classConstructor, fn) {
if (receiver !== classConstructor) {
throw new TypeError("Private static access of wrong provenance");
}
return fn;
};`
};

export const classStaticPrivateReadonlyHelper: UnscopedEmitHelper = {
name: "typescript:classStaticPrivateReadonly",
importName: "__classStaticPrivateReadonly",
scoped: false,
text: `
var __classStaticPrivateReadonly = (this && this.__classStaticPrivateReadonly) || function () {
throw new TypeError("Private static element is not writable");
};`
};

export const classStaticPrivateWriteonlyHelper: UnscopedEmitHelper = {
name: "typescript:classStaticPrivateWriteonly",
importName: "__classStaticPrivateWriteonly",
scoped: false,
text: `
var __classStaticPrivateWriteonly = (this && this.__classStaticPrivateWriteonly) || function () {
throw new TypeError("Private static element is not readable");
};`
};

export const classStaticPrivateAccessorGetHelper: UnscopedEmitHelper = {
name: "typescript:classStaticPrivateAccessorGet",
importName: "__classStaticPrivateAccessorGet",
scoped: false,
text: `
var __classStaticPrivateAccessorGet = (this && this.__classStaticPrivateAccessorGet) || function (receiver, classConstructor, fn) {
if (receiver !== classConstructor) {
throw new TypeError("Private static access of wrong provenance");
}
return fn.call(receiver);
};`
};

export const classStaticPrivateAccessorSetHelper: UnscopedEmitHelper = {
name: "typescript:classStaticPrivateAccessorSet",
importName: "__classStaticPrivateAccessorSet",
scoped: false,
text: `
var __classStaticPrivateAccessorSet = (this && this.__classStaticPrivateAccessorSet) || function (receiver, classConstructor, fn, value) {
if (receiver !== classConstructor) {
throw new TypeError("Private static access of wrong provenance");
}
fn.call(receiver, value);
return value;
};`
};

let allUnscopedEmitHelpers: ReadonlyESMap<string, UnscopedEmitHelper> | undefined;

export function getAllUnscopedEmitHelpers() {
Expand All @@ -869,6 +1107,11 @@ namespace ts {
exportStarHelper,
classPrivateFieldGetHelper,
classPrivateFieldSetHelper,
classPrivateMethodGetHelper,
classPrivateReadonlyHelper,
classPrivateWriteonlyHelper,
classPrivateAccessorGetHelper,
classPrivateAccessorSetHelper,
createBindingHelper,
setModuleDefaultHelper
], helper => helper.name));
Expand Down Expand Up @@ -897,4 +1140,4 @@ namespace ts {
&& (getEmitFlags(firstSegment.expression) & EmitFlags.HelperName)
&& firstSegment.expression.escapedText === helperName;
}
}
}
Loading