ethereum-analyzer-2.0.0: test/Ethereum/Analyzer/TestData/DaoJson.hs
module Ethereum.Analyzer.TestData.DaoJson
( simpleDaoJson
) where
import Protolude hiding (show)
simpleDaoJson :: Text
simpleDaoJson =
"{" <> " \"contracts\": {" <> " \"SimpleDAO_0.4.2.sol:Mallory\": {" <>
" }," <>
" \"SimpleDAO_0.4.2.sol:Mallory2\": {" <>
" }," <>
" \"SimpleDAO_0.4.2.sol:SimpleDAO\": {" <>
" }" <>
" }," <>
" \"sourceList\": [" <>
" \"SimpleDAO_0.4.2.sol\"" <>
" ]," <>
" \"sources\": {" <>
" \"SimpleDAO_0.4.2.sol\": {" <>
" \"AST\": {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"literals\": [" <>
" \"solidity\"," <>
" \"^\"," <>
" \"0.4\"," <>
" \".2\"" <>
" ]" <>
" }," <>
" \"id\": 1," <>
" \"name\": \"PragmaDirective\"," <>
" \"src\": \"0:23:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"fullyImplemented\": true," <>
" \"isLibrary\": false," <>
" \"linearizedBaseContracts\": [" <>
" 62" <>
" ]," <>
" \"name\": \"SimpleDAO\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"credit\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"mapping(address => uint256)\"," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"address\"" <>
" }," <>
" \"id\": 2," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"60:7:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"uint\"" <>
" }," <>
" \"id\": 3," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"71:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 4," <>
" \"name\": \"Mapping\"," <>
" \"src\": \"51:25:0\"" <>
" }" <>
" ]," <>
" \"id\": 5," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"51:39:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"donate\"," <>
" \"payable\": true," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"to\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"address\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"address\"" <>
" }," <>
" \"id\": 6," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"115:7:0\"" <>
" }" <>
" ]," <>
" \"id\": 7," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"115:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 8," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"114:12:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 9," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"135:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \"+=\"," <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"mapping(address => uint256)\"," <>
" \"value\": \"credit\"" <>
" }," <>
" \"id\": 10," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"141:6:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"address\"," <>
" \"value\": \"to\"" <>
" }," <>
" \"id\": 11," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"148:2:0\"" <>
" }" <>
" ]," <>
" \"id\": 12," <>
" \"name\": \"IndexAccess\"," <>
" \"src\": \"141:10:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"value\"," <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"msg\"," <>
" \"value\": \"msg\"" <>
" }," <>
" \"id\": 13," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"155:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 14," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"155:9:0\"" <>
" }" <>
" ]," <>
" \"id\": 15," <>
" \"name\": \"Assignment\"," <>
" \"src\": \"141:23:0\"" <>
" }" <>
" ]," <>
" \"id\": 16," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"141:23:0\"" <>
" }" <>
" ]," <>
" \"id\": 17," <>
" \"name\": \"Block\"," <>
" \"src\": \"135:34:0\"" <>
" }" <>
" ]," <>
" \"id\": 18," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"99:70:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"withdraw\"," <>
" \"payable\": false," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"amount\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"uint256\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"uint\"" <>
" }," <>
" \"id\": 19," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"195:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 20," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"195:11:0\"" <>
" }" <>
" ]," <>
" \"id\": 21," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"194:13:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 22," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"208:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \">=\"," <>
" \"type\": \"bool\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"mapping(address => uint256)\"," <>
" \"value\": \"credit\"" <>
" }," <>
" \"id\": 23," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"218:6:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"sender\"," <>
" \"type\": \"address\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"msg\"," <>
" \"value\": \"msg\"" <>
" }," <>
" \"id\": 24," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"225:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 25," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"225:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 26," <>
" \"name\": \"IndexAccess\"," <>
" \"src\": \"218:18:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"uint256\"," <>
" \"value\": \"amount\"" <>
" }," <>
" \"id\": 27," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"239:6:0\"" <>
" }" <>
" ]," <>
" \"id\": 28," <>
" \"name\": \"BinaryOperation\"," <>
" \"src\": \"218:27:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"res\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"bool\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"bool\"" <>
" }," <>
" \"id\": 29," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"255:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 30," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"255:8:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"bool\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"function () payable returns (bool)\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"value\"," <>
" \"type\": \"function (uint256) returns (function () payable returns (bool))\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"call\"," <>
" \"type\": \"function () payable returns (bool)\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"sender\"," <>
" \"type\": \"address\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"msg\"," <>
" \"value\": \"msg\"" <>
" }," <>
" \"id\": 31," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"266:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 32," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"266:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 33," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"266:15:0\"" <>
" }" <>
" ]," <>
" \"id\": 34," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"266:21:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"uint256\"," <>
" \"value\": \"amount\"" <>
" }," <>
" \"id\": 35," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"288:6:0\"" <>
" }" <>
" ]," <>
" \"id\": 36," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"266:29:0\"" <>
" }" <>
" ]," <>
" \"id\": 37," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"266:31:0\"" <>
" }" <>
" ]," <>
" \"id\": 38," <>
" \"name\": \"VariableDeclarationStatement\"," <>
" \"src\": \"255:42:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \"-=\"," <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"mapping(address => uint256)\"," <>
" \"value\": \"credit\"" <>
" }," <>
" \"id\": 39," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"305:6:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"sender\"," <>
" \"type\": \"address\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"msg\"," <>
" \"value\": \"msg\"" <>
" }," <>
" \"id\": 40," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"312:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 41," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"312:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 42," <>
" \"name\": \"IndexAccess\"," <>
" \"src\": \"305:18:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"uint256\"," <>
" \"value\": \"amount\"" <>
" }," <>
" \"id\": 43," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"325:6:0\"" <>
" }" <>
" ]," <>
" \"id\": 44," <>
" \"name\": \"Assignment\"," <>
" \"src\": \"305:26:0\"" <>
" }" <>
" ]," <>
" \"id\": 45," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"305:26:0\"" <>
" }" <>
" ]," <>
" \"id\": 46," <>
" \"name\": \"Block\"," <>
" \"src\": \"247:91:0\"" <>
" }" <>
" ]," <>
" \"id\": 47," <>
" \"name\": \"IfStatement\"," <>
" \"src\": \"214:124:0\"" <>
" }" <>
" ]," <>
" \"id\": 48," <>
" \"name\": \"Block\"," <>
" \"src\": \"208:134:0\"" <>
" }" <>
" ]," <>
" \"id\": 49," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"177:165:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"queryCredit\"," <>
" \"payable\": false," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"to\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"address\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"address\"" <>
" }," <>
" \"id\": 50," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"369:7:0\"" <>
" }" <>
" ]," <>
" \"id\": 51," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"369:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 52," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"368:12:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"uint256\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"uint\"" <>
" }," <>
" \"id\": 53," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"390:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 54," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"390:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 55," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"389:6:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"mapping(address => uint256)\"," <>
" \"value\": \"credit\"" <>
" }," <>
" \"id\": 56," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"408:6:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"address\"," <>
" \"value\": \"to\"" <>
" }," <>
" \"id\": 57," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"415:2:0\"" <>
" }" <>
" ]," <>
" \"id\": 58," <>
" \"name\": \"IndexAccess\"," <>
" \"src\": \"408:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 59," <>
" \"name\": \"Return\"," <>
" \"src\": \"401:17:0\"" <>
" }" <>
" ]," <>
" \"id\": 60," <>
" \"name\": \"Block\"," <>
" \"src\": \"395:28:0\"" <>
" }" <>
" ]," <>
" \"id\": 61," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"348:75:0\"" <>
" }" <>
" ]," <>
" \"id\": 62," <>
" \"name\": \"ContractDefinition\"," <>
" \"src\": \"25:400:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"fullyImplemented\": true," <>
" \"isLibrary\": false," <>
" \"linearizedBaseContracts\": [" <>
" 107" <>
" ]," <>
" \"name\": \"Mallory\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"dao\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"contract SimpleDAO\"," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"SimpleDAO\"" <>
" }," <>
" \"id\": 63," <>
" \"name\": \"UserDefinedTypeName\"," <>
" \"src\": \"449:9:0\"" <>
" }" <>
" ]," <>
" \"id\": 64," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"449:20:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"owner\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"address\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"address\"" <>
" }," <>
" \"id\": 65," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"473:7:0\"" <>
" }" <>
" ]," <>
" \"id\": 66," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"473:13:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"Mallory\"," <>
" \"payable\": false," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"addr\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"contract SimpleDAO\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"SimpleDAO\"" <>
" }," <>
" \"id\": 67," <>
" \"name\": \"UserDefinedTypeName\"," <>
" \"src\": \"508:9:0\"" <>
" }" <>
" ]," <>
" \"id\": 68," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"508:14:0\"" <>
" }" <>
" ]," <>
" \"id\": 69," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"507:16:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 70," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"523:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \"=\"," <>
" \"type\": \"address\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"address\"," <>
" \"value\": \"owner\"" <>
" }," <>
" \"id\": 71," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"530:5:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"sender\"," <>
" \"type\": \"address\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"msg\"," <>
" \"value\": \"msg\"" <>
" }," <>
" \"id\": 72," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"538:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 73," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"538:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 74," <>
" \"name\": \"Assignment\"," <>
" \"src\": \"530:18:0\"" <>
" }" <>
" ]," <>
" \"id\": 75," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"530:18:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \"=\"," <>
" \"type\": \"contract SimpleDAO\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 76," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"554:3:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"addr\"" <>
" }," <>
" \"id\": 77," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"560:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 78," <>
" \"name\": \"Assignment\"," <>
" \"src\": \"554:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 79," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"554:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 80," <>
" \"name\": \"Block\"," <>
" \"src\": \"523:46:0\"" <>
" }" <>
" ]," <>
" \"id\": 81," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"491:78:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"getJackpot\"," <>
" \"payable\": false," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": []," <>
" \"id\": 82," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"594:2:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 83," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"597:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"res\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"bool\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"bool\"" <>
" }," <>
" \"id\": 84," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"604:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 85," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"604:8:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"bool\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"send\"," <>
" \"type\": \"function (uint256) returns (bool)\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"address\"," <>
" \"value\": \"owner\"" <>
" }," <>
" \"id\": 86," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"615:5:0\"" <>
" }" <>
" ]," <>
" \"id\": 87," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"615:10:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"balance\"," <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract Mallory\"," <>
" \"value\": \"this\"" <>
" }," <>
" \"id\": 88," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"626:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 89," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"626:12:0\"" <>
" }" <>
" ]," <>
" \"id\": 90," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"615:24:0\"" <>
" }" <>
" ]," <>
" \"id\": 91," <>
" \"name\": \"VariableDeclarationStatement\"," <>
" \"src\": \"604:35:0\"" <>
" }" <>
" ]," <>
" \"id\": 92," <>
" \"name\": \"Block\"," <>
" \"src\": \"597:48:0\"" <>
" }" <>
" ]," <>
" \"id\": 93," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"575:70:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"\"," <>
" \"payable\": true," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": []," <>
" \"id\": 94," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"657:2:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 95," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"668:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"tuple()\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"withdraw\"," <>
" \"type\": \"function (uint256) external\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 96," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"675:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 98," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"675:12:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"uint256\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"queryCredit\"," <>
" \"type\": \"function (address) external returns (uint256)\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 99," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"688:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 100," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"688:15:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract Mallory\"," <>
" \"value\": \"this\"" <>
" }," <>
" \"id\": 101," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"704:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 102," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"688:21:0\"" <>
" }" <>
" ]," <>
" \"id\": 103," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"675:35:0\"" <>
" }" <>
" ]," <>
" \"id\": 104," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"675:35:0\"" <>
" }" <>
" ]," <>
" \"id\": 105," <>
" \"name\": \"Block\"," <>
" \"src\": \"668:48:0\"" <>
" }" <>
" ]," <>
" \"id\": 106," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"649:67:0\"" <>
" }" <>
" ]," <>
" \"id\": 107," <>
" \"name\": \"ContractDefinition\"," <>
" \"src\": \"428:290:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"fullyImplemented\": true," <>
" \"isLibrary\": false," <>
" \"linearizedBaseContracts\": [" <>
" 190" <>
" ]," <>
" \"name\": \"Mallory2\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"dao\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"contract SimpleDAO\"," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"SimpleDAO\"" <>
" }," <>
" \"id\": 108," <>
" \"name\": \"UserDefinedTypeName\"," <>
" \"src\": \"742:9:0\"" <>
" }" <>
" ]," <>
" \"id\": 109," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"742:20:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"owner\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"address\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"address\"" <>
" }," <>
" \"id\": 110," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"766:7:0\"" <>
" }" <>
" ]," <>
" \"id\": 111," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"766:13:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"performAttack\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"bool\"," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"bool\"" <>
" }," <>
" \"id\": 112," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"784:4:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"hexvalue\": \"74727565\"," <>
" \"subdenomination\": null," <>
" \"token\": \"true\"," <>
" \"type\": \"bool\"," <>
" \"value\": \"true\"" <>
" }," <>
" \"id\": 113," <>
" \"name\": \"Literal\"," <>
" \"src\": \"812:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 114," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"784:32:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"Mallory2\"," <>
" \"payable\": false," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"addr\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"contract SimpleDAO\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"SimpleDAO\"" <>
" }," <>
" \"id\": 115," <>
" \"name\": \"UserDefinedTypeName\"," <>
" \"src\": \"839:9:0\"" <>
" }" <>
" ]," <>
" \"id\": 116," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"839:14:0\"" <>
" }" <>
" ]," <>
" \"id\": 117," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"838:16:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 118," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"854:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \"=\"," <>
" \"type\": \"address\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"address\"," <>
" \"value\": \"owner\"" <>
" }," <>
" \"id\": 119," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"860:5:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"sender\"," <>
" \"type\": \"address\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"msg\"," <>
" \"value\": \"msg\"" <>
" }," <>
" \"id\": 120," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"868:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 121," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"868:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 122," <>
" \"name\": \"Assignment\"," <>
" \"src\": \"860:18:0\"" <>
" }" <>
" ]," <>
" \"id\": 123," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"860:18:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \"=\"," <>
" \"type\": \"contract SimpleDAO\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 124," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"884:3:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"addr\"" <>
" }," <>
" \"id\": 125," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"890:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 126," <>
" \"name\": \"Assignment\"," <>
" \"src\": \"884:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 127," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"884:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 128," <>
" \"name\": \"Block\"," <>
" \"src\": \"854:45:0\"" <>
" }" <>
" ]," <>
" \"id\": 129," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"821:78:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"attack\"," <>
" \"payable\": true," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": []," <>
" \"id\": 130," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"922:2:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 131," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"932:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"tuple()\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"function (address) payable external\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"value\"," <>
" \"type\": \"function (uint256) returns (function (address) payable external)\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"donate\"," <>
" \"type\": \"function (address) payable external\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 132," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"938:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 135," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"938:10:0\"" <>
" }" <>
" ]," <>
" \"id\": 136," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"938:16:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"hexvalue\": \"31\"," <>
" \"subdenomination\": null," <>
" \"token\": null," <>
" \"type\": \"int_const 1\"," <>
" \"value\": \"1\"" <>
" }," <>
" \"id\": 137," <>
" \"name\": \"Literal\"," <>
" \"src\": \"955:1:0\"" <>
" }" <>
" ]," <>
" \"id\": 138," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"938:19:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract Mallory2\"," <>
" \"value\": \"this\"" <>
" }," <>
" \"id\": 139," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"958:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 140," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"938:25:0\"" <>
" }" <>
" ]," <>
" \"id\": 141," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"938:25:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"tuple()\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"withdraw\"," <>
" \"type\": \"function (uint256) external\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 142," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"969:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 144," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"969:12:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"hexvalue\": \"31\"," <>
" \"subdenomination\": null," <>
" \"token\": null," <>
" \"type\": \"int_const 1\"," <>
" \"value\": \"1\"" <>
" }," <>
" \"id\": 145," <>
" \"name\": \"Literal\"," <>
" \"src\": \"982:1:0\"" <>
" }" <>
" ]," <>
" \"id\": 146," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"969:15:0\"" <>
" }" <>
" ]," <>
" \"id\": 147," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"969:15:0\"" <>
" }" <>
" ]," <>
" \"id\": 148," <>
" \"name\": \"Block\"," <>
" \"src\": \"932:57:0\"" <>
" }" <>
" ]," <>
" \"id\": 149," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"907:82:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"getJackpot\"," <>
" \"payable\": false," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": []," <>
" \"id\": 150," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"1012:2:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 151," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"1014:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"tuple()\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"withdraw\"," <>
" \"type\": \"function (uint256) external\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 152," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"1020:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 154," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"1020:12:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"balance\"," <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 155," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"1033:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 156," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"1033:11:0\"" <>
" }" <>
" ]," <>
" \"id\": 157," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"1020:25:0\"" <>
" }" <>
" ]," <>
" \"id\": 158," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"1020:25:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"res\"," <>
" \"storageLocation\": \"default\"," <>
" \"type\": \"bool\"," <>
" \"visibility\": \"internal\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"name\": \"bool\"" <>
" }," <>
" \"id\": 159," <>
" \"name\": \"ElementaryTypeName\"," <>
" \"src\": \"1051:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 160," <>
" \"name\": \"VariableDeclaration\"," <>
" \"src\": \"1051:8:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"bool\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"send\"," <>
" \"type\": \"function (uint256) returns (bool)\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"address\"," <>
" \"value\": \"owner\"" <>
" }," <>
" \"id\": 161," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"1062:5:0\"" <>
" }" <>
" ]," <>
" \"id\": 162," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"1062:10:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"balance\"," <>
" \"type\": \"uint256\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract Mallory2\"," <>
" \"value\": \"this\"" <>
" }," <>
" \"id\": 163," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"1073:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 164," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"1073:12:0\"" <>
" }" <>
" ]," <>
" \"id\": 165," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"1062:24:0\"" <>
" }" <>
" ]," <>
" \"id\": 166," <>
" \"name\": \"VariableDeclarationStatement\"," <>
" \"src\": \"1051:35:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \"=\"," <>
" \"type\": \"bool\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"bool\"," <>
" \"value\": \"performAttack\"" <>
" }," <>
" \"id\": 167," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"1092:13:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"hexvalue\": \"74727565\"," <>
" \"subdenomination\": null," <>
" \"token\": \"true\"," <>
" \"type\": \"bool\"," <>
" \"value\": \"true\"" <>
" }," <>
" \"id\": 168," <>
" \"name\": \"Literal\"," <>
" \"src\": \"1108:4:0\"" <>
" }" <>
" ]," <>
" \"id\": 169," <>
" \"name\": \"Assignment\"," <>
" \"src\": \"1092:20:0\"" <>
" }" <>
" ]," <>
" \"id\": 170," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"1092:20:0\"" <>
" }" <>
" ]," <>
" \"id\": 171," <>
" \"name\": \"Block\"," <>
" \"src\": \"1014:103:0\"" <>
" }" <>
" ]," <>
" \"id\": 172," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"993:124:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"constant\": false," <>
" \"name\": \"\"," <>
" \"payable\": true," <>
" \"visibility\": \"public\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"children\": []," <>
" \"id\": 173," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"1129:2:0\"" <>
" }," <>
" {" <>
" \"children\": []," <>
" \"id\": 174," <>
" \"name\": \"ParameterList\"," <>
" \"src\": \"1140:0:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"bool\"," <>
" \"value\": \"performAttack\"" <>
" }," <>
" \"id\": 175," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"1150:13:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"operator\": \"=\"," <>
" \"type\": \"bool\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"bool\"," <>
" \"value\": \"performAttack\"" <>
" }," <>
" \"id\": 176," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"1174:13:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"hexvalue\": \"66616c7365\"," <>
" \"subdenomination\": null," <>
" \"token\": \"false\"," <>
" \"type\": \"bool\"," <>
" \"value\": \"false\"" <>
" }," <>
" \"id\": 177," <>
" \"name\": \"Literal\"," <>
" \"src\": \"1190:5:0\"" <>
" }" <>
" ]," <>
" \"id\": 178," <>
" \"name\": \"Assignment\"," <>
" \"src\": \"1174:21:0\"" <>
" }" <>
" ]," <>
" \"id\": 179," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"1174:21:0\"" <>
" }," <>
" {" <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"tuple()\"," <>
" \"type_conversion\": false" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"member_name\": \"withdraw\"," <>
" \"type\": \"function (uint256) external\"" <>
" }," <>
" \"children\": [" <>
" {" <>
" \"attributes\": {" <>
" \"type\": \"contract SimpleDAO\"," <>
" \"value\": \"dao\"" <>
" }," <>
" \"id\": 180," <>
" \"name\": \"Identifier\"," <>
" \"src\": \"1204:3:0\"" <>
" }" <>
" ]," <>
" \"id\": 182," <>
" \"name\": \"MemberAccess\"," <>
" \"src\": \"1204:12:0\"" <>
" }," <>
" {" <>
" \"attributes\": {" <>
" \"hexvalue\": \"31\"," <>
" \"subdenomination\": null," <>
" \"token\": null," <>
" \"type\": \"int_const 1\"," <>
" \"value\": \"1\"" <>
" }," <>
" \"id\": 183," <>
" \"name\": \"Literal\"," <>
" \"src\": \"1217:1:0\"" <>
" }" <>
" ]," <>
" \"id\": 184," <>
" \"name\": \"FunctionCall\"," <>
" \"src\": \"1204:15:0\"" <>
" }" <>
" ]," <>
" \"id\": 185," <>
" \"name\": \"ExpressionStatement\"," <>
" \"src\": \"1204:15:0\"" <>
" }" <>
" ]," <>
" \"id\": 186," <>
" \"name\": \"Block\"," <>
" \"src\": \"1165:61:0\"" <>
" }" <>
" ]," <>
" \"id\": 187," <>
" \"name\": \"IfStatement\"," <>
" \"src\": \"1146:80:0\"" <>
" }" <>
" ]," <>
" \"id\": 188," <>
" \"name\": \"Block\"," <>
" \"src\": \"1140:90:0\"" <>
" }" <>
" ]," <>
" \"id\": 189," <>
" \"name\": \"FunctionDefinition\"," <>
" \"src\": \"1121:109:0\"" <>
" }" <>
" ]," <>
" \"id\": 190," <>
" \"name\": \"ContractDefinition\"," <>
" \"src\": \"720:512:0\"" <>
" }" <>
" ]," <>
" \"name\": \"SourceUnit\"" <>
" }" <>
" }" <>
" }," <>
" \"version\": \"0.4.11+commit.68ef5810.Linux.g++\"" <>
"}"