Nicolò Ribaudo 771c730fda
[parser] Disallow duplicate and undeclared private names (#10456)
* [parser] Add private names tracking to Scope

- Disallow duplicate private names
- Disallow undeclared private names

* Update tests

* Test all possible duplications

* Test undeclared private names

* Better error message for top-level private names

* Fix flow

* Update test262 whitelist

* Update fixtures

* Update flow whitelist

* Remove old output.json

* Move ClassScopeHandler to a separate class

* Make the code readable
2020-01-10 02:22:05 +01:00

309 lines
8.6 KiB
JSON

{
"type": "File",
"start": 0,
"end": 58,
"loc": {
"start": {
"line": 1,
"column": 0
},
"end": {
"line": 6,
"column": 1
}
},
"errors": [
"SyntaxError: Private name #priv is not defined (4:19)"
],
"program": {
"type": "Program",
"start": 0,
"end": 58,
"loc": {
"start": {
"line": 1,
"column": 0
},
"end": {
"line": 6,
"column": 1
}
},
"sourceType": "script",
"interpreter": null,
"body": [
{
"type": "ClassDeclaration",
"start": 0,
"end": 58,
"loc": {
"start": {
"line": 1,
"column": 0
},
"end": {
"line": 6,
"column": 1
}
},
"id": {
"type": "Identifier",
"start": 6,
"end": 7,
"loc": {
"start": {
"line": 1,
"column": 6
},
"end": {
"line": 1,
"column": 7
},
"identifierName": "A"
},
"name": "A"
},
"superClass": null,
"body": {
"type": "ClassBody",
"start": 8,
"end": 58,
"loc": {
"start": {
"line": 1,
"column": 8
},
"end": {
"line": 6,
"column": 1
}
},
"body": [
{
"type": "ClassPrivateProperty",
"start": 12,
"end": 15,
"loc": {
"start": {
"line": 2,
"column": 2
},
"end": {
"line": 2,
"column": 5
}
},
"static": false,
"key": {
"type": "PrivateName",
"start": 12,
"end": 14,
"loc": {
"start": {
"line": 2,
"column": 2
},
"end": {
"line": 2,
"column": 4
}
},
"id": {
"type": "Identifier",
"start": 13,
"end": 14,
"loc": {
"start": {
"line": 2,
"column": 3
},
"end": {
"line": 2,
"column": 4
},
"identifierName": "x"
},
"name": "x"
}
},
"value": null
},
{
"type": "ClassMethod",
"start": 18,
"end": 56,
"loc": {
"start": {
"line": 3,
"column": 2
},
"end": {
"line": 5,
"column": 3
}
},
"static": false,
"key": {
"type": "Identifier",
"start": 18,
"end": 22,
"loc": {
"start": {
"line": 3,
"column": 2
},
"end": {
"line": 3,
"column": 6
},
"identifierName": "meth"
},
"name": "meth"
},
"computed": false,
"kind": "method",
"id": null,
"generator": false,
"async": false,
"params": [],
"body": {
"type": "BlockStatement",
"start": 25,
"end": 56,
"loc": {
"start": {
"line": 3,
"column": 9
},
"end": {
"line": 5,
"column": 3
}
},
"body": [
{
"type": "VariableDeclaration",
"start": 31,
"end": 52,
"loc": {
"start": {
"line": 4,
"column": 4
},
"end": {
"line": 4,
"column": 25
}
},
"declarations": [
{
"type": "VariableDeclarator",
"start": 35,
"end": 51,
"loc": {
"start": {
"line": 4,
"column": 8
},
"end": {
"line": 4,
"column": 24
}
},
"id": {
"type": "Identifier",
"start": 35,
"end": 39,
"loc": {
"start": {
"line": 4,
"column": 8
},
"end": {
"line": 4,
"column": 12
},
"identifierName": "prop"
},
"name": "prop"
},
"init": {
"type": "MemberExpression",
"start": 42,
"end": 51,
"loc": {
"start": {
"line": 4,
"column": 15
},
"end": {
"line": 4,
"column": 24
}
},
"object": {
"type": "Identifier",
"start": 42,
"end": 45,
"loc": {
"start": {
"line": 4,
"column": 15
},
"end": {
"line": 4,
"column": 18
},
"identifierName": "foo"
},
"name": "foo"
},
"property": {
"type": "PrivateName",
"start": 46,
"end": 51,
"loc": {
"start": {
"line": 4,
"column": 19
},
"end": {
"line": 4,
"column": 24
}
},
"id": {
"type": "Identifier",
"start": 47,
"end": 51,
"loc": {
"start": {
"line": 4,
"column": 20
},
"end": {
"line": 4,
"column": 24
},
"identifierName": "priv"
},
"name": "priv"
}
},
"computed": false
}
}
],
"kind": "var"
}
],
"directives": []
}
}
]
}
}
],
"directives": []
}
}