{ "contractName": "ERC20", "abi": [ { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "owner", "type": "address" }, { "indexed": true, "internalType": "address", "name": "spender", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "from", "type": "address" }, { "indexed": true, "internalType": "address", "name": "to", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "constant": true, "inputs": [], "name": "totalSupply", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "internalType": "address", "name": "account", "type": "address" } ], "name": "balanceOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "address", "name": "recipient", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "transfer", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [ { "internalType": "address", "name": "owner", "type": "address" }, { "internalType": "address", "name": "spender", "type": "address" } ], "name": "allowance", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "approve", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "recipient", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "addedValue", "type": "uint256" } ], "name": "increaseAllowance", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "subtractedValue", "type": "uint256" } ], "name": "decreaseAllowance", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.5.17+commit.d19bba13\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"owner\",\"type\":\"address\"},{\"indexed\":true,\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"value\",\"type\":\"uint256\"}],\"name\":\"Approval\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"from\",\"type\":\"address\"},{\"indexed\":true,\"internalType\":\"address\",\"name\":\"to\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"value\",\"type\":\"uint256\"}],\"name\":\"Transfer\",\"type\":\"event\"},{\"constant\":true,\"inputs\":[{\"internalType\":\"address\",\"name\":\"owner\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"}],\"name\":\"allowance\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"value\",\"type\":\"uint256\"}],\"name\":\"approve\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[{\"internalType\":\"address\",\"name\":\"account\",\"type\":\"address\"}],\"name\":\"balanceOf\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"subtractedValue\",\"type\":\"uint256\"}],\"name\":\"decreaseAllowance\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"addedValue\",\"type\":\"uint256\"}],\"name\":\"increaseAllowance\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"totalSupply\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"address\",\"name\":\"recipient\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"}],\"name\":\"transfer\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"address\",\"name\":\"sender\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"recipient\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"}],\"name\":\"transferFrom\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"details\":\"Implementation of the `IERC20` interface. * This implementation is agnostic to the way tokens are created. This means that a supply mechanism has to be added in a derived contract using `_mint`. For a generic mechanism see `ERC20Mintable`. * *For a detailed writeup see our guide [How to implement supply mechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).* * We have followed general OpenZeppelin guidelines: functions revert instead of returning `false` on failure. This behavior is nonetheless conventional and does not conflict with the expectations of ERC20 applications. * Additionally, an `Approval` event is emitted on calls to `transferFrom`. This allows applications to reconstruct the allowance for all accounts just by listening to said events. Other implementations of the EIP may not emit these events, as it isn't required by the specification. * Finally, the non-standard `decreaseAllowance` and `increaseAllowance` functions have been added to mitigate the well-known issues around setting allowances. See `IERC20.approve`.\",\"methods\":{\"allowance(address,address)\":{\"details\":\"See `IERC20.allowance`.\"},\"approve(address,uint256)\":{\"details\":\"See `IERC20.approve`. * Requirements: * - `spender` cannot be the zero address.\"},\"balanceOf(address)\":{\"details\":\"See `IERC20.balanceOf`.\"},\"decreaseAllowance(address,uint256)\":{\"details\":\"Atomically decreases the allowance granted to `spender` by the caller. * This is an alternative to `approve` that can be used as a mitigation for problems described in `IERC20.approve`. * Emits an `Approval` event indicating the updated allowance. * Requirements: * - `spender` cannot be the zero address. - `spender` must have allowance for the caller of at least `subtractedValue`.\"},\"increaseAllowance(address,uint256)\":{\"details\":\"Atomically increases the allowance granted to `spender` by the caller. * This is an alternative to `approve` that can be used as a mitigation for problems described in `IERC20.approve`. * Emits an `Approval` event indicating the updated allowance. * Requirements: * - `spender` cannot be the zero address.\"},\"totalSupply()\":{\"details\":\"See `IERC20.totalSupply`.\"},\"transfer(address,uint256)\":{\"details\":\"See `IERC20.transfer`. * Requirements: * - `recipient` cannot be the zero address. - the caller must have a balance of at least `amount`.\"},\"transferFrom(address,address,uint256)\":{\"details\":\"See `IERC20.transferFrom`. * Emits an `Approval` event indicating the updated allowance. This is not required by the EIP. See the note at the beginning of `ERC20`; * Requirements: - `sender` and `recipient` cannot be the zero address. - `sender` must have a balance of at least `value`. - the caller must have allowance for `sender`'s tokens of at least `amount`.\"}}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"openzeppelin-solidity/contracts/token/ERC20/ERC20.sol\":\"ERC20\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"openzeppelin-solidity/contracts/math/SafeMath.sol\":{\"keccak256\":\"0x4ccf2d7b51873db1ccfd54ca2adae5eac3b184f9699911ed4490438419f1c690\",\"urls\":[\"bzz-raw://d62d769b2219d5de39013093412623e624fa887f871826ea3bae6052ee893610\",\"dweb:/ipfs/QmV3yVktya1s617QmuzQR2CfuJgUi3dR2xEZY9ecmqZ2G1\"]},\"openzeppelin-solidity/contracts/token/ERC20/ERC20.sol\":{\"keccak256\":\"0x852793a3c2f86d336a683b30d688ec3dcfc57451af5a2bf5975cda3b7191a901\",\"urls\":[\"bzz-raw://4f5b57664069671648fb81f55b0082faecdf1b2f159eec6b1fa6cef9b7d73bc5\",\"dweb:/ipfs/QmcyytaLs7zFdb4Uu7C5PmQRhQdB3wA3fUdkV6mkYfdDFH\"]},\"openzeppelin-solidity/contracts/token/ERC20/IERC20.sol\":{\"keccak256\":\"0x90e8c2521653bbb1768b05889c5760031e688d9cd361f167489b89215e201b95\",\"urls\":[\"bzz-raw://d0abb99bb8bfc2bc0a89902b8ed1dc0442ad08cc78cee64c291b3df6a27bcccc\",\"dweb:/ipfs/QmP5NaEwZthQeM2ESz4WTT3osrP7jhbvu7ocbttBi2JAw6\"]}},\"version\":1}", "bytecode": "0x608060405234801561001057600080fd5b506106e2806100206000396000f3fe608060405234801561001057600080fd5b50600436106100885760003560e01c806370a082311161005b57806370a0823114610149578063a457c2d71461016f578063a9059cbb1461019b578063dd62ed3e146101c757610088565b8063095ea7b31461008d57806318160ddd146100cd57806323b872dd146100e7578063395093511461011d575b600080fd5b6100b9600480360360408110156100a357600080fd5b506001600160a01b0381351690602001356101f5565b604080519115158252519081900360200190f35b6100d561020b565b60408051918252519081900360200190f35b6100b9600480360360608110156100fd57600080fd5b506001600160a01b03813581169160208101359091169060400135610211565b6100b96004803603604081101561013357600080fd5b506001600160a01b038135169060200135610268565b6100d56004803603602081101561015f57600080fd5b50356001600160a01b03166102a4565b6100b96004803603604081101561018557600080fd5b506001600160a01b0381351690602001356102bf565b6100b9600480360360408110156101b157600080fd5b506001600160a01b0381351690602001356102fb565b6100d5600480360360408110156101dd57600080fd5b506001600160a01b0381358116916020013516610308565b6000610202338484610333565b50600192915050565b60025490565b600061021e84848461041f565b6001600160a01b03841660009081526001602090815260408083203380855292529091205461025e918691610259908663ffffffff61056116565b610333565b5060019392505050565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610202918590610259908663ffffffff6105be16565b6001600160a01b031660009081526020819052604090205490565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610202918590610259908663ffffffff61056116565b600061020233848461041f565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166103785760405162461bcd60e51b815260040180806020018281038252602481526020018061068a6024913960400191505060405180910390fd5b6001600160a01b0382166103bd5760405162461bcd60e51b81526004018080602001828103825260228152602001806106436022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0383166104645760405162461bcd60e51b81526004018080602001828103825260258152602001806106656025913960400191505060405180910390fd5b6001600160a01b0382166104a95760405162461bcd60e51b81526004018080602001828103825260238152602001806106206023913960400191505060405180910390fd5b6001600160a01b0383166000908152602081905260409020546104d2908263ffffffff61056116565b6001600160a01b038085166000908152602081905260408082209390935590841681522054610507908263ffffffff6105be16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000828211156105b8576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610618576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b939250505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a723158207bca6f4dde1bf26db53f4896880c0aab76e11c24aba52aa22766410d89bb9f3664736f6c63430005110032", "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100885760003560e01c806370a082311161005b57806370a0823114610149578063a457c2d71461016f578063a9059cbb1461019b578063dd62ed3e146101c757610088565b8063095ea7b31461008d57806318160ddd146100cd57806323b872dd146100e7578063395093511461011d575b600080fd5b6100b9600480360360408110156100a357600080fd5b506001600160a01b0381351690602001356101f5565b604080519115158252519081900360200190f35b6100d561020b565b60408051918252519081900360200190f35b6100b9600480360360608110156100fd57600080fd5b506001600160a01b03813581169160208101359091169060400135610211565b6100b96004803603604081101561013357600080fd5b506001600160a01b038135169060200135610268565b6100d56004803603602081101561015f57600080fd5b50356001600160a01b03166102a4565b6100b96004803603604081101561018557600080fd5b506001600160a01b0381351690602001356102bf565b6100b9600480360360408110156101b157600080fd5b506001600160a01b0381351690602001356102fb565b6100d5600480360360408110156101dd57600080fd5b506001600160a01b0381358116916020013516610308565b6000610202338484610333565b50600192915050565b60025490565b600061021e84848461041f565b6001600160a01b03841660009081526001602090815260408083203380855292529091205461025e918691610259908663ffffffff61056116565b610333565b5060019392505050565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610202918590610259908663ffffffff6105be16565b6001600160a01b031660009081526020819052604090205490565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610202918590610259908663ffffffff61056116565b600061020233848461041f565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166103785760405162461bcd60e51b815260040180806020018281038252602481526020018061068a6024913960400191505060405180910390fd5b6001600160a01b0382166103bd5760405162461bcd60e51b81526004018080602001828103825260228152602001806106436022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0383166104645760405162461bcd60e51b81526004018080602001828103825260258152602001806106656025913960400191505060405180910390fd5b6001600160a01b0382166104a95760405162461bcd60e51b81526004018080602001828103825260238152602001806106206023913960400191505060405180910390fd5b6001600160a01b0383166000908152602081905260409020546104d2908263ffffffff61056116565b6001600160a01b038085166000908152602081905260408082209390935590841681522054610507908263ffffffff6105be16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000828211156105b8576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610618576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b939250505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a723158207bca6f4dde1bf26db53f4896880c0aab76e11c24aba52aa22766410d89bb9f3664736f6c63430005110032", "sourceMap": "1232:6578:62:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1232:6578:62;;;;;;;", "deployedSourceMap": "1232:6578:62:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1232:6578:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2453:145;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2453:145:62;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1514:89;;;:::i;:::-;;;;;;;;;;;;;;;;3055:252;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3055:252:62;;;;;;;;;;;;;;;;;:::i;3702:203::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3702:203:62;;;;;;;;:::i;1661:108::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1661:108:62;-1:-1:-1;;;;;1661:108:62;;:::i;4392:213::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4392:213:62;;;;;;;;:::i;1972:153::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;1972:153:62;;;;;;;;:::i;2183:132::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2183:132:62;;;;;;;;;;:::i;2453:145::-;2518:4;2534:36;2543:10;2555:7;2564:5;2534:8;:36::i;:::-;-1:-1:-1;2587:4:62;2453:145;;;;:::o;1514:89::-;1584:12;;1514:89;:::o;3055:252::-;3144:4;3160:36;3170:6;3178:9;3189:6;3160:9;:36::i;:::-;-1:-1:-1;;;;;3235:19:62;;;;;;:11;:19;;;;;;;;3223:10;3235:31;;;;;;;;;3206:73;;3215:6;;3235:43;;3271:6;3235:43;:35;:43;:::i;:::-;3206:8;:73::i;:::-;-1:-1:-1;3296:4:62;3055:252;;;;;:::o;3702:203::-;3807:10;3782:4;3828:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3828:32:62;;;;;;;;;;3782:4;;3798:79;;3819:7;;3828:48;;3865:10;3828:48;:36;:48;:::i;1661:108::-;-1:-1:-1;;;;;1744:18:62;1718:7;1744:18;;;;;;;;;;;;1661:108::o;4392:213::-;4502:10;4477:4;4523:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;4523:32:62;;;;;;;;;;4477:4;;4493:84;;4514:7;;4523:53;;4560:15;4523:53;:36;:53;:::i;1972:153::-;2041:4;2057:40;2067:10;2079:9;2090:6;2057:9;:40::i;2183:132::-;-1:-1:-1;;;;;2281:18:62;;;2255:7;2281:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2183:132::o;7117:329::-;-1:-1:-1;;;;;7209:19:62;;7201:68;;;;-1:-1:-1;;;7201:68:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7287:21:62;;7279:68;;;;-1:-1:-1;;;7279:68:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7358:18:62;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;7408:31;;;;;;;;;;;;;;;;;7117:329;;;:::o;5079:422::-;-1:-1:-1;;;;;5176:20:62;;5168:70;;;;-1:-1:-1;;;5168:70:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5256:23:62;;5248:71;;;;-1:-1:-1;;;5248:71:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5350:17:62;;:9;:17;;;;;;;;;;;:29;;5372:6;5350:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;5330:17:62;;;:9;:17;;;;;;;;;;;:49;;;;5412:20;;;;;;;:32;;5437:6;5412:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;5389:20:62;;;:9;:20;;;;;;;;;;;;:55;;;;5459:35;;;;;;;5389:20;;5459:35;;;;;;;;;;;;;5079:422;;;:::o;1274:179:60:-;1332:7;1364:1;1359;:6;;1351:49;;;;;-1:-1:-1;;;1351:49:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1422:5:60;;;1274:179::o;834:176::-;892:7;923:5;;;946:6;;;;938:46;;;;;-1:-1:-1;;;938:46:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;1002:1;834:176;-1:-1:-1;;;834:176:60:o", "source": "pragma solidity ^0.5.0;\n\nimport \"./IERC20.sol\";\nimport \"../../math/SafeMath.sol\";\n\n/**\n * @dev Implementation of the `IERC20` interface.\n *\n * This implementation is agnostic to the way tokens are created. This means\n * that a supply mechanism has to be added in a derived contract using `_mint`.\n * For a generic mechanism see `ERC20Mintable`.\n *\n * *For a detailed writeup see our guide [How to implement supply\n * mechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).*\n *\n * We have followed general OpenZeppelin guidelines: functions revert instead\n * of returning `false` on failure. This behavior is nonetheless conventional\n * and does not conflict with the expectations of ERC20 applications.\n *\n * Additionally, an `Approval` event is emitted on calls to `transferFrom`.\n * This allows applications to reconstruct the allowance for all accounts just\n * by listening to said events. Other implementations of the EIP may not emit\n * these events, as it isn't required by the specification.\n *\n * Finally, the non-standard `decreaseAllowance` and `increaseAllowance`\n * functions have been added to mitigate the well-known issues around setting\n * allowances. See `IERC20.approve`.\n */\ncontract ERC20 is IERC20 {\n using SafeMath for uint256;\n\n mapping (address => uint256) private _balances;\n\n mapping (address => mapping (address => uint256)) private _allowances;\n\n uint256 private _totalSupply;\n\n /**\n * @dev See `IERC20.totalSupply`.\n */\n function totalSupply() public view returns (uint256) {\n return _totalSupply;\n }\n\n /**\n * @dev See `IERC20.balanceOf`.\n */\n function balanceOf(address account) public view returns (uint256) {\n return _balances[account];\n }\n\n /**\n * @dev See `IERC20.transfer`.\n *\n * Requirements:\n *\n * - `recipient` cannot be the zero address.\n * - the caller must have a balance of at least `amount`.\n */\n function transfer(address recipient, uint256 amount) public returns (bool) {\n _transfer(msg.sender, recipient, amount);\n return true;\n }\n\n /**\n * @dev See `IERC20.allowance`.\n */\n function allowance(address owner, address spender) public view returns (uint256) {\n return _allowances[owner][spender];\n }\n\n /**\n * @dev See `IERC20.approve`.\n *\n * Requirements:\n *\n * - `spender` cannot be the zero address.\n */\n function approve(address spender, uint256 value) public returns (bool) {\n _approve(msg.sender, spender, value);\n return true;\n }\n\n /**\n * @dev See `IERC20.transferFrom`.\n *\n * Emits an `Approval` event indicating the updated allowance. This is not\n * required by the EIP. See the note at the beginning of `ERC20`;\n *\n * Requirements:\n * - `sender` and `recipient` cannot be the zero address.\n * - `sender` must have a balance of at least `value`.\n * - the caller must have allowance for `sender`'s tokens of at least\n * `amount`.\n */\n function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {\n _transfer(sender, recipient, amount);\n _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));\n return true;\n }\n\n /**\n * @dev Atomically increases the allowance granted to `spender` by the caller.\n *\n * This is an alternative to `approve` that can be used as a mitigation for\n * problems described in `IERC20.approve`.\n *\n * Emits an `Approval` event indicating the updated allowance.\n *\n * Requirements:\n *\n * - `spender` cannot be the zero address.\n */\n function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {\n _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));\n return true;\n }\n\n /**\n * @dev Atomically decreases the allowance granted to `spender` by the caller.\n *\n * This is an alternative to `approve` that can be used as a mitigation for\n * problems described in `IERC20.approve`.\n *\n * Emits an `Approval` event indicating the updated allowance.\n *\n * Requirements:\n *\n * - `spender` cannot be the zero address.\n * - `spender` must have allowance for the caller of at least\n * `subtractedValue`.\n */\n function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {\n _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));\n return true;\n }\n\n /**\n * @dev Moves tokens `amount` from `sender` to `recipient`.\n *\n * This is internal function is equivalent to `transfer`, and can be used to\n * e.g. implement automatic token fees, slashing mechanisms, etc.\n *\n * Emits a `Transfer` event.\n *\n * Requirements:\n *\n * - `sender` cannot be the zero address.\n * - `recipient` cannot be the zero address.\n * - `sender` must have a balance of at least `amount`.\n */\n function _transfer(address sender, address recipient, uint256 amount) internal {\n require(sender != address(0), \"ERC20: transfer from the zero address\");\n require(recipient != address(0), \"ERC20: transfer to the zero address\");\n\n _balances[sender] = _balances[sender].sub(amount);\n _balances[recipient] = _balances[recipient].add(amount);\n emit Transfer(sender, recipient, amount);\n }\n\n /** @dev Creates `amount` tokens and assigns them to `account`, increasing\n * the total supply.\n *\n * Emits a `Transfer` event with `from` set to the zero address.\n *\n * Requirements\n *\n * - `to` cannot be the zero address.\n */\n function _mint(address account, uint256 amount) internal {\n require(account != address(0), \"ERC20: mint to the zero address\");\n\n _totalSupply = _totalSupply.add(amount);\n _balances[account] = _balances[account].add(amount);\n emit Transfer(address(0), account, amount);\n }\n\n /**\n * @dev Destoys `amount` tokens from `account`, reducing the\n * total supply.\n *\n * Emits a `Transfer` event with `to` set to the zero address.\n *\n * Requirements\n *\n * - `account` cannot be the zero address.\n * - `account` must have at least `amount` tokens.\n */\n function _burn(address account, uint256 value) internal {\n require(account != address(0), \"ERC20: burn from the zero address\");\n\n _totalSupply = _totalSupply.sub(value);\n _balances[account] = _balances[account].sub(value);\n emit Transfer(account, address(0), value);\n }\n\n /**\n * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.\n *\n * This is internal function is equivalent to `approve`, and can be used to\n * e.g. set automatic allowances for certain subsystems, etc.\n *\n * Emits an `Approval` event.\n *\n * Requirements:\n *\n * - `owner` cannot be the zero address.\n * - `spender` cannot be the zero address.\n */\n function _approve(address owner, address spender, uint256 value) internal {\n require(owner != address(0), \"ERC20: approve from the zero address\");\n require(spender != address(0), \"ERC20: approve to the zero address\");\n\n _allowances[owner][spender] = value;\n emit Approval(owner, spender, value);\n }\n\n /**\n * @dev Destoys `amount` tokens from `account`.`amount` is then deducted\n * from the caller's allowance.\n *\n * See `_burn` and `_approve`.\n */\n function _burnFrom(address account, uint256 amount) internal {\n _burn(account, amount);\n _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));\n }\n}\n", "sourcePath": "openzeppelin-solidity/contracts/token/ERC20/ERC20.sol", "ast": { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/ERC20.sol", "exportedSymbols": { "ERC20": [ 17363 ] }, "id": 17364, "nodeType": "SourceUnit", "nodes": [ { "id": 16968, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:62" }, { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/IERC20.sol", "file": "./IERC20.sol", "id": 16969, "nodeType": "ImportDirective", "scope": 17364, "sourceUnit": 17491, "src": "25:22:62", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "file": "../../math/SafeMath.sol", "id": 16970, "nodeType": "ImportDirective", "scope": 17364, "sourceUnit": 16856, "src": "48:33:62", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 16971, "name": "IERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 17490, "src": "1250:6:62", "typeDescriptions": { "typeIdentifier": "t_contract$_IERC20_$17490", "typeString": "contract IERC20" } }, "id": 16972, "nodeType": "InheritanceSpecifier", "src": "1250:6:62" } ], "contractDependencies": [ 17490 ], "contractKind": "contract", "documentation": "@dev Implementation of the `IERC20` interface.\n * This implementation is agnostic to the way tokens are created. This means\nthat a supply mechanism has to be added in a derived contract using `_mint`.\nFor a generic mechanism see `ERC20Mintable`.\n * *For a detailed writeup see our guide [How to implement supply\nmechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).*\n * We have followed general OpenZeppelin guidelines: functions revert instead\nof returning `false` on failure. This behavior is nonetheless conventional\nand does not conflict with the expectations of ERC20 applications.\n * Additionally, an `Approval` event is emitted on calls to `transferFrom`.\nThis allows applications to reconstruct the allowance for all accounts just\nby listening to said events. Other implementations of the EIP may not emit\nthese events, as it isn't required by the specification.\n * Finally, the non-standard `decreaseAllowance` and `increaseAllowance`\nfunctions have been added to mitigate the well-known issues around setting\nallowances. See `IERC20.approve`.", "fullyImplemented": true, "id": 17363, "linearizedBaseContracts": [ 17363, 17490 ], "name": "ERC20", "nodeType": "ContractDefinition", "nodes": [ { "id": 16975, "libraryName": { "contractScope": null, "id": 16973, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 16855, "src": "1269:8:62", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$16855", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "1263:27:62", "typeName": { "id": 16974, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1282:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": false, "id": 16979, "name": "_balances", "nodeType": "VariableDeclaration", "scope": 17363, "src": "1296:46:62", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 16978, "keyType": { "id": 16976, "name": "address", "nodeType": "ElementaryTypeName", "src": "1305:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1296:28:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 16977, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1316:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "private" }, { "constant": false, "id": 16985, "name": "_allowances", "nodeType": "VariableDeclaration", "scope": 17363, "src": "1349:69:62", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "typeName": { "id": 16984, "keyType": { "id": 16980, "name": "address", "nodeType": "ElementaryTypeName", "src": "1358:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1349:49:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "valueType": { "id": 16983, "keyType": { "id": 16981, "name": "address", "nodeType": "ElementaryTypeName", "src": "1378:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1369:28:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 16982, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1389:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } } }, "value": null, "visibility": "private" }, { "constant": false, "id": 16987, "name": "_totalSupply", "nodeType": "VariableDeclaration", "scope": 17363, "src": "1425:28:62", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16986, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1425:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "private" }, { "body": { "id": 16994, "nodeType": "Block", "src": "1567:36:62", "statements": [ { "expression": { "argumentTypes": null, "id": 16992, "name": "_totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16987, "src": "1584:12:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 16991, "id": 16993, "nodeType": "Return", "src": "1577:19:62" } ] }, "documentation": "@dev See `IERC20.totalSupply`.", "id": 16995, "implemented": true, "kind": "function", "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 16988, "nodeType": "ParameterList", "parameters": [], "src": "1534:2:62" }, "returnParameters": { "id": 16991, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16990, "name": "", "nodeType": "VariableDeclaration", "scope": 16995, "src": "1558:7:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16989, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1558:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1557:9:62" }, "scope": 17363, "src": "1514:89:62", "stateMutability": "view", "superFunction": 17428, "visibility": "public" }, { "body": { "id": 17006, "nodeType": "Block", "src": "1727:42:62", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17002, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "1744:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17004, "indexExpression": { "argumentTypes": null, "id": 17003, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16997, "src": "1754:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1744:18:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 17001, "id": 17005, "nodeType": "Return", "src": "1737:25:62" } ] }, "documentation": "@dev See `IERC20.balanceOf`.", "id": 17007, "implemented": true, "kind": "function", "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 16998, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16997, "name": "account", "nodeType": "VariableDeclaration", "scope": 17007, "src": "1680:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 16996, "name": "address", "nodeType": "ElementaryTypeName", "src": "1680:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "1679:17:62" }, "returnParameters": { "id": 17001, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17000, "name": "", "nodeType": "VariableDeclaration", "scope": 17007, "src": "1718:7:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16999, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1718:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1717:9:62" }, "scope": 17363, "src": "1661:108:62", "stateMutability": "view", "superFunction": 17435, "visibility": "public" }, { "body": { "id": 17025, "nodeType": "Block", "src": "2047:78:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17017, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "2067:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17018, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2067:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 17019, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17009, "src": "2079:9:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17020, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17011, "src": "2090:6:62", "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": 17016, "name": "_transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17206, "src": "2057:9:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17021, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2057:40:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17022, "nodeType": "ExpressionStatement", "src": "2057:40:62" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 17023, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2114:4:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 17015, "id": 17024, "nodeType": "Return", "src": "2107:11:62" } ] }, "documentation": "@dev See `IERC20.transfer`.\n * Requirements:\n * - `recipient` cannot be the zero address.\n- the caller must have a balance of at least `amount`.", "id": 17026, "implemented": true, "kind": "function", "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 17012, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17009, "name": "recipient", "nodeType": "VariableDeclaration", "scope": 17026, "src": "1990:17:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17008, "name": "address", "nodeType": "ElementaryTypeName", "src": "1990:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17011, "name": "amount", "nodeType": "VariableDeclaration", "scope": 17026, "src": "2009:14:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17010, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2009:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1989:35:62" }, "returnParameters": { "id": 17015, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17014, "name": "", "nodeType": "VariableDeclaration", "scope": 17026, "src": "2041:4:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 17013, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2041:4:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2040:6:62" }, "scope": 17363, "src": "1972:153:62", "stateMutability": "nonpayable", "superFunction": 17444, "visibility": "public" }, { "body": { "id": 17041, "nodeType": "Block", "src": "2264:51:62", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17035, "name": "_allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16985, "src": "2281:11:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 17037, "indexExpression": { "argumentTypes": null, "id": 17036, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17028, "src": "2293:5:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2281:18:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17039, "indexExpression": { "argumentTypes": null, "id": 17038, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17030, "src": "2300:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2281:27:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 17034, "id": 17040, "nodeType": "Return", "src": "2274:34:62" } ] }, "documentation": "@dev See `IERC20.allowance`.", "id": 17042, "implemented": true, "kind": "function", "modifiers": [], "name": "allowance", "nodeType": "FunctionDefinition", "parameters": { "id": 17031, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17028, "name": "owner", "nodeType": "VariableDeclaration", "scope": 17042, "src": "2202:13:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17027, "name": "address", "nodeType": "ElementaryTypeName", "src": "2202:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17030, "name": "spender", "nodeType": "VariableDeclaration", "scope": 17042, "src": "2217:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17029, "name": "address", "nodeType": "ElementaryTypeName", "src": "2217:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2201:32:62" }, "returnParameters": { "id": 17034, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17033, "name": "", "nodeType": "VariableDeclaration", "scope": 17042, "src": "2255:7:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17032, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2255:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2254:9:62" }, "scope": 17363, "src": "2183:132:62", "stateMutability": "view", "superFunction": 17453, "visibility": "public" }, { "body": { "id": 17060, "nodeType": "Block", "src": "2524:74:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17052, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "2543:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17053, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2543:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 17054, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17044, "src": "2555:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17055, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17046, "src": "2564:5:62", "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": 17051, "name": "_approve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17334, "src": "2534:8:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17056, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2534:36:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17057, "nodeType": "ExpressionStatement", "src": "2534:36:62" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 17058, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2587:4:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 17050, "id": 17059, "nodeType": "Return", "src": "2580:11:62" } ] }, "documentation": "@dev See `IERC20.approve`.\n * Requirements:\n * - `spender` cannot be the zero address.", "id": 17061, "implemented": true, "kind": "function", "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 17047, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17044, "name": "spender", "nodeType": "VariableDeclaration", "scope": 17061, "src": "2470:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17043, "name": "address", "nodeType": "ElementaryTypeName", "src": "2470:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17046, "name": "value", "nodeType": "VariableDeclaration", "scope": 17061, "src": "2487:13:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17045, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2487:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2469:32:62" }, "returnParameters": { "id": 17050, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17049, "name": "", "nodeType": "VariableDeclaration", "scope": 17061, "src": "2518:4:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 17048, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2518:4:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2517:6:62" }, "scope": 17363, "src": "2453:145:62", "stateMutability": "nonpayable", "superFunction": 17462, "visibility": "public" }, { "body": { "id": 17095, "nodeType": "Block", "src": "3150:157:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17073, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17063, "src": "3170:6:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17074, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17065, "src": "3178:9:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17075, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17067, "src": "3189:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 17072, "name": "_transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17206, "src": "3160:9:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17076, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3160:36:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17077, "nodeType": "ExpressionStatement", "src": "3160:36:62" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17079, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17063, "src": "3215:6:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17080, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "3223:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17081, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3223:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17089, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17067, "src": "3271:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17082, "name": "_allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16985, "src": "3235:11:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 17084, "indexExpression": { "argumentTypes": null, "id": 17083, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17063, "src": "3247:6:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3235:19:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17087, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17085, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "3255:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17086, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3255:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3235:31:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17088, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 16774, "src": "3235:35:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17090, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3235:43:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 17078, "name": "_approve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17334, "src": "3206:8:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17091, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3206:73:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17092, "nodeType": "ExpressionStatement", "src": "3206:73:62" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 17093, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3296:4:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 17071, "id": 17094, "nodeType": "Return", "src": "3289:11:62" } ] }, "documentation": "@dev See `IERC20.transferFrom`.\n * Emits an `Approval` event indicating the updated allowance. This is not\nrequired by the EIP. See the note at the beginning of `ERC20`;\n * Requirements:\n- `sender` and `recipient` cannot be the zero address.\n- `sender` must have a balance of at least `value`.\n- the caller must have allowance for `sender`'s tokens of at least\n`amount`.", "id": 17096, "implemented": true, "kind": "function", "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 17068, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17063, "name": "sender", "nodeType": "VariableDeclaration", "scope": 17096, "src": "3077:14:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17062, "name": "address", "nodeType": "ElementaryTypeName", "src": "3077:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17065, "name": "recipient", "nodeType": "VariableDeclaration", "scope": 17096, "src": "3093:17:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17064, "name": "address", "nodeType": "ElementaryTypeName", "src": "3093:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17067, "name": "amount", "nodeType": "VariableDeclaration", "scope": 17096, "src": "3112:14:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17066, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3112:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3076:51:62" }, "returnParameters": { "id": 17071, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17070, "name": "", "nodeType": "VariableDeclaration", "scope": 17096, "src": "3144:4:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 17069, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3144:4:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3143:6:62" }, "scope": 17363, "src": "3055:252:62", "stateMutability": "nonpayable", "superFunction": 17473, "visibility": "public" }, { "body": { "id": 17122, "nodeType": "Block", "src": "3788:117:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17106, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "3807:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17107, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3807:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 17108, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17098, "src": "3819:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17116, "name": "addedValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17100, "src": "3865:10:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17109, "name": "_allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16985, "src": "3828:11:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 17112, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17110, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "3840:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17111, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3840:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3828:23:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17114, "indexExpression": { "argumentTypes": null, "id": 17113, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17098, "src": "3852:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3828:32:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17115, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 16749, "src": "3828:36:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17117, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3828:48:62", "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": 17105, "name": "_approve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17334, "src": "3798:8:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17118, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3798:79:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17119, "nodeType": "ExpressionStatement", "src": "3798:79:62" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 17120, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3894:4:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 17104, "id": 17121, "nodeType": "Return", "src": "3887:11:62" } ] }, "documentation": "@dev Atomically increases the allowance granted to `spender` by the caller.\n * This is an alternative to `approve` that can be used as a mitigation for\nproblems described in `IERC20.approve`.\n * Emits an `Approval` event indicating the updated allowance.\n * Requirements:\n * - `spender` cannot be the zero address.", "id": 17123, "implemented": true, "kind": "function", "modifiers": [], "name": "increaseAllowance", "nodeType": "FunctionDefinition", "parameters": { "id": 17101, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17098, "name": "spender", "nodeType": "VariableDeclaration", "scope": 17123, "src": "3729:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17097, "name": "address", "nodeType": "ElementaryTypeName", "src": "3729:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17100, "name": "addedValue", "nodeType": "VariableDeclaration", "scope": 17123, "src": "3746:18:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17099, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3746:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3728:37:62" }, "returnParameters": { "id": 17104, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17103, "name": "", "nodeType": "VariableDeclaration", "scope": 17123, "src": "3782:4:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 17102, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3782:4:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3781:6:62" }, "scope": 17363, "src": "3702:203:62", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 17149, "nodeType": "Block", "src": "4483:122:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17133, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "4502:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17134, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4502:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 17135, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17125, "src": "4514:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17143, "name": "subtractedValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17127, "src": "4560:15:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17136, "name": "_allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16985, "src": "4523:11:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 17139, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17137, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "4535:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17138, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4535:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4523:23:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17141, "indexExpression": { "argumentTypes": null, "id": 17140, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17125, "src": "4547:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4523:32:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17142, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 16774, "src": "4523:36:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17144, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4523:53:62", "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": 17132, "name": "_approve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17334, "src": "4493:8:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17145, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4493:84:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17146, "nodeType": "ExpressionStatement", "src": "4493:84:62" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 17147, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4594:4:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 17131, "id": 17148, "nodeType": "Return", "src": "4587:11:62" } ] }, "documentation": "@dev Atomically decreases the allowance granted to `spender` by the caller.\n * This is an alternative to `approve` that can be used as a mitigation for\nproblems described in `IERC20.approve`.\n * Emits an `Approval` event indicating the updated allowance.\n * Requirements:\n * - `spender` cannot be the zero address.\n- `spender` must have allowance for the caller of at least\n`subtractedValue`.", "id": 17150, "implemented": true, "kind": "function", "modifiers": [], "name": "decreaseAllowance", "nodeType": "FunctionDefinition", "parameters": { "id": 17128, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17125, "name": "spender", "nodeType": "VariableDeclaration", "scope": 17150, "src": "4419:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17124, "name": "address", "nodeType": "ElementaryTypeName", "src": "4419:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17127, "name": "subtractedValue", "nodeType": "VariableDeclaration", "scope": 17150, "src": "4436:23:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17126, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4436:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4418:42:62" }, "returnParameters": { "id": 17131, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17130, "name": "", "nodeType": "VariableDeclaration", "scope": 17150, "src": "4477:4:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 17129, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4477:4:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4476:6:62" }, "scope": 17363, "src": "4392:213:62", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 17205, "nodeType": "Block", "src": "5158:343:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 17164, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 17160, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17152, "src": "5176:6:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 17162, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5194:1:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 17161, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "5186:7:62", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 17163, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5186:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "5176:20:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "45524332303a207472616e736665722066726f6d20746865207a65726f2061646472657373", "id": 17165, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5198:39:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_baecc556b46f4ed0f2b4cb599d60785ac8563dd2dc0a5bf12edea1c39e5e1fea", "typeString": "literal_string \"ERC20: transfer from the zero address\"" }, "value": "ERC20: transfer from the zero address" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_baecc556b46f4ed0f2b4cb599d60785ac8563dd2dc0a5bf12edea1c39e5e1fea", "typeString": "literal_string \"ERC20: transfer from the zero address\"" } ], "id": 17159, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "5168:7:62", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 17166, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5168:70:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17167, "nodeType": "ExpressionStatement", "src": "5168:70:62" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 17173, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 17169, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17154, "src": "5256:9:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 17171, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5277:1:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 17170, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "5269:7:62", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 17172, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5269:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "5256:23:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "45524332303a207472616e7366657220746f20746865207a65726f2061646472657373", "id": 17174, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5281:37:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_0557e210f7a69a685100a7e4e3d0a7024c546085cee28910fd17d0b081d9516f", "typeString": "literal_string \"ERC20: transfer to the zero address\"" }, "value": "ERC20: transfer to the zero address" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_0557e210f7a69a685100a7e4e3d0a7024c546085cee28910fd17d0b081d9516f", "typeString": "literal_string \"ERC20: transfer to the zero address\"" } ], "id": 17168, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "5248:7:62", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 17175, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5248:71:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17176, "nodeType": "ExpressionStatement", "src": "5248:71:62" }, { "expression": { "argumentTypes": null, "id": 17186, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17177, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "5330:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17179, "indexExpression": { "argumentTypes": null, "id": 17178, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17152, "src": "5340:6:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5330:17:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17184, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17156, "src": "5372:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17180, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "5350:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17182, "indexExpression": { "argumentTypes": null, "id": 17181, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17152, "src": "5360:6:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5350:17:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17183, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 16774, "src": "5350:21:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17185, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5350:29:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5330:49:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17187, "nodeType": "ExpressionStatement", "src": "5330:49:62" }, { "expression": { "argumentTypes": null, "id": 17197, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17188, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "5389:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17190, "indexExpression": { "argumentTypes": null, "id": 17189, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17154, "src": "5399:9:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5389:20:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17195, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17156, "src": "5437:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17191, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "5412:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17193, "indexExpression": { "argumentTypes": null, "id": 17192, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17154, "src": "5422:9:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5412:20:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17194, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 16749, "src": "5412:24:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17196, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5412:32:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5389:55:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17198, "nodeType": "ExpressionStatement", "src": "5389:55:62" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17200, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17152, "src": "5468:6:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17201, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17154, "src": "5476:9:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17202, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17156, "src": "5487:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 17199, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17481, "src": "5459:8:62", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17203, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5459:35:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17204, "nodeType": "EmitStatement", "src": "5454:40:62" } ] }, "documentation": "@dev Moves tokens `amount` from `sender` to `recipient`.\n * This is internal function is equivalent to `transfer`, and can be used to\ne.g. implement automatic token fees, slashing mechanisms, etc.\n * Emits a `Transfer` event.\n * Requirements:\n * - `sender` cannot be the zero address.\n- `recipient` cannot be the zero address.\n- `sender` must have a balance of at least `amount`.", "id": 17206, "implemented": true, "kind": "function", "modifiers": [], "name": "_transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 17157, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17152, "name": "sender", "nodeType": "VariableDeclaration", "scope": 17206, "src": "5098:14:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17151, "name": "address", "nodeType": "ElementaryTypeName", "src": "5098:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17154, "name": "recipient", "nodeType": "VariableDeclaration", "scope": 17206, "src": "5114:17:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17153, "name": "address", "nodeType": "ElementaryTypeName", "src": "5114:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17156, "name": "amount", "nodeType": "VariableDeclaration", "scope": 17206, "src": "5133:14:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17155, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5133:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5097:51:62" }, "returnParameters": { "id": 17158, "nodeType": "ParameterList", "parameters": [], "src": "5158:0:62" }, "scope": 17363, "src": "5079:422:62", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 17248, "nodeType": "Block", "src": "5828:245:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 17218, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 17214, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17208, "src": "5846:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 17216, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5865:1:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 17215, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "5857:7:62", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 17217, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5857:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "5846:21:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "45524332303a206d696e7420746f20746865207a65726f2061646472657373", "id": 17219, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5869:33:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_fc0b381caf0a47702017f3c4b358ebe3d3aff6c60ce819a8bf3ef5a95d4f202e", "typeString": "literal_string \"ERC20: mint to the zero address\"" }, "value": "ERC20: mint to the zero address" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_fc0b381caf0a47702017f3c4b358ebe3d3aff6c60ce819a8bf3ef5a95d4f202e", "typeString": "literal_string \"ERC20: mint to the zero address\"" } ], "id": 17213, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "5838:7:62", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 17220, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5838:65:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17221, "nodeType": "ExpressionStatement", "src": "5838:65:62" }, { "expression": { "argumentTypes": null, "id": 17227, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 17222, "name": "_totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16987, "src": "5914:12:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17225, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17210, "src": "5946:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 17223, "name": "_totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16987, "src": "5929:12:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17224, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 16749, "src": "5929:16:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17226, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5929:24:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5914:39:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17228, "nodeType": "ExpressionStatement", "src": "5914:39:62" }, { "expression": { "argumentTypes": null, "id": 17238, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17229, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "5963:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17231, "indexExpression": { "argumentTypes": null, "id": 17230, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17208, "src": "5973:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5963:18:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17236, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17210, "src": "6007:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17232, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "5984:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17234, "indexExpression": { "argumentTypes": null, "id": 17233, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17208, "src": "5994:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5984:18:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17235, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 16749, "src": "5984:22:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17237, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5984:30:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5963:51:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17239, "nodeType": "ExpressionStatement", "src": "5963:51:62" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 17242, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6046:1:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 17241, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "6038:7:62", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 17243, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6038:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 17244, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17208, "src": "6050:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17245, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17210, "src": "6059:6:62", "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": 17240, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17481, "src": "6029:8:62", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17246, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6029:37:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17247, "nodeType": "EmitStatement", "src": "6024:42:62" } ] }, "documentation": "@dev Creates `amount` tokens and assigns them to `account`, increasing\nthe total supply.\n * Emits a `Transfer` event with `from` set to the zero address.\n * Requirements\n * - `to` cannot be the zero address.", "id": 17249, "implemented": true, "kind": "function", "modifiers": [], "name": "_mint", "nodeType": "FunctionDefinition", "parameters": { "id": 17211, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17208, "name": "account", "nodeType": "VariableDeclaration", "scope": 17249, "src": "5786:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17207, "name": "address", "nodeType": "ElementaryTypeName", "src": "5786:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17210, "name": "amount", "nodeType": "VariableDeclaration", "scope": 17249, "src": "5803:14:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17209, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5803:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5785:33:62" }, "returnParameters": { "id": 17212, "nodeType": "ParameterList", "parameters": [], "src": "5828:0:62" }, "scope": 17363, "src": "5771:302:62", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 17291, "nodeType": "Block", "src": "6448:244:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 17261, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 17257, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17251, "src": "6466:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 17259, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6485:1:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 17258, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "6477:7:62", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 17260, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6477:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "6466:21:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "45524332303a206275726e2066726f6d20746865207a65726f2061646472657373", "id": 17262, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "6489:35:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_b16788493b576042bb52c50ed56189e0b250db113c7bfb1c3897d25cf9632d7f", "typeString": "literal_string \"ERC20: burn from the zero address\"" }, "value": "ERC20: burn from the zero address" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_b16788493b576042bb52c50ed56189e0b250db113c7bfb1c3897d25cf9632d7f", "typeString": "literal_string \"ERC20: burn from the zero address\"" } ], "id": 17256, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "6458:7:62", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 17263, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6458:67:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17264, "nodeType": "ExpressionStatement", "src": "6458:67:62" }, { "expression": { "argumentTypes": null, "id": 17270, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 17265, "name": "_totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16987, "src": "6536:12:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17268, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17253, "src": "6568:5:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 17266, "name": "_totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16987, "src": "6551:12:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17267, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 16774, "src": "6551:16:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17269, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6551:23:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6536:38:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17271, "nodeType": "ExpressionStatement", "src": "6536:38:62" }, { "expression": { "argumentTypes": null, "id": 17281, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17272, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "6584:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17274, "indexExpression": { "argumentTypes": null, "id": 17273, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17251, "src": "6594:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "6584:18:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17279, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17253, "src": "6628:5:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17275, "name": "_balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16979, "src": "6605:9:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17277, "indexExpression": { "argumentTypes": null, "id": 17276, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17251, "src": "6615:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "6605:18:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17278, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 16774, "src": "6605:22:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17280, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6605:29:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6584:50:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17282, "nodeType": "ExpressionStatement", "src": "6584:50:62" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17284, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17251, "src": "6658:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 17286, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6675:1:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 17285, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "6667:7:62", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 17287, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6667:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 17288, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17253, "src": "6679:5:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 17283, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17481, "src": "6649:8:62", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17289, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6649:36:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17290, "nodeType": "EmitStatement", "src": "6644:41:62" } ] }, "documentation": "@dev Destoys `amount` tokens from `account`, reducing the\ntotal supply.\n * Emits a `Transfer` event with `to` set to the zero address.\n * Requirements\n * - `account` cannot be the zero address.\n- `account` must have at least `amount` tokens.", "id": 17292, "implemented": true, "kind": "function", "modifiers": [], "name": "_burn", "nodeType": "FunctionDefinition", "parameters": { "id": 17254, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17251, "name": "account", "nodeType": "VariableDeclaration", "scope": 17292, "src": "6407:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17250, "name": "address", "nodeType": "ElementaryTypeName", "src": "6407:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17253, "name": "value", "nodeType": "VariableDeclaration", "scope": 17292, "src": "6424:13:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17252, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6424:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "6406:32:62" }, "returnParameters": { "id": 17255, "nodeType": "ParameterList", "parameters": [], "src": "6448:0:62" }, "scope": 17363, "src": "6392:300:62", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 17333, "nodeType": "Block", "src": "7191:255:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 17306, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 17302, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17294, "src": "7209:5:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 17304, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "7226:1:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 17303, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "7218:7:62", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 17305, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7218:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "7209:19:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "45524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373", "id": 17307, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "7230:38:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_c953f4879035ed60e766b34720f656aab5c697b141d924c283124ecedb91c208", "typeString": "literal_string \"ERC20: approve from the zero address\"" }, "value": "ERC20: approve from the zero address" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_c953f4879035ed60e766b34720f656aab5c697b141d924c283124ecedb91c208", "typeString": "literal_string \"ERC20: approve from the zero address\"" } ], "id": 17301, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "7201:7:62", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 17308, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7201:68:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17309, "nodeType": "ExpressionStatement", "src": "7201:68:62" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 17315, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 17311, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17296, "src": "7287:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 17313, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "7306:1:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 17312, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "7298:7:62", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 17314, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7298:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "7287:21:62", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "45524332303a20617070726f766520746f20746865207a65726f2061646472657373", "id": 17316, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "7310:36:62", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_24883cc5fe64ace9d0df1893501ecb93c77180f0ff69cca79affb3c316dc8029", "typeString": "literal_string \"ERC20: approve to the zero address\"" }, "value": "ERC20: approve to the zero address" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_24883cc5fe64ace9d0df1893501ecb93c77180f0ff69cca79affb3c316dc8029", "typeString": "literal_string \"ERC20: approve to the zero address\"" } ], "id": 17310, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "7279:7:62", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 17317, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7279:68:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17318, "nodeType": "ExpressionStatement", "src": "7279:68:62" }, { "expression": { "argumentTypes": null, "id": 17325, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17319, "name": "_allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16985, "src": "7358:11:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 17322, "indexExpression": { "argumentTypes": null, "id": 17320, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17294, "src": "7370:5:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "7358:18:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17323, "indexExpression": { "argumentTypes": null, "id": 17321, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17296, "src": "7377:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "7358:27:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 17324, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17298, "src": "7388:5:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "7358:35:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17326, "nodeType": "ExpressionStatement", "src": "7358:35:62" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17328, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17294, "src": "7417:5:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17329, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17296, "src": "7424:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17330, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17298, "src": "7433:5:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 17327, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17489, "src": "7408:8:62", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17331, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7408:31:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17332, "nodeType": "EmitStatement", "src": "7403:36:62" } ] }, "documentation": "@dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.\n * This is internal function is equivalent to `approve`, and can be used to\ne.g. set automatic allowances for certain subsystems, etc.\n * Emits an `Approval` event.\n * Requirements:\n * - `owner` cannot be the zero address.\n- `spender` cannot be the zero address.", "id": 17334, "implemented": true, "kind": "function", "modifiers": [], "name": "_approve", "nodeType": "FunctionDefinition", "parameters": { "id": 17299, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17294, "name": "owner", "nodeType": "VariableDeclaration", "scope": 17334, "src": "7135:13:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17293, "name": "address", "nodeType": "ElementaryTypeName", "src": "7135:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17296, "name": "spender", "nodeType": "VariableDeclaration", "scope": 17334, "src": "7150:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17295, "name": "address", "nodeType": "ElementaryTypeName", "src": "7150:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17298, "name": "value", "nodeType": "VariableDeclaration", "scope": 17334, "src": "7167:13:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17297, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7167:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "7134:47:62" }, "returnParameters": { "id": 17300, "nodeType": "ParameterList", "parameters": [], "src": "7191:0:62" }, "scope": 17363, "src": "7117:329:62", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 17361, "nodeType": "Block", "src": "7684:124:62", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17342, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17336, "src": "7700:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 17343, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17338, "src": "7709:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 17341, "name": "_burn", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17292, "src": "7694:5:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 17344, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7694:22:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17345, "nodeType": "ExpressionStatement", "src": "7694:22:62" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17347, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17336, "src": "7735:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17348, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "7744:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17349, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "7744:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 17357, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17338, "src": "7793:6:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 17350, "name": "_allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16985, "src": "7756:11:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 17352, "indexExpression": { "argumentTypes": null, "id": 17351, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17336, "src": "7768:7:62", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "7756:20:62", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 17355, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 17353, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18360, "src": "7777:3:62", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 17354, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "7777:10:62", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "7756:32:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 17356, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 16774, "src": "7756:36:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 17358, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7756:44:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 17346, "name": "_approve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17334, "src": "7726:8:62", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 17359, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7726:75:62", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 17360, "nodeType": "ExpressionStatement", "src": "7726:75:62" } ] }, "documentation": "@dev Destoys `amount` tokens from `account`.`amount` is then deducted\nfrom the caller's allowance.\n * See `_burn` and `_approve`.", "id": 17362, "implemented": true, "kind": "function", "modifiers": [], "name": "_burnFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 17339, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 17336, "name": "account", "nodeType": "VariableDeclaration", "scope": 17362, "src": "7642:15:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 17335, "name": "address", "nodeType": "ElementaryTypeName", "src": "7642:7:62", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17338, "name": "amount", "nodeType": "VariableDeclaration", "scope": 17362, "src": "7659:14:62", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 17337, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7659:7:62", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "7641:33:62" }, "returnParameters": { "id": 17340, "nodeType": "ParameterList", "parameters": [], "src": "7684:0:62" }, "scope": 17363, "src": "7623:185:62", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" } ], "scope": 17364, "src": "1232:6578:62" } ], "src": "0:7811:62" }, "legacyAST": { "attributes": { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/ERC20.sol", "exportedSymbols": { "ERC20": [ 17363 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.5", ".0" ] }, "id": 16968, "name": "PragmaDirective", "src": "0:23:62" }, { "attributes": { "SourceUnit": 17491, "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/IERC20.sol", "file": "./IERC20.sol", "scope": 17364, "symbolAliases": [ null ], "unitAlias": "" }, "id": 16969, "name": "ImportDirective", "src": "25:22:62" }, { "attributes": { "SourceUnit": 16856, "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "file": "../../math/SafeMath.sol", "scope": 17364, "symbolAliases": [ null ], "unitAlias": "" }, "id": 16970, "name": "ImportDirective", "src": "48:33:62" }, { "attributes": { "contractDependencies": [ 17490 ], "contractKind": "contract", "documentation": "@dev Implementation of the `IERC20` interface.\n * This implementation is agnostic to the way tokens are created. This means\nthat a supply mechanism has to be added in a derived contract using `_mint`.\nFor a generic mechanism see `ERC20Mintable`.\n * *For a detailed writeup see our guide [How to implement supply\nmechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).*\n * We have followed general OpenZeppelin guidelines: functions revert instead\nof returning `false` on failure. This behavior is nonetheless conventional\nand does not conflict with the expectations of ERC20 applications.\n * Additionally, an `Approval` event is emitted on calls to `transferFrom`.\nThis allows applications to reconstruct the allowance for all accounts just\nby listening to said events. Other implementations of the EIP may not emit\nthese events, as it isn't required by the specification.\n * Finally, the non-standard `decreaseAllowance` and `increaseAllowance`\nfunctions have been added to mitigate the well-known issues around setting\nallowances. See `IERC20.approve`.", "fullyImplemented": true, "linearizedBaseContracts": [ 17363, 17490 ], "name": "ERC20", "scope": 17364 }, "children": [ { "attributes": { "arguments": null }, "children": [ { "attributes": { "contractScope": null, "name": "IERC20", "referencedDeclaration": 17490, "type": "contract IERC20" }, "id": 16971, "name": "UserDefinedTypeName", "src": "1250:6:62" } ], "id": 16972, "name": "InheritanceSpecifier", "src": "1250:6:62" }, { "children": [ { "attributes": { "contractScope": null, "name": "SafeMath", "referencedDeclaration": 16855, "type": "library SafeMath" }, "id": 16973, "name": "UserDefinedTypeName", "src": "1269:8:62" }, { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16974, "name": "ElementaryTypeName", "src": "1282:7:62" } ], "id": 16975, "name": "UsingForDirective", "src": "1263:27:62" }, { "attributes": { "constant": false, "name": "_balances", "scope": 17363, "stateVariable": true, "storageLocation": "default", "type": "mapping(address => uint256)", "value": null, "visibility": "private" }, "children": [ { "attributes": { "type": "mapping(address => uint256)" }, "children": [ { "attributes": { "name": "address", "type": "address" }, "id": 16976, "name": "ElementaryTypeName", "src": "1305:7:62" }, { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16977, "name": "ElementaryTypeName", "src": "1316:7:62" } ], "id": 16978, "name": "Mapping", "src": "1296:28:62" } ], "id": 16979, "name": "VariableDeclaration", "src": "1296:46:62" }, { "attributes": { "constant": false, "name": "_allowances", "scope": 17363, "stateVariable": true, "storageLocation": "default", "type": "mapping(address => mapping(address => uint256))", "value": null, "visibility": "private" }, "children": [ { "attributes": { "type": "mapping(address => mapping(address => uint256))" }, "children": [ { "attributes": { "name": "address", "type": "address" }, "id": 16980, "name": "ElementaryTypeName", "src": "1358:7:62" }, { "attributes": { "type": "mapping(address => uint256)" }, "children": [ { "attributes": { "name": "address", "type": "address" }, "id": 16981, "name": "ElementaryTypeName", "src": "1378:7:62" }, { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16982, "name": "ElementaryTypeName", "src": "1389:7:62" } ], "id": 16983, "name": "Mapping", "src": "1369:28:62" } ], "id": 16984, "name": "Mapping", "src": "1349:49:62" } ], "id": 16985, "name": "VariableDeclaration", "src": "1349:69:62" }, { "attributes": { "constant": false, "name": "_totalSupply", "scope": 17363, "stateVariable": true, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "private" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16986, "name": "ElementaryTypeName", "src": "1425:7:62" } ], "id": 16987, "name": "VariableDeclaration", "src": "1425:28:62" }, { "attributes": { "documentation": "@dev See `IERC20.totalSupply`.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "totalSupply", "scope": 17363, "stateMutability": "view", "superFunction": 17428, "visibility": "public" }, "children": [ { "attributes": { "parameters": [ null ] }, "children": [], "id": 16988, "name": "ParameterList", "src": "1534:2:62" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 16995, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16989, "name": "ElementaryTypeName", "src": "1558:7:62" } ], "id": 16990, "name": "VariableDeclaration", "src": "1558:7:62" } ], "id": 16991, "name": "ParameterList", "src": "1557:9:62" }, { "children": [ { "attributes": { "functionReturnParameters": 16991 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16987, "type": "uint256", "value": "_totalSupply" }, "id": 16992, "name": "Identifier", "src": "1584:12:62" } ], "id": 16993, "name": "Return", "src": "1577:19:62" } ], "id": 16994, "name": "Block", "src": "1567:36:62" } ], "id": 16995, "name": "FunctionDefinition", "src": "1514:89:62" }, { "attributes": { "documentation": "@dev See `IERC20.balanceOf`.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "balanceOf", "scope": 17363, "stateMutability": "view", "superFunction": 17435, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "account", "scope": 17007, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 16996, "name": "ElementaryTypeName", "src": "1680:7:62" } ], "id": 16997, "name": "VariableDeclaration", "src": "1680:15:62" } ], "id": 16998, "name": "ParameterList", "src": "1679:17:62" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 17007, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16999, "name": "ElementaryTypeName", "src": "1718:7:62" } ], "id": 17000, "name": "VariableDeclaration", "src": "1718:7:62" } ], "id": 17001, "name": "ParameterList", "src": "1717:9:62" }, { "children": [ { "attributes": { "functionReturnParameters": 17001 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17002, "name": "Identifier", "src": "1744:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16997, "type": "address", "value": "account" }, "id": 17003, "name": "Identifier", "src": "1754:7:62" } ], "id": 17004, "name": "IndexAccess", "src": "1744:18:62" } ], "id": 17005, "name": "Return", "src": "1737:25:62" } ], "id": 17006, "name": "Block", "src": "1727:42:62" } ], "id": 17007, "name": "FunctionDefinition", "src": "1661:108:62" }, { "attributes": { "documentation": "@dev See `IERC20.transfer`.\n * Requirements:\n * - `recipient` cannot be the zero address.\n- the caller must have a balance of at least `amount`.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "transfer", "scope": 17363, "stateMutability": "nonpayable", "superFunction": 17444, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "recipient", "scope": 17026, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17008, "name": "ElementaryTypeName", "src": "1990:7:62" } ], "id": 17009, "name": "VariableDeclaration", "src": "1990:17:62" }, { "attributes": { "constant": false, "name": "amount", "scope": 17026, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17010, "name": "ElementaryTypeName", "src": "2009:7:62" } ], "id": 17011, "name": "VariableDeclaration", "src": "2009:14:62" } ], "id": 17012, "name": "ParameterList", "src": "1989:35:62" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 17026, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 17013, "name": "ElementaryTypeName", "src": "2041:4:62" } ], "id": 17014, "name": "VariableDeclaration", "src": "2041:4:62" } ], "id": 17015, "name": "ParameterList", "src": "2040:6:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "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": 17206, "type": "function (address,address,uint256)", "value": "_transfer" }, "id": 17016, "name": "Identifier", "src": "2057:9:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17017, "name": "Identifier", "src": "2067:3:62" } ], "id": 17018, "name": "MemberAccess", "src": "2067:10:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17009, "type": "address", "value": "recipient" }, "id": 17019, "name": "Identifier", "src": "2079:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17011, "type": "uint256", "value": "amount" }, "id": 17020, "name": "Identifier", "src": "2090:6:62" } ], "id": 17021, "name": "FunctionCall", "src": "2057:40:62" } ], "id": 17022, "name": "ExpressionStatement", "src": "2057:40:62" }, { "attributes": { "functionReturnParameters": 17015 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 17023, "name": "Literal", "src": "2114:4:62" } ], "id": 17024, "name": "Return", "src": "2107:11:62" } ], "id": 17025, "name": "Block", "src": "2047:78:62" } ], "id": 17026, "name": "FunctionDefinition", "src": "1972:153:62" }, { "attributes": { "documentation": "@dev See `IERC20.allowance`.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "allowance", "scope": 17363, "stateMutability": "view", "superFunction": 17453, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "owner", "scope": 17042, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17027, "name": "ElementaryTypeName", "src": "2202:7:62" } ], "id": 17028, "name": "VariableDeclaration", "src": "2202:13:62" }, { "attributes": { "constant": false, "name": "spender", "scope": 17042, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17029, "name": "ElementaryTypeName", "src": "2217:7:62" } ], "id": 17030, "name": "VariableDeclaration", "src": "2217:15:62" } ], "id": 17031, "name": "ParameterList", "src": "2201:32:62" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 17042, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17032, "name": "ElementaryTypeName", "src": "2255:7:62" } ], "id": 17033, "name": "VariableDeclaration", "src": "2255:7:62" } ], "id": 17034, "name": "ParameterList", "src": "2254:9:62" }, { "children": [ { "attributes": { "functionReturnParameters": 17034 }, "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": 16985, "type": "mapping(address => mapping(address => uint256))", "value": "_allowances" }, "id": 17035, "name": "Identifier", "src": "2281:11:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17028, "type": "address", "value": "owner" }, "id": 17036, "name": "Identifier", "src": "2293:5:62" } ], "id": 17037, "name": "IndexAccess", "src": "2281:18:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17030, "type": "address", "value": "spender" }, "id": 17038, "name": "Identifier", "src": "2300:7:62" } ], "id": 17039, "name": "IndexAccess", "src": "2281:27:62" } ], "id": 17040, "name": "Return", "src": "2274:34:62" } ], "id": 17041, "name": "Block", "src": "2264:51:62" } ], "id": 17042, "name": "FunctionDefinition", "src": "2183:132:62" }, { "attributes": { "documentation": "@dev See `IERC20.approve`.\n * Requirements:\n * - `spender` cannot be the zero address.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "approve", "scope": 17363, "stateMutability": "nonpayable", "superFunction": 17462, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "spender", "scope": 17061, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17043, "name": "ElementaryTypeName", "src": "2470:7:62" } ], "id": 17044, "name": "VariableDeclaration", "src": "2470:15:62" }, { "attributes": { "constant": false, "name": "value", "scope": 17061, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17045, "name": "ElementaryTypeName", "src": "2487:7:62" } ], "id": 17046, "name": "VariableDeclaration", "src": "2487:13:62" } ], "id": 17047, "name": "ParameterList", "src": "2469:32:62" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 17061, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 17048, "name": "ElementaryTypeName", "src": "2518:4:62" } ], "id": 17049, "name": "VariableDeclaration", "src": "2518:4:62" } ], "id": 17050, "name": "ParameterList", "src": "2517:6:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "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": 17334, "type": "function (address,address,uint256)", "value": "_approve" }, "id": 17051, "name": "Identifier", "src": "2534:8:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17052, "name": "Identifier", "src": "2543:3:62" } ], "id": 17053, "name": "MemberAccess", "src": "2543:10:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17044, "type": "address", "value": "spender" }, "id": 17054, "name": "Identifier", "src": "2555:7:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17046, "type": "uint256", "value": "value" }, "id": 17055, "name": "Identifier", "src": "2564:5:62" } ], "id": 17056, "name": "FunctionCall", "src": "2534:36:62" } ], "id": 17057, "name": "ExpressionStatement", "src": "2534:36:62" }, { "attributes": { "functionReturnParameters": 17050 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 17058, "name": "Literal", "src": "2587:4:62" } ], "id": 17059, "name": "Return", "src": "2580:11:62" } ], "id": 17060, "name": "Block", "src": "2524:74:62" } ], "id": 17061, "name": "FunctionDefinition", "src": "2453:145:62" }, { "attributes": { "documentation": "@dev See `IERC20.transferFrom`.\n * Emits an `Approval` event indicating the updated allowance. This is not\nrequired by the EIP. See the note at the beginning of `ERC20`;\n * Requirements:\n- `sender` and `recipient` cannot be the zero address.\n- `sender` must have a balance of at least `value`.\n- the caller must have allowance for `sender`'s tokens of at least\n`amount`.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "transferFrom", "scope": 17363, "stateMutability": "nonpayable", "superFunction": 17473, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "sender", "scope": 17096, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17062, "name": "ElementaryTypeName", "src": "3077:7:62" } ], "id": 17063, "name": "VariableDeclaration", "src": "3077:14:62" }, { "attributes": { "constant": false, "name": "recipient", "scope": 17096, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17064, "name": "ElementaryTypeName", "src": "3093:7:62" } ], "id": 17065, "name": "VariableDeclaration", "src": "3093:17:62" }, { "attributes": { "constant": false, "name": "amount", "scope": 17096, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17066, "name": "ElementaryTypeName", "src": "3112:7:62" } ], "id": 17067, "name": "VariableDeclaration", "src": "3112:14:62" } ], "id": 17068, "name": "ParameterList", "src": "3076:51:62" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 17096, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 17069, "name": "ElementaryTypeName", "src": "3144:4:62" } ], "id": 17070, "name": "VariableDeclaration", "src": "3144:4:62" } ], "id": 17071, "name": "ParameterList", "src": "3143:6:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "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": 17206, "type": "function (address,address,uint256)", "value": "_transfer" }, "id": 17072, "name": "Identifier", "src": "3160:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17063, "type": "address", "value": "sender" }, "id": 17073, "name": "Identifier", "src": "3170:6:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17065, "type": "address", "value": "recipient" }, "id": 17074, "name": "Identifier", "src": "3178:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17067, "type": "uint256", "value": "amount" }, "id": 17075, "name": "Identifier", "src": "3189:6:62" } ], "id": 17076, "name": "FunctionCall", "src": "3160:36:62" } ], "id": 17077, "name": "ExpressionStatement", "src": "3160:36:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 17334, "type": "function (address,address,uint256)", "value": "_approve" }, "id": 17078, "name": "Identifier", "src": "3206:8:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17063, "type": "address", "value": "sender" }, "id": 17079, "name": "Identifier", "src": "3215:6:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17080, "name": "Identifier", "src": "3223:3:62" } ], "id": 17081, "name": "MemberAccess", "src": "3223:10:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 16774, "type": "function (uint256,uint256) pure returns (uint256)" }, "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": 16985, "type": "mapping(address => mapping(address => uint256))", "value": "_allowances" }, "id": 17082, "name": "Identifier", "src": "3235:11:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17063, "type": "address", "value": "sender" }, "id": 17083, "name": "Identifier", "src": "3247:6:62" } ], "id": 17084, "name": "IndexAccess", "src": "3235:19:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17085, "name": "Identifier", "src": "3255:3:62" } ], "id": 17086, "name": "MemberAccess", "src": "3255:10:62" } ], "id": 17087, "name": "IndexAccess", "src": "3235:31:62" } ], "id": 17088, "name": "MemberAccess", "src": "3235:35:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17067, "type": "uint256", "value": "amount" }, "id": 17089, "name": "Identifier", "src": "3271:6:62" } ], "id": 17090, "name": "FunctionCall", "src": "3235:43:62" } ], "id": 17091, "name": "FunctionCall", "src": "3206:73:62" } ], "id": 17092, "name": "ExpressionStatement", "src": "3206:73:62" }, { "attributes": { "functionReturnParameters": 17071 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 17093, "name": "Literal", "src": "3296:4:62" } ], "id": 17094, "name": "Return", "src": "3289:11:62" } ], "id": 17095, "name": "Block", "src": "3150:157:62" } ], "id": 17096, "name": "FunctionDefinition", "src": "3055:252:62" }, { "attributes": { "documentation": "@dev Atomically increases the allowance granted to `spender` by the caller.\n * This is an alternative to `approve` that can be used as a mitigation for\nproblems described in `IERC20.approve`.\n * Emits an `Approval` event indicating the updated allowance.\n * Requirements:\n * - `spender` cannot be the zero address.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "increaseAllowance", "scope": 17363, "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "spender", "scope": 17123, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17097, "name": "ElementaryTypeName", "src": "3729:7:62" } ], "id": 17098, "name": "VariableDeclaration", "src": "3729:15:62" }, { "attributes": { "constant": false, "name": "addedValue", "scope": 17123, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17099, "name": "ElementaryTypeName", "src": "3746:7:62" } ], "id": 17100, "name": "VariableDeclaration", "src": "3746:18:62" } ], "id": 17101, "name": "ParameterList", "src": "3728:37:62" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 17123, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 17102, "name": "ElementaryTypeName", "src": "3782:4:62" } ], "id": 17103, "name": "VariableDeclaration", "src": "3782:4:62" } ], "id": 17104, "name": "ParameterList", "src": "3781:6:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "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": 17334, "type": "function (address,address,uint256)", "value": "_approve" }, "id": 17105, "name": "Identifier", "src": "3798:8:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17106, "name": "Identifier", "src": "3807:3:62" } ], "id": 17107, "name": "MemberAccess", "src": "3807:10:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17098, "type": "address", "value": "spender" }, "id": 17108, "name": "Identifier", "src": "3819:7:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "add", "referencedDeclaration": 16749, "type": "function (uint256,uint256) pure returns (uint256)" }, "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": 16985, "type": "mapping(address => mapping(address => uint256))", "value": "_allowances" }, "id": 17109, "name": "Identifier", "src": "3828:11:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17110, "name": "Identifier", "src": "3840:3:62" } ], "id": 17111, "name": "MemberAccess", "src": "3840:10:62" } ], "id": 17112, "name": "IndexAccess", "src": "3828:23:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17098, "type": "address", "value": "spender" }, "id": 17113, "name": "Identifier", "src": "3852:7:62" } ], "id": 17114, "name": "IndexAccess", "src": "3828:32:62" } ], "id": 17115, "name": "MemberAccess", "src": "3828:36:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17100, "type": "uint256", "value": "addedValue" }, "id": 17116, "name": "Identifier", "src": "3865:10:62" } ], "id": 17117, "name": "FunctionCall", "src": "3828:48:62" } ], "id": 17118, "name": "FunctionCall", "src": "3798:79:62" } ], "id": 17119, "name": "ExpressionStatement", "src": "3798:79:62" }, { "attributes": { "functionReturnParameters": 17104 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 17120, "name": "Literal", "src": "3894:4:62" } ], "id": 17121, "name": "Return", "src": "3887:11:62" } ], "id": 17122, "name": "Block", "src": "3788:117:62" } ], "id": 17123, "name": "FunctionDefinition", "src": "3702:203:62" }, { "attributes": { "documentation": "@dev Atomically decreases the allowance granted to `spender` by the caller.\n * This is an alternative to `approve` that can be used as a mitigation for\nproblems described in `IERC20.approve`.\n * Emits an `Approval` event indicating the updated allowance.\n * Requirements:\n * - `spender` cannot be the zero address.\n- `spender` must have allowance for the caller of at least\n`subtractedValue`.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "decreaseAllowance", "scope": 17363, "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "spender", "scope": 17150, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17124, "name": "ElementaryTypeName", "src": "4419:7:62" } ], "id": 17125, "name": "VariableDeclaration", "src": "4419:15:62" }, { "attributes": { "constant": false, "name": "subtractedValue", "scope": 17150, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17126, "name": "ElementaryTypeName", "src": "4436:7:62" } ], "id": 17127, "name": "VariableDeclaration", "src": "4436:23:62" } ], "id": 17128, "name": "ParameterList", "src": "4418:42:62" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 17150, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 17129, "name": "ElementaryTypeName", "src": "4477:4:62" } ], "id": 17130, "name": "VariableDeclaration", "src": "4477:4:62" } ], "id": 17131, "name": "ParameterList", "src": "4476:6:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "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": 17334, "type": "function (address,address,uint256)", "value": "_approve" }, "id": 17132, "name": "Identifier", "src": "4493:8:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17133, "name": "Identifier", "src": "4502:3:62" } ], "id": 17134, "name": "MemberAccess", "src": "4502:10:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17125, "type": "address", "value": "spender" }, "id": 17135, "name": "Identifier", "src": "4514:7:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 16774, "type": "function (uint256,uint256) pure returns (uint256)" }, "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": 16985, "type": "mapping(address => mapping(address => uint256))", "value": "_allowances" }, "id": 17136, "name": "Identifier", "src": "4523:11:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17137, "name": "Identifier", "src": "4535:3:62" } ], "id": 17138, "name": "MemberAccess", "src": "4535:10:62" } ], "id": 17139, "name": "IndexAccess", "src": "4523:23:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17125, "type": "address", "value": "spender" }, "id": 17140, "name": "Identifier", "src": "4547:7:62" } ], "id": 17141, "name": "IndexAccess", "src": "4523:32:62" } ], "id": 17142, "name": "MemberAccess", "src": "4523:36:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17127, "type": "uint256", "value": "subtractedValue" }, "id": 17143, "name": "Identifier", "src": "4560:15:62" } ], "id": 17144, "name": "FunctionCall", "src": "4523:53:62" } ], "id": 17145, "name": "FunctionCall", "src": "4493:84:62" } ], "id": 17146, "name": "ExpressionStatement", "src": "4493:84:62" }, { "attributes": { "functionReturnParameters": 17131 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 17147, "name": "Literal", "src": "4594:4:62" } ], "id": 17148, "name": "Return", "src": "4587:11:62" } ], "id": 17149, "name": "Block", "src": "4483:122:62" } ], "id": 17150, "name": "FunctionDefinition", "src": "4392:213:62" }, { "attributes": { "documentation": "@dev Moves tokens `amount` from `sender` to `recipient`.\n * This is internal function is equivalent to `transfer`, and can be used to\ne.g. implement automatic token fees, slashing mechanisms, etc.\n * Emits a `Transfer` event.\n * Requirements:\n * - `sender` cannot be the zero address.\n- `recipient` cannot be the zero address.\n- `sender` must have a balance of at least `amount`.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "_transfer", "scope": 17363, "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "sender", "scope": 17206, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17151, "name": "ElementaryTypeName", "src": "5098:7:62" } ], "id": 17152, "name": "VariableDeclaration", "src": "5098:14:62" }, { "attributes": { "constant": false, "name": "recipient", "scope": 17206, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17153, "name": "ElementaryTypeName", "src": "5114:7:62" } ], "id": 17154, "name": "VariableDeclaration", "src": "5114:17:62" }, { "attributes": { "constant": false, "name": "amount", "scope": 17206, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17155, "name": "ElementaryTypeName", "src": "5133:7:62" } ], "id": 17156, "name": "VariableDeclaration", "src": "5133:14:62" } ], "id": 17157, "name": "ParameterList", "src": "5097:51:62" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 17158, "name": "ParameterList", "src": "5158:0:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_baecc556b46f4ed0f2b4cb599d60785ac8563dd2dc0a5bf12edea1c39e5e1fea", "typeString": "literal_string \"ERC20: transfer from the zero address\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 17159, "name": "Identifier", "src": "5168:7:62" }, { "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": 17152, "type": "address", "value": "sender" }, "id": 17160, "name": "Identifier", "src": "5176:6:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)", "value": "address" }, "id": 17161, "name": "ElementaryTypeNameExpression", "src": "5186:7:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 17162, "name": "Literal", "src": "5194:1:62" } ], "id": 17163, "name": "FunctionCall", "src": "5186:10:62" } ], "id": 17164, "name": "BinaryOperation", "src": "5176:20:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "45524332303a207472616e736665722066726f6d20746865207a65726f2061646472657373", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"ERC20: transfer from the zero address\"", "value": "ERC20: transfer from the zero address" }, "id": 17165, "name": "Literal", "src": "5198:39:62" } ], "id": 17166, "name": "FunctionCall", "src": "5168:70:62" } ], "id": 17167, "name": "ExpressionStatement", "src": "5168:70:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_0557e210f7a69a685100a7e4e3d0a7024c546085cee28910fd17d0b081d9516f", "typeString": "literal_string \"ERC20: transfer to the zero address\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 17168, "name": "Identifier", "src": "5248:7:62" }, { "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": 17154, "type": "address", "value": "recipient" }, "id": 17169, "name": "Identifier", "src": "5256:9:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)", "value": "address" }, "id": 17170, "name": "ElementaryTypeNameExpression", "src": "5269:7:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 17171, "name": "Literal", "src": "5277:1:62" } ], "id": 17172, "name": "FunctionCall", "src": "5269:10:62" } ], "id": 17173, "name": "BinaryOperation", "src": "5256:23:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "45524332303a207472616e7366657220746f20746865207a65726f2061646472657373", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"ERC20: transfer to the zero address\"", "value": "ERC20: transfer to the zero address" }, "id": 17174, "name": "Literal", "src": "5281:37:62" } ], "id": 17175, "name": "FunctionCall", "src": "5248:71:62" } ], "id": 17176, "name": "ExpressionStatement", "src": "5248:71:62" }, { "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": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17177, "name": "Identifier", "src": "5330:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17152, "type": "address", "value": "sender" }, "id": 17178, "name": "Identifier", "src": "5340:6:62" } ], "id": 17179, "name": "IndexAccess", "src": "5330:17:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 16774, "type": "function (uint256,uint256) pure returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17180, "name": "Identifier", "src": "5350:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17152, "type": "address", "value": "sender" }, "id": 17181, "name": "Identifier", "src": "5360:6:62" } ], "id": 17182, "name": "IndexAccess", "src": "5350:17:62" } ], "id": 17183, "name": "MemberAccess", "src": "5350:21:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17156, "type": "uint256", "value": "amount" }, "id": 17184, "name": "Identifier", "src": "5372:6:62" } ], "id": 17185, "name": "FunctionCall", "src": "5350:29:62" } ], "id": 17186, "name": "Assignment", "src": "5330:49:62" } ], "id": 17187, "name": "ExpressionStatement", "src": "5330:49:62" }, { "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": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17188, "name": "Identifier", "src": "5389:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17154, "type": "address", "value": "recipient" }, "id": 17189, "name": "Identifier", "src": "5399:9:62" } ], "id": 17190, "name": "IndexAccess", "src": "5389:20:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "add", "referencedDeclaration": 16749, "type": "function (uint256,uint256) pure returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17191, "name": "Identifier", "src": "5412:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17154, "type": "address", "value": "recipient" }, "id": 17192, "name": "Identifier", "src": "5422:9:62" } ], "id": 17193, "name": "IndexAccess", "src": "5412:20:62" } ], "id": 17194, "name": "MemberAccess", "src": "5412:24:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17156, "type": "uint256", "value": "amount" }, "id": 17195, "name": "Identifier", "src": "5437:6:62" } ], "id": 17196, "name": "FunctionCall", "src": "5412:32:62" } ], "id": 17197, "name": "Assignment", "src": "5389:55:62" } ], "id": 17198, "name": "ExpressionStatement", "src": "5389:55:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "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": 17481, "type": "function (address,address,uint256)", "value": "Transfer" }, "id": 17199, "name": "Identifier", "src": "5459:8:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17152, "type": "address", "value": "sender" }, "id": 17200, "name": "Identifier", "src": "5468:6:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17154, "type": "address", "value": "recipient" }, "id": 17201, "name": "Identifier", "src": "5476:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17156, "type": "uint256", "value": "amount" }, "id": 17202, "name": "Identifier", "src": "5487:6:62" } ], "id": 17203, "name": "FunctionCall", "src": "5459:35:62" } ], "id": 17204, "name": "EmitStatement", "src": "5454:40:62" } ], "id": 17205, "name": "Block", "src": "5158:343:62" } ], "id": 17206, "name": "FunctionDefinition", "src": "5079:422:62" }, { "attributes": { "documentation": "@dev Creates `amount` tokens and assigns them to `account`, increasing\nthe total supply.\n * Emits a `Transfer` event with `from` set to the zero address.\n * Requirements\n * - `to` cannot be the zero address.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "_mint", "scope": 17363, "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "account", "scope": 17249, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17207, "name": "ElementaryTypeName", "src": "5786:7:62" } ], "id": 17208, "name": "VariableDeclaration", "src": "5786:15:62" }, { "attributes": { "constant": false, "name": "amount", "scope": 17249, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17209, "name": "ElementaryTypeName", "src": "5803:7:62" } ], "id": 17210, "name": "VariableDeclaration", "src": "5803:14:62" } ], "id": 17211, "name": "ParameterList", "src": "5785:33:62" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 17212, "name": "ParameterList", "src": "5828:0:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_fc0b381caf0a47702017f3c4b358ebe3d3aff6c60ce819a8bf3ef5a95d4f202e", "typeString": "literal_string \"ERC20: mint to the zero address\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 17213, "name": "Identifier", "src": "5838:7:62" }, { "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": 17208, "type": "address", "value": "account" }, "id": 17214, "name": "Identifier", "src": "5846:7:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)", "value": "address" }, "id": 17215, "name": "ElementaryTypeNameExpression", "src": "5857:7:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 17216, "name": "Literal", "src": "5865:1:62" } ], "id": 17217, "name": "FunctionCall", "src": "5857:10:62" } ], "id": 17218, "name": "BinaryOperation", "src": "5846:21:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "45524332303a206d696e7420746f20746865207a65726f2061646472657373", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"ERC20: mint to the zero address\"", "value": "ERC20: mint to the zero address" }, "id": 17219, "name": "Literal", "src": "5869:33:62" } ], "id": 17220, "name": "FunctionCall", "src": "5838:65:62" } ], "id": 17221, "name": "ExpressionStatement", "src": "5838:65:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16987, "type": "uint256", "value": "_totalSupply" }, "id": 17222, "name": "Identifier", "src": "5914:12:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "add", "referencedDeclaration": 16749, "type": "function (uint256,uint256) pure returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16987, "type": "uint256", "value": "_totalSupply" }, "id": 17223, "name": "Identifier", "src": "5929:12:62" } ], "id": 17224, "name": "MemberAccess", "src": "5929:16:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17210, "type": "uint256", "value": "amount" }, "id": 17225, "name": "Identifier", "src": "5946:6:62" } ], "id": 17226, "name": "FunctionCall", "src": "5929:24:62" } ], "id": 17227, "name": "Assignment", "src": "5914:39:62" } ], "id": 17228, "name": "ExpressionStatement", "src": "5914:39:62" }, { "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": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17229, "name": "Identifier", "src": "5963:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17208, "type": "address", "value": "account" }, "id": 17230, "name": "Identifier", "src": "5973:7:62" } ], "id": 17231, "name": "IndexAccess", "src": "5963:18:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "add", "referencedDeclaration": 16749, "type": "function (uint256,uint256) pure returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17232, "name": "Identifier", "src": "5984:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17208, "type": "address", "value": "account" }, "id": 17233, "name": "Identifier", "src": "5994:7:62" } ], "id": 17234, "name": "IndexAccess", "src": "5984:18:62" } ], "id": 17235, "name": "MemberAccess", "src": "5984:22:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17210, "type": "uint256", "value": "amount" }, "id": 17236, "name": "Identifier", "src": "6007:6:62" } ], "id": 17237, "name": "FunctionCall", "src": "5984:30:62" } ], "id": 17238, "name": "Assignment", "src": "5963:51:62" } ], "id": 17239, "name": "ExpressionStatement", "src": "5963:51:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "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": 17481, "type": "function (address,address,uint256)", "value": "Transfer" }, "id": 17240, "name": "Identifier", "src": "6029:8:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)", "value": "address" }, "id": 17241, "name": "ElementaryTypeNameExpression", "src": "6038:7:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 17242, "name": "Literal", "src": "6046:1:62" } ], "id": 17243, "name": "FunctionCall", "src": "6038:10:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17208, "type": "address", "value": "account" }, "id": 17244, "name": "Identifier", "src": "6050:7:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17210, "type": "uint256", "value": "amount" }, "id": 17245, "name": "Identifier", "src": "6059:6:62" } ], "id": 17246, "name": "FunctionCall", "src": "6029:37:62" } ], "id": 17247, "name": "EmitStatement", "src": "6024:42:62" } ], "id": 17248, "name": "Block", "src": "5828:245:62" } ], "id": 17249, "name": "FunctionDefinition", "src": "5771:302:62" }, { "attributes": { "documentation": "@dev Destoys `amount` tokens from `account`, reducing the\ntotal supply.\n * Emits a `Transfer` event with `to` set to the zero address.\n * Requirements\n * - `account` cannot be the zero address.\n- `account` must have at least `amount` tokens.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "_burn", "scope": 17363, "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "account", "scope": 17292, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17250, "name": "ElementaryTypeName", "src": "6407:7:62" } ], "id": 17251, "name": "VariableDeclaration", "src": "6407:15:62" }, { "attributes": { "constant": false, "name": "value", "scope": 17292, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17252, "name": "ElementaryTypeName", "src": "6424:7:62" } ], "id": 17253, "name": "VariableDeclaration", "src": "6424:13:62" } ], "id": 17254, "name": "ParameterList", "src": "6406:32:62" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 17255, "name": "ParameterList", "src": "6448:0:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_b16788493b576042bb52c50ed56189e0b250db113c7bfb1c3897d25cf9632d7f", "typeString": "literal_string \"ERC20: burn from the zero address\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 17256, "name": "Identifier", "src": "6458:7:62" }, { "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": 17251, "type": "address", "value": "account" }, "id": 17257, "name": "Identifier", "src": "6466:7:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)", "value": "address" }, "id": 17258, "name": "ElementaryTypeNameExpression", "src": "6477:7:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 17259, "name": "Literal", "src": "6485:1:62" } ], "id": 17260, "name": "FunctionCall", "src": "6477:10:62" } ], "id": 17261, "name": "BinaryOperation", "src": "6466:21:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "45524332303a206275726e2066726f6d20746865207a65726f2061646472657373", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"ERC20: burn from the zero address\"", "value": "ERC20: burn from the zero address" }, "id": 17262, "name": "Literal", "src": "6489:35:62" } ], "id": 17263, "name": "FunctionCall", "src": "6458:67:62" } ], "id": 17264, "name": "ExpressionStatement", "src": "6458:67:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16987, "type": "uint256", "value": "_totalSupply" }, "id": 17265, "name": "Identifier", "src": "6536:12:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 16774, "type": "function (uint256,uint256) pure returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16987, "type": "uint256", "value": "_totalSupply" }, "id": 17266, "name": "Identifier", "src": "6551:12:62" } ], "id": 17267, "name": "MemberAccess", "src": "6551:16:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17253, "type": "uint256", "value": "value" }, "id": 17268, "name": "Identifier", "src": "6568:5:62" } ], "id": 17269, "name": "FunctionCall", "src": "6551:23:62" } ], "id": 17270, "name": "Assignment", "src": "6536:38:62" } ], "id": 17271, "name": "ExpressionStatement", "src": "6536:38:62" }, { "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": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17272, "name": "Identifier", "src": "6584:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17251, "type": "address", "value": "account" }, "id": 17273, "name": "Identifier", "src": "6594:7:62" } ], "id": 17274, "name": "IndexAccess", "src": "6584:18:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 16774, "type": "function (uint256,uint256) pure returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16979, "type": "mapping(address => uint256)", "value": "_balances" }, "id": 17275, "name": "Identifier", "src": "6605:9:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17251, "type": "address", "value": "account" }, "id": 17276, "name": "Identifier", "src": "6615:7:62" } ], "id": 17277, "name": "IndexAccess", "src": "6605:18:62" } ], "id": 17278, "name": "MemberAccess", "src": "6605:22:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17253, "type": "uint256", "value": "value" }, "id": 17279, "name": "Identifier", "src": "6628:5:62" } ], "id": 17280, "name": "FunctionCall", "src": "6605:29:62" } ], "id": 17281, "name": "Assignment", "src": "6584:50:62" } ], "id": 17282, "name": "ExpressionStatement", "src": "6584:50:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 17481, "type": "function (address,address,uint256)", "value": "Transfer" }, "id": 17283, "name": "Identifier", "src": "6649:8:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17251, "type": "address", "value": "account" }, "id": 17284, "name": "Identifier", "src": "6658:7:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)", "value": "address" }, "id": 17285, "name": "ElementaryTypeNameExpression", "src": "6667:7:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 17286, "name": "Literal", "src": "6675:1:62" } ], "id": 17287, "name": "FunctionCall", "src": "6667:10:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17253, "type": "uint256", "value": "value" }, "id": 17288, "name": "Identifier", "src": "6679:5:62" } ], "id": 17289, "name": "FunctionCall", "src": "6649:36:62" } ], "id": 17290, "name": "EmitStatement", "src": "6644:41:62" } ], "id": 17291, "name": "Block", "src": "6448:244:62" } ], "id": 17292, "name": "FunctionDefinition", "src": "6392:300:62" }, { "attributes": { "documentation": "@dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.\n * This is internal function is equivalent to `approve`, and can be used to\ne.g. set automatic allowances for certain subsystems, etc.\n * Emits an `Approval` event.\n * Requirements:\n * - `owner` cannot be the zero address.\n- `spender` cannot be the zero address.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "_approve", "scope": 17363, "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "owner", "scope": 17334, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17293, "name": "ElementaryTypeName", "src": "7135:7:62" } ], "id": 17294, "name": "VariableDeclaration", "src": "7135:13:62" }, { "attributes": { "constant": false, "name": "spender", "scope": 17334, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17295, "name": "ElementaryTypeName", "src": "7150:7:62" } ], "id": 17296, "name": "VariableDeclaration", "src": "7150:15:62" }, { "attributes": { "constant": false, "name": "value", "scope": 17334, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17297, "name": "ElementaryTypeName", "src": "7167:7:62" } ], "id": 17298, "name": "VariableDeclaration", "src": "7167:13:62" } ], "id": 17299, "name": "ParameterList", "src": "7134:47:62" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 17300, "name": "ParameterList", "src": "7191:0:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_c953f4879035ed60e766b34720f656aab5c697b141d924c283124ecedb91c208", "typeString": "literal_string \"ERC20: approve from the zero address\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 17301, "name": "Identifier", "src": "7201:7:62" }, { "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": 17294, "type": "address", "value": "owner" }, "id": 17302, "name": "Identifier", "src": "7209:5:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)", "value": "address" }, "id": 17303, "name": "ElementaryTypeNameExpression", "src": "7218:7:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 17304, "name": "Literal", "src": "7226:1:62" } ], "id": 17305, "name": "FunctionCall", "src": "7218:10:62" } ], "id": 17306, "name": "BinaryOperation", "src": "7209:19:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "45524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"ERC20: approve from the zero address\"", "value": "ERC20: approve from the zero address" }, "id": 17307, "name": "Literal", "src": "7230:38:62" } ], "id": 17308, "name": "FunctionCall", "src": "7201:68:62" } ], "id": 17309, "name": "ExpressionStatement", "src": "7201:68:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_24883cc5fe64ace9d0df1893501ecb93c77180f0ff69cca79affb3c316dc8029", "typeString": "literal_string \"ERC20: approve to the zero address\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 17310, "name": "Identifier", "src": "7279:7:62" }, { "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": 17296, "type": "address", "value": "spender" }, "id": 17311, "name": "Identifier", "src": "7287:7:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "address payable", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(address)", "value": "address" }, "id": 17312, "name": "ElementaryTypeNameExpression", "src": "7298:7:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 17313, "name": "Literal", "src": "7306:1:62" } ], "id": 17314, "name": "FunctionCall", "src": "7298:10:62" } ], "id": 17315, "name": "BinaryOperation", "src": "7287:21:62" }, { "attributes": { "argumentTypes": null, "hexvalue": "45524332303a20617070726f766520746f20746865207a65726f2061646472657373", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"ERC20: approve to the zero address\"", "value": "ERC20: approve to the zero address" }, "id": 17316, "name": "Literal", "src": "7310:36:62" } ], "id": 17317, "name": "FunctionCall", "src": "7279:68:62" } ], "id": 17318, "name": "ExpressionStatement", "src": "7279:68:62" }, { "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": 16985, "type": "mapping(address => mapping(address => uint256))", "value": "_allowances" }, "id": 17319, "name": "Identifier", "src": "7358:11:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17294, "type": "address", "value": "owner" }, "id": 17320, "name": "Identifier", "src": "7370:5:62" } ], "id": 17322, "name": "IndexAccess", "src": "7358:18:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17296, "type": "address", "value": "spender" }, "id": 17321, "name": "Identifier", "src": "7377:7:62" } ], "id": 17323, "name": "IndexAccess", "src": "7358:27:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17298, "type": "uint256", "value": "value" }, "id": 17324, "name": "Identifier", "src": "7388:5:62" } ], "id": 17325, "name": "Assignment", "src": "7358:35:62" } ], "id": 17326, "name": "ExpressionStatement", "src": "7358:35:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "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": 17489, "type": "function (address,address,uint256)", "value": "Approval" }, "id": 17327, "name": "Identifier", "src": "7408:8:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17294, "type": "address", "value": "owner" }, "id": 17328, "name": "Identifier", "src": "7417:5:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17296, "type": "address", "value": "spender" }, "id": 17329, "name": "Identifier", "src": "7424:7:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17298, "type": "uint256", "value": "value" }, "id": 17330, "name": "Identifier", "src": "7433:5:62" } ], "id": 17331, "name": "FunctionCall", "src": "7408:31:62" } ], "id": 17332, "name": "EmitStatement", "src": "7403:36:62" } ], "id": 17333, "name": "Block", "src": "7191:255:62" } ], "id": 17334, "name": "FunctionDefinition", "src": "7117:329:62" }, { "attributes": { "documentation": "@dev Destoys `amount` tokens from `account`.`amount` is then deducted\nfrom the caller's allowance.\n * See `_burn` and `_approve`.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "_burnFrom", "scope": 17363, "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "account", "scope": 17362, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "stateMutability": "nonpayable", "type": "address" }, "id": 17335, "name": "ElementaryTypeName", "src": "7642:7:62" } ], "id": 17336, "name": "VariableDeclaration", "src": "7642:15:62" }, { "attributes": { "constant": false, "name": "amount", "scope": 17362, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 17337, "name": "ElementaryTypeName", "src": "7659:7:62" } ], "id": 17338, "name": "VariableDeclaration", "src": "7659:14:62" } ], "id": 17339, "name": "ParameterList", "src": "7641:33:62" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 17340, "name": "ParameterList", "src": "7684:0:62" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 17292, "type": "function (address,uint256)", "value": "_burn" }, "id": 17341, "name": "Identifier", "src": "7694:5:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17336, "type": "address", "value": "account" }, "id": 17342, "name": "Identifier", "src": "7700:7:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17338, "type": "uint256", "value": "amount" }, "id": 17343, "name": "Identifier", "src": "7709:6:62" } ], "id": 17344, "name": "FunctionCall", "src": "7694:22:62" } ], "id": 17345, "name": "ExpressionStatement", "src": "7694:22:62" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 17334, "type": "function (address,address,uint256)", "value": "_approve" }, "id": 17346, "name": "Identifier", "src": "7726:8:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17336, "type": "address", "value": "account" }, "id": 17347, "name": "Identifier", "src": "7735:7:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17348, "name": "Identifier", "src": "7744:3:62" } ], "id": 17349, "name": "MemberAccess", "src": "7744:10:62" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 16774, "type": "function (uint256,uint256) pure returns (uint256)" }, "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": 16985, "type": "mapping(address => mapping(address => uint256))", "value": "_allowances" }, "id": 17350, "name": "Identifier", "src": "7756:11:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17336, "type": "address", "value": "account" }, "id": 17351, "name": "Identifier", "src": "7768:7:62" } ], "id": 17352, "name": "IndexAccess", "src": "7756:20:62" }, { "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": 18360, "type": "msg", "value": "msg" }, "id": 17353, "name": "Identifier", "src": "7777:3:62" } ], "id": 17354, "name": "MemberAccess", "src": "7777:10:62" } ], "id": 17355, "name": "IndexAccess", "src": "7756:32:62" } ], "id": 17356, "name": "MemberAccess", "src": "7756:36:62" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 17338, "type": "uint256", "value": "amount" }, "id": 17357, "name": "Identifier", "src": "7793:6:62" } ], "id": 17358, "name": "FunctionCall", "src": "7756:44:62" } ], "id": 17359, "name": "FunctionCall", "src": "7726:75:62" } ], "id": 17360, "name": "ExpressionStatement", "src": "7726:75:62" } ], "id": 17361, "name": "Block", "src": "7684:124:62" } ], "id": 17362, "name": "FunctionDefinition", "src": "7623:185:62" } ], "id": 17363, "name": "ContractDefinition", "src": "1232:6578:62" } ], "id": 17364, "name": "SourceUnit", "src": "0:7811:62" }, "compiler": { "name": "solc", "version": "0.5.17+commit.d19bba13.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.3.4", "updatedAt": "2021-11-23T11:52:09.476Z", "devdoc": { "details": "Implementation of the `IERC20` interface. * This implementation is agnostic to the way tokens are created. This means that a supply mechanism has to be added in a derived contract using `_mint`. For a generic mechanism see `ERC20Mintable`. * *For a detailed writeup see our guide [How to implement supply mechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).* * We have followed general OpenZeppelin guidelines: functions revert instead of returning `false` on failure. This behavior is nonetheless conventional and does not conflict with the expectations of ERC20 applications. * Additionally, an `Approval` event is emitted on calls to `transferFrom`. This allows applications to reconstruct the allowance for all accounts just by listening to said events. Other implementations of the EIP may not emit these events, as it isn't required by the specification. * Finally, the non-standard `decreaseAllowance` and `increaseAllowance` functions have been added to mitigate the well-known issues around setting allowances. See `IERC20.approve`.", "methods": { "allowance(address,address)": { "details": "See `IERC20.allowance`." }, "approve(address,uint256)": { "details": "See `IERC20.approve`. * Requirements: * - `spender` cannot be the zero address." }, "balanceOf(address)": { "details": "See `IERC20.balanceOf`." }, "decreaseAllowance(address,uint256)": { "details": "Atomically decreases the allowance granted to `spender` by the caller. * This is an alternative to `approve` that can be used as a mitigation for problems described in `IERC20.approve`. * Emits an `Approval` event indicating the updated allowance. * Requirements: * - `spender` cannot be the zero address. - `spender` must have allowance for the caller of at least `subtractedValue`." }, "increaseAllowance(address,uint256)": { "details": "Atomically increases the allowance granted to `spender` by the caller. * This is an alternative to `approve` that can be used as a mitigation for problems described in `IERC20.approve`. * Emits an `Approval` event indicating the updated allowance. * Requirements: * - `spender` cannot be the zero address." }, "totalSupply()": { "details": "See `IERC20.totalSupply`." }, "transfer(address,uint256)": { "details": "See `IERC20.transfer`. * Requirements: * - `recipient` cannot be the zero address. - the caller must have a balance of at least `amount`." }, "transferFrom(address,address,uint256)": { "details": "See `IERC20.transferFrom`. * Emits an `Approval` event indicating the updated allowance. This is not required by the EIP. See the note at the beginning of `ERC20`; * Requirements: - `sender` and `recipient` cannot be the zero address. - `sender` must have a balance of at least `value`. - the caller must have allowance for `sender`'s tokens of at least `amount`." } } }, "userdoc": { "methods": {} } }