{ "contractName": "WETH9", "abi": [ { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "src", "type": "address" }, { "indexed": true, "internalType": "address", "name": "guy", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "wad", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "dst", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "wad", "type": "uint256" } ], "name": "Deposit", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "src", "type": "address" }, { "indexed": true, "internalType": "address", "name": "dst", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "wad", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "src", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "wad", "type": "uint256" } ], "name": "Withdrawal", "type": "event" }, { "inputs": [ { "internalType": "address", "name": "", "type": "address" }, { "internalType": "address", "name": "", "type": "address" } ], "name": "allowance", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "", "type": "address" } ], "name": "balanceOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "decimals", "outputs": [ { "internalType": "uint8", "name": "", "type": "uint8" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "name", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "symbol", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "stateMutability": "payable", "type": "receive" }, { "inputs": [], "name": "deposit", "outputs": [], "stateMutability": "payable", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "wad", "type": "uint256" } ], "name": "withdraw", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "totalSupply", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "guy", "type": "address" }, { "internalType": "uint256", "name": "wad", "type": "uint256" } ], "name": "approve", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "dst", "type": "address" }, { "internalType": "uint256", "name": "wad", "type": "uint256" } ], "name": "transfer", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "src", "type": "address" }, { "internalType": "address", "name": "dst", "type": "address" }, { "internalType": "uint256", "name": "wad", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.6.12+commit.27d51765\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"src\",\"type\":\"address\"},{\"indexed\":true,\"internalType\":\"address\",\"name\":\"guy\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"wad\",\"type\":\"uint256\"}],\"name\":\"Approval\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"dst\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"wad\",\"type\":\"uint256\"}],\"name\":\"Deposit\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"src\",\"type\":\"address\"},{\"indexed\":true,\"internalType\":\"address\",\"name\":\"dst\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"wad\",\"type\":\"uint256\"}],\"name\":\"Transfer\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"src\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"wad\",\"type\":\"uint256\"}],\"name\":\"Withdrawal\",\"type\":\"event\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"name\":\"allowance\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"guy\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"wad\",\"type\":\"uint256\"}],\"name\":\"approve\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"name\":\"balanceOf\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"decimals\",\"outputs\":[{\"internalType\":\"uint8\",\"name\":\"\",\"type\":\"uint8\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"deposit\",\"outputs\":[],\"stateMutability\":\"payable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"name\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"symbol\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"totalSupply\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"dst\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"wad\",\"type\":\"uint256\"}],\"name\":\"transfer\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"src\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"dst\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"wad\",\"type\":\"uint256\"}],\"name\":\"transferFrom\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"wad\",\"type\":\"uint256\"}],\"name\":\"withdraw\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"stateMutability\":\"payable\",\"type\":\"receive\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"project:/contracts/WETH9.sol\":\"WETH9\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"project:/contracts/WETH9.sol\":{\"keccak256\":\"0x0a9f783fbceac8ef4e2d4a018cb3f9156e2f8bc0e481716c3d0c2fa085742fae\",\"license\":\"LGPL-3.0-only\",\"urls\":[\"bzz-raw://03fa76bc627ae26dba0ae572b86a4b7fb0db690148393d8277507eeca8701a2d\",\"dweb:/ipfs/QmUqfc3sG6ReW8t8fLB2tANHDFZNMWq5pCNpwtvvqMjsFZ\"]}},\"version\":1}", "bytecode": "0x60c0604052600d60808190526c2bb930b83832b21022ba3432b960991b60a090815261002e916000919061007a565b50604080518082019091526004808252630ae8aa8960e31b602090920191825261005a9160019161007a565b506002805460ff1916601217905534801561007457600080fd5b5061010d565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100bb57805160ff19168380011785556100e8565b828001600101855582156100e8579182015b828111156100e85782518255916020019190600101906100cd565b506100f49291506100f8565b5090565b5b808211156100f457600081556001016100f9565b6106fa8061011c6000396000f3fe6080604052600436106100a05760003560e01c8063313ce56711610064578063313ce5671461021f57806370a082311461024a57806395d89b411461027d578063a9059cbb14610292578063d0e30db0146102cb578063dd62ed3e146102d3576100af565b806306fdde03146100b4578063095ea7b31461013e57806318160ddd1461018b57806323b872dd146101b25780632e1a7d4d146101f5576100af565b366100af576100ad61030e565b005b600080fd5b3480156100c057600080fd5b506100c961035d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101035781810151838201526020016100eb565b50505050905090810190601f1680156101305780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561014a57600080fd5b506101776004803603604081101561016157600080fd5b506001600160a01b0381351690602001356103eb565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a0610451565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600480360360608110156101d557600080fd5b506001600160a01b03813581169160208101359091169060400135610455565b34801561020157600080fd5b506100ad6004803603602081101561021857600080fd5b5035610589565b34801561022b57600080fd5b5061023461061e565b6040805160ff9092168252519081900360200190f35b34801561025657600080fd5b506101a06004803603602081101561026d57600080fd5b50356001600160a01b0316610627565b34801561028957600080fd5b506100c9610639565b34801561029e57600080fd5b50610177600480360360408110156102b557600080fd5b506001600160a01b038135169060200135610693565b6100ad61030e565b3480156102df57600080fd5b506101a0600480360360408110156102f657600080fd5b506001600160a01b03813581169160200135166106a7565b33600081815260036020908152604091829020805434908101909155825190815291517fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c9281900390910190a2565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103e35780601f106103b8576101008083540402835291602001916103e3565b820191906000526020600020905b8154815290600101906020018083116103c657829003601f168201915b505050505081565b3360008181526004602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b4790565b6001600160a01b03831660009081526003602052604081205482111561047a57600080fd5b6001600160a01b03841633148015906104b857506001600160a01b038416600090815260046020908152604080832033845290915290205460001914155b15610518576001600160a01b03841660009081526004602090815260408083203384529091529020548211156104ed57600080fd5b6001600160a01b03841660009081526004602090815260408083203384529091529020805483900390555b6001600160a01b03808516600081815260036020908152604080832080548890039055938716808352918490208054870190558351868152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35060019392505050565b336000908152600360205260409020548111156105a557600080fd5b33600081815260036020526040808220805485900390555183156108fc0291849190818181858888f193505050501580156105e4573d6000803e3d6000fd5b5060408051828152905133917f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65919081900360200190a250565b60025460ff1681565b60036020526000908152604090205481565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103e35780601f106103b8576101008083540402835291602001916103e3565b60006106a0338484610455565b9392505050565b60046020908152600092835260408084209091529082529020548156fea2646970667358221220631c8b432c6a814126d00b3aa13e49b37ed65509935770e26da0e0b74dcf32fb64736f6c634300060c0033", "deployedBytecode": "0x6080604052600436106100a05760003560e01c8063313ce56711610064578063313ce5671461021f57806370a082311461024a57806395d89b411461027d578063a9059cbb14610292578063d0e30db0146102cb578063dd62ed3e146102d3576100af565b806306fdde03146100b4578063095ea7b31461013e57806318160ddd1461018b57806323b872dd146101b25780632e1a7d4d146101f5576100af565b366100af576100ad61030e565b005b600080fd5b3480156100c057600080fd5b506100c961035d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101035781810151838201526020016100eb565b50505050905090810190601f1680156101305780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561014a57600080fd5b506101776004803603604081101561016157600080fd5b506001600160a01b0381351690602001356103eb565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a0610451565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600480360360608110156101d557600080fd5b506001600160a01b03813581169160208101359091169060400135610455565b34801561020157600080fd5b506100ad6004803603602081101561021857600080fd5b5035610589565b34801561022b57600080fd5b5061023461061e565b6040805160ff9092168252519081900360200190f35b34801561025657600080fd5b506101a06004803603602081101561026d57600080fd5b50356001600160a01b0316610627565b34801561028957600080fd5b506100c9610639565b34801561029e57600080fd5b50610177600480360360408110156102b557600080fd5b506001600160a01b038135169060200135610693565b6100ad61030e565b3480156102df57600080fd5b506101a0600480360360408110156102f657600080fd5b506001600160a01b03813581169160200135166106a7565b33600081815260036020908152604091829020805434908101909155825190815291517fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c9281900390910190a2565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103e35780601f106103b8576101008083540402835291602001916103e3565b820191906000526020600020905b8154815290600101906020018083116103c657829003601f168201915b505050505081565b3360008181526004602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b4790565b6001600160a01b03831660009081526003602052604081205482111561047a57600080fd5b6001600160a01b03841633148015906104b857506001600160a01b038416600090815260046020908152604080832033845290915290205460001914155b15610518576001600160a01b03841660009081526004602090815260408083203384529091529020548211156104ed57600080fd5b6001600160a01b03841660009081526004602090815260408083203384529091529020805483900390555b6001600160a01b03808516600081815260036020908152604080832080548890039055938716808352918490208054870190558351868152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35060019392505050565b336000908152600360205260409020548111156105a557600080fd5b33600081815260036020526040808220805485900390555183156108fc0291849190818181858888f193505050501580156105e4573d6000803e3d6000fd5b5060408051828152905133917f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65919081900360200190a250565b60025460ff1681565b60036020526000908152604090205481565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103e35780601f106103b8576101008083540402835291602001916103e3565b60006106a0338484610455565b9392505050565b60046020908152600092835260408084209091529082529020548156fea2646970667358221220631c8b432c6a814126d00b3aa13e49b37ed65509935770e26da0e0b74dcf32fb64736f6c634300060c0033", "immutableReferences": {}, "sourceMap": "88:40:43:-:0;67:1808;88:40;;67:1808;88:40;;;-1:-1:-1;;;88:40:43;;;;;;-1:-1:-1;;88:40:43;;:::i;:::-;-1:-1:-1;134:31:43;;;;;;;;;;;;;-1:-1:-1;;;134:31:43;;;;;;;;;;;;:::i;:::-;-1:-1:-1;171:27:43;;;-1:-1:-1;;171:27:43;196:2;171:27;;;67:1808;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;67:1808:43;;;-1:-1:-1;67:1808:43;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "67:1808:43:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;637:9;:7;:9::i;:::-;67:1808;;;;;88:40;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1103:177;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;1103:177:43;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1002:95;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1413:460;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;1413:460:43;;;;;;;;;;;;;;;;;:::i;793:203::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;793:203:43;;:::i;171:27::-;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;457:65;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;457:65:43;-1:-1:-1;;;;;457:65:43;;:::i;134:31::-;;;;;;;;;;;;;:::i;1286:121::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;1286:121:43;;;;;;;;:::i;658:130::-;;;:::i;528:65::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;528:65:43;;;;;;;;;;:::i;658:130::-;712:10;702:21;;;;:9;:21;;;;;;;;;:34;;727:9;702:34;;;;;;751:30;;;;;;;;;;;;;;;;;658:130::o;88:40::-;;;;;;;;;;;;;;;-1:-1:-1;;88:40:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1103:177::-;1185:10;1159:4;1175:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;1175:26:43;;;;;;;;;;;:32;;;1222:30;;;;;;;1159:4;;1175:26;;1185:10;;1222:30;;;;;;;;-1:-1:-1;1269:4:43;1103:177;;;;:::o;1002:95::-;1069:21;1002:95;:::o;1413:460::-;-1:-1:-1;;;;;1531:14:43;;1503:4;1531:14;;;:9;:14;;;;;;:21;-1:-1:-1;1531:21:43;1523:30;;;;;;-1:-1:-1;;;;;1568:17:43;;1575:10;1568:17;;;;:59;;-1:-1:-1;;;;;;1589:14:43;;;;;;:9;:14;;;;;;;;1604:10;1589:26;;;;;;;;-1:-1:-1;;1589:38:43;;1568:59;1564:179;;;-1:-1:-1;;;;;1651:14:43;;;;;;:9;:14;;;;;;;;1666:10;1651:26;;;;;;;;:33;-1:-1:-1;1651:33:43;1643:42;;;;;;-1:-1:-1;;;;;1699:14:43;;;;;;:9;:14;;;;;;;;1714:10;1699:26;;;;;;;:33;;;;;;;1564:179;-1:-1:-1;;;;;1753:14:43;;;;;;;:9;:14;;;;;;;;:21;;;;;;;1784:14;;;;;;;;;;:21;;;;;;1821:23;;;;;;;1784:14;;1821:23;;;;;;;;;;;-1:-1:-1;1862:4:43;1413:460;;;;;:::o;793:203::-;856:10;846:21;;;;:9;:21;;;;;;:28;-1:-1:-1;846:28:43;838:37;;;;;;895:10;885:21;;;;:9;:21;;;;;;:28;;;;;;;923:24;;;;;;910:3;;923:24;;885:21;923:24;910:3;895:10;923:24;;;;;;;;;;;;;;;;;;;;-1:-1:-1;962:27:43;;;;;;;;973:10;;962:27;;;;;;;;;;793:203;:::o;171:27::-;;;;;;:::o;457:65::-;;;;;;;;;;;;;:::o;134:31::-;;;;;;;;;;;;;;;-1:-1:-1;;134:31:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1286:121;1343:4;1366:34;1379:10;1391:3;1396;1366:12;:34::i;:::-;1359:41;1286:121;-1:-1:-1;;;1286:121:43:o;528:65::-;;;;;;;;;;;;;;;;;;;;;;;;:::o", "source": "// SPDX-License-Identifier: LGPL-3.0-only\npragma solidity 0.6.12;\n\ncontract WETH9 {\n string public name = \"Wrapped Ether\";\n string public symbol = \"WETH\";\n uint8 public decimals = 18;\n\n event Approval(address indexed src, address indexed guy, uint wad);\n event Transfer(address indexed src, address indexed dst, uint wad);\n event Deposit(address indexed dst, uint wad);\n event Withdrawal(address indexed src, uint wad);\n\n mapping (address => uint) public balanceOf;\n mapping (address => mapping (address => uint)) public allowance;\n\n receive() external payable {\n deposit();\n }\n function deposit() public payable {\n balanceOf[msg.sender] += msg.value;\n emit Deposit(msg.sender, msg.value);\n }\n function withdraw(uint wad) public {\n require(balanceOf[msg.sender] >= wad);\n balanceOf[msg.sender] -= wad;\n msg.sender.transfer(wad);\n emit Withdrawal(msg.sender, wad);\n }\n\n function totalSupply() public view returns (uint) {\n return address(this).balance;\n }\n\n function approve(address guy, uint wad) public returns (bool) {\n allowance[msg.sender][guy] = wad;\n emit Approval(msg.sender, guy, wad);\n return true;\n }\n\n function transfer(address dst, uint wad) public returns (bool) {\n return transferFrom(msg.sender, dst, wad);\n }\n\n function transferFrom(address src, address dst, uint wad)\n public\n returns (bool)\n {\n require(balanceOf[src] >= wad);\n\n if (src != msg.sender && allowance[src][msg.sender] != uint(-1)) {\n require(allowance[src][msg.sender] >= wad);\n allowance[src][msg.sender] -= wad;\n }\n\n balanceOf[src] -= wad;\n balanceOf[dst] += wad;\n\n emit Transfer(src, dst, wad);\n\n return true;\n }\n}\n", "sourcePath": "/home/sigo/w/deer/ethsub/packages/sol/contracts/WETH9.sol", "ast": { "absolutePath": "project:/contracts/WETH9.sol", "exportedSymbols": { "WETH9": [ 8483 ] }, "id": 8484, "license": "LGPL-3.0-only", "nodeType": "SourceUnit", "nodes": [ { "id": 8237, "literals": [ "solidity", "0.6", ".12" ], "nodeType": "PragmaDirective", "src": "42:23:43" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 8483, "linearizedBaseContracts": [ 8483 ], "name": "WETH9", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "functionSelector": "06fdde03", "id": 8240, "mutability": "mutable", "name": "name", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8483, "src": "88:40:43", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_storage", "typeString": "string" }, "typeName": { "id": 8238, "name": "string", "nodeType": "ElementaryTypeName", "src": "88:6:43", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "57726170706564204574686572", "id": 8239, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "113:15:43", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_00cd3d46df44f2cbb950cf84eb2e92aa2ddd23195b1a009173ea59a063357ed3", "typeString": "literal_string \"Wrapped Ether\"" }, "value": "Wrapped Ether" }, "visibility": "public" }, { "constant": false, "functionSelector": "95d89b41", "id": 8243, "mutability": "mutable", "name": "symbol", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8483, "src": "134:31:43", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_storage", "typeString": "string" }, "typeName": { "id": 8241, "name": "string", "nodeType": "ElementaryTypeName", "src": "134:6:43", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "57455448", "id": 8242, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "159:6:43", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_0f8a193ff464434486c0daf7db2a895884365d2bc84ba47a68fcf89c1b14b5b8", "typeString": "literal_string \"WETH\"" }, "value": "WETH" }, "visibility": "public" }, { "constant": false, "functionSelector": "313ce567", "id": 8246, "mutability": "mutable", "name": "decimals", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8483, "src": "171:27:43", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 8244, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "171:5:43", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": { "argumentTypes": null, "hexValue": "3138", "id": 8245, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "196:2:43", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18_by_1", "typeString": "int_const 18" }, "value": "18" }, "visibility": "public" }, { "anonymous": false, "documentation": null, "id": 8254, "name": "Approval", "nodeType": "EventDefinition", "parameters": { "id": 8253, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8248, "indexed": true, "mutability": "mutable", "name": "src", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8254, "src": "221:19:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8247, "name": "address", "nodeType": "ElementaryTypeName", "src": "221:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8250, "indexed": true, "mutability": "mutable", "name": "guy", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8254, "src": "242:19:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8249, "name": "address", "nodeType": "ElementaryTypeName", "src": "242:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8252, "indexed": false, "mutability": "mutable", "name": "wad", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8254, "src": "263:8:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8251, "name": "uint", "nodeType": "ElementaryTypeName", "src": "263:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "220:52:43" }, "src": "205:68:43" }, { "anonymous": false, "documentation": null, "id": 8262, "name": "Transfer", "nodeType": "EventDefinition", "parameters": { "id": 8261, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8256, "indexed": true, "mutability": "mutable", "name": "src", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8262, "src": "294:19:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8255, "name": "address", "nodeType": "ElementaryTypeName", "src": "294:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8258, "indexed": true, "mutability": "mutable", "name": "dst", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8262, "src": "315:19:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8257, "name": "address", "nodeType": "ElementaryTypeName", "src": "315:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8260, "indexed": false, "mutability": "mutable", "name": "wad", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8262, "src": "336:8:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8259, "name": "uint", "nodeType": "ElementaryTypeName", "src": "336:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "293:52:43" }, "src": "278:68:43" }, { "anonymous": false, "documentation": null, "id": 8268, "name": "Deposit", "nodeType": "EventDefinition", "parameters": { "id": 8267, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8264, "indexed": true, "mutability": "mutable", "name": "dst", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8268, "src": "366:19:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8263, "name": "address", "nodeType": "ElementaryTypeName", "src": "366:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8266, "indexed": false, "mutability": "mutable", "name": "wad", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8268, "src": "387:8:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8265, "name": "uint", "nodeType": "ElementaryTypeName", "src": "387:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "365:31:43" }, "src": "351:46:43" }, { "anonymous": false, "documentation": null, "id": 8274, "name": "Withdrawal", "nodeType": "EventDefinition", "parameters": { "id": 8273, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8270, "indexed": true, "mutability": "mutable", "name": "src", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8274, "src": "420:19:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8269, "name": "address", "nodeType": "ElementaryTypeName", "src": "420:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8272, "indexed": false, "mutability": "mutable", "name": "wad", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8274, "src": "441:8:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8271, "name": "uint", "nodeType": "ElementaryTypeName", "src": "441:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "419:31:43" }, "src": "402:49:43" }, { "constant": false, "functionSelector": "70a08231", "id": 8278, "mutability": "mutable", "name": "balanceOf", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8483, "src": "457:65:43", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 8277, "keyType": { "id": 8275, "name": "address", "nodeType": "ElementaryTypeName", "src": "466:7:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "457:25:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 8276, "name": "uint", "nodeType": "ElementaryTypeName", "src": "477:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "functionSelector": "dd62ed3e", "id": 8284, "mutability": "mutable", "name": "allowance", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8483, "src": "528:65:43", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "typeName": { "id": 8283, "keyType": { "id": 8279, "name": "address", "nodeType": "ElementaryTypeName", "src": "537:7:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "528:46:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "valueType": { "id": 8282, "keyType": { "id": 8280, "name": "address", "nodeType": "ElementaryTypeName", "src": "557:7:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "548:25:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 8281, "name": "uint", "nodeType": "ElementaryTypeName", "src": "568:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } } }, "value": null, "visibility": "public" }, { "body": { "id": 8290, "nodeType": "Block", "src": "627:26:43", "statements": [ { "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 8287, "name": "deposit", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8310, "src": "637:7:43", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$__$returns$__$", "typeString": "function ()" } }, "id": 8288, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "637:9:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8289, "nodeType": "ExpressionStatement", "src": "637:9:43" } ] }, "documentation": null, "id": 8291, "implemented": true, "kind": "receive", "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8285, "nodeType": "ParameterList", "parameters": [], "src": "607:2:43" }, "returnParameters": { "id": 8286, "nodeType": "ParameterList", "parameters": [], "src": "627:0:43" }, "scope": 8483, "src": "600:53:43", "stateMutability": "payable", "virtual": false, "visibility": "external" }, { "body": { "id": 8309, "nodeType": "Block", "src": "692:96:43", "statements": [ { "expression": { "argumentTypes": null, "id": 8300, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8294, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8278, "src": "702:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8297, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8295, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "712:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8296, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "712:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "702:21:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8298, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "727:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8299, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "727:9:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "702:34:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8301, "nodeType": "ExpressionStatement", "src": "702:34:43" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8303, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "759:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8304, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "759:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8305, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "771:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8306, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "771:9:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 8302, "name": "Deposit", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8268, "src": "751:7:43", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 8307, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "751:30:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8308, "nodeType": "EmitStatement", "src": "746:35:43" } ] }, "documentation": null, "functionSelector": "d0e30db0", "id": 8310, "implemented": true, "kind": "function", "modifiers": [], "name": "deposit", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8292, "nodeType": "ParameterList", "parameters": [], "src": "674:2:43" }, "returnParameters": { "id": 8293, "nodeType": "ParameterList", "parameters": [], "src": "692:0:43" }, "scope": 8483, "src": "658:130:43", "stateMutability": "payable", "virtual": false, "visibility": "public" }, { "body": { "id": 8345, "nodeType": "Block", "src": "828:168:43", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8321, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8316, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8278, "src": "846:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8319, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8317, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "856:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8318, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "856:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "846:21:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 8320, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8312, "src": "871:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "846:28:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8315, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "838:7:43", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8322, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "838:37:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8323, "nodeType": "ExpressionStatement", "src": "838:37:43" }, { "expression": { "argumentTypes": null, "id": 8329, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8324, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8278, "src": "885:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8327, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8325, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "895:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8326, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "895:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "885:21:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 8328, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8312, "src": "910:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "885:28:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8330, "nodeType": "ExpressionStatement", "src": "885:28:43" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 8336, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8312, "src": "943:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8331, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "923:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8334, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "923:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "id": 8335, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "923:19:43", "typeDescriptions": { "typeIdentifier": "t_function_transfer_nonpayable$_t_uint256_$returns$__$", "typeString": "function (uint256)" } }, "id": 8337, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "923:24:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8338, "nodeType": "ExpressionStatement", "src": "923:24:43" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8340, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "973:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8341, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "973:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 8342, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8312, "src": "985:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 8339, "name": "Withdrawal", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8274, "src": "962:10:43", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 8343, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "962:27:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8344, "nodeType": "EmitStatement", "src": "957:32:43" } ] }, "documentation": null, "functionSelector": "2e1a7d4d", "id": 8346, "implemented": true, "kind": "function", "modifiers": [], "name": "withdraw", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8313, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8312, "mutability": "mutable", "name": "wad", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8346, "src": "811:8:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8311, "name": "uint", "nodeType": "ElementaryTypeName", "src": "811:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "810:10:43" }, "returnParameters": { "id": 8314, "nodeType": "ParameterList", "parameters": [], "src": "828:0:43" }, "scope": 8483, "src": "793:203:43", "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, { "body": { "id": 8357, "nodeType": "Block", "src": "1052:45:43", "statements": [ { "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 8353, "name": "this", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -28, "src": "1077:4:43", "typeDescriptions": { "typeIdentifier": "t_contract$_WETH9_$8483", "typeString": "contract WETH9" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_WETH9_$8483", "typeString": "contract WETH9" } ], "id": 8352, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1069:7:43", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": { "id": 8351, "name": "address", "nodeType": "ElementaryTypeName", "src": "1069:7:43", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 8354, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1069:13:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "id": 8355, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balance", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1069:21:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8350, "id": 8356, "nodeType": "Return", "src": "1062:28:43" } ] }, "documentation": null, "functionSelector": "18160ddd", "id": 8358, "implemented": true, "kind": "function", "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8347, "nodeType": "ParameterList", "parameters": [], "src": "1022:2:43" }, "returnParameters": { "id": 8350, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8349, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8358, "src": "1046:4:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8348, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1046:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1045:6:43" }, "scope": 8483, "src": "1002:95:43", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "body": { "id": 8385, "nodeType": "Block", "src": "1165:115:43", "statements": [ { "expression": { "argumentTypes": null, "id": 8374, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8367, "name": "allowance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8284, "src": "1175:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 8371, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8368, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "1185:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8369, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1185:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1175:21:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8372, "indexExpression": { "argumentTypes": null, "id": 8370, "name": "guy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8360, "src": "1197:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1175:26:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 8373, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8362, "src": "1204:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1175:32:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8375, "nodeType": "ExpressionStatement", "src": "1175:32:43" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8377, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "1231:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8378, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1231:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 8379, "name": "guy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8360, "src": "1243:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 8380, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8362, "src": "1248:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 8376, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8254, "src": "1222:8:43", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 8381, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1222:30:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8382, "nodeType": "EmitStatement", "src": "1217:35:43" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 8383, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1269:4:43", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 8366, "id": 8384, "nodeType": "Return", "src": "1262:11:43" } ] }, "documentation": null, "functionSelector": "095ea7b3", "id": 8386, "implemented": true, "kind": "function", "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8363, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8360, "mutability": "mutable", "name": "guy", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8386, "src": "1120:11:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8359, "name": "address", "nodeType": "ElementaryTypeName", "src": "1120:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8362, "mutability": "mutable", "name": "wad", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8386, "src": "1133:8:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8361, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1133:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1119:23:43" }, "returnParameters": { "id": 8366, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8365, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8386, "src": "1159:4:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 8364, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1159:4:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1158:6:43" }, "scope": 8483, "src": "1103:177:43", "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, { "body": { "id": 8402, "nodeType": "Block", "src": "1349:58:43", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8396, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "1379:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8397, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1379:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 8398, "name": "dst", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8388, "src": "1391:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 8399, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8390, "src": "1396:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 8395, "name": "transferFrom", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8482, "src": "1366:12:43", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,address,uint256) returns (bool)" } }, "id": 8400, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1366:34:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 8394, "id": 8401, "nodeType": "Return", "src": "1359:41:43" } ] }, "documentation": null, "functionSelector": "a9059cbb", "id": 8403, "implemented": true, "kind": "function", "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8391, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8388, "mutability": "mutable", "name": "dst", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8403, "src": "1304:11:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8387, "name": "address", "nodeType": "ElementaryTypeName", "src": "1304:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8390, "mutability": "mutable", "name": "wad", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8403, "src": "1317:8:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8389, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1317:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1303:23:43" }, "returnParameters": { "id": 8394, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8393, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8403, "src": "1343:4:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 8392, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1343:4:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1342:6:43" }, "scope": 8483, "src": "1286:121:43", "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, { "body": { "id": 8481, "nodeType": "Block", "src": "1513:360:43", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8419, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8415, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8278, "src": "1531:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8417, "indexExpression": { "argumentTypes": null, "id": 8416, "name": "src", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8405, "src": "1541:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1531:14:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 8418, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8409, "src": "1549:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1531:21:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8414, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1523:7:43", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8420, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1523:30:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8421, "nodeType": "ExpressionStatement", "src": "1523:30:43" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 8438, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 8425, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8422, "name": "src", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8405, "src": "1568:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8423, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "1575:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8424, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1575:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "1568:17:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8437, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8426, "name": "allowance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8284, "src": "1589:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 8428, "indexExpression": { "argumentTypes": null, "id": 8427, "name": "src", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8405, "src": "1599:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1589:14:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8431, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8429, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "1604:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8430, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1604:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1589:26:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 8435, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "1624:2:43", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 8434, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1625:1:43", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } ], "id": 8433, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1619:4:43", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 8432, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1619:4:43", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 8436, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1619:8:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1589:38:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1568:59:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 8460, "nodeType": "IfStatement", "src": "1564:179:43", "trueBody": { "id": 8459, "nodeType": "Block", "src": "1629:114:43", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8447, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8440, "name": "allowance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8284, "src": "1651:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 8442, "indexExpression": { "argumentTypes": null, "id": 8441, "name": "src", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8405, "src": "1661:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1651:14:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8445, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8443, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "1666:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8444, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1666:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1651:26:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 8446, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8409, "src": "1681:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1651:33:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8439, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1643:7:43", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8448, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1643:42:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8449, "nodeType": "ExpressionStatement", "src": "1643:42:43" }, { "expression": { "argumentTypes": null, "id": 8457, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8450, "name": "allowance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8284, "src": "1699:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 8454, "indexExpression": { "argumentTypes": null, "id": 8451, "name": "src", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8405, "src": "1709:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1699:14:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8455, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8452, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "1714:3:43", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8453, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1714:10:43", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1699:26:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 8456, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8409, "src": "1729:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1699:33:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8458, "nodeType": "ExpressionStatement", "src": "1699:33:43" } ] } }, { "expression": { "argumentTypes": null, "id": 8465, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8461, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8278, "src": "1753:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8463, "indexExpression": { "argumentTypes": null, "id": 8462, "name": "src", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8405, "src": "1763:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1753:14:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 8464, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8409, "src": "1771:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1753:21:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8466, "nodeType": "ExpressionStatement", "src": "1753:21:43" }, { "expression": { "argumentTypes": null, "id": 8471, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8467, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8278, "src": "1784:9:43", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 8469, "indexExpression": { "argumentTypes": null, "id": 8468, "name": "dst", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8407, "src": "1794:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1784:14:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 8470, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8409, "src": "1802:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1784:21:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8472, "nodeType": "ExpressionStatement", "src": "1784:21:43" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 8474, "name": "src", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8405, "src": "1830:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 8475, "name": "dst", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8407, "src": "1835:3:43", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 8476, "name": "wad", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8409, "src": "1840:3:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 8473, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8262, "src": "1821:8:43", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 8477, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1821:23:43", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8478, "nodeType": "EmitStatement", "src": "1816:28:43" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 8479, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1862:4:43", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 8413, "id": 8480, "nodeType": "Return", "src": "1855:11:43" } ] }, "documentation": null, "functionSelector": "23b872dd", "id": 8482, "implemented": true, "kind": "function", "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8410, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8405, "mutability": "mutable", "name": "src", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8482, "src": "1435:11:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8404, "name": "address", "nodeType": "ElementaryTypeName", "src": "1435:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8407, "mutability": "mutable", "name": "dst", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8482, "src": "1448:11:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8406, "name": "address", "nodeType": "ElementaryTypeName", "src": "1448:7:43", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8409, "mutability": "mutable", "name": "wad", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8482, "src": "1461:8:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8408, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1461:4:43", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1434:36:43" }, "returnParameters": { "id": 8413, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8412, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8482, "src": "1503:4:43", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 8411, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1503:4:43", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1502:6:43" }, "scope": 8483, "src": "1413:460:43", "stateMutability": "nonpayable", "virtual": false, "visibility": "public" } ], "scope": 8484, "src": "67:1808:43" } ], "src": "42:1834:43" }, "legacyAST": { "attributes": { "absolutePath": "project:/contracts/WETH9.sol", "exportedSymbols": { "WETH9": [ 8483 ] }, "license": "LGPL-3.0-only" }, "children": [ { "attributes": { "literals": [ "solidity", "0.6", ".12" ] }, "id": 8237, "name": "PragmaDirective", "src": "42:23:43" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "linearizedBaseContracts": [ 8483 ], "name": "WETH9", "scope": 8484 }, "children": [ { "attributes": { "constant": false, "functionSelector": "06fdde03", "mutability": "mutable", "name": "name", "overrides": null, "scope": 8483, "stateVariable": true, "storageLocation": "default", "type": "string", "visibility": "public" }, "children": [ { "attributes": { "name": "string", "type": "string" }, "id": 8238, "name": "ElementaryTypeName", "src": "88:6:43" }, { "attributes": { "argumentTypes": null, "hexvalue": "57726170706564204574686572", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"Wrapped Ether\"", "value": "Wrapped Ether" }, "id": 8239, "name": "Literal", "src": "113:15:43" } ], "id": 8240, "name": "VariableDeclaration", "src": "88:40:43" }, { "attributes": { "constant": false, "functionSelector": "95d89b41", "mutability": "mutable", "name": "symbol", "overrides": null, "scope": 8483, "stateVariable": true, "storageLocation": "default", "type": "string", "visibility": "public" }, "children": [ { "attributes": { "name": "string", "type": "string" }, "id": 8241, "name": "ElementaryTypeName", "src": "134:6:43" }, { "attributes": { "argumentTypes": null, "hexvalue": "57455448", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"WETH\"", "value": "WETH" }, "id": 8242, "name": "Literal", "src": "159:6:43" } ], "id": 8243, "name": "VariableDeclaration", "src": "134:31:43" }, { "attributes": { "constant": false, "functionSelector": "313ce567", "mutability": "mutable", "name": "decimals", "overrides": null, "scope": 8483, "stateVariable": true, "storageLocation": "default", "type": "uint8", "visibility": "public" }, "children": [ { "attributes": { "name": "uint8", "type": "uint8" }, "id": 8244, "name": "ElementaryTypeName", "src": "171:5:43" }, { "attributes": { "argumentTypes": null, "hexvalue": "3138", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 18", "value": "18" }, "id": 8245, "name": "Literal", "src": "196:2:43" } ], "id": 8246, "name": "VariableDeclaration", "src": "171:27:43" }, { "attributes": { "anonymous": false, "documentation": null, "name": "Approval" }, "children": [ { "children": [ { "attributes": { "constant": false, "indexed": true, "mutability": "mutable", "name": "src", "overrides": null, "scope": 8254, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8247, "name": "ElementaryTypeName", "src": "221:7:43" } ], "id": 8248, "name": "VariableDeclaration", "src": "221:19:43" }, { "attributes": { "constant": false, "indexed": true, "mutability": "mutable", "name": "guy", "overrides": null, "scope": 8254, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8249, "name": "ElementaryTypeName", "src": "242:7:43" } ], "id": 8250, "name": "VariableDeclaration", "src": "242:19:43" }, { "attributes": { "constant": false, "indexed": false, "mutability": "mutable", "name": "wad", "overrides": null, "scope": 8254, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8251, "name": "ElementaryTypeName", "src": "263:4:43" } ], "id": 8252, "name": "VariableDeclaration", "src": "263:8:43" } ], "id": 8253, "name": "ParameterList", "src": "220:52:43" } ], "id": 8254, "name": "EventDefinition", "src": "205:68:43" }, { "attributes": { "anonymous": false, "documentation": null, "name": "Transfer" }, "children": [ { "children": [ { "attributes": { "constant": false, "indexed": true, "mutability": "mutable", "name": "src", "overrides": null, "scope": 8262, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8255, "name": "ElementaryTypeName", "src": "294:7:43" } ], "id": 8256, "name": "VariableDeclaration", "src": "294:19:43" }, { "attributes": { "constant": false, "indexed": true, "mutability": "mutable", "name": "dst", "overrides": null, "scope": 8262, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8257, "name": "ElementaryTypeName", "src": "315:7:43" } ], "id": 8258, "name": "VariableDeclaration", "src": "315:19:43" }, { "attributes": { "constant": false, "indexed": false, "mutability": "mutable", "name": "wad", "overrides": null, "scope": 8262, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8259, "name": "ElementaryTypeName", "src": "336:4:43" } ], "id": 8260, "name": "VariableDeclaration", "src": "336:8:43" } ], "id": 8261, "name": "ParameterList", "src": "293:52:43" } ], "id": 8262, "name": "EventDefinition", "src": "278:68:43" }, { "attributes": { "anonymous": false, "documentation": null, "name": "Deposit" }, "children": [ { "children": [ { "attributes": { "constant": false, "indexed": true, "mutability": "mutable", "name": "dst", "overrides": null, "scope": 8268, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8263, "name": "ElementaryTypeName", "src": "366:7:43" } ], "id": 8264, "name": "VariableDeclaration", "src": "366:19:43" }, { "attributes": { "constant": false, "indexed": false, "mutability": "mutable", "name": "wad", "overrides": null, "scope": 8268, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8265, "name": "ElementaryTypeName", "src": "387:4:43" } ], "id": 8266, "name": "VariableDeclaration", "src": "387:8:43" } ], "id": 8267, "name": "ParameterList", "src": "365:31:43" } ], "id": 8268, "name": "EventDefinition", "src": "351:46:43" }, { "attributes": { "anonymous": false, "documentation": null, "name": "Withdrawal" }, "children": [ { "children": [ { "attributes": { "constant": false, "indexed": true, "mutability": "mutable", "name": "src", "overrides": null, "scope": 8274, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8269, "name": "ElementaryTypeName", "src": "420:7:43" } ], "id": 8270, "name": "VariableDeclaration", "src": "420:19:43" }, { "attributes": { "constant": false, "indexed": false, "mutability": "mutable", "name": "wad", "overrides": null, "scope": 8274, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8271, "name": "ElementaryTypeName", "src": "441:4:43" } ], "id": 8272, "name": "VariableDeclaration", "src": "441:8:43" } ], "id": 8273, "name": "ParameterList", "src": "419:31:43" } ], "id": 8274, "name": "EventDefinition", "src": "402:49:43" }, { "attributes": { "constant": false, "functionSelector": "70a08231", "mutability": "mutable", "name": "balanceOf", "overrides": null, "scope": 8483, "stateVariable": true, "storageLocation": "default", "type": "mapping(address => uint256)", "value": null, "visibility": "public" }, "children": [ { "attributes": { "type": "mapping(address => uint256)" }, "children": [ { "attributes": { "name": "address", "type": "address" }, "id": 8275, "name": "ElementaryTypeName", "src": "466:7:43" }, { "attributes": { "name": "uint", "type": "uint256" }, "id": 8276, "name": "ElementaryTypeName", "src": "477:4:43" } ], "id": 8277, "name": "Mapping", "src": "457:25:43" } ], "id": 8278, "name": "VariableDeclaration", "src": "457:65:43" }, { "attributes": { "constant": false, "functionSelector": "dd62ed3e", "mutability": "mutable", "name": "allowance", "overrides": null, "scope": 8483, "stateVariable": true, "storageLocation": "default", "type": "mapping(address => mapping(address => uint256))", "value": null, "visibility": "public" }, "children": [ { "attributes": { "type": "mapping(address => mapping(address => uint256))" }, "children": [ { "attributes": { "name": "address", "type": "address" }, "id": 8279, "name": "ElementaryTypeName", "src": "537:7:43" }, { "attributes": { "type": "mapping(address => uint256)" }, "children": [ { "attributes": { "name": "address", "type": "address" }, "id": 8280, "name": "ElementaryTypeName", "src": "557:7:43" }, { "attributes": { "name": "uint", "type": "uint256" }, "id": 8281, "name": "ElementaryTypeName", "src": "568:4:43" } ], "id": 8282, "name": "Mapping", "src": "548:25:43" } ], "id": 8283, "name": "Mapping", "src": "528:46:43" } ], "id": 8284, "name": "VariableDeclaration", "src": "528:65:43" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "receive", "modifiers": [ null ], "name": "", "overrides": null, "scope": 8483, "stateMutability": "payable", "virtual": false, "visibility": "external" }, "children": [ { "attributes": { "parameters": [ null ] }, "children": [], "id": 8285, "name": "ParameterList", "src": "607:2:43" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 8286, "name": "ParameterList", "src": "627:0:43" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "arguments": [ null ], "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ null ], "overloadedDeclarations": [ null ], "referencedDeclaration": 8310, "type": "function ()", "value": "deposit" }, "id": 8287, "name": "Identifier", "src": "637:7:43" } ], "id": 8288, "name": "FunctionCall", "src": "637:9:43" } ], "id": 8289, "name": "ExpressionStatement", "src": "637:9:43" } ], "id": 8290, "name": "Block", "src": "627:26:43" } ], "id": 8291, "name": "FunctionDefinition", "src": "600:53:43" }, { "attributes": { "documentation": null, "functionSelector": "d0e30db0", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "deposit", "overrides": null, "scope": 8483, "stateMutability": "payable", "virtual": false, "visibility": "public" }, "children": [ { "attributes": { "parameters": [ null ] }, "children": [], "id": 8292, "name": "ParameterList", "src": "674:2:43" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 8293, "name": "ParameterList", "src": "692:0:43" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8278, "type": "mapping(address => uint256)", "value": "balanceOf" }, "id": 8294, "name": "Identifier", "src": "702:9:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8295, "name": "Identifier", "src": "712:3:43" } ], "id": 8296, "name": "MemberAccess", "src": "712:10:43" } ], "id": 8297, "name": "IndexAccess", "src": "702:21:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "value", "referencedDeclaration": null, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8298, "name": "Identifier", "src": "727:3:43" } ], "id": 8299, "name": "MemberAccess", "src": "727:9:43" } ], "id": 8300, "name": "Assignment", "src": "702:34:43" } ], "id": 8301, "name": "ExpressionStatement", "src": "702:34:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 8268, "type": "function (address,uint256)", "value": "Deposit" }, "id": 8302, "name": "Identifier", "src": "751:7:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8303, "name": "Identifier", "src": "759:3:43" } ], "id": 8304, "name": "MemberAccess", "src": "759:10:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "value", "referencedDeclaration": null, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8305, "name": "Identifier", "src": "771:3:43" } ], "id": 8306, "name": "MemberAccess", "src": "771:9:43" } ], "id": 8307, "name": "FunctionCall", "src": "751:30:43" } ], "id": 8308, "name": "EmitStatement", "src": "746:35:43" } ], "id": 8309, "name": "Block", "src": "692:96:43" } ], "id": 8310, "name": "FunctionDefinition", "src": "658:130:43" }, { "attributes": { "documentation": null, "functionSelector": "2e1a7d4d", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "withdraw", "overrides": null, "scope": 8483, "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "wad", "overrides": null, "scope": 8346, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8311, "name": "ElementaryTypeName", "src": "811:4:43" } ], "id": 8312, "name": "VariableDeclaration", "src": "811:8:43" } ], "id": 8313, "name": "ParameterList", "src": "810:10:43" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 8314, "name": "ParameterList", "src": "828:0:43" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 8315, "name": "Identifier", "src": "838:7:43" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8278, "type": "mapping(address => uint256)", "value": "balanceOf" }, "id": 8316, "name": "Identifier", "src": "846:9:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8317, "name": "Identifier", "src": "856:3:43" } ], "id": 8318, "name": "MemberAccess", "src": "856:10:43" } ], "id": 8319, "name": "IndexAccess", "src": "846:21:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8312, "type": "uint256", "value": "wad" }, "id": 8320, "name": "Identifier", "src": "871:3:43" } ], "id": 8321, "name": "BinaryOperation", "src": "846:28:43" } ], "id": 8322, "name": "FunctionCall", "src": "838:37:43" } ], "id": 8323, "name": "ExpressionStatement", "src": "838:37:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8278, "type": "mapping(address => uint256)", "value": "balanceOf" }, "id": 8324, "name": "Identifier", "src": "885:9:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8325, "name": "Identifier", "src": "895:3:43" } ], "id": 8326, "name": "MemberAccess", "src": "895:10:43" } ], "id": 8327, "name": "IndexAccess", "src": "885:21:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8312, "type": "uint256", "value": "wad" }, "id": 8328, "name": "Identifier", "src": "910:3:43" } ], "id": 8329, "name": "Assignment", "src": "885:28:43" } ], "id": 8330, "name": "ExpressionStatement", "src": "885:28:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "transfer", "referencedDeclaration": null, "type": "function (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8331, "name": "Identifier", "src": "923:3:43" } ], "id": 8334, "name": "MemberAccess", "src": "923:10:43" } ], "id": 8335, "name": "MemberAccess", "src": "923:19:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8312, "type": "uint256", "value": "wad" }, "id": 8336, "name": "Identifier", "src": "943:3:43" } ], "id": 8337, "name": "FunctionCall", "src": "923:24:43" } ], "id": 8338, "name": "ExpressionStatement", "src": "923:24:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 8274, "type": "function (address,uint256)", "value": "Withdrawal" }, "id": 8339, "name": "Identifier", "src": "962:10:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8340, "name": "Identifier", "src": "973:3:43" } ], "id": 8341, "name": "MemberAccess", "src": "973:10:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8312, "type": "uint256", "value": "wad" }, "id": 8342, "name": "Identifier", "src": "985:3:43" } ], "id": 8343, "name": "FunctionCall", "src": "962:27:43" } ], "id": 8344, "name": "EmitStatement", "src": "957:32:43" } ], "id": 8345, "name": "Block", "src": "828:168:43" } ], "id": 8346, "name": "FunctionDefinition", "src": "793:203:43" }, { "attributes": { "documentation": null, "functionSelector": "18160ddd", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "totalSupply", "overrides": null, "scope": 8483, "stateMutability": "view", "virtual": false, "visibility": "public" }, "children": [ { "attributes": { "parameters": [ null ] }, "children": [], "id": 8347, "name": "ParameterList", "src": "1022:2:43" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 8358, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8348, "name": "ElementaryTypeName", "src": "1046:4:43" } ], "id": 8349, "name": "VariableDeclaration", "src": "1046:4:43" } ], "id": 8350, "name": "ParameterList", "src": "1045:6:43" }, { "children": [ { "attributes": { "functionReturnParameters": 8350 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "balance", "referencedDeclaration": null, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_contract$_WETH9_$8483", "typeString": "contract WETH9" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)" }, "children": [ { "attributes": { "name": "address", "type": null }, "id": 8351, "name": "ElementaryTypeName", "src": "1069:7:43" } ], "id": 8352, "name": "ElementaryTypeNameExpression", "src": "1069:7:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -28, "type": "contract WETH9", "value": "this" }, "id": 8353, "name": "Identifier", "src": "1077:4:43" } ], "id": 8354, "name": "FunctionCall", "src": "1069:13:43" } ], "id": 8355, "name": "MemberAccess", "src": "1069:21:43" } ], "id": 8356, "name": "Return", "src": "1062:28:43" } ], "id": 8357, "name": "Block", "src": "1052:45:43" } ], "id": 8358, "name": "FunctionDefinition", "src": "1002:95:43" }, { "attributes": { "documentation": null, "functionSelector": "095ea7b3", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "approve", "overrides": null, "scope": 8483, "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "guy", "overrides": null, "scope": 8386, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8359, "name": "ElementaryTypeName", "src": "1120:7:43" } ], "id": 8360, "name": "VariableDeclaration", "src": "1120:11:43" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "wad", "overrides": null, "scope": 8386, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8361, "name": "ElementaryTypeName", "src": "1133:4:43" } ], "id": 8362, "name": "VariableDeclaration", "src": "1133:8:43" } ], "id": 8363, "name": "ParameterList", "src": "1119:23:43" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 8386, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 8364, "name": "ElementaryTypeName", "src": "1159:4:43" } ], "id": 8365, "name": "VariableDeclaration", "src": "1159:4:43" } ], "id": 8366, "name": "ParameterList", "src": "1158:6:43" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "mapping(address => uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8284, "type": "mapping(address => mapping(address => uint256))", "value": "allowance" }, "id": 8367, "name": "Identifier", "src": "1175:9:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8368, "name": "Identifier", "src": "1185:3:43" } ], "id": 8369, "name": "MemberAccess", "src": "1185:10:43" } ], "id": 8371, "name": "IndexAccess", "src": "1175:21:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8360, "type": "address", "value": "guy" }, "id": 8370, "name": "Identifier", "src": "1197:3:43" } ], "id": 8372, "name": "IndexAccess", "src": "1175:26:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8362, "type": "uint256", "value": "wad" }, "id": 8373, "name": "Identifier", "src": "1204:3:43" } ], "id": 8374, "name": "Assignment", "src": "1175:32:43" } ], "id": 8375, "name": "ExpressionStatement", "src": "1175:32:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 8254, "type": "function (address,address,uint256)", "value": "Approval" }, "id": 8376, "name": "Identifier", "src": "1222:8:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8377, "name": "Identifier", "src": "1231:3:43" } ], "id": 8378, "name": "MemberAccess", "src": "1231:10:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8360, "type": "address", "value": "guy" }, "id": 8379, "name": "Identifier", "src": "1243:3:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8362, "type": "uint256", "value": "wad" }, "id": 8380, "name": "Identifier", "src": "1248:3:43" } ], "id": 8381, "name": "FunctionCall", "src": "1222:30:43" } ], "id": 8382, "name": "EmitStatement", "src": "1217:35:43" }, { "attributes": { "functionReturnParameters": 8366 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 8383, "name": "Literal", "src": "1269:4:43" } ], "id": 8384, "name": "Return", "src": "1262:11:43" } ], "id": 8385, "name": "Block", "src": "1165:115:43" } ], "id": 8386, "name": "FunctionDefinition", "src": "1103:177:43" }, { "attributes": { "documentation": null, "functionSelector": "a9059cbb", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "transfer", "overrides": null, "scope": 8483, "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "dst", "overrides": null, "scope": 8403, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8387, "name": "ElementaryTypeName", "src": "1304:7:43" } ], "id": 8388, "name": "VariableDeclaration", "src": "1304:11:43" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "wad", "overrides": null, "scope": 8403, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8389, "name": "ElementaryTypeName", "src": "1317:4:43" } ], "id": 8390, "name": "VariableDeclaration", "src": "1317:8:43" } ], "id": 8391, "name": "ParameterList", "src": "1303:23:43" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 8403, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 8392, "name": "ElementaryTypeName", "src": "1343:4:43" } ], "id": 8393, "name": "VariableDeclaration", "src": "1343:4:43" } ], "id": 8394, "name": "ParameterList", "src": "1342:6:43" }, { "children": [ { "attributes": { "functionReturnParameters": 8394 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "bool", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 8482, "type": "function (address,address,uint256) returns (bool)", "value": "transferFrom" }, "id": 8395, "name": "Identifier", "src": "1366:12:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8396, "name": "Identifier", "src": "1379:3:43" } ], "id": 8397, "name": "MemberAccess", "src": "1379:10:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8388, "type": "address", "value": "dst" }, "id": 8398, "name": "Identifier", "src": "1391:3:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8390, "type": "uint256", "value": "wad" }, "id": 8399, "name": "Identifier", "src": "1396:3:43" } ], "id": 8400, "name": "FunctionCall", "src": "1366:34:43" } ], "id": 8401, "name": "Return", "src": "1359:41:43" } ], "id": 8402, "name": "Block", "src": "1349:58:43" } ], "id": 8403, "name": "FunctionDefinition", "src": "1286:121:43" }, { "attributes": { "documentation": null, "functionSelector": "23b872dd", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "transferFrom", "overrides": null, "scope": 8483, "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "src", "overrides": null, "scope": 8482, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8404, "name": "ElementaryTypeName", "src": "1435:7:43" } ], "id": 8405, "name": "VariableDeclaration", "src": "1435:11:43" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "dst", "overrides": null, "scope": 8482, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 8406, "name": "ElementaryTypeName", "src": "1448:7:43" } ], "id": 8407, "name": "VariableDeclaration", "src": "1448:11:43" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "wad", "overrides": null, "scope": 8482, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 8408, "name": "ElementaryTypeName", "src": "1461:4:43" } ], "id": 8409, "name": "VariableDeclaration", "src": "1461:8:43" } ], "id": 8410, "name": "ParameterList", "src": "1434:36:43" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 8482, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 8411, "name": "ElementaryTypeName", "src": "1503:4:43" } ], "id": 8412, "name": "VariableDeclaration", "src": "1503:4:43" } ], "id": 8413, "name": "ParameterList", "src": "1502:6:43" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 8414, "name": "Identifier", "src": "1523:7:43" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8278, "type": "mapping(address => uint256)", "value": "balanceOf" }, "id": 8415, "name": "Identifier", "src": "1531:9:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8405, "type": "address", "value": "src" }, "id": 8416, "name": "Identifier", "src": "1541:3:43" } ], "id": 8417, "name": "IndexAccess", "src": "1531:14:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8409, "type": "uint256", "value": "wad" }, "id": 8418, "name": "Identifier", "src": "1549:3:43" } ], "id": 8419, "name": "BinaryOperation", "src": "1531:21:43" } ], "id": 8420, "name": "FunctionCall", "src": "1523:30:43" } ], "id": 8421, "name": "ExpressionStatement", "src": "1523:30:43" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&&", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "!=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8405, "type": "address", "value": "src" }, "id": 8422, "name": "Identifier", "src": "1568:3:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8423, "name": "Identifier", "src": "1575:3:43" } ], "id": 8424, "name": "MemberAccess", "src": "1575:10:43" } ], "id": 8425, "name": "BinaryOperation", "src": "1568:17:43" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "!=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "mapping(address => uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8284, "type": "mapping(address => mapping(address => uint256))", "value": "allowance" }, "id": 8426, "name": "Identifier", "src": "1589:9:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8405, "type": "address", "value": "src" }, "id": 8427, "name": "Identifier", "src": "1599:3:43" } ], "id": 8428, "name": "IndexAccess", "src": "1589:14:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8429, "name": "Identifier", "src": "1604:3:43" } ], "id": 8430, "name": "MemberAccess", "src": "1604:10:43" } ], "id": 8431, "name": "IndexAccess", "src": "1589:26:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint256)" }, "children": [ { "attributes": { "name": "uint", "type": null }, "id": 8432, "name": "ElementaryTypeName", "src": "1619:4:43" } ], "id": 8433, "name": "ElementaryTypeNameExpression", "src": "1619:4:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "operator": "-", "prefix": true, "type": "int_const -1" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 8434, "name": "Literal", "src": "1625:1:43" } ], "id": 8435, "name": "UnaryOperation", "src": "1624:2:43" } ], "id": 8436, "name": "FunctionCall", "src": "1619:8:43" } ], "id": 8437, "name": "BinaryOperation", "src": "1589:38:43" } ], "id": 8438, "name": "BinaryOperation", "src": "1568:59:43" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 8439, "name": "Identifier", "src": "1643:7:43" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "mapping(address => uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8284, "type": "mapping(address => mapping(address => uint256))", "value": "allowance" }, "id": 8440, "name": "Identifier", "src": "1651:9:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8405, "type": "address", "value": "src" }, "id": 8441, "name": "Identifier", "src": "1661:3:43" } ], "id": 8442, "name": "IndexAccess", "src": "1651:14:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8443, "name": "Identifier", "src": "1666:3:43" } ], "id": 8444, "name": "MemberAccess", "src": "1666:10:43" } ], "id": 8445, "name": "IndexAccess", "src": "1651:26:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8409, "type": "uint256", "value": "wad" }, "id": 8446, "name": "Identifier", "src": "1681:3:43" } ], "id": 8447, "name": "BinaryOperation", "src": "1651:33:43" } ], "id": 8448, "name": "FunctionCall", "src": "1643:42:43" } ], "id": 8449, "name": "ExpressionStatement", "src": "1643:42:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "mapping(address => uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8284, "type": "mapping(address => mapping(address => uint256))", "value": "allowance" }, "id": 8450, "name": "Identifier", "src": "1699:9:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8405, "type": "address", "value": "src" }, "id": 8451, "name": "Identifier", "src": "1709:3:43" } ], "id": 8454, "name": "IndexAccess", "src": "1699:14:43" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address payable" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": -15, "type": "msg", "value": "msg" }, "id": 8452, "name": "Identifier", "src": "1714:3:43" } ], "id": 8453, "name": "MemberAccess", "src": "1714:10:43" } ], "id": 8455, "name": "IndexAccess", "src": "1699:26:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8409, "type": "uint256", "value": "wad" }, "id": 8456, "name": "Identifier", "src": "1729:3:43" } ], "id": 8457, "name": "Assignment", "src": "1699:33:43" } ], "id": 8458, "name": "ExpressionStatement", "src": "1699:33:43" } ], "id": 8459, "name": "Block", "src": "1629:114:43" } ], "id": 8460, "name": "IfStatement", "src": "1564:179:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8278, "type": "mapping(address => uint256)", "value": "balanceOf" }, "id": 8461, "name": "Identifier", "src": "1753:9:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8405, "type": "address", "value": "src" }, "id": 8462, "name": "Identifier", "src": "1763:3:43" } ], "id": 8463, "name": "IndexAccess", "src": "1753:14:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8409, "type": "uint256", "value": "wad" }, "id": 8464, "name": "Identifier", "src": "1771:3:43" } ], "id": 8465, "name": "Assignment", "src": "1753:21:43" } ], "id": 8466, "name": "ExpressionStatement", "src": "1753:21:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8278, "type": "mapping(address => uint256)", "value": "balanceOf" }, "id": 8467, "name": "Identifier", "src": "1784:9:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8407, "type": "address", "value": "dst" }, "id": 8468, "name": "Identifier", "src": "1794:3:43" } ], "id": 8469, "name": "IndexAccess", "src": "1784:14:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8409, "type": "uint256", "value": "wad" }, "id": 8470, "name": "Identifier", "src": "1802:3:43" } ], "id": 8471, "name": "Assignment", "src": "1784:21:43" } ], "id": 8472, "name": "ExpressionStatement", "src": "1784:21:43" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 8262, "type": "function (address,address,uint256)", "value": "Transfer" }, "id": 8473, "name": "Identifier", "src": "1821:8:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8405, "type": "address", "value": "src" }, "id": 8474, "name": "Identifier", "src": "1830:3:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8407, "type": "address", "value": "dst" }, "id": 8475, "name": "Identifier", "src": "1835:3:43" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8409, "type": "uint256", "value": "wad" }, "id": 8476, "name": "Identifier", "src": "1840:3:43" } ], "id": 8477, "name": "FunctionCall", "src": "1821:23:43" } ], "id": 8478, "name": "EmitStatement", "src": "1816:28:43" }, { "attributes": { "functionReturnParameters": 8413 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 8479, "name": "Literal", "src": "1862:4:43" } ], "id": 8480, "name": "Return", "src": "1855:11:43" } ], "id": 8481, "name": "Block", "src": "1513:360:43" } ], "id": 8482, "name": "FunctionDefinition", "src": "1413:460:43" } ], "id": 8483, "name": "ContractDefinition", "src": "67:1808:43" } ], "id": 8484, "name": "SourceUnit", "src": "42:1834:43" }, "compiler": { "name": "solc", "version": "0.6.12+commit.27d51765.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.3", "updatedAt": "2021-11-29T02:07:34.258Z", "devdoc": { "kind": "dev", "methods": {}, "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }