{ "absolutePath": "a", "exportedSymbols": { "C": [ 11 ] }, "id": 12, "nodeType": "SourceUnit", "nodes": [ { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 11, "linearizedBaseContracts": [ 11 ], "name": "C", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 9, "nodeType": "Block", "src": "26:19:1", "statements": [ { "assignments": [ 3 ], "declarations": [ { "constant": false, "id": 3, "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9, "src": "28:5:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": null, "value": null, "visibility": "internal" } ], "id": 5, "initialValue": { "argumentTypes": null, "hexValue": "32", "id": 4, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "36:1:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "VariableDeclarationStatement", "src": "28:9:1" }, { "expression": { "argumentTypes": null, "id": 7, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "39:3:1", "subExpression": { "argumentTypes": null, "id": 6, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3, "src": "39:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 8, "nodeType": "ExpressionStatement", "src": "39:3:1" } ] }, "documentation": null, "id": 10, "implemented": true, "kind": "function", "modifiers": [], "name": "f", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 1, "nodeType": "ParameterList", "parameters": [], "src": "23:2:1" }, "returnParameters": { "id": 2, "nodeType": "ParameterList", "parameters": [], "src": "26:0:1" }, "scope": 11, "src": "13:32:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 12, "src": "0:47:1" } ], "src": "0:48:1" }