{
"type": "Program",
"statements": [
{
"type": "ClassDeclaration",
"definition": {
"id": {
"type": "Identifier",
"name": "Tup",
"loc": {
"start": {
"line": 17,
"column": 7,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 10,
"program": "generics_3.ets"
}
}
},
"typeParameters": {
"type": "TSTypeParameterDeclaration",
"params": [
{
"type": "TSTypeParameter",
"name": {
"type": "Identifier",
"name": "A",
"loc": {
"start": {
"line": 17,
"column": 11,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 12,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 11,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 13,
"program": "generics_3.ets"
}
}
},
{
"type": "TSTypeParameter",
"name": {
"type": "Identifier",
"name": "B",
"loc": {
"start": {
"line": 17,
"column": 14,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 15,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 14,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 16,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 17,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 16,
"program": "generics_3.ets"
}
}
},
"superClass": null,
"implements": [],
"body": [
{
"type": "MethodDefinition",
"key": {
"type": "Identifier",
"name": "constructor",
"loc": {
"start": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
}
}
},
"kind": "constructor",
"static": false,
"optional": false,
"computed": false,
"value": {
"type": "FunctionExpression",
"function": {
"type": "ScriptFunction",
"id": {
"type": "Identifier",
"name": "constructor",
"loc": {
"start": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
}
}
},
"generator": false,
"async": false,
"expression": false,
"params": [],
"body": {
"type": "BlockStatement",
"statements": [],
"loc": {
"start": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 18,
"program": "generics_3.ets"
}
}
},
"overloads": [],
"loc": {
"start": {
"line": 1,
"column": 1,
"program": null
},
"end": {
"line": 1,
"column": 1,
"program": null
}
}
}
],
"loc": {
"start": {
"line": 17,
"column": 17,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 19,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 17,
"column": 1,
"program": "generics_3.ets"
},
"end": {
"line": 17,
"column": 19,
"program": "generics_3.ets"
}
}
},
{
"type": "ClassDeclaration",
"definition": {
"id": {
"type": "Identifier",
"name": "ETSGLOBAL",
"loc": {
"start": {
"line": 1,
"column": 1,
"program": "generics_3.ets"
},
"end": {
"line": 1,
"column": 1,
"program": "generics_3.ets"
}
}
},
"superClass": null,
"implements": [],
"body": [
{
"type": "MethodDefinition",
"key": {
"type": "Identifier",
"name": "foo",
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 13,
"program": "generics_3.ets"
}
}
},
"kind": "method",
"accessibility": "public",
"static": true,
"optional": false,
"computed": false,
"value": {
"type": "FunctionExpression",
"function": {
"type": "ScriptFunction",
"id": {
"type": "Identifier",
"name": "foo",
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 13,
"program": "generics_3.ets"
}
}
},
"generator": false,
"async": false,
"expression": false,
"params": [
{
"type": "ETSParameterExpression",
"name": {
"type": "Identifier",
"name": "x",
"typeAnnotation": {
"type": "ETSFunctionType",
"params": [],
"returnType": {
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "T",
"loc": {
"start": {
"line": 16,
"column": 26,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 27,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 26,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 27,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 26,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 27,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 20,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 27,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 17,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 27,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 17,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 27,
"program": "generics_3.ets"
}
}
}
],
"returnType": {
"type": "ETSPrimitiveType",
"loc": {
"start": {
"line": 16,
"column": 30,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 34,
"program": "generics_3.ets"
}
}
},
"typeParameters": {
"type": "TSTypeParameterDeclaration",
"params": [
{
"type": "TSTypeParameter",
"name": {
"type": "Identifier",
"name": "T",
"loc": {
"start": {
"line": 16,
"column": 14,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 15,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 14,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 16,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 16,
"column": 13,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 16,
"program": "generics_3.ets"
}
}
},
"body": {
"type": "BlockStatement",
"statements": [],
"loc": {
"start": {
"line": 16,
"column": 35,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 37,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 37,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 16,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 37,
"program": "generics_3.ets"
}
}
},
"overloads": [],
"loc": {
"start": {
"line": 16,
"column": 1,
"program": "generics_3.ets"
},
"end": {
"line": 16,
"column": 37,
"program": "generics_3.ets"
}
}
},
{
"type": "MethodDefinition",
"key": {
"type": "Identifier",
"name": "main",
"loc": {
"start": {
"line": 18,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 18,
"column": 14,
"program": "generics_3.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": 18,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 18,
"column": 14,
"program": "generics_3.ets"
}
}
},
"generator": false,
"async": false,
"expression": false,
"params": [],
"returnType": {
"type": "ETSPrimitiveType",
"loc": {
"start": {
"line": 18,
"column": 18,
"program": "generics_3.ets"
},
"end": {
"line": 18,
"column": 22,
"program": "generics_3.ets"
}
}
},
"body": {
"type": "BlockStatement",
"statements": [
{
"type": "ExpressionStatement",
"expression": {
"type": "CallExpression",
"callee": {
"type": "Identifier",
"name": "foo",
"loc": {
"start": {
"line": 19,
"column": 3,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 6,
"program": "generics_3.ets"
}
}
},
"arguments": [
{
"type": "ArrowFunctionExpression",
"function": {
"type": "ScriptFunction",
"id": null,
"generator": false,
"async": false,
"expression": false,
"params": [],
"returnType": {
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "Tup",
"loc": {
"start": {
"line": 19,
"column": 32,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 35,
"program": "generics_3.ets"
}
}
},
"typeParams": {
"type": "TSTypeParameterInstantiation",
"params": [
{
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "number",
"loc": {
"start": {
"line": 19,
"column": 36,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 42,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 36,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 42,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 36,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 42,
"program": "generics_3.ets"
}
}
},
{
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "String",
"loc": {
"start": {
"line": 19,
"column": 44,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 50,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 44,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 50,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 44,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 50,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 19,
"column": 35,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 51,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 32,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 51,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 32,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 51,
"program": "generics_3.ets"
}
}
},
"body": {
"type": "BlockStatement",
"statements": [
{
"type": "ThrowStatement",
"argument": {
"type": "ETSNewClassInstanceExpression",
"typeReference": {
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "Error",
"loc": {
"start": {
"line": 19,
"column": 67,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 72,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 67,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 72,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 67,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 72,
"program": "generics_3.ets"
}
}
},
"arguments": [],
"loc": {
"start": {
"line": 19,
"column": 63,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 76,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 57,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 76,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 19,
"column": 55,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 76,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 28,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 76,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 28,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 76,
"program": "generics_3.ets"
}
}
}
],
"optional": false,
"typeParameters": {
"type": "TSTypeParameterInstantiation",
"params": [
{
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "Tup",
"loc": {
"start": {
"line": 19,
"column": 7,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 10,
"program": "generics_3.ets"
}
}
},
"typeParams": {
"type": "TSTypeParameterInstantiation",
"params": [
{
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "number",
"loc": {
"start": {
"line": 19,
"column": 11,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 17,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 11,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 17,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 11,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 17,
"program": "generics_3.ets"
}
}
},
{
"type": "ETSTypeReference",
"part": {
"type": "ETSTypeReferencePart",
"name": {
"type": "Identifier",
"name": "String",
"loc": {
"start": {
"line": 19,
"column": 19,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 25,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 19,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 25,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 19,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 25,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 19,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 27,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 7,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 27,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 7,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 27,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 19,
"column": 6,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 27,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 3,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 77,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 19,
"column": 3,
"program": "generics_3.ets"
},
"end": {
"line": 19,
"column": 78,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 18,
"column": 23,
"program": "generics_3.ets"
},
"end": {
"line": 20,
"column": 2,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 18,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 20,
"column": 2,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 18,
"column": 10,
"program": "generics_3.ets"
},
"end": {
"line": 20,
"column": 2,
"program": "generics_3.ets"
}
}
},
"overloads": [],
"loc": {
"start": {
"line": 18,
"column": 1,
"program": "generics_3.ets"
},
"end": {
"line": 20,
"column": 2,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 1,
"column": 1,
"program": "generics_3.ets"
},
"end": {
"line": 1,
"column": 1,
"program": "generics_3.ets"
}
}
},
"loc": {
"start": {
"line": 1,
"column": 1,
"program": "generics_3.ets"
},
"end": {
"line": 1,
"column": 1,
"program": "generics_3.ets"
}
}
}
],
"loc": {
"start": {
"line": 1,
"column": 1,
"program": "generics_3.ets"
},
"end": {
"line": 22,
"column": 1,
"program": "generics_3.ets"
}
}
}