{
"type": "Program",
"statements": [
{
"type": "ClassDeclaration",
"definition": {
"id": {
"type": "Identifier",
"name": "A",
"loc": {
"start": {
"line": 16,
"column": 7,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 16,
"column": 8,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"superClass": null,
"implements": [],
"body": [
{
"type": "MethodDefinition",
"key": {
"type": "Identifier",
"name": "foo",
"loc": {
"start": {
"line": 17,
"column": 5,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 17,
"column": 8,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"kind": "method",
"accessibility": "public",
"static": false,
"optional": false,
"computed": false,
"value": {
"type": "FunctionExpression",
"function": {
"type": "ScriptFunction",
"id": {
"type": "Identifier",
"name": "foo",
"loc": {
"start": {
"line": 17,
"column": 5,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 17,
"column": 8,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"generator": false,
"async": false,
"expression": false,
"params": [],
"returnType": {
"type": "ETSUnionType",
"types": [
{
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "A",
"loc": {
"start": {
"line": 17,
"column": 13,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 17,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 13,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 17,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 13,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 17,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
{
"type": "ETSNullType",
"loc": {
"start": {
"line": 17,
"column": 17,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 17,
"column": 21,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}
],
"loc": {
"start": {
"line": 17,
"column": 13,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 17,
"column": 21,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"body": {
"type": "BlockStatement",
"statements": [
{
"type": "ReturnStatement",
"argument": {
"type": "ETSNewClassInstanceExpression",
"typeReference": {
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "A",
"loc": {
"start": {
"line": 18,
"column": 20,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 18,
"column": 21,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 18,
"column": 20,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 18,
"column": 21,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 18,
"column": 20,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 18,
"column": 21,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"arguments": [],
"loc": {
"start": {
"line": 18,
"column": 16,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 18,
"column": 24,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 18,
"column": 9,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 18,
"column": 24,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}
],
"loc": {
"start": {
"line": 17,
"column": 22,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 19,
"column": 6,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 8,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 19,
"column": 6,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 8,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 19,
"column": 6,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"overloads": [],
"loc": {
"start": {
"line": 17,
"column": 5,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 19,
"column": 6,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
{
"type": "MethodDefinition",
"key": {
"type": "Identifier",
"name": "constructor",
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"kind": "constructor",
"static": false,
"optional": false,
"computed": false,
"value": {
"type": "FunctionExpression",
"function": {
"type": "ScriptFunction",
"id": {
"type": "Identifier",
"name": "constructor",
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"generator": false,
"async": false,
"expression": false,
"params": [],
"body": {
"type": "BlockStatement",
"statements": [],
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 16,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"overloads": [],
"loc": {
"start": {
"line": 1,
"column": 1,
"program": null
},
"end": {
"line": 1,
"column": 1,
"program": null
}
}
}
],
"loc": {
"start": {
"line": 16,
"column": 9,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 20,
"column": 2,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 20,
"column": 2,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
{
"type": "ClassDeclaration",
"definition": {
"id": {
"type": "Identifier",
"name": "ETSGLOBAL",
"loc": {
"start": {
"line": 1,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 1,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"superClass": null,
"implements": [],
"body": [
{
"type": "MethodDefinition",
"key": {
"type": "Identifier",
"name": "main",
"loc": {
"start": {
"line": 22,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 22,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"kind": "method",
"accessibility": "public",
"static": true,
"optional": false,
"computed": false,
"value": {
"type": "FunctionExpression",
"function": {
"type": "ScriptFunction",
"id": {
"type": "Identifier",
"name": "main",
"loc": {
"start": {
"line": 22,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 22,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"generator": false,
"async": false,
"expression": false,
"params": [],
"returnType": {
"type": "ETSPrimitiveType",
"loc": {
"start": {
"line": 22,
"column": 18,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 22,
"column": 22,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"body": {
"type": "BlockStatement",
"statements": [
{
"type": "VariableDeclaration",
"declarations": [
{
"type": "VariableDeclarator",
"id": {
"type": "Identifier",
"name": "an",
"typeAnnotation": {
"type": "ETSUnionType",
"types": [
{
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "A",
"loc": {
"start": {
"line": 23,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 15,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 23,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 15,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 23,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 15,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
{
"type": "ETSNullType",
"loc": {
"start": {
"line": 23,
"column": 18,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 22,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}
],
"loc": {
"start": {
"line": 23,
"column": 14,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 22,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 23,
"column": 9,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 11,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"init": {
"type": "ETSNewClassInstanceExpression",
"typeReference": {
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "A",
"loc": {
"start": {
"line": 23,
"column": 29,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 30,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 23,
"column": 29,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 30,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 23,
"column": 29,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 30,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"arguments": [],
"loc": {
"start": {
"line": 23,
"column": 25,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 33,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 23,
"column": 9,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 33,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}
],
"kind": "let",
"loc": {
"start": {
"line": 23,
"column": 5,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 23,
"column": 33,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
{
"type": "VariableDeclaration",
"declarations": [
{
"type": "VariableDeclarator",
"id": {
"type": "Identifier",
"name": "x",
"typeAnnotation": {
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "Object",
"loc": {
"start": {
"line": 24,
"column": 13,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 19,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 24,
"column": 13,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 19,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 24,
"column": 13,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 19,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 24,
"column": 9,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"init": {
"type": "TSNonNullExpression",
"expression": {
"type": "CallExpression",
"callee": {
"type": "MemberExpression",
"object": {
"type": "Identifier",
"name": "an",
"loc": {
"start": {
"line": 24,
"column": 22,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 24,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"property": {
"type": "Identifier",
"name": "foo",
"loc": {
"start": {
"line": 24,
"column": 25,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 28,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"computed": false,
"optional": false,
"loc": {
"start": {
"line": 24,
"column": 22,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 28,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"arguments": [],
"optional": false,
"loc": {
"start": {
"line": 24,
"column": 22,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 30,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 24,
"column": 22,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 31,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 24,
"column": 9,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 31,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}
],
"kind": "let",
"loc": {
"start": {
"line": 24,
"column": 5,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 24,
"column": 32,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}
],
"loc": {
"start": {
"line": 22,
"column": 23,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 25,
"column": 2,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 22,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 25,
"column": 2,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 22,
"column": 10,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 25,
"column": 2,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"overloads": [],
"loc": {
"start": {
"line": 22,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 25,
"column": 2,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}
],
"loc": {
"start": {
"line": 1,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 1,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
},
"loc": {
"start": {
"line": 1,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 1,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}
],
"loc": {
"start": {
"line": 1,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
},
"end": {
"line": 26,
"column": 1,
"program": "assignNullableFromMethodToNullableParam.ets"
}
}
}