{ "contractName": "KToken", "abi": [ { "inputs": [ { "internalType": "address", "name": "tokenAddress", "type": "address" }, { "internalType": "address", "name": "invokerAddress", "type": "address" }, { "internalType": "string", "name": "name", "type": "string" }, { "internalType": "string", "name": "symbol", "type": "string" }, { "internalType": "uint8", "name": "decimals", "type": "uint8" } ], "payable": false, "stateMutability": "nonpayable", "type": "constructor" }, { "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": false, "internalType": "address", "name": "minter", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "tokenAmount", "type": "uint256" }, { "indexed": false, "internalType": "uint256", "name": "kTokenAmount", "type": "uint256" } ], "name": "Mint", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "previousOwner", "type": "address" }, { "indexed": true, "internalType": "address", "name": "newOwner", "type": "address" } ], "name": "OwnershipTransferred", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "address", "name": "redeemer", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "tokenAmount", "type": "uint256" }, { "indexed": false, "internalType": "uint256", "name": "kTokenAmount", "type": "uint256" } ], "name": "Redeem", "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": "amount", "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": true, "inputs": [], "name": "decimals", "outputs": [ { "internalType": "uint8", "name": "", "type": "uint8" } ], "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": "isOwner", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "name", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "owner", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [], "name": "renounceOwnership", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [], "name": "symbol", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "payable": false, "stateMutability": "view", "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": "newOwner", "type": "address" } ], "name": "transferOwnership", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "uint256", "name": "kTokenAmount", "type": "uint256" } ], "name": "redeem", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "uint256", "name": "tokenAmount", "type": "uint256" } ], "name": "redeemUnderlying", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "transferUnderlying", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [], "name": "lock", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [], "name": "unlock", "outputs": [], "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": true, "inputs": [ { "internalType": "uint256", "name": "tokenAmount", "type": "uint256" }, { "internalType": "bool", "name": "ceiling", "type": "bool" } ], "name": "tokenAmountToKTokenAmount", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "internalType": "uint256", "name": "kTokenAmount", "type": "uint256" } ], "name": "kTokenAmountToTokenAmount", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "isKEther", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "totalReserve", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "internalType": "address", "name": "owner", "type": "address" } ], "name": "balanceOfUnderlying", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "tokenAddress", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "invokerAddress", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "internalType": "address", "name": "invokerAddress", "type": "address" } ], "name": "setInvokerAddress", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.5.16+commit.9c3226ce\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"address\",\"name\":\"tokenAddress\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"invokerAddress\",\"type\":\"address\"},{\"internalType\":\"string\",\"name\":\"name\",\"type\":\"string\"},{\"internalType\":\"string\",\"name\":\"symbol\",\"type\":\"string\"},{\"internalType\":\"uint8\",\"name\":\"decimals\",\"type\":\"uint8\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"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\":false,\"internalType\":\"address\",\"name\":\"minter\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"tokenAmount\",\"type\":\"uint256\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"kTokenAmount\",\"type\":\"uint256\"}],\"name\":\"Mint\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"previousOwner\",\"type\":\"address\"},{\"indexed\":true,\"internalType\":\"address\",\"name\":\"newOwner\",\"type\":\"address\"}],\"name\":\"OwnershipTransferred\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address\",\"name\":\"redeemer\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"tokenAmount\",\"type\":\"uint256\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"kTokenAmount\",\"type\":\"uint256\"}],\"name\":\"Redeem\",\"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\":\"amount\",\"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\":true,\"inputs\":[{\"internalType\":\"address\",\"name\":\"owner\",\"type\":\"address\"}],\"name\":\"balanceOfUnderlying\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"decimals\",\"outputs\":[{\"internalType\":\"uint8\",\"name\":\"\",\"type\":\"uint8\"}],\"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\":\"invokerAddress\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"isKEther\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"isOwner\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"kTokenAmount\",\"type\":\"uint256\"}],\"name\":\"kTokenAmountToTokenAmount\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[],\"name\":\"lock\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"name\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"owner\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"kTokenAmount\",\"type\":\"uint256\"}],\"name\":\"redeem\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"tokenAmount\",\"type\":\"uint256\"}],\"name\":\"redeemUnderlying\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[],\"name\":\"renounceOwnership\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"address\",\"name\":\"invokerAddress\",\"type\":\"address\"}],\"name\":\"setInvokerAddress\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"symbol\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"tokenAddress\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"tokenAmount\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"ceiling\",\"type\":\"bool\"}],\"name\":\"tokenAmountToKTokenAmount\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"totalReserve\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"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\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"address\",\"name\":\"newOwner\",\"type\":\"address\"}],\"name\":\"transferOwnership\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"internalType\":\"address\",\"name\":\"to\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"}],\"name\":\"transferUnderlying\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[],\"name\":\"unlock\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"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}.\"},\"decimals()\":{\"details\":\"Returns the number of decimals used to get its user representation. For example, if `decimals` equals `2`, a balance of `505` tokens should be displayed to a user as `5,05` (`505 / 10 ** 2`). * Tokens usually opt for a value of 18, imitating the relationship between Ether and Wei. * NOTE: This information is only used for _display_ purposes: it in no way affects any of the arithmetic of the contract, including {IERC20-balanceOf} and {IERC20-transfer}.\"},\"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.\"},\"isOwner()\":{\"details\":\"Returns true if the caller is the current owner.\"},\"name()\":{\"details\":\"Returns the name of the token.\"},\"owner()\":{\"details\":\"Returns the address of the current owner.\"},\"renounceOwnership()\":{\"details\":\"Leaves the contract without owner. It will not be possible to call `onlyOwner` functions anymore. Can only be called by the current owner. * NOTE: Renouncing ownership will leave the contract without an owner, thereby removing any functionality that is only available to the owner.\"},\"symbol()\":{\"details\":\"Returns the symbol of the token, usually a shorter version of the name.\"},\"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`.\"},\"transferOwnership(address)\":{\"details\":\"Transfers ownership of the contract to a new account (`newOwner`). Can only be called by the current owner.\"}}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"/Users/kbrizzle/code/kollateral/protocol/contracts/Ktoken.sol\":\"KToken\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"/Users/kbrizzle/code/kollateral/protocol/contracts/ExtendedMath.sol\":{\"keccak256\":\"0x9b4a67b1242134b64f557613259bfb51268d488cbc7b27cb2bc72c2f21f2b71f\",\"urls\":[\"bzz-raw://47bc3f04cddcbbe7a0373a074d50bbc1720ef7d73266532aab07474ea426ab43\",\"dweb:/ipfs/QmdPdivc8yXbmvDL1nG8xXHJF7qcfx6JqQoCFBv1ohDmdP\"]},\"/Users/kbrizzle/code/kollateral/protocol/contracts/Ktoken.sol\":{\"keccak256\":\"0x748a3edca97018638a9ed18f3484977c124517f2261af8a7be3e1b8ee2fbe8a8\",\"urls\":[\"bzz-raw://9b5d42beda89cdf788e79cec733d96c4c4eaf896694948ee2c0fa5bb46d3972c\",\"dweb:/ipfs/Qmc9sGpHe3CTiEG9gzrdHtCgsuHBfAToTBGYmL8a4JL3J1\"]},\"/Users/kbrizzle/code/kollateral/protocol/contracts/interfaces/IKToken.sol\":{\"keccak256\":\"0x5b03d279a41856eef739da4ee50155425bbd95d99d80e4b910ec5abb91a99e40\",\"urls\":[\"bzz-raw://4ef7259b5604ef20e62b2503bc34d4052f99b85a18a80b072b8883bb7f9559de\",\"dweb:/ipfs/QmUsVQH9M3FoB4rpJGZJpZrbk2kcDFyRg5E5WfAKqHYkok\"]},\"@openzeppelin/contracts/GSN/Context.sol\":{\"keccak256\":\"0x90a3995645af7562d84b9d69363ffa5ae7217714ab61e951bf7bc450f40e4061\",\"urls\":[\"bzz-raw://216ef9d6b614db4eb46970b4e84903f2534a45572dd30a79f0041f1a5830f436\",\"dweb:/ipfs/QmNPrJ4MWKUAWzKXpUqeyKRUfosaoANZAqXgvepdrCwZAG\"]},\"@openzeppelin/contracts/access/Roles.sol\":{\"keccak256\":\"0xb002c378d7b82a101bd659c341518953ca0919d342c0a400196982c0e7e7bcdb\",\"urls\":[\"bzz-raw://00a788c4631466c220b385bdd100c571d24b2deccd657615cfbcef6cadf669a4\",\"dweb:/ipfs/QmTEwDbjJNxmMNCDMqtuou3dyM8Wtp8Q9NFvn7SAVM7Jf3\"]},\"@openzeppelin/contracts/access/roles/PauserRole.sol\":{\"keccak256\":\"0xd1b5c934bab36d753c22987ad98c7614cb50ebf641371a83c96f8138619d7c30\",\"urls\":[\"bzz-raw://69c4bb822caae3d1bfd38e81f03b6d618d4d83cbb8e9f8236d28e1c4fe1d0d81\",\"dweb:/ipfs/QmWamstbFhdySmocF2TSKYVLLZF24JG4aXMvHiRdWKv3RA\"]},\"@openzeppelin/contracts/lifecycle/Pausable.sol\":{\"keccak256\":\"0xd3e5a49edfb74654d122962cc60b917d1c60461e669a7262fd7aba201fac1260\",\"urls\":[\"bzz-raw://0307a3cae4df037aee16fb0b0d94849cb4d9b20d7d7182c185f3efac6d2caec0\",\"dweb:/ipfs/QmezTANBfrJmCvxfmfyfcfFGtbcUEUtoJCjfxKnAePiNoE\"]},\"@openzeppelin/contracts/math/SafeMath.sol\":{\"keccak256\":\"0x640b6dee7a4b830bdfd52b5031a07fc2b12209f5b2e29e5d364a7d37f69d8076\",\"urls\":[\"bzz-raw://31113152e1ddb78fe7a4197f247591ca894e93f916867beb708d8e747b6cc74f\",\"dweb:/ipfs/QmbZaJyXdpsYGykVhHH9qpVGQg9DGCxE2QufbCUy3daTgq\"]},\"@openzeppelin/contracts/ownership/Ownable.sol\":{\"keccak256\":\"0xecd8ab29d9a5771c3964d0cd1788c4a5098a0081b20fb275da850a22b1c59806\",\"urls\":[\"bzz-raw://696a75bc2c55407ce8251ccc7d19ecb1b7b2be1796a160a6524312babcc7e3d4\",\"dweb:/ipfs/QmQViKEp3y99h9uhRssE29TmjBKRnFMaoz3eJZ4eggggg2\"]},\"@openzeppelin/contracts/token/ERC20/ERC20.sol\":{\"keccak256\":\"0x65a4078c03875c25413a068ce9cfdd7e68a90f8786612d1189c89341e6e3b802\",\"urls\":[\"bzz-raw://45c0d95495b944fbb1aa09d900b0ab530903a432125ab8fddfa05064a7988991\",\"dweb:/ipfs/Qma2VeknkKA1THeubGzshWFk44BktXkXP1UKp9Un2uDSsu\"]},\"@openzeppelin/contracts/token/ERC20/ERC20Detailed.sol\":{\"keccak256\":\"0x4a3a810b7ebe742e897e1fd428b3eeed2196d3acea58eaf9c566ed10d545d2ed\",\"urls\":[\"bzz-raw://28d03f328e19e4099d5013de0649afaeaabac1a614e130767ab1cb4aca9775b6\",\"dweb:/ipfs/Qmb9iW7yNuYehB2NfhRMs9TakqbLVQhBhmGMkaDZ5g1Eb4\"]},\"@openzeppelin/contracts/token/ERC20/IERC20.sol\":{\"keccak256\":\"0xe5bb0f57cff3e299f360052ba50f1ea0fff046df2be070b6943e0e3c3fdad8a9\",\"urls\":[\"bzz-raw://59fd025151435da35faa8093a5c7a17de02de9d08ad27275c5cdf05050820d91\",\"dweb:/ipfs/QmQMvwEcPhoRXzbXyrdoeRtvLoifUW9Qh7Luho7bmUPRkc\"]},\"@openzeppelin/contracts/utils/ReentrancyGuard.sol\":{\"keccak256\":\"0xe86fdc15fbc379ecf14d6aa4f51b87c0be8476e114e23c171b790a6717230655\",\"urls\":[\"bzz-raw://81905037f66d37ed211a4e3430af74f36e18b3a5d5b688e6d7d5ee199824a41a\",\"dweb:/ipfs/QmTcpgNKqLVRbcgNSUHazAbVf2bz5uh5mPkAijGeYW7Sqb\"]}},\"version\":1}", "bytecode": "0x", "deployedBytecode": "0x", "sourceMap": "", "deployedSourceMap": "", "source": "pragma solidity ^0.5.0;\n\nimport \"@openzeppelin/contracts/math/SafeMath.sol\";\nimport \"@openzeppelin/contracts/utils/ReentrancyGuard.sol\";\nimport \"@openzeppelin/contracts/token/ERC20/ERC20.sol\";\nimport \"@openzeppelin/contracts/token/ERC20/ERC20Detailed.sol\";\nimport \"@openzeppelin/contracts/lifecycle/Pausable.sol\";\nimport \"@openzeppelin/contracts/ownership/Ownable.sol\";\nimport \"./ExtendedMath.sol\";\nimport \"./interfaces/IKToken.sol\";\n\ncontract KToken is IKToken, ERC20, ERC20Detailed, ReentrancyGuard, ExtendedMath, Ownable {\n using SafeMath for uint256;\n\n event Mint(address minter, uint256 tokenAmount, uint256 kTokenAmount);\n event Redeem(address redeemer, uint256 tokenAmount, uint256 kTokenAmount);\n\n address internal _tokenAddress;\n address internal _invokerAddress;\n uint256 internal _lock;\n\n constructor (address tokenAddress, address invokerAddress, string memory name, string memory symbol, uint8 decimals)\n internal\n ERC20Detailed(name, symbol, decimals)\n {\n _tokenAddress = tokenAddress;\n _invokerAddress = invokerAddress;\n _lock = 0;\n }\n\n /*\n * PUBLIC STATE CHANGING\n */\n\n function redeem(uint256 kTokenAmount)\n external\n returns (bool)\n {\n require(totalSupply() > 0, \"KToken: no supply\");\n return redeemInternal(kTokenAmountToTokenAmount(kTokenAmount), kTokenAmount);\n }\n\n function redeemUnderlying(uint256 tokenAmount)\n external\n returns (bool)\n {\n require(totalReserve() > 0, \"KToken: no reserve\");\n return redeemInternal(tokenAmount, tokenAmountToKTokenAmountInternal(tokenAmount, true, false));\n }\n\n function mintInternal(uint256 amount)\n internal\n whenUnlocked\n nonReentrant\n returns (bool)\n {\n uint256 kTokenAmount;\n if (totalReserve().sub(amount) > 0) {\n kTokenAmount = tokenAmountToKTokenAmountInternal(amount, false, true);\n } else {\n kTokenAmount = amount;\n }\n _mint(msg.sender, kTokenAmount);\n emit Mint(msg.sender, amount, kTokenAmount);\n\n return true;\n }\n\n function redeemInternal(uint256 tokenAmount, uint256 kTokenAmount)\n internal\n whenUnlocked\n nonReentrant\n returns (bool)\n {\n _burn(msg.sender, kTokenAmount);\n require(transferUnderlyingInternal(msg.sender, tokenAmount), \"KToken: token transfer failed\");\n emit Redeem(msg.sender, tokenAmount, kTokenAmount);\n\n return true;\n }\n\n /*\n * INVOKER STATE-CHANGING HOOKS\n */\n\n function transferUnderlying(address to, uint256 amount)\n external\n onlyInvoker\n whenUnlocked\n nonReentrant\n returns (bool)\n {\n return transferUnderlyingInternal(to, amount);\n }\n\n function transferUnderlyingInternal(address to, uint256 amount) internal returns (bool);\n\n /* Lock automatically clears after block in case of any unintended locking attacks */\n function lock()\n external\n onlyInvoker\n whenUnlocked\n {\n _lock = block.number;\n }\n\n function unlock()\n external\n onlyInvoker\n whenLocked\n {\n _lock = 0;\n }\n\n /* Adds unlimited allowance functionality to standard transferFrom implementation */\n function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {\n _transfer(sender, recipient, amount);\n if (allowance(sender, _msgSender()) != uint256(-1)) {\n _approve(sender, _msgSender(), allowance(sender, _msgSender()).sub(amount, \"ERC20: transfer amount exceeds allowance\"));\n }\n return true;\n }\n\n /*\n * VIEWS\n */\n\n function tokenAmountToKTokenAmount(uint256 tokenAmount, bool ceiling) public view returns (uint256) {\n return tokenAmountToKTokenAmountInternal(tokenAmount, ceiling, false);\n }\n\n function tokenAmountToKTokenAmountInternal(uint256 tokenAmount, bool ceiling, bool alreadyDeposited)\n internal\n view\n returns (uint256)\n {\n if (totalReserve() == 0) {\n return 0;\n }\n\n /* mint() pulls in funds before calling mintInternal() - normalize for pre-funding amount */\n uint256 adjustedTotalReserve = alreadyDeposited ? totalReserve() - tokenAmount: totalReserve();\n\n /* round mint() down and redeemUnderlying() up to avoid over-ownership exploits */\n return divAndRound(tokenAmount.mul(totalSupply()), adjustedTotalReserve, ceiling);\n }\n\n function kTokenAmountToTokenAmount(uint256 kTokenAmount) public view returns (uint256) {\n if (totalSupply() == 0) {\n return 0;\n }\n\n return kTokenAmount.mul(totalReserve()).div(totalSupply());\n }\n\n function isKEther() public view returns (bool);\n\n function totalReserve() public view returns (uint256);\n\n function balanceOfUnderlying(address owner) public view returns (uint256) {\n return kTokenAmountToTokenAmount(balanceOf(owner));\n }\n\n function tokenAddress() external view returns (address) {\n return _tokenAddress;\n }\n\n function invokerAddress() external view returns (address) {\n return _invokerAddress;\n }\n\n /*\n * MODIFIERS\n */\n\n modifier onlyInvoker() {\n require(\n msg.sender == _invokerAddress && !Pausable(_invokerAddress).paused(),\n \"KToken: only can be called by unpaused invoker\");\n _;\n }\n\n modifier whenLocked() {\n require(_lock >= block.number, \"KToken: not locked\");\n _;\n }\n\n modifier whenUnlocked() {\n require(_lock < block.number, \"KToken: locked\");\n _;\n }\n\n /*\n * ADMIN FUNCTIONS\n */\n\n /* KToken ownership will be relinquished before public launch. */\n function setInvokerAddress(address invokerAddress) external onlyOwner {\n _invokerAddress = invokerAddress;\n }\n}\n", "sourcePath": "/Users/kbrizzle/code/kollateral/protocol/contracts/Ktoken.sol", "ast": { "absolutePath": "/Users/kbrizzle/code/kollateral/protocol/contracts/Ktoken.sol", "exportedSymbols": { "KToken": [ 1613 ] }, "id": 1614, "nodeType": "SourceUnit", "nodes": [ { "id": 1118, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:5" }, { "absolutePath": "@openzeppelin/contracts/math/SafeMath.sol", "file": "@openzeppelin/contracts/math/SafeMath.sol", "id": 1119, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 2904, "src": "25:51:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/utils/ReentrancyGuard.sol", "file": "@openzeppelin/contracts/utils/ReentrancyGuard.sol", "id": 1120, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 3582, "src": "77:59:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/token/ERC20/ERC20.sol", "file": "@openzeppelin/contracts/token/ERC20/ERC20.sol", "id": 1121, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 3423, "src": "137:55:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/token/ERC20/ERC20Detailed.sol", "file": "@openzeppelin/contracts/token/ERC20/ERC20Detailed.sol", "id": 1122, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 3481, "src": "193:63:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/lifecycle/Pausable.sol", "file": "@openzeppelin/contracts/lifecycle/Pausable.sol", "id": 1123, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 2717, "src": "257:56:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/ownership/Ownable.sol", "file": "@openzeppelin/contracts/ownership/Ownable.sol", "id": 1124, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 3018, "src": "314:55:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/kbrizzle/code/kollateral/protocol/contracts/ExtendedMath.sol", "file": "./ExtendedMath.sol", "id": 1125, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 42, "src": "370:28:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/kbrizzle/code/kollateral/protocol/contracts/interfaces/IKToken.sol", "file": "./interfaces/IKToken.sol", "id": 1126, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 2075, "src": "399:34:5", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 1127, "name": "IKToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2074, "src": "454:7:5", "typeDescriptions": { "typeIdentifier": "t_contract$_IKToken_$2074", "typeString": "contract IKToken" } }, "id": 1128, "nodeType": "InheritanceSpecifier", "src": "454:7:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1129, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3422, "src": "463:5:5", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$3422", "typeString": "contract ERC20" } }, "id": 1130, "nodeType": "InheritanceSpecifier", "src": "463:5:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1131, "name": "ERC20Detailed", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3480, "src": "470:13:5", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20Detailed_$3480", "typeString": "contract ERC20Detailed" } }, "id": 1132, "nodeType": "InheritanceSpecifier", "src": "470:13:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1133, "name": "ReentrancyGuard", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3581, "src": "485:15:5", "typeDescriptions": { "typeIdentifier": "t_contract$_ReentrancyGuard_$3581", "typeString": "contract ReentrancyGuard" } }, "id": 1134, "nodeType": "InheritanceSpecifier", "src": "485:15:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1135, "name": "ExtendedMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 41, "src": "502:12:5", "typeDescriptions": { "typeIdentifier": "t_contract$_ExtendedMath_$41", "typeString": "contract ExtendedMath" } }, "id": 1136, "nodeType": "InheritanceSpecifier", "src": "502:12:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1137, "name": "Ownable", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3017, "src": "516:7:5", "typeDescriptions": { "typeIdentifier": "t_contract$_Ownable_$3017", "typeString": "contract Ownable" } }, "id": 1138, "nodeType": "InheritanceSpecifier", "src": "516:7:5" } ], "contractDependencies": [ 41, 2074, 2440, 3017, 3422, 3480, 3549, 3581 ], "contractKind": "contract", "documentation": null, "fullyImplemented": false, "id": 1613, "linearizedBaseContracts": [ 1613, 3017, 41, 3581, 3480, 3422, 2074, 3549, 2440 ], "name": "KToken", "nodeType": "ContractDefinition", "nodes": [ { "id": 1141, "libraryName": { "contractScope": null, "id": 1139, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2903, "src": "536:8:5", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$2903", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "530:27:5", "typeName": { "id": 1140, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "549:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "anonymous": false, "documentation": null, "id": 1149, "name": "Mint", "nodeType": "EventDefinition", "parameters": { "id": 1148, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1143, "indexed": false, "name": "minter", "nodeType": "VariableDeclaration", "scope": 1149, "src": "574:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1142, "name": "address", "nodeType": "ElementaryTypeName", "src": "574:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1145, "indexed": false, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1149, "src": "590:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1144, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "590:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1147, "indexed": false, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1149, "src": "611:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1146, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "611:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "573:59:5" }, "src": "563:70:5" }, { "anonymous": false, "documentation": null, "id": 1157, "name": "Redeem", "nodeType": "EventDefinition", "parameters": { "id": 1156, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1151, "indexed": false, "name": "redeemer", "nodeType": "VariableDeclaration", "scope": 1157, "src": "651:16:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1150, "name": "address", "nodeType": "ElementaryTypeName", "src": "651:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1153, "indexed": false, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1157, "src": "669:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1152, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "669:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1155, "indexed": false, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1157, "src": "690:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1154, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "690:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "650:61:5" }, "src": "638:74:5" }, { "constant": false, "id": 1159, "name": "_tokenAddress", "nodeType": "VariableDeclaration", "scope": 1613, "src": "718:30:5", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1158, "name": "address", "nodeType": "ElementaryTypeName", "src": "718:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1161, "name": "_invokerAddress", "nodeType": "VariableDeclaration", "scope": 1613, "src": "754:32:5", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1160, "name": "address", "nodeType": "ElementaryTypeName", "src": "754:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1163, "name": "_lock", "nodeType": "VariableDeclaration", "scope": 1613, "src": "792:22:5", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1162, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "792:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "body": { "id": 1193, "nodeType": "Block", "src": "997:106:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1183, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1181, "name": "_tokenAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1159, "src": "1007:13:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1182, "name": "tokenAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1165, "src": "1023:12:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "1007:28:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 1184, "nodeType": "ExpressionStatement", "src": "1007:28:5" }, { "expression": { "argumentTypes": null, "id": 1187, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1185, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "1045:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1186, "name": "invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1167, "src": "1063:14:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "1045:32:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 1188, "nodeType": "ExpressionStatement", "src": "1045:32:5" }, { "expression": { "argumentTypes": null, "id": 1191, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1189, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "1087:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 1190, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1095:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1087:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1192, "nodeType": "ExpressionStatement", "src": "1087:9:5" } ] }, "documentation": null, "id": 1194, "implemented": true, "kind": "constructor", "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 1176, "name": "name", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1169, "src": "969:4:5", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, { "argumentTypes": null, "id": 1177, "name": "symbol", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1171, "src": "975:6:5", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, { "argumentTypes": null, "id": 1178, "name": "decimals", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1173, "src": "983:8:5", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "id": 1179, "modifierName": { "argumentTypes": null, "id": 1175, "name": "ERC20Detailed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3480, "src": "955:13:5", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_ERC20Detailed_$3480_$", "typeString": "type(contract ERC20Detailed)" } }, "nodeType": "ModifierInvocation", "src": "955:37:5" } ], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 1174, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1165, "name": "tokenAddress", "nodeType": "VariableDeclaration", "scope": 1194, "src": "834:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1164, "name": "address", "nodeType": "ElementaryTypeName", "src": "834:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1167, "name": "invokerAddress", "nodeType": "VariableDeclaration", "scope": 1194, "src": "856:22:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1166, "name": "address", "nodeType": "ElementaryTypeName", "src": "856:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1169, "name": "name", "nodeType": "VariableDeclaration", "scope": 1194, "src": "880:18:5", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 1168, "name": "string", "nodeType": "ElementaryTypeName", "src": "880:6:5", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1171, "name": "symbol", "nodeType": "VariableDeclaration", "scope": 1194, "src": "900:20:5", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 1170, "name": "string", "nodeType": "ElementaryTypeName", "src": "900:6:5", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1173, "name": "decimals", "nodeType": "VariableDeclaration", "scope": 1194, "src": "922:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 1172, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "922:5:5", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "833:104:5" }, "returnParameters": { "id": 1180, "nodeType": "ParameterList", "parameters": [], "src": "997:0:5" }, "scope": 1613, "src": "821:282:5", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1216, "nodeType": "Block", "src": "1228:150:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1205, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1202, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3049, "src": "1246:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1203, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1246:13:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1204, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1262:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1246:17:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206e6f20737570706c79", "id": 1206, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1265:19:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_9f47bd48902102dc630f6a66f12300e7c49a576e2edfce5601246dc6e707ece6", "typeString": "literal_string \"KToken: no supply\"" }, "value": "KToken: no supply" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9f47bd48902102dc630f6a66f12300e7c49a576e2edfce5601246dc6e707ece6", "typeString": "literal_string \"KToken: no supply\"" } ], "id": 1201, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "1238:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1207, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1238:47:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1208, "nodeType": "ExpressionStatement", "src": "1238:47:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1211, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1196, "src": "1343:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1210, "name": "kTokenAmountToTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [ 1517 ], "referencedDeclaration": 1517, "src": "1317:25:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256) view returns (uint256)" } }, "id": 1212, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1317:39:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1213, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1196, "src": "1358:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1209, "name": "redeemInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1332 ], "referencedDeclaration": 1332, "src": "1302:14:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_uint256_$_t_uint256_$returns$_t_bool_$", "typeString": "function (uint256,uint256) returns (bool)" } }, "id": 1214, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1302:69:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1200, "id": 1215, "nodeType": "Return", "src": "1295:76:5" } ] }, "documentation": null, "id": 1217, "implemented": true, "kind": "function", "modifiers": [], "name": "redeem", "nodeType": "FunctionDefinition", "parameters": { "id": 1197, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1196, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1217, "src": "1170:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1195, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1170:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1169:22:5" }, "returnParameters": { "id": 1200, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1199, "name": "", "nodeType": "VariableDeclaration", "scope": 1217, "src": "1218:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1198, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1218:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1217:6:5" }, "scope": 1613, "src": "1154:224:5", "stateMutability": "nonpayable", "superFunction": 1956, "visibility": "external" }, { "body": { "id": 1241, "nodeType": "Block", "src": "1467:171:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1228, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1225, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "1485:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1226, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1485:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1227, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1502:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1485:18:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206e6f2072657365727665", "id": 1229, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1505:20:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_4c6f5191e3d75562fbf38ce2456198e6084d9bbc5064713b629fb9dec2048139", "typeString": "literal_string \"KToken: no reserve\"" }, "value": "KToken: no reserve" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_4c6f5191e3d75562fbf38ce2456198e6084d9bbc5064713b629fb9dec2048139", "typeString": "literal_string \"KToken: no reserve\"" } ], "id": 1224, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "1477:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1230, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1477:49:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1231, "nodeType": "ExpressionStatement", "src": "1477:49:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1233, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1219, "src": "1558:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1235, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1219, "src": "1605:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "hexValue": "74727565", "id": 1236, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1618:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "hexValue": "66616c7365", "id": 1237, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1624:5:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1234, "name": "tokenAmountToKTokenAmountInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1491 ], "referencedDeclaration": 1491, "src": "1571:33:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$_t_bool_$_t_bool_$returns$_t_uint256_$", "typeString": "function (uint256,bool,bool) view returns (uint256)" } }, "id": 1238, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1571:59:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1232, "name": "redeemInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1332 ], "referencedDeclaration": 1332, "src": "1543:14:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_uint256_$_t_uint256_$returns$_t_bool_$", "typeString": "function (uint256,uint256) returns (bool)" } }, "id": 1239, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1543:88:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1223, "id": 1240, "nodeType": "Return", "src": "1536:95:5" } ] }, "documentation": null, "id": 1242, "implemented": true, "kind": "function", "modifiers": [], "name": "redeemUnderlying", "nodeType": "FunctionDefinition", "parameters": { "id": 1220, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1219, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1242, "src": "1410:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1218, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1410:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1409:21:5" }, "returnParameters": { "id": 1223, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1222, "name": "", "nodeType": "VariableDeclaration", "scope": 1242, "src": "1457:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1221, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1457:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1456:6:5" }, "scope": 1613, "src": "1384:254:5", "stateMutability": "nonpayable", "superFunction": 1963, "visibility": "external" }, { "body": { "id": 1293, "nodeType": "Block", "src": "1752:344:5", "statements": [ { "assignments": [ 1254 ], "declarations": [ { "constant": false, "id": 1254, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1293, "src": "1762:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1253, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1762:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1255, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "1762:20:5" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1262, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1259, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1244, "src": "1815:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1256, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "1796:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1257, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1796:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1258, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 2759, "src": "1796:18:5", "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": 1260, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1796:26:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1261, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1825:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1796:30:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 1276, "nodeType": "Block", "src": "1928:46:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1274, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1272, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1254, "src": "1942:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1273, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1244, "src": "1957:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1942:21:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1275, "nodeType": "ExpressionStatement", "src": "1942:21:5" } ] }, "id": 1277, "nodeType": "IfStatement", "src": "1792:182:5", "trueBody": { "id": 1271, "nodeType": "Block", "src": "1828:94:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1269, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1263, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1254, "src": "1842:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1265, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1244, "src": "1891:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "hexValue": "66616c7365", "id": 1266, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1899:5:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "argumentTypes": null, "hexValue": "74727565", "id": 1267, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1906:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1264, "name": "tokenAmountToKTokenAmountInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1491 ], "referencedDeclaration": 1491, "src": "1857:33:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$_t_bool_$_t_bool_$returns$_t_uint256_$", "typeString": "function (uint256,bool,bool) view returns (uint256)" } }, "id": 1268, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1857:54:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1842:69:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1270, "nodeType": "ExpressionStatement", "src": "1842:69:5" } ] } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1279, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "1989:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1280, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1989:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1281, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1254, "src": "2001:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1278, "name": "_mint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3306, "src": "1983:5:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 1282, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1983:31:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1283, "nodeType": "ExpressionStatement", "src": "1983:31:5" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1285, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "2034:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1286, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2034:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1287, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1244, "src": "2046:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1288, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1254, "src": "2054:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1284, "name": "Mint", "nodeType": "Identifier", "overloadedDeclarations": [ 1149 ], "referencedDeclaration": 1149, "src": "2029:4:5", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$_t_uint256_$returns$__$", "typeString": "function (address,uint256,uint256)" } }, "id": 1289, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2029:38:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1290, "nodeType": "EmitStatement", "src": "2024:43:5" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1291, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2085:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1252, "id": 1292, "nodeType": "Return", "src": "2078:11:5" } ] }, "documentation": null, "id": 1294, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1247, "modifierName": { "argumentTypes": null, "id": 1246, "name": "whenUnlocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1600, "src": "1699:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "1699:12:5" }, { "arguments": null, "id": 1249, "modifierName": { "argumentTypes": null, "id": 1248, "name": "nonReentrant", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3580, "src": "1716:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "1716:12:5" } ], "name": "mintInternal", "nodeType": "FunctionDefinition", "parameters": { "id": 1245, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1244, "name": "amount", "nodeType": "VariableDeclaration", "scope": 1294, "src": "1666:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1243, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1666:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1665:16:5" }, "returnParameters": { "id": 1252, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1251, "name": "", "nodeType": "VariableDeclaration", "scope": 1294, "src": "1742:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1250, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1742:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1741:6:5" }, "scope": 1613, "src": "1644:452:5", "stateMutability": "nonpayable", "superFunction": 1970, "visibility": "internal" }, { "body": { "id": 1331, "nodeType": "Block", "src": "2239:233:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1308, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "2255:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1309, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2255:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1310, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1298, "src": "2267:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1307, "name": "_burn", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3350, "src": "2249:5:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 1311, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2249:31:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1312, "nodeType": "ExpressionStatement", "src": "2249:31:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1315, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "2325:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1316, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2325:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1317, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1296, "src": "2337:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1314, "name": "transferUnderlyingInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1362 ], "referencedDeclaration": 1362, "src": "2298:26:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) returns (bool)" } }, "id": 1318, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2298:51:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a20746f6b656e207472616e73666572206661696c6564", "id": 1319, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2351:31:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8b81bf5b27c17cca18508ae118b0097e0077bb2aee543bd25b5064fbad822a5d", "typeString": "literal_string \"KToken: token transfer failed\"" }, "value": "KToken: token transfer failed" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_8b81bf5b27c17cca18508ae118b0097e0077bb2aee543bd25b5064fbad822a5d", "typeString": "literal_string \"KToken: token transfer failed\"" } ], "id": 1313, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "2290:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1320, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2290:93:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1321, "nodeType": "ExpressionStatement", "src": "2290:93:5" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1323, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "2405:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1324, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2405:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1325, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1296, "src": "2417:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1326, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1298, "src": "2430:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1322, "name": "Redeem", "nodeType": "Identifier", "overloadedDeclarations": [ 1157 ], "referencedDeclaration": 1157, "src": "2398:6:5", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$_t_uint256_$returns$__$", "typeString": "function (address,uint256,uint256)" } }, "id": 1327, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2398:45:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1328, "nodeType": "EmitStatement", "src": "2393:50:5" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1329, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2461:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1306, "id": 1330, "nodeType": "Return", "src": "2454:11:5" } ] }, "documentation": null, "id": 1332, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1301, "modifierName": { "argumentTypes": null, "id": 1300, "name": "whenUnlocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1600, "src": "2186:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2186:12:5" }, { "arguments": null, "id": 1303, "modifierName": { "argumentTypes": null, "id": 1302, "name": "nonReentrant", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3580, "src": "2203:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2203:12:5" } ], "name": "redeemInternal", "nodeType": "FunctionDefinition", "parameters": { "id": 1299, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1296, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1332, "src": "2126:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1295, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2126:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1298, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1332, "src": "2147:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1297, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2147:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2125:43:5" }, "returnParameters": { "id": 1306, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1305, "name": "", "nodeType": "VariableDeclaration", "scope": 1332, "src": "2229:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1304, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2229:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2228:6:5" }, "scope": 1613, "src": "2102:370:5", "stateMutability": "nonpayable", "superFunction": 1979, "visibility": "internal" }, { "body": { "id": 1352, "nodeType": "Block", "src": "2671:62:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1348, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1334, "src": "2715:2:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1349, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1336, "src": "2719:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1347, "name": "transferUnderlyingInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1362 ], "referencedDeclaration": 1362, "src": "2688:26:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) returns (bool)" } }, "id": 1350, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2688:38:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1346, "id": 1351, "nodeType": "Return", "src": "2681:45:5" } ] }, "documentation": null, "id": 1353, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1339, "modifierName": { "argumentTypes": null, "id": 1338, "name": "onlyInvoker", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1576, "src": "2602:11:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2602:11:5" }, { "arguments": null, "id": 1341, "modifierName": { "argumentTypes": null, "id": 1340, "name": "whenUnlocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1600, "src": "2618:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2618:12:5" }, { "arguments": null, "id": 1343, "modifierName": { "argumentTypes": null, "id": 1342, "name": "nonReentrant", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3580, "src": "2635:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2635:12:5" } ], "name": "transferUnderlying", "nodeType": "FunctionDefinition", "parameters": { "id": 1337, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1334, "name": "to", "nodeType": "VariableDeclaration", "scope": 1353, "src": "2557:10:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1333, "name": "address", "nodeType": "ElementaryTypeName", "src": "2557:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1336, "name": "amount", "nodeType": "VariableDeclaration", "scope": 1353, "src": "2569:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1335, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2569:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2556:28:5" }, "returnParameters": { "id": 1346, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1345, "name": "", "nodeType": "VariableDeclaration", "scope": 1353, "src": "2661:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1344, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2661:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2660:6:5" }, "scope": 1613, "src": "2529:204:5", "stateMutability": "nonpayable", "superFunction": 1988, "visibility": "external" }, { "body": null, "documentation": null, "id": 1362, "implemented": false, "kind": "function", "modifiers": [], "name": "transferUnderlyingInternal", "nodeType": "FunctionDefinition", "parameters": { "id": 1358, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1355, "name": "to", "nodeType": "VariableDeclaration", "scope": 1362, "src": "2775:10:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1354, "name": "address", "nodeType": "ElementaryTypeName", "src": "2775:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1357, "name": "amount", "nodeType": "VariableDeclaration", "scope": 1362, "src": "2787:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1356, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2787:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2774:28:5" }, "returnParameters": { "id": 1361, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1360, "name": "", "nodeType": "VariableDeclaration", "scope": 1362, "src": "2821:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1359, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2821:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2820:6:5" }, "scope": 1613, "src": "2739:88:5", "stateMutability": "nonpayable", "superFunction": 1997, "visibility": "internal" }, { "body": { "id": 1374, "nodeType": "Block", "src": "2989:37:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1372, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1369, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "2999:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1370, "name": "block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3586, "src": "3007:5:5", "typeDescriptions": { "typeIdentifier": "t_magic_block", "typeString": "block" } }, "id": 1371, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "number", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3007:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2999:20:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1373, "nodeType": "ExpressionStatement", "src": "2999:20:5" } ] }, "documentation": null, "id": 1375, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1365, "modifierName": { "argumentTypes": null, "id": 1364, "name": "onlyInvoker", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1576, "src": "2956:11:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2956:11:5" }, { "arguments": null, "id": 1367, "modifierName": { "argumentTypes": null, "id": 1366, "name": "whenUnlocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1600, "src": "2972:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2972:12:5" } ], "name": "lock", "nodeType": "FunctionDefinition", "parameters": { "id": 1363, "nodeType": "ParameterList", "parameters": [], "src": "2936:2:5" }, "returnParameters": { "id": 1368, "nodeType": "ParameterList", "parameters": [], "src": "2989:0:5" }, "scope": 1613, "src": "2923:103:5", "stateMutability": "nonpayable", "superFunction": 2000, "visibility": "external" }, { "body": { "id": 1386, "nodeType": "Block", "src": "3098:26:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1384, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1382, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "3108:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 1383, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3116:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3108:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1385, "nodeType": "ExpressionStatement", "src": "3108:9:5" } ] }, "documentation": null, "id": 1387, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1378, "modifierName": { "argumentTypes": null, "id": 1377, "name": "onlyInvoker", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1576, "src": "3067:11:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "3067:11:5" }, { "arguments": null, "id": 1380, "modifierName": { "argumentTypes": null, "id": 1379, "name": "whenLocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1588, "src": "3083:10:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "3083:10:5" } ], "name": "unlock", "nodeType": "FunctionDefinition", "parameters": { "id": 1376, "nodeType": "ParameterList", "parameters": [], "src": "3047:2:5" }, "returnParameters": { "id": 1381, "nodeType": "ParameterList", "parameters": [], "src": "3098:0:5" }, "scope": 1613, "src": "3032:92:5", "stateMutability": "nonpayable", "superFunction": 2003, "visibility": "external" }, { "body": { "id": 1433, "nodeType": "Block", "src": "3314:279:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1399, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1389, "src": "3334:6:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1400, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1391, "src": "3342:9:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1401, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1393, "src": "3353:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1398, "name": "_transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3263, "src": "3324:9:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1402, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3324:36:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1403, "nodeType": "ExpressionStatement", "src": "3324:36:5" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1413, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1405, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1389, "src": "3384:6:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1406, "name": "_msgSender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2428, "src": "3392:10:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_address_payable_$", "typeString": "function () view returns (address payable)" } }, "id": 1407, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3392:12:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "id": 1404, "name": "allowance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3096, "src": "3374:9:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$_t_address_$returns$_t_uint256_$", "typeString": "function (address,address) view returns (uint256)" } }, "id": 1408, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3374:31:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1411, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "3417:2:5", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 1410, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3418:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } ], "id": 1409, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3409:7:5", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 1412, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3409:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3374:46:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1430, "nodeType": "IfStatement", "src": "3370:196:5", "trueBody": { "id": 1429, "nodeType": "Block", "src": "3422:144:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1415, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1389, "src": "3445:6:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1416, "name": "_msgSender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2428, "src": "3453:10:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_address_payable_$", "typeString": "function () view returns (address payable)" } }, "id": 1417, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3453:12:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1424, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1393, "src": "3503:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "hexValue": "45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365", "id": 1425, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3511:42:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_974d1b4421da69cc60b481194f0dad36a5bb4e23da810da7a7fb30cdba178330", "typeString": "literal_string \"ERC20: transfer amount exceeds allowance\"" }, "value": "ERC20: transfer amount exceeds allowance" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_stringliteral_974d1b4421da69cc60b481194f0dad36a5bb4e23da810da7a7fb30cdba178330", "typeString": "literal_string \"ERC20: transfer amount exceeds allowance\"" } ], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1419, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1389, "src": "3477:6:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1420, "name": "_msgSender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2428, "src": "3485:10:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_address_payable_$", "typeString": "function () view returns (address payable)" } }, "id": 1421, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3485:12:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "id": 1418, "name": "allowance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3096, "src": "3467:9:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$_t_address_$returns$_t_uint256_$", "typeString": "function (address,address) view returns (uint256)" } }, "id": 1422, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3467:31:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1423, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 2786, "src": "3467:35:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_string_memory_ptr_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256,string memory) pure returns (uint256)" } }, "id": 1426, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3467:87:5", "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": 1414, "name": "_approve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3392, "src": "3436:8:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1427, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3436:119:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1428, "nodeType": "ExpressionStatement", "src": "3436:119:5" } ] } }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1431, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3582:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1397, "id": 1432, "nodeType": "Return", "src": "3575:11:5" } ] }, "documentation": null, "id": 1434, "implemented": true, "kind": "function", "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 1394, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1389, "name": "sender", "nodeType": "VariableDeclaration", "scope": 1434, "src": "3241:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1388, "name": "address", "nodeType": "ElementaryTypeName", "src": "3241:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1391, "name": "recipient", "nodeType": "VariableDeclaration", "scope": 1434, "src": "3257:17:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1390, "name": "address", "nodeType": "ElementaryTypeName", "src": "3257:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1393, "name": "amount", "nodeType": "VariableDeclaration", "scope": 1434, "src": "3276:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1392, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3276:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3240:51:5" }, "returnParameters": { "id": 1397, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1396, "name": "", "nodeType": "VariableDeclaration", "scope": 1434, "src": "3308:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1395, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3308:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3307:6:5" }, "scope": 1613, "src": "3219:374:5", "stateMutability": "nonpayable", "superFunction": 3151, "visibility": "public" }, { "body": { "id": 1449, "nodeType": "Block", "src": "3728:86:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1444, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1436, "src": "3779:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1445, "name": "ceiling", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1438, "src": "3792:7:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "66616c7365", "id": 1446, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3801:5:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1443, "name": "tokenAmountToKTokenAmountInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1491 ], "referencedDeclaration": 1491, "src": "3745:33:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$_t_bool_$_t_bool_$returns$_t_uint256_$", "typeString": "function (uint256,bool,bool) view returns (uint256)" } }, "id": 1447, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3745:62:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1442, "id": 1448, "nodeType": "Return", "src": "3738:69:5" } ] }, "documentation": null, "id": 1450, "implemented": true, "kind": "function", "modifiers": [], "name": "tokenAmountToKTokenAmount", "nodeType": "FunctionDefinition", "parameters": { "id": 1439, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1436, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1450, "src": "3663:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1435, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3663:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1438, "name": "ceiling", "nodeType": "VariableDeclaration", "scope": 1450, "src": "3684:12:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1437, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3684:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3662:35:5" }, "returnParameters": { "id": 1442, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1441, "name": "", "nodeType": "VariableDeclaration", "scope": 1450, "src": "3719:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1440, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3719:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3718:9:5" }, "scope": 1613, "src": "3628:186:5", "stateMutability": "view", "superFunction": 2023, "visibility": "public" }, { "body": { "id": 1490, "nodeType": "Block", "src": "3969:463:5", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1464, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1461, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "3983:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1462, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3983:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1463, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4001:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3983:19:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1468, "nodeType": "IfStatement", "src": "3979:58:5", "trueBody": { "id": 1467, "nodeType": "Block", "src": "4004:33:5", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 1465, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4025:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 1460, "id": 1466, "nodeType": "Return", "src": "4018:8:5" } ] } }, { "assignments": [ 1470 ], "declarations": [ { "constant": false, "id": 1470, "name": "adjustedTotalReserve", "nodeType": "VariableDeclaration", "scope": 1490, "src": "4148:28:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1469, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4148:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1479, "initialValue": { "argumentTypes": null, "condition": { "argumentTypes": null, "id": 1471, "name": "alreadyDeposited", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1456, "src": "4179:16:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1476, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "4228:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1477, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4228:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1478, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "4179:63:5", "trueExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1475, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1472, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "4198:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1473, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4198:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 1474, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1452, "src": "4215:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4198:28:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "4148:94:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1483, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3049, "src": "4379:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1484, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4379:13:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 1481, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1452, "src": "4363:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1482, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2820, "src": "4363:15:5", "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": 1485, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4363:30:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1486, "name": "adjustedTotalReserve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1470, "src": "4395:20:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1487, "name": "ceiling", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1454, "src": "4417:7:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1480, "name": "divAndRound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 40, "src": "4351:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_bool_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,bool) pure returns (uint256)" } }, "id": 1488, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4351:74:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1460, "id": 1489, "nodeType": "Return", "src": "4344:81:5" } ] }, "documentation": null, "id": 1491, "implemented": true, "kind": "function", "modifiers": [], "name": "tokenAmountToKTokenAmountInternal", "nodeType": "FunctionDefinition", "parameters": { "id": 1457, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1452, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1491, "src": "3863:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1451, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3863:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1454, "name": "ceiling", "nodeType": "VariableDeclaration", "scope": 1491, "src": "3884:12:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1453, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3884:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1456, "name": "alreadyDeposited", "nodeType": "VariableDeclaration", "scope": 1491, "src": "3898:21:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1455, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3898:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3862:58:5" }, "returnParameters": { "id": 1460, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1459, "name": "", "nodeType": "VariableDeclaration", "scope": 1491, "src": "3956:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1458, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3956:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3955:9:5" }, "scope": 1613, "src": "3820:612:5", "stateMutability": "view", "superFunction": 2034, "visibility": "internal" }, { "body": { "id": 1516, "nodeType": "Block", "src": "4525:142:5", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1501, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1498, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3049, "src": "4539:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1499, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4539:13:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1500, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4556:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4539:18:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1505, "nodeType": "IfStatement", "src": "4535:57:5", "trueBody": { "id": 1504, "nodeType": "Block", "src": "4559:33:5", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 1502, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4580:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 1497, "id": 1503, "nodeType": "Return", "src": "4573:8:5" } ] } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1512, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3049, "src": "4646:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1513, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4646:13:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1508, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "4626:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1509, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4626:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 1506, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1493, "src": "4609:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1507, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2820, "src": "4609:16:5", "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": 1510, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4609:32:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1511, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "div", "nodeType": "MemberAccess", "referencedDeclaration": 2836, "src": "4609:36:5", "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": 1514, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4609:51:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1497, "id": 1515, "nodeType": "Return", "src": "4602:58:5" } ] }, "documentation": null, "id": 1517, "implemented": true, "kind": "function", "modifiers": [], "name": "kTokenAmountToTokenAmount", "nodeType": "FunctionDefinition", "parameters": { "id": 1494, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1493, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1517, "src": "4473:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1492, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4473:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4472:22:5" }, "returnParameters": { "id": 1497, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1496, "name": "", "nodeType": "VariableDeclaration", "scope": 1517, "src": "4516:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1495, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4516:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4515:9:5" }, "scope": 1613, "src": "4438:229:5", "stateMutability": "view", "superFunction": 2041, "visibility": "public" }, { "body": null, "documentation": null, "id": 1522, "implemented": false, "kind": "function", "modifiers": [], "name": "isKEther", "nodeType": "FunctionDefinition", "parameters": { "id": 1518, "nodeType": "ParameterList", "parameters": [], "src": "4690:2:5" }, "returnParameters": { "id": 1521, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1520, "name": "", "nodeType": "VariableDeclaration", "scope": 1522, "src": "4714:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1519, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4714:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4713:6:5" }, "scope": 1613, "src": "4673:47:5", "stateMutability": "view", "superFunction": 2046, "visibility": "public" }, { "body": null, "documentation": null, "id": 1527, "implemented": false, "kind": "function", "modifiers": [], "name": "totalReserve", "nodeType": "FunctionDefinition", "parameters": { "id": 1523, "nodeType": "ParameterList", "parameters": [], "src": "4747:2:5" }, "returnParameters": { "id": 1526, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1525, "name": "", "nodeType": "VariableDeclaration", "scope": 1527, "src": "4771:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1524, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4771:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4770:9:5" }, "scope": 1613, "src": "4726:54:5", "stateMutability": "view", "superFunction": 2051, "visibility": "public" }, { "body": { "id": 1540, "nodeType": "Block", "src": "4860:67:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1536, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1529, "src": "4913:5:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 1535, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3061, "src": "4903:9:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 1537, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4903:16:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1534, "name": "kTokenAmountToTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [ 1517 ], "referencedDeclaration": 1517, "src": "4877:25:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256) view returns (uint256)" } }, "id": 1538, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4877:43:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1533, "id": 1539, "nodeType": "Return", "src": "4870:50:5" } ] }, "documentation": null, "id": 1541, "implemented": true, "kind": "function", "modifiers": [], "name": "balanceOfUnderlying", "nodeType": "FunctionDefinition", "parameters": { "id": 1530, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1529, "name": "owner", "nodeType": "VariableDeclaration", "scope": 1541, "src": "4815:13:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1528, "name": "address", "nodeType": "ElementaryTypeName", "src": "4815:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "4814:15:5" }, "returnParameters": { "id": 1533, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1532, "name": "", "nodeType": "VariableDeclaration", "scope": 1541, "src": "4851:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1531, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4851:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4850:9:5" }, "scope": 1613, "src": "4786:141:5", "stateMutability": "view", "superFunction": 2058, "visibility": "public" }, { "body": { "id": 1548, "nodeType": "Block", "src": "4989:37:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1546, "name": "_tokenAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1159, "src": "5006:13:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "functionReturnParameters": 1545, "id": 1547, "nodeType": "Return", "src": "4999:20:5" } ] }, "documentation": null, "id": 1549, "implemented": true, "kind": "function", "modifiers": [], "name": "tokenAddress", "nodeType": "FunctionDefinition", "parameters": { "id": 1542, "nodeType": "ParameterList", "parameters": [], "src": "4954:2:5" }, "returnParameters": { "id": 1545, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1544, "name": "", "nodeType": "VariableDeclaration", "scope": 1549, "src": "4980:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1543, "name": "address", "nodeType": "ElementaryTypeName", "src": "4980:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "4979:9:5" }, "scope": 1613, "src": "4933:93:5", "stateMutability": "view", "superFunction": 2063, "visibility": "external" }, { "body": { "id": 1556, "nodeType": "Block", "src": "5090:39:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1554, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "5107:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "functionReturnParameters": 1553, "id": 1555, "nodeType": "Return", "src": "5100:22:5" } ] }, "documentation": null, "id": 1557, "implemented": true, "kind": "function", "modifiers": [], "name": "invokerAddress", "nodeType": "FunctionDefinition", "parameters": { "id": 1550, "nodeType": "ParameterList", "parameters": [], "src": "5055:2:5" }, "returnParameters": { "id": 1553, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1552, "name": "", "nodeType": "VariableDeclaration", "scope": 1557, "src": "5081:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1551, "name": "address", "nodeType": "ElementaryTypeName", "src": "5081:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "5080:9:5" }, "scope": 1613, "src": "5032:97:5", "stateMutability": "view", "superFunction": 2068, "visibility": "external" }, { "body": { "id": 1575, "nodeType": "Block", "src": "5191:184:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1570, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 1563, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1560, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "5222:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1561, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5222:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1562, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "5236:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "5222:29:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "id": 1569, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "5255:35:5", "subExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1565, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "5265:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 1564, "name": "Pausable", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2716, "src": "5256:8:5", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Pausable_$2716_$", "typeString": "type(contract Pausable)" } }, "id": 1566, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5256:25:5", "typeDescriptions": { "typeIdentifier": "t_contract$_Pausable_$2716", "typeString": "contract Pausable" } }, "id": 1567, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "paused", "nodeType": "MemberAccess", "referencedDeclaration": 2662, "src": "5256:32:5", "typeDescriptions": { "typeIdentifier": "t_function_external_view$__$returns$_t_bool_$", "typeString": "function () view external returns (bool)" } }, "id": 1568, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5256:34:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "5222:68:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206f6e6c792063616e2062652063616c6c656420627920756e70617573656420696e766f6b6572", "id": 1571, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5308:48:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_3fd9c106eddf07a875424e17e777a14a9c52adce919599dced9a7acc1eaaed99", "typeString": "literal_string \"KToken: only can be called by unpaused invoker\"" }, "value": "KToken: only can be called by unpaused invoker" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_3fd9c106eddf07a875424e17e777a14a9c52adce919599dced9a7acc1eaaed99", "typeString": "literal_string \"KToken: only can be called by unpaused invoker\"" } ], "id": 1559, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "5201:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1572, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5201:156:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1573, "nodeType": "ExpressionStatement", "src": "5201:156:5" }, { "id": 1574, "nodeType": "PlaceholderStatement", "src": "5367:1:5" } ] }, "documentation": null, "id": 1576, "name": "onlyInvoker", "nodeType": "ModifierDefinition", "parameters": { "id": 1558, "nodeType": "ParameterList", "parameters": [], "src": "5188:2:5" }, "src": "5168:207:5", "visibility": "internal" }, { "body": { "id": 1587, "nodeType": "Block", "src": "5403:80:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1582, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1579, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "5421:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1580, "name": "block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3586, "src": "5430:5:5", "typeDescriptions": { "typeIdentifier": "t_magic_block", "typeString": "block" } }, "id": 1581, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "number", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5430:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5421:21:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206e6f74206c6f636b6564", "id": 1583, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5444:20:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d45bf04b535f87ef263f90b8f6c25a121de874a111525694971647b46ec1df8f", "typeString": "literal_string \"KToken: not locked\"" }, "value": "KToken: not locked" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_d45bf04b535f87ef263f90b8f6c25a121de874a111525694971647b46ec1df8f", "typeString": "literal_string \"KToken: not locked\"" } ], "id": 1578, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "5413:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1584, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5413:52:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1585, "nodeType": "ExpressionStatement", "src": "5413:52:5" }, { "id": 1586, "nodeType": "PlaceholderStatement", "src": "5475:1:5" } ] }, "documentation": null, "id": 1588, "name": "whenLocked", "nodeType": "ModifierDefinition", "parameters": { "id": 1577, "nodeType": "ParameterList", "parameters": [], "src": "5400:2:5" }, "src": "5381:102:5", "visibility": "internal" }, { "body": { "id": 1599, "nodeType": "Block", "src": "5513:75:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1594, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1591, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "5531:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1592, "name": "block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3586, "src": "5539:5:5", "typeDescriptions": { "typeIdentifier": "t_magic_block", "typeString": "block" } }, "id": 1593, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "number", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5539:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5531:20:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206c6f636b6564", "id": 1595, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5553:16:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_cba2074a7b04d8ebb663f7623a3984cb2d3ed7da46e56af5597fee82f843dd30", "typeString": "literal_string \"KToken: locked\"" }, "value": "KToken: locked" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_cba2074a7b04d8ebb663f7623a3984cb2d3ed7da46e56af5597fee82f843dd30", "typeString": "literal_string \"KToken: locked\"" } ], "id": 1590, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "5523:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1596, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5523:47:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1597, "nodeType": "ExpressionStatement", "src": "5523:47:5" }, { "id": 1598, "nodeType": "PlaceholderStatement", "src": "5580:1:5" } ] }, "documentation": null, "id": 1600, "name": "whenUnlocked", "nodeType": "ModifierDefinition", "parameters": { "id": 1589, "nodeType": "ParameterList", "parameters": [], "src": "5510:2:5" }, "src": "5489:99:5", "visibility": "internal" }, { "body": { "id": 1611, "nodeType": "Block", "src": "5773:49:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1609, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1607, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "5783:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1608, "name": "invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1602, "src": "5801:14:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "5783:32:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 1610, "nodeType": "ExpressionStatement", "src": "5783:32:5" } ] }, "documentation": null, "id": 1612, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1605, "modifierName": { "argumentTypes": null, "id": 1604, "name": "onlyOwner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2950, "src": "5763:9:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "5763:9:5" } ], "name": "setInvokerAddress", "nodeType": "FunctionDefinition", "parameters": { "id": 1603, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1602, "name": "invokerAddress", "nodeType": "VariableDeclaration", "scope": 1612, "src": "5730:22:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1601, "name": "address", "nodeType": "ElementaryTypeName", "src": "5730:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "5729:24:5" }, "returnParameters": { "id": 1606, "nodeType": "ParameterList", "parameters": [], "src": "5773:0:5" }, "scope": 1613, "src": "5703:119:5", "stateMutability": "nonpayable", "superFunction": 2073, "visibility": "external" } ], "scope": 1614, "src": "435:5389:5" } ], "src": "0:5825:5" }, "legacyAST": { "absolutePath": "/Users/kbrizzle/code/kollateral/protocol/contracts/Ktoken.sol", "exportedSymbols": { "KToken": [ 1613 ] }, "id": 1614, "nodeType": "SourceUnit", "nodes": [ { "id": 1118, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:5" }, { "absolutePath": "@openzeppelin/contracts/math/SafeMath.sol", "file": "@openzeppelin/contracts/math/SafeMath.sol", "id": 1119, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 2904, "src": "25:51:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/utils/ReentrancyGuard.sol", "file": "@openzeppelin/contracts/utils/ReentrancyGuard.sol", "id": 1120, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 3582, "src": "77:59:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/token/ERC20/ERC20.sol", "file": "@openzeppelin/contracts/token/ERC20/ERC20.sol", "id": 1121, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 3423, "src": "137:55:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/token/ERC20/ERC20Detailed.sol", "file": "@openzeppelin/contracts/token/ERC20/ERC20Detailed.sol", "id": 1122, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 3481, "src": "193:63:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/lifecycle/Pausable.sol", "file": "@openzeppelin/contracts/lifecycle/Pausable.sol", "id": 1123, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 2717, "src": "257:56:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts/ownership/Ownable.sol", "file": "@openzeppelin/contracts/ownership/Ownable.sol", "id": 1124, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 3018, "src": "314:55:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/kbrizzle/code/kollateral/protocol/contracts/ExtendedMath.sol", "file": "./ExtendedMath.sol", "id": 1125, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 42, "src": "370:28:5", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/kbrizzle/code/kollateral/protocol/contracts/interfaces/IKToken.sol", "file": "./interfaces/IKToken.sol", "id": 1126, "nodeType": "ImportDirective", "scope": 1614, "sourceUnit": 2075, "src": "399:34:5", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 1127, "name": "IKToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2074, "src": "454:7:5", "typeDescriptions": { "typeIdentifier": "t_contract$_IKToken_$2074", "typeString": "contract IKToken" } }, "id": 1128, "nodeType": "InheritanceSpecifier", "src": "454:7:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1129, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3422, "src": "463:5:5", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$3422", "typeString": "contract ERC20" } }, "id": 1130, "nodeType": "InheritanceSpecifier", "src": "463:5:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1131, "name": "ERC20Detailed", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3480, "src": "470:13:5", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20Detailed_$3480", "typeString": "contract ERC20Detailed" } }, "id": 1132, "nodeType": "InheritanceSpecifier", "src": "470:13:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1133, "name": "ReentrancyGuard", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3581, "src": "485:15:5", "typeDescriptions": { "typeIdentifier": "t_contract$_ReentrancyGuard_$3581", "typeString": "contract ReentrancyGuard" } }, "id": 1134, "nodeType": "InheritanceSpecifier", "src": "485:15:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1135, "name": "ExtendedMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 41, "src": "502:12:5", "typeDescriptions": { "typeIdentifier": "t_contract$_ExtendedMath_$41", "typeString": "contract ExtendedMath" } }, "id": 1136, "nodeType": "InheritanceSpecifier", "src": "502:12:5" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1137, "name": "Ownable", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3017, "src": "516:7:5", "typeDescriptions": { "typeIdentifier": "t_contract$_Ownable_$3017", "typeString": "contract Ownable" } }, "id": 1138, "nodeType": "InheritanceSpecifier", "src": "516:7:5" } ], "contractDependencies": [ 41, 2074, 2440, 3017, 3422, 3480, 3549, 3581 ], "contractKind": "contract", "documentation": null, "fullyImplemented": false, "id": 1613, "linearizedBaseContracts": [ 1613, 3017, 41, 3581, 3480, 3422, 2074, 3549, 2440 ], "name": "KToken", "nodeType": "ContractDefinition", "nodes": [ { "id": 1141, "libraryName": { "contractScope": null, "id": 1139, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2903, "src": "536:8:5", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$2903", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "530:27:5", "typeName": { "id": 1140, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "549:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "anonymous": false, "documentation": null, "id": 1149, "name": "Mint", "nodeType": "EventDefinition", "parameters": { "id": 1148, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1143, "indexed": false, "name": "minter", "nodeType": "VariableDeclaration", "scope": 1149, "src": "574:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1142, "name": "address", "nodeType": "ElementaryTypeName", "src": "574:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1145, "indexed": false, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1149, "src": "590:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1144, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "590:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1147, "indexed": false, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1149, "src": "611:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1146, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "611:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "573:59:5" }, "src": "563:70:5" }, { "anonymous": false, "documentation": null, "id": 1157, "name": "Redeem", "nodeType": "EventDefinition", "parameters": { "id": 1156, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1151, "indexed": false, "name": "redeemer", "nodeType": "VariableDeclaration", "scope": 1157, "src": "651:16:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1150, "name": "address", "nodeType": "ElementaryTypeName", "src": "651:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1153, "indexed": false, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1157, "src": "669:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1152, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "669:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1155, "indexed": false, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1157, "src": "690:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1154, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "690:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "650:61:5" }, "src": "638:74:5" }, { "constant": false, "id": 1159, "name": "_tokenAddress", "nodeType": "VariableDeclaration", "scope": 1613, "src": "718:30:5", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1158, "name": "address", "nodeType": "ElementaryTypeName", "src": "718:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1161, "name": "_invokerAddress", "nodeType": "VariableDeclaration", "scope": 1613, "src": "754:32:5", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1160, "name": "address", "nodeType": "ElementaryTypeName", "src": "754:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1163, "name": "_lock", "nodeType": "VariableDeclaration", "scope": 1613, "src": "792:22:5", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1162, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "792:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "body": { "id": 1193, "nodeType": "Block", "src": "997:106:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1183, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1181, "name": "_tokenAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1159, "src": "1007:13:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1182, "name": "tokenAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1165, "src": "1023:12:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "1007:28:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 1184, "nodeType": "ExpressionStatement", "src": "1007:28:5" }, { "expression": { "argumentTypes": null, "id": 1187, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1185, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "1045:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1186, "name": "invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1167, "src": "1063:14:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "1045:32:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 1188, "nodeType": "ExpressionStatement", "src": "1045:32:5" }, { "expression": { "argumentTypes": null, "id": 1191, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1189, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "1087:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 1190, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1095:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1087:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1192, "nodeType": "ExpressionStatement", "src": "1087:9:5" } ] }, "documentation": null, "id": 1194, "implemented": true, "kind": "constructor", "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 1176, "name": "name", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1169, "src": "969:4:5", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, { "argumentTypes": null, "id": 1177, "name": "symbol", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1171, "src": "975:6:5", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, { "argumentTypes": null, "id": 1178, "name": "decimals", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1173, "src": "983:8:5", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "id": 1179, "modifierName": { "argumentTypes": null, "id": 1175, "name": "ERC20Detailed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3480, "src": "955:13:5", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_ERC20Detailed_$3480_$", "typeString": "type(contract ERC20Detailed)" } }, "nodeType": "ModifierInvocation", "src": "955:37:5" } ], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 1174, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1165, "name": "tokenAddress", "nodeType": "VariableDeclaration", "scope": 1194, "src": "834:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1164, "name": "address", "nodeType": "ElementaryTypeName", "src": "834:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1167, "name": "invokerAddress", "nodeType": "VariableDeclaration", "scope": 1194, "src": "856:22:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1166, "name": "address", "nodeType": "ElementaryTypeName", "src": "856:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1169, "name": "name", "nodeType": "VariableDeclaration", "scope": 1194, "src": "880:18:5", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 1168, "name": "string", "nodeType": "ElementaryTypeName", "src": "880:6:5", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1171, "name": "symbol", "nodeType": "VariableDeclaration", "scope": 1194, "src": "900:20:5", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 1170, "name": "string", "nodeType": "ElementaryTypeName", "src": "900:6:5", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1173, "name": "decimals", "nodeType": "VariableDeclaration", "scope": 1194, "src": "922:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 1172, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "922:5:5", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "833:104:5" }, "returnParameters": { "id": 1180, "nodeType": "ParameterList", "parameters": [], "src": "997:0:5" }, "scope": 1613, "src": "821:282:5", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1216, "nodeType": "Block", "src": "1228:150:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1205, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1202, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3049, "src": "1246:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1203, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1246:13:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1204, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1262:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1246:17:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206e6f20737570706c79", "id": 1206, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1265:19:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_9f47bd48902102dc630f6a66f12300e7c49a576e2edfce5601246dc6e707ece6", "typeString": "literal_string \"KToken: no supply\"" }, "value": "KToken: no supply" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9f47bd48902102dc630f6a66f12300e7c49a576e2edfce5601246dc6e707ece6", "typeString": "literal_string \"KToken: no supply\"" } ], "id": 1201, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "1238:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1207, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1238:47:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1208, "nodeType": "ExpressionStatement", "src": "1238:47:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1211, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1196, "src": "1343:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1210, "name": "kTokenAmountToTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [ 1517 ], "referencedDeclaration": 1517, "src": "1317:25:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256) view returns (uint256)" } }, "id": 1212, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1317:39:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1213, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1196, "src": "1358:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1209, "name": "redeemInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1332 ], "referencedDeclaration": 1332, "src": "1302:14:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_uint256_$_t_uint256_$returns$_t_bool_$", "typeString": "function (uint256,uint256) returns (bool)" } }, "id": 1214, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1302:69:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1200, "id": 1215, "nodeType": "Return", "src": "1295:76:5" } ] }, "documentation": null, "id": 1217, "implemented": true, "kind": "function", "modifiers": [], "name": "redeem", "nodeType": "FunctionDefinition", "parameters": { "id": 1197, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1196, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1217, "src": "1170:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1195, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1170:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1169:22:5" }, "returnParameters": { "id": 1200, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1199, "name": "", "nodeType": "VariableDeclaration", "scope": 1217, "src": "1218:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1198, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1218:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1217:6:5" }, "scope": 1613, "src": "1154:224:5", "stateMutability": "nonpayable", "superFunction": 1956, "visibility": "external" }, { "body": { "id": 1241, "nodeType": "Block", "src": "1467:171:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1228, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1225, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "1485:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1226, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1485:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1227, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1502:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1485:18:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206e6f2072657365727665", "id": 1229, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1505:20:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_4c6f5191e3d75562fbf38ce2456198e6084d9bbc5064713b629fb9dec2048139", "typeString": "literal_string \"KToken: no reserve\"" }, "value": "KToken: no reserve" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_4c6f5191e3d75562fbf38ce2456198e6084d9bbc5064713b629fb9dec2048139", "typeString": "literal_string \"KToken: no reserve\"" } ], "id": 1224, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "1477:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1230, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1477:49:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1231, "nodeType": "ExpressionStatement", "src": "1477:49:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1233, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1219, "src": "1558:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1235, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1219, "src": "1605:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "hexValue": "74727565", "id": 1236, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1618:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "hexValue": "66616c7365", "id": 1237, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1624:5:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1234, "name": "tokenAmountToKTokenAmountInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1491 ], "referencedDeclaration": 1491, "src": "1571:33:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$_t_bool_$_t_bool_$returns$_t_uint256_$", "typeString": "function (uint256,bool,bool) view returns (uint256)" } }, "id": 1238, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1571:59:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1232, "name": "redeemInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1332 ], "referencedDeclaration": 1332, "src": "1543:14:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_uint256_$_t_uint256_$returns$_t_bool_$", "typeString": "function (uint256,uint256) returns (bool)" } }, "id": 1239, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1543:88:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1223, "id": 1240, "nodeType": "Return", "src": "1536:95:5" } ] }, "documentation": null, "id": 1242, "implemented": true, "kind": "function", "modifiers": [], "name": "redeemUnderlying", "nodeType": "FunctionDefinition", "parameters": { "id": 1220, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1219, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1242, "src": "1410:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1218, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1410:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1409:21:5" }, "returnParameters": { "id": 1223, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1222, "name": "", "nodeType": "VariableDeclaration", "scope": 1242, "src": "1457:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1221, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1457:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1456:6:5" }, "scope": 1613, "src": "1384:254:5", "stateMutability": "nonpayable", "superFunction": 1963, "visibility": "external" }, { "body": { "id": 1293, "nodeType": "Block", "src": "1752:344:5", "statements": [ { "assignments": [ 1254 ], "declarations": [ { "constant": false, "id": 1254, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1293, "src": "1762:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1253, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1762:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1255, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "1762:20:5" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1262, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1259, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1244, "src": "1815:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1256, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "1796:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1257, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1796:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1258, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 2759, "src": "1796:18:5", "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": 1260, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1796:26:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1261, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1825:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1796:30:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 1276, "nodeType": "Block", "src": "1928:46:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1274, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1272, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1254, "src": "1942:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1273, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1244, "src": "1957:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1942:21:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1275, "nodeType": "ExpressionStatement", "src": "1942:21:5" } ] }, "id": 1277, "nodeType": "IfStatement", "src": "1792:182:5", "trueBody": { "id": 1271, "nodeType": "Block", "src": "1828:94:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1269, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1263, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1254, "src": "1842:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1265, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1244, "src": "1891:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "hexValue": "66616c7365", "id": 1266, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1899:5:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "argumentTypes": null, "hexValue": "74727565", "id": 1267, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1906:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1264, "name": "tokenAmountToKTokenAmountInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1491 ], "referencedDeclaration": 1491, "src": "1857:33:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$_t_bool_$_t_bool_$returns$_t_uint256_$", "typeString": "function (uint256,bool,bool) view returns (uint256)" } }, "id": 1268, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1857:54:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1842:69:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1270, "nodeType": "ExpressionStatement", "src": "1842:69:5" } ] } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1279, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "1989:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1280, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1989:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1281, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1254, "src": "2001:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1278, "name": "_mint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3306, "src": "1983:5:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 1282, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1983:31:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1283, "nodeType": "ExpressionStatement", "src": "1983:31:5" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1285, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "2034:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1286, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2034:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1287, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1244, "src": "2046:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1288, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1254, "src": "2054:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1284, "name": "Mint", "nodeType": "Identifier", "overloadedDeclarations": [ 1149 ], "referencedDeclaration": 1149, "src": "2029:4:5", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$_t_uint256_$returns$__$", "typeString": "function (address,uint256,uint256)" } }, "id": 1289, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2029:38:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1290, "nodeType": "EmitStatement", "src": "2024:43:5" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1291, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2085:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1252, "id": 1292, "nodeType": "Return", "src": "2078:11:5" } ] }, "documentation": null, "id": 1294, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1247, "modifierName": { "argumentTypes": null, "id": 1246, "name": "whenUnlocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1600, "src": "1699:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "1699:12:5" }, { "arguments": null, "id": 1249, "modifierName": { "argumentTypes": null, "id": 1248, "name": "nonReentrant", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3580, "src": "1716:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "1716:12:5" } ], "name": "mintInternal", "nodeType": "FunctionDefinition", "parameters": { "id": 1245, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1244, "name": "amount", "nodeType": "VariableDeclaration", "scope": 1294, "src": "1666:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1243, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1666:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1665:16:5" }, "returnParameters": { "id": 1252, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1251, "name": "", "nodeType": "VariableDeclaration", "scope": 1294, "src": "1742:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1250, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1742:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1741:6:5" }, "scope": 1613, "src": "1644:452:5", "stateMutability": "nonpayable", "superFunction": 1970, "visibility": "internal" }, { "body": { "id": 1331, "nodeType": "Block", "src": "2239:233:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1308, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "2255:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1309, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2255:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1310, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1298, "src": "2267:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1307, "name": "_burn", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3350, "src": "2249:5:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 1311, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2249:31:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1312, "nodeType": "ExpressionStatement", "src": "2249:31:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1315, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "2325:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1316, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2325:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1317, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1296, "src": "2337:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1314, "name": "transferUnderlyingInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1362 ], "referencedDeclaration": 1362, "src": "2298:26:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) returns (bool)" } }, "id": 1318, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2298:51:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a20746f6b656e207472616e73666572206661696c6564", "id": 1319, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2351:31:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8b81bf5b27c17cca18508ae118b0097e0077bb2aee543bd25b5064fbad822a5d", "typeString": "literal_string \"KToken: token transfer failed\"" }, "value": "KToken: token transfer failed" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_8b81bf5b27c17cca18508ae118b0097e0077bb2aee543bd25b5064fbad822a5d", "typeString": "literal_string \"KToken: token transfer failed\"" } ], "id": 1313, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "2290:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1320, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2290:93:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1321, "nodeType": "ExpressionStatement", "src": "2290:93:5" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1323, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "2405:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1324, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2405:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 1325, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1296, "src": "2417:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1326, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1298, "src": "2430:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1322, "name": "Redeem", "nodeType": "Identifier", "overloadedDeclarations": [ 1157 ], "referencedDeclaration": 1157, "src": "2398:6:5", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$_t_uint256_$returns$__$", "typeString": "function (address,uint256,uint256)" } }, "id": 1327, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2398:45:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1328, "nodeType": "EmitStatement", "src": "2393:50:5" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1329, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2461:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1306, "id": 1330, "nodeType": "Return", "src": "2454:11:5" } ] }, "documentation": null, "id": 1332, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1301, "modifierName": { "argumentTypes": null, "id": 1300, "name": "whenUnlocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1600, "src": "2186:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2186:12:5" }, { "arguments": null, "id": 1303, "modifierName": { "argumentTypes": null, "id": 1302, "name": "nonReentrant", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3580, "src": "2203:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2203:12:5" } ], "name": "redeemInternal", "nodeType": "FunctionDefinition", "parameters": { "id": 1299, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1296, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1332, "src": "2126:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1295, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2126:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1298, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1332, "src": "2147:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1297, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2147:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2125:43:5" }, "returnParameters": { "id": 1306, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1305, "name": "", "nodeType": "VariableDeclaration", "scope": 1332, "src": "2229:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1304, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2229:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2228:6:5" }, "scope": 1613, "src": "2102:370:5", "stateMutability": "nonpayable", "superFunction": 1979, "visibility": "internal" }, { "body": { "id": 1352, "nodeType": "Block", "src": "2671:62:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1348, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1334, "src": "2715:2:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1349, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1336, "src": "2719:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1347, "name": "transferUnderlyingInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1362 ], "referencedDeclaration": 1362, "src": "2688:26:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) returns (bool)" } }, "id": 1350, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2688:38:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1346, "id": 1351, "nodeType": "Return", "src": "2681:45:5" } ] }, "documentation": null, "id": 1353, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1339, "modifierName": { "argumentTypes": null, "id": 1338, "name": "onlyInvoker", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1576, "src": "2602:11:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2602:11:5" }, { "arguments": null, "id": 1341, "modifierName": { "argumentTypes": null, "id": 1340, "name": "whenUnlocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1600, "src": "2618:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2618:12:5" }, { "arguments": null, "id": 1343, "modifierName": { "argumentTypes": null, "id": 1342, "name": "nonReentrant", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3580, "src": "2635:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2635:12:5" } ], "name": "transferUnderlying", "nodeType": "FunctionDefinition", "parameters": { "id": 1337, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1334, "name": "to", "nodeType": "VariableDeclaration", "scope": 1353, "src": "2557:10:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1333, "name": "address", "nodeType": "ElementaryTypeName", "src": "2557:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1336, "name": "amount", "nodeType": "VariableDeclaration", "scope": 1353, "src": "2569:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1335, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2569:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2556:28:5" }, "returnParameters": { "id": 1346, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1345, "name": "", "nodeType": "VariableDeclaration", "scope": 1353, "src": "2661:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1344, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2661:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2660:6:5" }, "scope": 1613, "src": "2529:204:5", "stateMutability": "nonpayable", "superFunction": 1988, "visibility": "external" }, { "body": null, "documentation": null, "id": 1362, "implemented": false, "kind": "function", "modifiers": [], "name": "transferUnderlyingInternal", "nodeType": "FunctionDefinition", "parameters": { "id": 1358, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1355, "name": "to", "nodeType": "VariableDeclaration", "scope": 1362, "src": "2775:10:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1354, "name": "address", "nodeType": "ElementaryTypeName", "src": "2775:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1357, "name": "amount", "nodeType": "VariableDeclaration", "scope": 1362, "src": "2787:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1356, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2787:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2774:28:5" }, "returnParameters": { "id": 1361, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1360, "name": "", "nodeType": "VariableDeclaration", "scope": 1362, "src": "2821:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1359, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2821:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2820:6:5" }, "scope": 1613, "src": "2739:88:5", "stateMutability": "nonpayable", "superFunction": 1997, "visibility": "internal" }, { "body": { "id": 1374, "nodeType": "Block", "src": "2989:37:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1372, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1369, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "2999:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1370, "name": "block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3586, "src": "3007:5:5", "typeDescriptions": { "typeIdentifier": "t_magic_block", "typeString": "block" } }, "id": 1371, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "number", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3007:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2999:20:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1373, "nodeType": "ExpressionStatement", "src": "2999:20:5" } ] }, "documentation": null, "id": 1375, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1365, "modifierName": { "argumentTypes": null, "id": 1364, "name": "onlyInvoker", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1576, "src": "2956:11:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2956:11:5" }, { "arguments": null, "id": 1367, "modifierName": { "argumentTypes": null, "id": 1366, "name": "whenUnlocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1600, "src": "2972:12:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "2972:12:5" } ], "name": "lock", "nodeType": "FunctionDefinition", "parameters": { "id": 1363, "nodeType": "ParameterList", "parameters": [], "src": "2936:2:5" }, "returnParameters": { "id": 1368, "nodeType": "ParameterList", "parameters": [], "src": "2989:0:5" }, "scope": 1613, "src": "2923:103:5", "stateMutability": "nonpayable", "superFunction": 2000, "visibility": "external" }, { "body": { "id": 1386, "nodeType": "Block", "src": "3098:26:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1384, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1382, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "3108:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 1383, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3116:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3108:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1385, "nodeType": "ExpressionStatement", "src": "3108:9:5" } ] }, "documentation": null, "id": 1387, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1378, "modifierName": { "argumentTypes": null, "id": 1377, "name": "onlyInvoker", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1576, "src": "3067:11:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "3067:11:5" }, { "arguments": null, "id": 1380, "modifierName": { "argumentTypes": null, "id": 1379, "name": "whenLocked", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1588, "src": "3083:10:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "3083:10:5" } ], "name": "unlock", "nodeType": "FunctionDefinition", "parameters": { "id": 1376, "nodeType": "ParameterList", "parameters": [], "src": "3047:2:5" }, "returnParameters": { "id": 1381, "nodeType": "ParameterList", "parameters": [], "src": "3098:0:5" }, "scope": 1613, "src": "3032:92:5", "stateMutability": "nonpayable", "superFunction": 2003, "visibility": "external" }, { "body": { "id": 1433, "nodeType": "Block", "src": "3314:279:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1399, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1389, "src": "3334:6:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1400, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1391, "src": "3342:9:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1401, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1393, "src": "3353:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1398, "name": "_transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3263, "src": "3324:9:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1402, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3324:36:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1403, "nodeType": "ExpressionStatement", "src": "3324:36:5" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1413, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1405, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1389, "src": "3384:6:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1406, "name": "_msgSender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2428, "src": "3392:10:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_address_payable_$", "typeString": "function () view returns (address payable)" } }, "id": 1407, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3392:12:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "id": 1404, "name": "allowance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3096, "src": "3374:9:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$_t_address_$returns$_t_uint256_$", "typeString": "function (address,address) view returns (uint256)" } }, "id": 1408, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3374:31:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1411, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "3417:2:5", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 1410, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3418:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } ], "id": 1409, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3409:7:5", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 1412, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3409:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3374:46:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1430, "nodeType": "IfStatement", "src": "3370:196:5", "trueBody": { "id": 1429, "nodeType": "Block", "src": "3422:144:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1415, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1389, "src": "3445:6:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1416, "name": "_msgSender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2428, "src": "3453:10:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_address_payable_$", "typeString": "function () view returns (address payable)" } }, "id": 1417, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3453:12:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1424, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1393, "src": "3503:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "hexValue": "45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365", "id": 1425, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3511:42:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_974d1b4421da69cc60b481194f0dad36a5bb4e23da810da7a7fb30cdba178330", "typeString": "literal_string \"ERC20: transfer amount exceeds allowance\"" }, "value": "ERC20: transfer amount exceeds allowance" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_stringliteral_974d1b4421da69cc60b481194f0dad36a5bb4e23da810da7a7fb30cdba178330", "typeString": "literal_string \"ERC20: transfer amount exceeds allowance\"" } ], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1419, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1389, "src": "3477:6:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1420, "name": "_msgSender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2428, "src": "3485:10:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_address_payable_$", "typeString": "function () view returns (address payable)" } }, "id": 1421, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3485:12:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "id": 1418, "name": "allowance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3096, "src": "3467:9:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$_t_address_$returns$_t_uint256_$", "typeString": "function (address,address) view returns (uint256)" } }, "id": 1422, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3467:31:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1423, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 2786, "src": "3467:35:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_string_memory_ptr_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256,string memory) pure returns (uint256)" } }, "id": 1426, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3467:87:5", "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": 1414, "name": "_approve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3392, "src": "3436:8:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1427, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3436:119:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1428, "nodeType": "ExpressionStatement", "src": "3436:119:5" } ] } }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1431, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3582:4:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1397, "id": 1432, "nodeType": "Return", "src": "3575:11:5" } ] }, "documentation": null, "id": 1434, "implemented": true, "kind": "function", "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 1394, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1389, "name": "sender", "nodeType": "VariableDeclaration", "scope": 1434, "src": "3241:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1388, "name": "address", "nodeType": "ElementaryTypeName", "src": "3241:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1391, "name": "recipient", "nodeType": "VariableDeclaration", "scope": 1434, "src": "3257:17:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1390, "name": "address", "nodeType": "ElementaryTypeName", "src": "3257:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1393, "name": "amount", "nodeType": "VariableDeclaration", "scope": 1434, "src": "3276:14:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1392, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3276:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3240:51:5" }, "returnParameters": { "id": 1397, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1396, "name": "", "nodeType": "VariableDeclaration", "scope": 1434, "src": "3308:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1395, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3308:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3307:6:5" }, "scope": 1613, "src": "3219:374:5", "stateMutability": "nonpayable", "superFunction": 3151, "visibility": "public" }, { "body": { "id": 1449, "nodeType": "Block", "src": "3728:86:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1444, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1436, "src": "3779:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1445, "name": "ceiling", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1438, "src": "3792:7:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "66616c7365", "id": 1446, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3801:5:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1443, "name": "tokenAmountToKTokenAmountInternal", "nodeType": "Identifier", "overloadedDeclarations": [ 1491 ], "referencedDeclaration": 1491, "src": "3745:33:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$_t_bool_$_t_bool_$returns$_t_uint256_$", "typeString": "function (uint256,bool,bool) view returns (uint256)" } }, "id": 1447, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3745:62:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1442, "id": 1448, "nodeType": "Return", "src": "3738:69:5" } ] }, "documentation": null, "id": 1450, "implemented": true, "kind": "function", "modifiers": [], "name": "tokenAmountToKTokenAmount", "nodeType": "FunctionDefinition", "parameters": { "id": 1439, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1436, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1450, "src": "3663:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1435, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3663:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1438, "name": "ceiling", "nodeType": "VariableDeclaration", "scope": 1450, "src": "3684:12:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1437, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3684:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3662:35:5" }, "returnParameters": { "id": 1442, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1441, "name": "", "nodeType": "VariableDeclaration", "scope": 1450, "src": "3719:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1440, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3719:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3718:9:5" }, "scope": 1613, "src": "3628:186:5", "stateMutability": "view", "superFunction": 2023, "visibility": "public" }, { "body": { "id": 1490, "nodeType": "Block", "src": "3969:463:5", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1464, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1461, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "3983:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1462, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3983:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1463, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4001:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3983:19:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1468, "nodeType": "IfStatement", "src": "3979:58:5", "trueBody": { "id": 1467, "nodeType": "Block", "src": "4004:33:5", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 1465, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4025:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 1460, "id": 1466, "nodeType": "Return", "src": "4018:8:5" } ] } }, { "assignments": [ 1470 ], "declarations": [ { "constant": false, "id": 1470, "name": "adjustedTotalReserve", "nodeType": "VariableDeclaration", "scope": 1490, "src": "4148:28:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1469, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4148:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1479, "initialValue": { "argumentTypes": null, "condition": { "argumentTypes": null, "id": 1471, "name": "alreadyDeposited", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1456, "src": "4179:16:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1476, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "4228:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1477, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4228:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1478, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "4179:63:5", "trueExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1475, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1472, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "4198:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1473, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4198:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 1474, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1452, "src": "4215:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4198:28:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "4148:94:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1483, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3049, "src": "4379:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1484, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4379:13:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 1481, "name": "tokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1452, "src": "4363:11:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1482, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2820, "src": "4363:15:5", "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": 1485, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4363:30:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1486, "name": "adjustedTotalReserve", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1470, "src": "4395:20:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1487, "name": "ceiling", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1454, "src": "4417:7:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1480, "name": "divAndRound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 40, "src": "4351:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_bool_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,bool) pure returns (uint256)" } }, "id": 1488, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4351:74:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1460, "id": 1489, "nodeType": "Return", "src": "4344:81:5" } ] }, "documentation": null, "id": 1491, "implemented": true, "kind": "function", "modifiers": [], "name": "tokenAmountToKTokenAmountInternal", "nodeType": "FunctionDefinition", "parameters": { "id": 1457, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1452, "name": "tokenAmount", "nodeType": "VariableDeclaration", "scope": 1491, "src": "3863:19:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1451, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3863:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1454, "name": "ceiling", "nodeType": "VariableDeclaration", "scope": 1491, "src": "3884:12:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1453, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3884:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1456, "name": "alreadyDeposited", "nodeType": "VariableDeclaration", "scope": 1491, "src": "3898:21:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1455, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3898:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3862:58:5" }, "returnParameters": { "id": 1460, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1459, "name": "", "nodeType": "VariableDeclaration", "scope": 1491, "src": "3956:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1458, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3956:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3955:9:5" }, "scope": 1613, "src": "3820:612:5", "stateMutability": "view", "superFunction": 2034, "visibility": "internal" }, { "body": { "id": 1516, "nodeType": "Block", "src": "4525:142:5", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1501, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1498, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3049, "src": "4539:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1499, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4539:13:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1500, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4556:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4539:18:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1505, "nodeType": "IfStatement", "src": "4535:57:5", "trueBody": { "id": 1504, "nodeType": "Block", "src": "4559:33:5", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 1502, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4580:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 1497, "id": 1503, "nodeType": "Return", "src": "4573:8:5" } ] } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1512, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3049, "src": "4646:11:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1513, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4646:13:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 1508, "name": "totalReserve", "nodeType": "Identifier", "overloadedDeclarations": [ 1527 ], "referencedDeclaration": 1527, "src": "4626:12:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 1509, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4626:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 1506, "name": "kTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1493, "src": "4609:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1507, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2820, "src": "4609:16:5", "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": 1510, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4609:32:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1511, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "div", "nodeType": "MemberAccess", "referencedDeclaration": 2836, "src": "4609:36:5", "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": 1514, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4609:51:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1497, "id": 1515, "nodeType": "Return", "src": "4602:58:5" } ] }, "documentation": null, "id": 1517, "implemented": true, "kind": "function", "modifiers": [], "name": "kTokenAmountToTokenAmount", "nodeType": "FunctionDefinition", "parameters": { "id": 1494, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1493, "name": "kTokenAmount", "nodeType": "VariableDeclaration", "scope": 1517, "src": "4473:20:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1492, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4473:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4472:22:5" }, "returnParameters": { "id": 1497, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1496, "name": "", "nodeType": "VariableDeclaration", "scope": 1517, "src": "4516:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1495, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4516:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4515:9:5" }, "scope": 1613, "src": "4438:229:5", "stateMutability": "view", "superFunction": 2041, "visibility": "public" }, { "body": null, "documentation": null, "id": 1522, "implemented": false, "kind": "function", "modifiers": [], "name": "isKEther", "nodeType": "FunctionDefinition", "parameters": { "id": 1518, "nodeType": "ParameterList", "parameters": [], "src": "4690:2:5" }, "returnParameters": { "id": 1521, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1520, "name": "", "nodeType": "VariableDeclaration", "scope": 1522, "src": "4714:4:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1519, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4714:4:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4713:6:5" }, "scope": 1613, "src": "4673:47:5", "stateMutability": "view", "superFunction": 2046, "visibility": "public" }, { "body": null, "documentation": null, "id": 1527, "implemented": false, "kind": "function", "modifiers": [], "name": "totalReserve", "nodeType": "FunctionDefinition", "parameters": { "id": 1523, "nodeType": "ParameterList", "parameters": [], "src": "4747:2:5" }, "returnParameters": { "id": 1526, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1525, "name": "", "nodeType": "VariableDeclaration", "scope": 1527, "src": "4771:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1524, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4771:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4770:9:5" }, "scope": 1613, "src": "4726:54:5", "stateMutability": "view", "superFunction": 2051, "visibility": "public" }, { "body": { "id": 1540, "nodeType": "Block", "src": "4860:67:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1536, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1529, "src": "4913:5:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 1535, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3061, "src": "4903:9:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 1537, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4903:16:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1534, "name": "kTokenAmountToTokenAmount", "nodeType": "Identifier", "overloadedDeclarations": [ 1517 ], "referencedDeclaration": 1517, "src": "4877:25:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256) view returns (uint256)" } }, "id": 1538, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4877:43:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1533, "id": 1539, "nodeType": "Return", "src": "4870:50:5" } ] }, "documentation": null, "id": 1541, "implemented": true, "kind": "function", "modifiers": [], "name": "balanceOfUnderlying", "nodeType": "FunctionDefinition", "parameters": { "id": 1530, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1529, "name": "owner", "nodeType": "VariableDeclaration", "scope": 1541, "src": "4815:13:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1528, "name": "address", "nodeType": "ElementaryTypeName", "src": "4815:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "4814:15:5" }, "returnParameters": { "id": 1533, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1532, "name": "", "nodeType": "VariableDeclaration", "scope": 1541, "src": "4851:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1531, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4851:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4850:9:5" }, "scope": 1613, "src": "4786:141:5", "stateMutability": "view", "superFunction": 2058, "visibility": "public" }, { "body": { "id": 1548, "nodeType": "Block", "src": "4989:37:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1546, "name": "_tokenAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1159, "src": "5006:13:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "functionReturnParameters": 1545, "id": 1547, "nodeType": "Return", "src": "4999:20:5" } ] }, "documentation": null, "id": 1549, "implemented": true, "kind": "function", "modifiers": [], "name": "tokenAddress", "nodeType": "FunctionDefinition", "parameters": { "id": 1542, "nodeType": "ParameterList", "parameters": [], "src": "4954:2:5" }, "returnParameters": { "id": 1545, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1544, "name": "", "nodeType": "VariableDeclaration", "scope": 1549, "src": "4980:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1543, "name": "address", "nodeType": "ElementaryTypeName", "src": "4980:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "4979:9:5" }, "scope": 1613, "src": "4933:93:5", "stateMutability": "view", "superFunction": 2063, "visibility": "external" }, { "body": { "id": 1556, "nodeType": "Block", "src": "5090:39:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1554, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "5107:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "functionReturnParameters": 1553, "id": 1555, "nodeType": "Return", "src": "5100:22:5" } ] }, "documentation": null, "id": 1557, "implemented": true, "kind": "function", "modifiers": [], "name": "invokerAddress", "nodeType": "FunctionDefinition", "parameters": { "id": 1550, "nodeType": "ParameterList", "parameters": [], "src": "5055:2:5" }, "returnParameters": { "id": 1553, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1552, "name": "", "nodeType": "VariableDeclaration", "scope": 1557, "src": "5081:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1551, "name": "address", "nodeType": "ElementaryTypeName", "src": "5081:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "5080:9:5" }, "scope": 1613, "src": "5032:97:5", "stateMutability": "view", "superFunction": 2068, "visibility": "external" }, { "body": { "id": 1575, "nodeType": "Block", "src": "5191:184:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1570, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 1563, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1560, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3596, "src": "5222:3:5", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1561, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5222:10:5", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1562, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "5236:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "5222:29:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "id": 1569, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "5255:35:5", "subExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1565, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "5265:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 1564, "name": "Pausable", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2716, "src": "5256:8:5", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Pausable_$2716_$", "typeString": "type(contract Pausable)" } }, "id": 1566, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5256:25:5", "typeDescriptions": { "typeIdentifier": "t_contract$_Pausable_$2716", "typeString": "contract Pausable" } }, "id": 1567, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "paused", "nodeType": "MemberAccess", "referencedDeclaration": 2662, "src": "5256:32:5", "typeDescriptions": { "typeIdentifier": "t_function_external_view$__$returns$_t_bool_$", "typeString": "function () view external returns (bool)" } }, "id": 1568, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5256:34:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "5222:68:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206f6e6c792063616e2062652063616c6c656420627920756e70617573656420696e766f6b6572", "id": 1571, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5308:48:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_3fd9c106eddf07a875424e17e777a14a9c52adce919599dced9a7acc1eaaed99", "typeString": "literal_string \"KToken: only can be called by unpaused invoker\"" }, "value": "KToken: only can be called by unpaused invoker" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_3fd9c106eddf07a875424e17e777a14a9c52adce919599dced9a7acc1eaaed99", "typeString": "literal_string \"KToken: only can be called by unpaused invoker\"" } ], "id": 1559, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "5201:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1572, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5201:156:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1573, "nodeType": "ExpressionStatement", "src": "5201:156:5" }, { "id": 1574, "nodeType": "PlaceholderStatement", "src": "5367:1:5" } ] }, "documentation": null, "id": 1576, "name": "onlyInvoker", "nodeType": "ModifierDefinition", "parameters": { "id": 1558, "nodeType": "ParameterList", "parameters": [], "src": "5188:2:5" }, "src": "5168:207:5", "visibility": "internal" }, { "body": { "id": 1587, "nodeType": "Block", "src": "5403:80:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1582, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1579, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "5421:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1580, "name": "block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3586, "src": "5430:5:5", "typeDescriptions": { "typeIdentifier": "t_magic_block", "typeString": "block" } }, "id": 1581, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "number", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5430:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5421:21:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206e6f74206c6f636b6564", "id": 1583, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5444:20:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d45bf04b535f87ef263f90b8f6c25a121de874a111525694971647b46ec1df8f", "typeString": "literal_string \"KToken: not locked\"" }, "value": "KToken: not locked" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_d45bf04b535f87ef263f90b8f6c25a121de874a111525694971647b46ec1df8f", "typeString": "literal_string \"KToken: not locked\"" } ], "id": 1578, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "5413:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1584, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5413:52:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1585, "nodeType": "ExpressionStatement", "src": "5413:52:5" }, { "id": 1586, "nodeType": "PlaceholderStatement", "src": "5475:1:5" } ] }, "documentation": null, "id": 1588, "name": "whenLocked", "nodeType": "ModifierDefinition", "parameters": { "id": 1577, "nodeType": "ParameterList", "parameters": [], "src": "5400:2:5" }, "src": "5381:102:5", "visibility": "internal" }, { "body": { "id": 1599, "nodeType": "Block", "src": "5513:75:5", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1594, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1591, "name": "_lock", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1163, "src": "5531:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1592, "name": "block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3586, "src": "5539:5:5", "typeDescriptions": { "typeIdentifier": "t_magic_block", "typeString": "block" } }, "id": 1593, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "number", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5539:12:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5531:20:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4b546f6b656e3a206c6f636b6564", "id": 1595, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5553:16:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_cba2074a7b04d8ebb663f7623a3984cb2d3ed7da46e56af5597fee82f843dd30", "typeString": "literal_string \"KToken: locked\"" }, "value": "KToken: locked" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_cba2074a7b04d8ebb663f7623a3984cb2d3ed7da46e56af5597fee82f843dd30", "typeString": "literal_string \"KToken: locked\"" } ], "id": 1590, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 3599, 3600 ], "referencedDeclaration": 3600, "src": "5523:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1596, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5523:47:5", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1597, "nodeType": "ExpressionStatement", "src": "5523:47:5" }, { "id": 1598, "nodeType": "PlaceholderStatement", "src": "5580:1:5" } ] }, "documentation": null, "id": 1600, "name": "whenUnlocked", "nodeType": "ModifierDefinition", "parameters": { "id": 1589, "nodeType": "ParameterList", "parameters": [], "src": "5510:2:5" }, "src": "5489:99:5", "visibility": "internal" }, { "body": { "id": 1611, "nodeType": "Block", "src": "5773:49:5", "statements": [ { "expression": { "argumentTypes": null, "id": 1609, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1607, "name": "_invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1161, "src": "5783:15:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1608, "name": "invokerAddress", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1602, "src": "5801:14:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "5783:32:5", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 1610, "nodeType": "ExpressionStatement", "src": "5783:32:5" } ] }, "documentation": null, "id": 1612, "implemented": true, "kind": "function", "modifiers": [ { "arguments": null, "id": 1605, "modifierName": { "argumentTypes": null, "id": 1604, "name": "onlyOwner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2950, "src": "5763:9:5", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "5763:9:5" } ], "name": "setInvokerAddress", "nodeType": "FunctionDefinition", "parameters": { "id": 1603, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1602, "name": "invokerAddress", "nodeType": "VariableDeclaration", "scope": 1612, "src": "5730:22:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1601, "name": "address", "nodeType": "ElementaryTypeName", "src": "5730:7:5", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "5729:24:5" }, "returnParameters": { "id": 1606, "nodeType": "ParameterList", "parameters": [], "src": "5773:0:5" }, "scope": 1613, "src": "5703:119:5", "stateMutability": "nonpayable", "superFunction": 2073, "visibility": "external" } ], "scope": 1614, "src": "435:5389:5" } ], "src": "0:5825:5" }, "compiler": { "name": "solc", "version": "0.5.16+commit.9c3226ce.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.20", "updatedAt": "2020-02-01T23:51:00.337Z", "devdoc": { "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}." }, "decimals()": { "details": "Returns the number of decimals used to get its user representation. For example, if `decimals` equals `2`, a balance of `505` tokens should be displayed to a user as `5,05` (`505 / 10 ** 2`). * Tokens usually opt for a value of 18, imitating the relationship between Ether and Wei. * NOTE: This information is only used for _display_ purposes: it in no way affects any of the arithmetic of the contract, including {IERC20-balanceOf} and {IERC20-transfer}." }, "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." }, "isOwner()": { "details": "Returns true if the caller is the current owner." }, "name()": { "details": "Returns the name of the token." }, "owner()": { "details": "Returns the address of the current owner." }, "renounceOwnership()": { "details": "Leaves the contract without owner. It will not be possible to call `onlyOwner` functions anymore. Can only be called by the current owner. * NOTE: Renouncing ownership will leave the contract without an owner, thereby removing any functionality that is only available to the owner." }, "symbol()": { "details": "Returns the symbol of the token, usually a shorter version of the name." }, "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`." }, "transferOwnership(address)": { "details": "Transfers ownership of the contract to a new account (`newOwner`). Can only be called by the current owner." } } }, "userdoc": { "methods": {} } }