492 lines
16 KiB
JSON
492 lines
16 KiB
JSON
|
{
|
||
|
|
"absolutePath": "a",
|
||
|
|
"exportedSymbols":
|
||
|
|
{
|
||
|
|
"C":
|
||
|
|
[
|
||
|
|
41
|
||
|
|
]
|
||
|
|
},
|
||
|
|
"id": 42,
|
||
|
|
"nodeType": "SourceUnit",
|
||
|
|
"nodes":
|
||
|
|
[
|
||
|
|
{
|
||
|
|
"abstract": false,
|
||
|
|
"baseContracts": [],
|
||
|
|
"canonicalName": "C",
|
||
|
|
"contractDependencies": [],
|
||
|
|
"contractKind": "contract",
|
||
|
|
"fullyImplemented": true,
|
||
|
|
"id": 41,
|
||
|
|
"linearizedBaseContracts":
|
||
|
|
[
|
||
|
|
41
|
||
|
|
],
|
||
|
|
"name": "C",
|
||
|
|
"nameLocation": "9:1:1",
|
||
|
|
"nodeType": "ContractDefinition",
|
||
|
|
"nodes":
|
||
|
|
[
|
||
|
|
{
|
||
|
|
"body":
|
||
|
|
{
|
||
|
|
"id": 26,
|
||
|
|
"nodeType": "Block",
|
||
|
|
"src": "42:330:1",
|
||
|
|
"statements":
|
||
|
|
[
|
||
|
|
{
|
||
|
|
"assignments":
|
||
|
|
[
|
||
|
|
5
|
||
|
|
],
|
||
|
|
"declarations":
|
||
|
|
[
|
||
|
|
{
|
||
|
|
"constant": false,
|
||
|
|
"id": 5,
|
||
|
|
"mutability": "mutable",
|
||
|
|
"name": "x",
|
||
|
|
"nameLocation": "114:1:1",
|
||
|
|
"nodeType": "VariableDeclaration",
|
||
|
|
"scope": 26,
|
||
|
|
"src": "109:6:1",
|
||
|
|
"stateVariable": false,
|
||
|
|
"storageLocation": "default",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
},
|
||
|
|
"typeName":
|
||
|
|
{
|
||
|
|
"id": 4,
|
||
|
|
"name": "uint",
|
||
|
|
"nodeType": "ElementaryTypeName",
|
||
|
|
"src": "109:4:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"visibility": "internal"
|
||
|
|
}
|
||
|
|
],
|
||
|
|
"documentation": "Documentation for x; will appear in ast json",
|
||
|
|
"id": 7,
|
||
|
|
"initialValue":
|
||
|
|
{
|
||
|
|
"hexValue": "31",
|
||
|
|
"id": 6,
|
||
|
|
"isConstant": false,
|
||
|
|
"isLValue": false,
|
||
|
|
"isPure": true,
|
||
|
|
"kind": "number",
|
||
|
|
"lValueRequested": false,
|
||
|
|
"nodeType": "Literal",
|
||
|
|
"src": "118:1:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_rational_1_by_1",
|
||
|
|
"typeString": "int_const 1"
|
||
|
|
},
|
||
|
|
"value": "1"
|
||
|
|
},
|
||
|
|
"nodeType": "VariableDeclarationStatement",
|
||
|
|
"src": "109:10:1"
|
||
|
|
},
|
||
|
|
{
|
||
|
|
"body":
|
||
|
|
{
|
||
|
|
"id": 24,
|
||
|
|
"nodeType": "Block",
|
||
|
|
"src": "270:96:1",
|
||
|
|
"statements":
|
||
|
|
[
|
||
|
|
{
|
||
|
|
"assignments":
|
||
|
|
[
|
||
|
|
21
|
||
|
|
],
|
||
|
|
"declarations":
|
||
|
|
[
|
||
|
|
{
|
||
|
|
"constant": false,
|
||
|
|
"id": 21,
|
||
|
|
"mutability": "mutable",
|
||
|
|
"name": "j",
|
||
|
|
"nameLocation": "350:1:1",
|
||
|
|
"nodeType": "VariableDeclaration",
|
||
|
|
"scope": 24,
|
||
|
|
"src": "345:6:1",
|
||
|
|
"stateVariable": false,
|
||
|
|
"storageLocation": "default",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
},
|
||
|
|
"typeName":
|
||
|
|
{
|
||
|
|
"id": 20,
|
||
|
|
"name": "uint",
|
||
|
|
"nodeType": "ElementaryTypeName",
|
||
|
|
"src": "345:4:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"visibility": "internal"
|
||
|
|
}
|
||
|
|
],
|
||
|
|
"documentation": "documentation for j; will appear in ast json",
|
||
|
|
"id": 23,
|
||
|
|
"initialValue":
|
||
|
|
{
|
||
|
|
"hexValue": "30",
|
||
|
|
"id": 22,
|
||
|
|
"isConstant": false,
|
||
|
|
"isLValue": false,
|
||
|
|
"isPure": true,
|
||
|
|
"kind": "number",
|
||
|
|
"lValueRequested": false,
|
||
|
|
"nodeType": "Literal",
|
||
|
|
"src": "354:1:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_rational_0_by_1",
|
||
|
|
"typeString": "int_const 0"
|
||
|
|
},
|
||
|
|
"value": "0"
|
||
|
|
},
|
||
|
|
"nodeType": "VariableDeclarationStatement",
|
||
|
|
"src": "345:10:1"
|
||
|
|
}
|
||
|
|
]
|
||
|
|
},
|
||
|
|
"condition":
|
||
|
|
{
|
||
|
|
"commonType":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
},
|
||
|
|
"id": 15,
|
||
|
|
"isConstant": false,
|
||
|
|
"isLValue": false,
|
||
|
|
"isPure": false,
|
||
|
|
"lValueRequested": false,
|
||
|
|
"leftExpression":
|
||
|
|
{
|
||
|
|
"id": 13,
|
||
|
|
"name": "i",
|
||
|
|
"nodeType": "Identifier",
|
||
|
|
"overloadedDeclarations": [],
|
||
|
|
"referencedDeclaration": 10,
|
||
|
|
"src": "236:1:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"nodeType": "BinaryOperation",
|
||
|
|
"operator": "<",
|
||
|
|
"rightExpression":
|
||
|
|
{
|
||
|
|
"hexValue": "3130",
|
||
|
|
"id": 14,
|
||
|
|
"isConstant": false,
|
||
|
|
"isLValue": false,
|
||
|
|
"isPure": true,
|
||
|
|
"kind": "number",
|
||
|
|
"lValueRequested": false,
|
||
|
|
"nodeType": "Literal",
|
||
|
|
"src": "240:2:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_rational_10_by_1",
|
||
|
|
"typeString": "int_const 10"
|
||
|
|
},
|
||
|
|
"value": "10"
|
||
|
|
},
|
||
|
|
"src": "236:6:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_bool",
|
||
|
|
"typeString": "bool"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"id": 25,
|
||
|
|
"initializationExpression":
|
||
|
|
{
|
||
|
|
"assignments":
|
||
|
|
[
|
||
|
|
10
|
||
|
|
],
|
||
|
|
"declarations":
|
||
|
|
[
|
||
|
|
{
|
||
|
|
"constant": false,
|
||
|
|
"id": 10,
|
||
|
|
"mutability": "mutable",
|
||
|
|
"name": "i",
|
||
|
|
"nameLocation": "217:1:1",
|
||
|
|
"nodeType": "VariableDeclaration",
|
||
|
|
"scope": 25,
|
||
|
|
"src": "212:6:1",
|
||
|
|
"stateVariable": false,
|
||
|
|
"storageLocation": "default",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
},
|
||
|
|
"typeName":
|
||
|
|
{
|
||
|
|
"id": 9,
|
||
|
|
"name": "uint",
|
||
|
|
"nodeType": "ElementaryTypeName",
|
||
|
|
"src": "212:4:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"visibility": "internal"
|
||
|
|
}
|
||
|
|
],
|
||
|
|
"id": 12,
|
||
|
|
"initialValue":
|
||
|
|
{
|
||
|
|
"hexValue": "30",
|
||
|
|
"id": 11,
|
||
|
|
"isConstant": false,
|
||
|
|
"isLValue": false,
|
||
|
|
"isPure": true,
|
||
|
|
"kind": "number",
|
||
|
|
"lValueRequested": false,
|
||
|
|
"nodeType": "Literal",
|
||
|
|
"src": "221:1:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_rational_0_by_1",
|
||
|
|
"typeString": "int_const 0"
|
||
|
|
},
|
||
|
|
"value": "0"
|
||
|
|
},
|
||
|
|
"nodeType": "VariableDeclarationStatement",
|
||
|
|
"src": "212:10:1"
|
||
|
|
},
|
||
|
|
"loopExpression":
|
||
|
|
{
|
||
|
|
"expression":
|
||
|
|
{
|
||
|
|
"id": 17,
|
||
|
|
"isConstant": false,
|
||
|
|
"isLValue": false,
|
||
|
|
"isPure": false,
|
||
|
|
"lValueRequested": false,
|
||
|
|
"nodeType": "UnaryOperation",
|
||
|
|
"operator": "++",
|
||
|
|
"prefix": true,
|
||
|
|
"src": "256:3:1",
|
||
|
|
"subExpression":
|
||
|
|
{
|
||
|
|
"id": 16,
|
||
|
|
"name": "i",
|
||
|
|
"nodeType": "Identifier",
|
||
|
|
"overloadedDeclarations": [],
|
||
|
|
"referencedDeclaration": 10,
|
||
|
|
"src": "258:1:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"id": 18,
|
||
|
|
"nodeType": "ExpressionStatement",
|
||
|
|
"src": "256:3:1"
|
||
|
|
},
|
||
|
|
"nodeType": "ForStatement",
|
||
|
|
"src": "129:237:1"
|
||
|
|
}
|
||
|
|
]
|
||
|
|
},
|
||
|
|
"functionSelector": "26121ff0",
|
||
|
|
"id": 27,
|
||
|
|
"implemented": true,
|
||
|
|
"kind": "function",
|
||
|
|
"modifiers": [],
|
||
|
|
"name": "f",
|
||
|
|
"nameLocation": "26:1:1",
|
||
|
|
"nodeType": "FunctionDefinition",
|
||
|
|
"parameters":
|
||
|
|
{
|
||
|
|
"id": 1,
|
||
|
|
"nodeType": "ParameterList",
|
||
|
|
"parameters": [],
|
||
|
|
"src": "27:2:1"
|
||
|
|
},
|
||
|
|
"returnParameters":
|
||
|
|
{
|
||
|
|
"id": 2,
|
||
|
|
"nodeType": "ParameterList",
|
||
|
|
"parameters": [],
|
||
|
|
"src": "42:0:1"
|
||
|
|
},
|
||
|
|
"scope": 41,
|
||
|
|
"src": "17:355:1",
|
||
|
|
"stateMutability": "pure",
|
||
|
|
"virtual": false,
|
||
|
|
"visibility": "public"
|
||
|
|
},
|
||
|
|
{
|
||
|
|
"body":
|
||
|
|
{
|
||
|
|
"id": 39,
|
||
|
|
"nodeType": "Block",
|
||
|
|
"src": "662:2:1",
|
||
|
|
"statements": []
|
||
|
|
},
|
||
|
|
"functionSelector": "191157d1",
|
||
|
|
"id": 40,
|
||
|
|
"implemented": true,
|
||
|
|
"kind": "function",
|
||
|
|
"modifiers": [],
|
||
|
|
"name": "g",
|
||
|
|
"nameLocation": "386:1:1",
|
||
|
|
"nodeType": "FunctionDefinition",
|
||
|
|
"parameters":
|
||
|
|
{
|
||
|
|
"id": 37,
|
||
|
|
"nodeType": "ParameterList",
|
||
|
|
"parameters":
|
||
|
|
[
|
||
|
|
{
|
||
|
|
"constant": false,
|
||
|
|
"id": 30,
|
||
|
|
"mutability": "mutable",
|
||
|
|
"name": "param1",
|
||
|
|
"nameLocation": "468:6:1",
|
||
|
|
"nodeType": "VariableDeclaration",
|
||
|
|
"scope": 40,
|
||
|
|
"src": "463:11:1",
|
||
|
|
"stateVariable": false,
|
||
|
|
"storageLocation": "default",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
},
|
||
|
|
"typeName":
|
||
|
|
{
|
||
|
|
"id": 29,
|
||
|
|
"name": "uint",
|
||
|
|
"nodeType": "ElementaryTypeName",
|
||
|
|
"src": "463:4:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"visibility": "internal"
|
||
|
|
},
|
||
|
|
{
|
||
|
|
"constant": false,
|
||
|
|
"id": 33,
|
||
|
|
"mutability": "mutable",
|
||
|
|
"name": "param2",
|
||
|
|
"nameLocation": "555:6:1",
|
||
|
|
"nodeType": "VariableDeclaration",
|
||
|
|
"scope": 40,
|
||
|
|
"src": "550:11:1",
|
||
|
|
"stateVariable": false,
|
||
|
|
"storageLocation": "default",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
},
|
||
|
|
"typeName":
|
||
|
|
{
|
||
|
|
"id": 32,
|
||
|
|
"name": "uint",
|
||
|
|
"nodeType": "ElementaryTypeName",
|
||
|
|
"src": "550:4:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"visibility": "internal"
|
||
|
|
},
|
||
|
|
{
|
||
|
|
"constant": false,
|
||
|
|
"id": 36,
|
||
|
|
"mutability": "mutable",
|
||
|
|
"name": "param3",
|
||
|
|
"nameLocation": "642:6:1",
|
||
|
|
"nodeType": "VariableDeclaration",
|
||
|
|
"scope": 40,
|
||
|
|
"src": "637:11:1",
|
||
|
|
"stateVariable": false,
|
||
|
|
"storageLocation": "default",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
},
|
||
|
|
"typeName":
|
||
|
|
{
|
||
|
|
"id": 35,
|
||
|
|
"name": "uint",
|
||
|
|
"nodeType": "ElementaryTypeName",
|
||
|
|
"src": "637:4:1",
|
||
|
|
"typeDescriptions":
|
||
|
|
{
|
||
|
|
"typeIdentifier": "t_uint256",
|
||
|
|
"typeString": "uint256"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"visibility": "internal"
|
||
|
|
}
|
||
|
|
],
|
||
|
|
"src": "387:267:1"
|
||
|
|
},
|
||
|
|
"returnParameters":
|
||
|
|
{
|
||
|
|
"id": 38,
|
||
|
|
"nodeType": "ParameterList",
|
||
|
|
"parameters": [],
|
||
|
|
"src": "662:0:1"
|
||
|
|
},
|
||
|
|
"scope": 41,
|
||
|
|
"src": "377:287:1",
|
||
|
|
"stateMutability": "nonpayable",
|
||
|
|
"virtual": false,
|
||
|
|
"visibility": "public"
|
||
|
|
}
|
||
|
|
],
|
||
|
|
"scope": 42,
|
||
|
|
"src": "0:666:1",
|
||
|
|
"usedErrors": []
|
||
|
|
}
|
||
|
|
],
|
||
|
|
"src": "0:667:1"
|
||
|
|
}
|