{ "contractName": "FundsDistributionToken", "abi": [ { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "owner", "type": "address" }, { "indexed": true, "internalType": "address", "name": "spender", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "by", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "fundsDistributed", "type": "uint256" } ], "name": "FundsDistributed", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "by", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "fundsWithdrawn", "type": "uint256" } ], "name": "FundsWithdrawn", "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" }, { "inputs": [ { "internalType": "address", "name": "owner", "type": "address" }, { "internalType": "address", "name": "spender", "type": "address" } ], "name": "allowance", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "approve", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "account", "type": "address" } ], "name": "balanceOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "decimals", "outputs": [ { "internalType": "uint8", "name": "", "type": "uint8" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "subtractedValue", "type": "uint256" } ], "name": "decreaseAllowance", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "addedValue", "type": "uint256" } ], "name": "increaseAllowance", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "name", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "symbol", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "totalSupply", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "recipient", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "transfer", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "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" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "withdrawFunds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_owner", "type": "address" } ], "name": "withdrawableFundsOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_owner", "type": "address" } ], "name": "withdrawnFundsOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_owner", "type": "address" } ], "name": "accumulativeFundsOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.6.11+commit.5ef660b1\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"owner\",\"type\":\"address\"},{\"indexed\":true,\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"value\",\"type\":\"uint256\"}],\"name\":\"Approval\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"by\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"fundsDistributed\",\"type\":\"uint256\"}],\"name\":\"FundsDistributed\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"by\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"fundsWithdrawn\",\"type\":\"uint256\"}],\"name\":\"FundsWithdrawn\",\"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\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"_owner\",\"type\":\"address\"}],\"name\":\"accumulativeFundsOf\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"owner\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"}],\"name\":\"allowance\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"}],\"name\":\"approve\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"account\",\"type\":\"address\"}],\"name\":\"balanceOf\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"decimals\",\"outputs\":[{\"internalType\":\"uint8\",\"name\":\"\",\"type\":\"uint8\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"subtractedValue\",\"type\":\"uint256\"}],\"name\":\"decreaseAllowance\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"spender\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"addedValue\",\"type\":\"uint256\"}],\"name\":\"increaseAllowance\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"name\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"symbol\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"totalSupply\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"recipient\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"}],\"name\":\"transfer\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"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\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"withdrawFunds\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"_owner\",\"type\":\"address\"}],\"name\":\"withdrawableFundsOf\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"_owner\",\"type\":\"address\"}],\"name\":\"withdrawnFundsOf\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"author\":\"Johannes EscherichRoger-WuJohannes PfefferTom Lam\",\"details\":\"A mintable token that can represent claims on cash flow of arbitrary assets such as dividends, loan repayments, fee or revenue shares among large numbers of token holders. Anyone can deposit funds, token holders can withdraw their claims. FundsDistributionToken (FDT) implements the accounting logic. FDT-Extension contracts implement methods for depositing and withdrawing funds in Ether or according to a token standard such as ERC20, ERC223, ERC777.\",\"kind\":\"dev\",\"methods\":{\"accumulativeFundsOf(address)\":{\"details\":\"accumulativeFundsOf(_owner) = withdrawableFundsOf(_owner) + withdrawnFundsOf(_owner) = (pointsPerShare * balanceOf(_owner) + pointsCorrection[_owner]) / pointsMultiplier\",\"params\":{\"_owner\":\"The address of a token holder.\"},\"returns\":{\"_0\":\"The amount of funds that `_owner` has earned in total.\"}},\"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. This is the value {ERC20} uses, unless {_setupDecimals} is called. 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.\"},\"name()\":{\"details\":\"Returns the name of the token.\"},\"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`.\"},\"transferFrom(address,address,uint256)\":{\"details\":\"See {IERC20-transferFrom}. Emits an {Approval} event indicating the updated allowance. This is not required by the EIP. See the note at the beginning of {ERC20}; Requirements: - `sender` and `recipient` cannot be the zero address. - `sender` must have a balance of at least `amount`. - the caller must have allowance for ``sender``'s tokens of at least `amount`.\"},\"withdrawFunds()\":{\"details\":\"Withdraws all available funds for a FundsDistributionToken holder.\"},\"withdrawableFundsOf(address)\":{\"params\":{\"_owner\":\"The address of a token holder.\"},\"returns\":{\"_0\":\"The amount funds that `_owner` can withdraw.\"}},\"withdrawnFundsOf(address)\":{\"params\":{\"_owner\":\"The address of a token holder.\"},\"returns\":{\"_0\":\"The amount of funds that `_owner` has withdrawn.\"}}},\"title\":\"FundsDistributionToken\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{\"accumulativeFundsOf(address)\":{\"notice\":\"prev. accumulativeDividendOfView the amount of funds that an address has earned in total.\"},\"withdrawableFundsOf(address)\":{\"notice\":\"prev. withdrawableDividendOfView the amount of funds that an address can withdraw.\"},\"withdrawnFundsOf(address)\":{\"notice\":\"prev. withdrawnDividendOfView the amount of funds that an address has withdrawn.\"}},\"version\":1}},\"settings\":{\"compilationTarget\":{\"/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/FundsDistributionToken.sol\":\"FundsDistributionToken\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/FundsDistributionToken.sol\":{\"keccak256\":\"0x91b13e01fdef718f2d5a64d9d4051dd8495913ac78c2309342e6af7656d1ee21\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://d9a17efea849552722739b1ffb0878a80da99072e6af5d8c2bd563dce00ebc29\",\"dweb:/ipfs/QmamL6A7LoLuqwNngKY3NPzZgpihiBPERFCbVB5G5wuPT5\"]},\"/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/IFundsDistributionToken.sol\":{\"keccak256\":\"0x357c01314146027ec6d250d5b29824bd795e00578b0b888b8c8063d1f49bfec8\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://4ba4486b5f8d60500cc1f8af3c9859c4bd0ee07a279f94b67ba1393391e54154\",\"dweb:/ipfs/QmNxYYnyPLh2vNJLzoPAVhHBxvuczBo24GDmRS61nD4ABv\"]},\"/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathInt.sol\":{\"keccak256\":\"0xc53b786fe1e9a4a207e503272ca7bf485f4872a196fcdf9b209ff18a025857ae\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://99aef73723a7dac14a7a407036d85fe6070ea280e8509f214bf709321c1b7d68\",\"dweb:/ipfs/QmQW5ygUX2EJMQkUmNt3q18VrtrCEiNeape7JaUh19p1tF\"]},\"/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathUint.sol\":{\"keccak256\":\"0xdba5f11842c7ef0d82b4fdccf5430ae81d677c426a8bbe1c5dd4df62ab9e43d9\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://216bba31081f8f7bae15fbd79648300a04740c472f23957963354497d82d86b2\",\"dweb:/ipfs/QmXMnSfoSKbobfQkcRExx8RC5ZSPCCiNdcb1xy3v3vGgWV\"]},\"@openzeppelin/contracts-ethereum-package/contracts/GSN/Context.sol\":{\"keccak256\":\"0xe81686511d62f18b2d9c693c2c94c0a789c690de63aa90e15451ebf65c5bfd3e\",\"urls\":[\"bzz-raw://1332ee1d2b096456bf2e5795b5871d0fed47be6a31c9a2f2cef9206a299565ea\",\"dweb:/ipfs/Qmdu1847Y4UL3gTjbLUManMGfxYEoyGPSodM3Br89SKzwx\"]},\"@openzeppelin/contracts-ethereum-package/contracts/Initializable.sol\":{\"keccak256\":\"0x9bfec92e36234ecc99b5d37230acb6cd1f99560233753162204104a4897e8721\",\"urls\":[\"bzz-raw://5cf7c208583d4d046d75bd99f5507412ab01cce9dd9f802ce9768a416d93ea2f\",\"dweb:/ipfs/QmcQS1BBMPpVEkXP3qzwSjxHNrqDek8YeR7xbVWDC9ApC7\"]},\"@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol\":{\"keccak256\":\"0x04d34b3cd5677bea25f8dfceb6dec0eaa071d4d4b789a43f13fe0c415ba4c296\",\"urls\":[\"bzz-raw://e7e8b526a6839e5ba14f0d23a830387fec47f7043ce01d42c9f285b709a9d080\",\"dweb:/ipfs/QmXmhhFmX5gcAvVzNiDPAGA35iHMPNaYtQkACswRHBVTNw\"]},\"@openzeppelin/contracts-ethereum-package/contracts/token/ERC20/ERC20.sol\":{\"keccak256\":\"0x9c2d859bc9de93ced0875d226598e56067fe4d6b2dde0e1fd53ca60fa9603db0\",\"urls\":[\"bzz-raw://5df1baba4ea42a94d0e0aed4a87271369ef2cd54d86e89cab7ef1428ff387210\",\"dweb:/ipfs/QmV5ErriAFQWqEPAfWhJ6DxmujH6vBPB3F5Breaq9vUWGu\"]},\"@openzeppelin/contracts-ethereum-package/contracts/token/ERC20/IERC20.sol\":{\"keccak256\":\"0x6cc1cb934a3ac2137a7dcaed018af9e235392236ceecfd3687259702b9c767ad\",\"urls\":[\"bzz-raw://0055fa88138cd1c3c6440370f8580f85857f8fe9dec41c99af9eafbeb8d9c3ce\",\"dweb:/ipfs/QmX1xDh8vwGLLCH8ti45eXjQ7Wcxv1FEGTR3jkFnd5Nv6F\"]},\"@openzeppelin/contracts-ethereum-package/contracts/utils/Address.sol\":{\"keccak256\":\"0x5f7da58ee3d9faa9b8999a93d49c8ff978f1afc88ae9bcfc6f9cbb44da011c2b\",\"urls\":[\"bzz-raw://4f089d954b3ecaa26949412fe63e9a184b056562c6c13dd4a0529a5d9a2e685a\",\"dweb:/ipfs/QmVK5iCNAMcEJQxT59bsC5E53JQASDQPU6khHox3d5ZXCn\"]}},\"version\":1}", "bytecode": "0x", "deployedBytecode": "0x", "immutableReferences": {}, "sourceMap": "", "deployedSourceMap": "", "source": "// \"SPDX-License-Identifier: Apache-2.0\"\npragma solidity ^0.6.11;\n\nimport \"@openzeppelin/contracts-ethereum-package/contracts/token/ERC20/ERC20.sol\";\nimport \"@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol\";\n\nimport \"./math/SafeMathUint.sol\";\nimport \"./math/SafeMathInt.sol\";\n\nimport \"./IFundsDistributionToken.sol\";\n\n\n/**\n * @title FundsDistributionToken\n * @author Johannes Escherich\n * @author Roger-Wu\n * @author Johannes Pfeffer\n * @author Tom Lam\n * @dev A mintable token that can represent claims on cash flow of arbitrary assets such as dividends, loan repayments,\n * fee or revenue shares among large numbers of token holders. Anyone can deposit funds, token holders can withdraw\n * their claims.\n * FundsDistributionToken (FDT) implements the accounting logic. FDT-Extension contracts implement methods for depositing and\n * withdrawing funds in Ether or according to a token standard such as ERC20, ERC223, ERC777.\n */\nabstract contract FundsDistributionToken is IFundsDistributionToken, ERC20UpgradeSafe {\n\n using SafeMath for uint256;\n using SafeMathUint for uint256;\n using SafeMathInt for int256;\n\n // optimize, see https://github.com/ethereum/EIPs/issues/1726#issuecomment-472352728\n uint256 constant internal pointsMultiplier = 2**128;\n uint256 internal pointsPerShare;\n\n mapping(address => int256) internal pointsCorrection;\n mapping(address => uint256) internal withdrawnFunds;\n\n /**\n * prev. distributeDividends\n * @notice Distributes funds to token holders.\n * @dev It reverts if the total supply of tokens is 0.\n * It emits the `FundsDistributed` event if the amount of received ether is greater than 0.\n * About undistributed funds:\n * In each distribution, there is a small amount of funds which does not get distributed,\n * which is `(msg.value * pointsMultiplier) % totalSupply()`.\n * With a well-chosen `pointsMultiplier`, the amount funds that are not getting distributed\n * in a distribution can be less than 1 (base unit).\n * We can actually keep track of the undistributed ether in a distribution\n * and try to distribute it in the next distribution ....... todo implement\n */\n function _distributeFunds(uint256 value) internal {\n require(totalSupply() > 0, \"FundsDistributionToken._distributeFunds: SUPPLY_IS_ZERO\");\n\n if (value > 0) {\n pointsPerShare = pointsPerShare.add(\n value.mul(pointsMultiplier) / totalSupply()\n );\n emit FundsDistributed(msg.sender, value);\n }\n }\n\n /**\n * prev. withdrawDividend\n * @notice Prepares funds withdrawal\n * @dev It emits a `FundsWithdrawn` event if the amount of withdrawn ether is greater than 0.\n */\n function _prepareWithdrawFor(address _owner) internal returns (uint256) {\n uint256 _withdrawableDividend = withdrawableFundsOf(_owner);\n\n withdrawnFunds[_owner] = withdrawnFunds[_owner].add(_withdrawableDividend);\n\n emit FundsWithdrawn(_owner, _withdrawableDividend);\n\n return _withdrawableDividend;\n }\n\n /**\n * prev. withdrawableDividendOf\n * @notice View the amount of funds that an address can withdraw.\n * @param _owner The address of a token holder.\n * @return The amount funds that `_owner` can withdraw.\n */\n function withdrawableFundsOf(address _owner) public view override returns(uint256) {\n return accumulativeFundsOf(_owner).sub(withdrawnFunds[_owner]);\n }\n\n /**\n * prev. withdrawnDividendOf\n * @notice View the amount of funds that an address has withdrawn.\n * @param _owner The address of a token holder.\n * @return The amount of funds that `_owner` has withdrawn.\n */\n function withdrawnFundsOf(address _owner) public view returns(uint256) {\n return withdrawnFunds[_owner];\n }\n\n /**\n * prev. accumulativeDividendOf\n * @notice View the amount of funds that an address has earned in total.\n * @dev accumulativeFundsOf(_owner) = withdrawableFundsOf(_owner) + withdrawnFundsOf(_owner)\n * = (pointsPerShare * balanceOf(_owner) + pointsCorrection[_owner]) / pointsMultiplier\n * @param _owner The address of a token holder.\n * @return The amount of funds that `_owner` has earned in total.\n */\n function accumulativeFundsOf(address _owner) public view returns(uint256) {\n return pointsPerShare.mul(balanceOf(_owner)).toInt256Safe()\n .add(pointsCorrection[_owner]).toUint256Safe() / pointsMultiplier;\n }\n\n /**\n * @dev Internal function that transfer tokens from one address to another.\n * Update pointsCorrection to keep funds unchanged.\n * @param from The address to transfer from.\n * @param to The address to transfer to.\n * @param value The amount to be transferred.\n */\n function _transfer(address from, address to, uint256 value) internal override {\n super._transfer(from, to, value);\n\n int256 _magCorrection = pointsPerShare.mul(value).toInt256Safe();\n pointsCorrection[from] = pointsCorrection[from].add(_magCorrection);\n pointsCorrection[to] = pointsCorrection[to].sub(_magCorrection);\n }\n\n /**\n * @dev Internal function that mints tokens to an account.\n * Update pointsCorrection to keep funds unchanged.\n * @param account The account that will receive the created tokens.\n * @param value The amount that will be created.\n */\n function _mint(address account, uint256 value) internal override {\n super._mint(account, value);\n\n pointsCorrection[account] = pointsCorrection[account]\n .sub( (pointsPerShare.mul(value)).toInt256Safe() );\n }\n\n /**\n * @dev Internal function that burns an amount of the token of a given account.\n * Update pointsCorrection to keep funds unchanged.\n * @param account The account whose tokens will be burnt.\n * @param value The amount that will be burnt.\n */\n function _burn(address account, uint256 value) internal override {\n super._burn(account, value);\n\n pointsCorrection[account] = pointsCorrection[account]\n .add( (pointsPerShare.mul(value)).toInt256Safe() );\n }\n}\n", "sourcePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/FundsDistributionToken.sol", "ast": { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/FundsDistributionToken.sol", "exportedSymbols": { "FundsDistributionToken": [ 18314 ] }, "id": 18315, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 18029, "literals": [ "solidity", "^", "0.6", ".11" ], "nodeType": "PragmaDirective", "src": "41:24:48" }, { "absolutePath": "@openzeppelin/contracts-ethereum-package/contracts/token/ERC20/ERC20.sol", "file": "@openzeppelin/contracts-ethereum-package/contracts/token/ERC20/ERC20.sol", "id": 18030, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 38158, "src": "67:82:48", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol", "file": "@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol", "id": 18031, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 37624, "src": "150:78:48", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathUint.sol", "file": "./math/SafeMathUint.sol", "id": 18032, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 19733, "src": "230:33:48", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathInt.sol", "file": "./math/SafeMathInt.sol", "id": 18033, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 19706, "src": "264:32:48", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/IFundsDistributionToken.sol", "file": "./IFundsDistributionToken.sol", "id": 18034, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 18344, "src": "298:39:48", "symbolAliases": [], "unitAlias": "" }, { "abstract": true, "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 18036, "name": "IFundsDistributionToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 18343, "src": "996:23:48", "typeDescriptions": { "typeIdentifier": "t_contract$_IFundsDistributionToken_$18343", "typeString": "contract IFundsDistributionToken" } }, "id": 18037, "nodeType": "InheritanceSpecifier", "src": "996:23:48" }, { "arguments": null, "baseName": { "contractScope": null, "id": 18038, "name": "ERC20UpgradeSafe", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 38157, "src": "1021:16:48", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20UpgradeSafe_$38157", "typeString": "contract ERC20UpgradeSafe" } }, "id": 18039, "nodeType": "InheritanceSpecifier", "src": "1021:16:48" } ], "contractDependencies": [ 18343, 37222, 37297, 38157, 38235 ], "contractKind": "contract", "documentation": { "id": 18035, "nodeType": "StructuredDocumentation", "src": "340:611:48", "text": " @title FundsDistributionToken\n @author Johannes Escherich\n @author Roger-Wu\n @author Johannes Pfeffer\n @author Tom Lam\n @dev A mintable token that can represent claims on cash flow of arbitrary assets such as dividends, loan repayments,\n fee or revenue shares among large numbers of token holders. Anyone can deposit funds, token holders can withdraw\n their claims.\n FundsDistributionToken (FDT) implements the accounting logic. FDT-Extension contracts implement methods for depositing and\n withdrawing funds in Ether or according to a token standard such as ERC20, ERC223, ERC777." }, "fullyImplemented": false, "id": 18314, "linearizedBaseContracts": [ 18314, 38157, 38235, 37222, 37297, 18343 ], "name": "FundsDistributionToken", "nodeType": "ContractDefinition", "nodes": [ { "id": 18042, "libraryName": { "contractScope": null, "id": 18040, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 37623, "src": "1051:8:48", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$37623", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "1045:27:48", "typeName": { "id": 18041, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1064:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "id": 18045, "libraryName": { "contractScope": null, "id": 18043, "name": "SafeMathUint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 19732, "src": "1083:12:48", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMathUint_$19732", "typeString": "library SafeMathUint" } }, "nodeType": "UsingForDirective", "src": "1077:31:48", "typeName": { "id": 18044, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1100:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "id": 18048, "libraryName": { "contractScope": null, "id": 18046, "name": "SafeMathInt", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 19705, "src": "1119:11:48", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMathInt_$19705", "typeString": "library SafeMathInt" } }, "nodeType": "UsingForDirective", "src": "1113:29:48", "typeName": { "id": 18047, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1135:6:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } }, { "constant": true, "id": 18053, "mutability": "constant", "name": "pointsMultiplier", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18314, "src": "1237:51:48", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18049, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1237:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" }, "id": 18052, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 18050, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1282:1:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "313238", "id": 18051, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1285:3:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "1282:6:48", "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" } }, "visibility": "internal" }, { "constant": false, "id": 18055, "mutability": "mutable", "name": "pointsPerShare", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18314, "src": "1294:31:48", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18054, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1294:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18059, "mutability": "mutable", "name": "pointsCorrection", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18314, "src": "1332:52:48", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" }, "typeName": { "id": 18058, "keyType": { "id": 18056, "name": "address", "nodeType": "ElementaryTypeName", "src": "1340:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1332:26:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" }, "valueType": { "id": 18057, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1351:6:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18063, "mutability": "mutable", "name": "withdrawnFunds", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18314, "src": "1390:51:48", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 18062, "keyType": { "id": 18060, "name": "address", "nodeType": "ElementaryTypeName", "src": "1398:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1390:27:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 18061, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1409:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "internal" }, { "body": { "id": 18101, "nodeType": "Block", "src": "2277:316:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18073, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 18070, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 37739, "src": "2295:11:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 18071, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2295:13:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 18072, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2311:1:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2295:17:48", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "46756e6473446973747269627574696f6e546f6b656e2e5f6469737472696275746546756e64733a20535550504c595f49535f5a45524f", "id": 18074, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2314:57:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_732c0f910adc73e57b8b09334c347d82d82c5b7514bc2a57d7d70a6cc01ea97d", "typeString": "literal_string \"FundsDistributionToken._distributeFunds: SUPPLY_IS_ZERO\"" }, "value": "FundsDistributionToken._distributeFunds: SUPPLY_IS_ZERO" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_732c0f910adc73e57b8b09334c347d82d82c5b7514bc2a57d7d70a6cc01ea97d", "typeString": "literal_string \"FundsDistributionToken._distributeFunds: SUPPLY_IS_ZERO\"" } ], "id": 18069, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2287:7:48", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 18075, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2287:85:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18076, "nodeType": "ExpressionStatement", "src": "2287:85:48" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18079, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 18077, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18066, "src": "2387:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 18078, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2395:1:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2387:9:48", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 18100, "nodeType": "IfStatement", "src": "2383:204:48", "trueBody": { "id": 18099, "nodeType": "Block", "src": "2398:189:48", "statements": [ { "expression": { "argumentTypes": null, "id": 18091, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 18080, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "2412:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18089, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18085, "name": "pointsMultiplier", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18053, "src": "2475:16:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18083, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18066, "src": "2465:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18084, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "2465:9:48", "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": 18086, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2465:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 18087, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 37739, "src": "2495:11:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 18088, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2495:13:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2465:43:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18081, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "2429:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18082, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 37456, "src": "2429:18:48", "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": 18090, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2429:93:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2412:110:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18092, "nodeType": "ExpressionStatement", "src": "2412:110:48" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18094, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "2558:3:48", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18095, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2558:10:48", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 18096, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18066, "src": "2570:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 18093, "name": "FundsDistributed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18335, "src": "2541:16:48", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 18097, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2541:35:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18098, "nodeType": "EmitStatement", "src": "2536:40:48" } ] } } ] }, "documentation": { "id": 18064, "nodeType": "StructuredDocumentation", "src": "1448:774:48", "text": " prev. distributeDividends\n @notice Distributes funds to token holders.\n @dev It reverts if the total supply of tokens is 0.\n It emits the `FundsDistributed` event if the amount of received ether is greater than 0.\n About undistributed funds:\n In each distribution, there is a small amount of funds which does not get distributed,\n which is `(msg.value * pointsMultiplier) % totalSupply()`.\n With a well-chosen `pointsMultiplier`, the amount funds that are not getting distributed\n in a distribution can be less than 1 (base unit).\n We can actually keep track of the undistributed ether in a distribution\n and try to distribute it in the next distribution ....... todo implement" }, "id": 18102, "implemented": true, "kind": "function", "modifiers": [], "name": "_distributeFunds", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 18067, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18066, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18102, "src": "2253:13:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18065, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2253:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2252:15:48" }, "returnParameters": { "id": 18068, "nodeType": "ParameterList", "parameters": [], "src": "2277:0:48" }, "scope": 18314, "src": "2227:366:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "body": { "id": 18134, "nodeType": "Block", "src": "2856:261:48", "statements": [ { "assignments": [ 18111 ], "declarations": [ { "constant": false, "id": 18111, "mutability": "mutable", "name": "_withdrawableDividend", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18134, "src": "2866:29:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18110, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2866:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 18115, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18113, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18105, "src": "2918:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 18112, "name": "withdrawableFundsOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18154, "src": "2898:19:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 18114, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2898:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2866:59:48" }, { "expression": { "argumentTypes": null, "id": 18125, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18116, "name": "withdrawnFunds", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18063, "src": "2936:14:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 18118, "indexExpression": { "argumentTypes": null, "id": 18117, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18105, "src": "2951:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2936:22:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18123, "name": "_withdrawableDividend", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18111, "src": "2988:21:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18119, "name": "withdrawnFunds", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18063, "src": "2961:14:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 18121, "indexExpression": { "argumentTypes": null, "id": 18120, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18105, "src": "2976:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2961:22:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18122, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 37456, "src": "2961:26:48", "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": 18124, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2961:49:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2936:74:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18126, "nodeType": "ExpressionStatement", "src": "2936:74:48" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18128, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18105, "src": "3041:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18129, "name": "_withdrawableDividend", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18111, "src": "3049:21:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 18127, "name": "FundsWithdrawn", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18342, "src": "3026:14:48", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 18130, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3026:45:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18131, "nodeType": "EmitStatement", "src": "3021:50:48" }, { "expression": { "argumentTypes": null, "id": 18132, "name": "_withdrawableDividend", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18111, "src": "3089:21:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18109, "id": 18133, "nodeType": "Return", "src": "3082:28:48" } ] }, "documentation": { "id": 18103, "nodeType": "StructuredDocumentation", "src": "2599:180:48", "text": " prev. withdrawDividend\n @notice Prepares funds withdrawal\n @dev It emits a `FundsWithdrawn` event if the amount of withdrawn ether is greater than 0." }, "id": 18135, "implemented": true, "kind": "function", "modifiers": [], "name": "_prepareWithdrawFor", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 18106, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18105, "mutability": "mutable", "name": "_owner", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18135, "src": "2813:14:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18104, "name": "address", "nodeType": "ElementaryTypeName", "src": "2813:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2812:16:48" }, "returnParameters": { "id": 18109, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18108, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18135, "src": "2847:7:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18107, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2847:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2846:9:48" }, "scope": 18314, "src": "2784:333:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "baseFunctions": [ 18324 ], "body": { "id": 18153, "nodeType": "Block", "src": "3440:79:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18148, "name": "withdrawnFunds", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18063, "src": "3489:14:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 18150, "indexExpression": { "argumentTypes": null, "id": 18149, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18138, "src": "3504:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3489:22:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18145, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18138, "src": "3477:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 18144, "name": "accumulativeFundsOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18194, "src": "3457:19:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 18146, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3457:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18147, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 37473, "src": "3457:31:48", "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": 18151, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3457:55:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18143, "id": 18152, "nodeType": "Return", "src": "3450:62:48" } ] }, "documentation": { "id": 18136, "nodeType": "StructuredDocumentation", "src": "3123:229:48", "text": " prev. withdrawableDividendOf\n @notice View the amount of funds that an address can withdraw.\n @param _owner The address of a token holder.\n @return The amount funds that `_owner` can withdraw." }, "functionSelector": "443bb293", "id": 18154, "implemented": true, "kind": "function", "modifiers": [], "name": "withdrawableFundsOf", "nodeType": "FunctionDefinition", "overrides": { "id": 18140, "nodeType": "OverrideSpecifier", "overrides": [], "src": "3414:8:48" }, "parameters": { "id": 18139, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18138, "mutability": "mutable", "name": "_owner", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18154, "src": "3386:14:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18137, "name": "address", "nodeType": "ElementaryTypeName", "src": "3386:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "3385:16:48" }, "returnParameters": { "id": 18143, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18142, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18154, "src": "3431:7:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18141, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3431:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3430:9:48" }, "scope": 18314, "src": "3357:162:48", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "body": { "id": 18166, "nodeType": "Block", "src": "3832:46:48", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18162, "name": "withdrawnFunds", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18063, "src": "3849:14:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 18164, "indexExpression": { "argumentTypes": null, "id": 18163, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18157, "src": "3864:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3849:22:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18161, "id": 18165, "nodeType": "Return", "src": "3842:29:48" } ] }, "documentation": { "id": 18155, "nodeType": "StructuredDocumentation", "src": "3525:231:48", "text": " prev. withdrawnDividendOf\n @notice View the amount of funds that an address has withdrawn.\n @param _owner The address of a token holder.\n @return The amount of funds that `_owner` has withdrawn." }, "functionSelector": "0041c52c", "id": 18167, "implemented": true, "kind": "function", "modifiers": [], "name": "withdrawnFundsOf", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 18158, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18157, "mutability": "mutable", "name": "_owner", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18167, "src": "3787:14:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18156, "name": "address", "nodeType": "ElementaryTypeName", "src": "3787:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "3786:16:48" }, "returnParameters": { "id": 18161, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18160, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18167, "src": "3823:7:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18159, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3823:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3822:9:48" }, "scope": 18314, "src": "3761:117:48", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "body": { "id": 18193, "nodeType": "Block", "src": "4398:154:48", "statements": [ { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18191, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18184, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "4485:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18186, "indexExpression": { "argumentTypes": null, "id": 18185, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18170, "src": "4502:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4485:24:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18178, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18170, "src": "4444:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 18177, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 37753, "src": "4434:9:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 18179, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4434:17:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18175, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "4415:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18176, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "4415:18:48", "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": 18180, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4415:37:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18181, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toInt256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19731, "src": "4415:50:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$returns$_t_int256_$bound_to$_t_uint256_$", "typeString": "function (uint256) pure returns (int256)" } }, "id": 18182, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4415:52:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18183, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 19685, "src": "4415:69:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18187, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4415:95:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18188, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toUint256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19704, "src": "4415:109:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$returns$_t_uint256_$bound_to$_t_int256_$", "typeString": "function (int256) pure returns (uint256)" } }, "id": 18189, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4415:111:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 18190, "name": "pointsMultiplier", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18053, "src": "4529:16:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4415:130:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18174, "id": 18192, "nodeType": "Return", "src": "4408:137:48" } ] }, "documentation": { "id": 18168, "nodeType": "StructuredDocumentation", "src": "3884:435:48", "text": " prev. accumulativeDividendOf\n @notice View the amount of funds that an address has earned in total.\n @dev accumulativeFundsOf(_owner) = withdrawableFundsOf(_owner) + withdrawnFundsOf(_owner)\n = (pointsPerShare * balanceOf(_owner) + pointsCorrection[_owner]) / pointsMultiplier\n @param _owner The address of a token holder.\n @return The amount of funds that `_owner` has earned in total." }, "functionSelector": "4e97415f", "id": 18194, "implemented": true, "kind": "function", "modifiers": [], "name": "accumulativeFundsOf", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 18171, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18170, "mutability": "mutable", "name": "_owner", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18194, "src": "4353:14:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18169, "name": "address", "nodeType": "ElementaryTypeName", "src": "4353:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "4352:16:48" }, "returnParameters": { "id": 18174, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18173, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18194, "src": "4389:7:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18172, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4389:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4388:9:48" }, "scope": 18314, "src": "4324:228:48", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "baseFunctions": [ 37974 ], "body": { "id": 18244, "nodeType": "Block", "src": "4932:274:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18208, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18197, "src": "4958:4:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18209, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18199, "src": "4964:2:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18210, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18201, "src": "4968:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18205, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "4942:5:48", "typeDescriptions": { "typeIdentifier": "t_super$_FundsDistributionToken_$18314", "typeString": "contract super FundsDistributionToken" } }, "id": 18207, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_transfer", "nodeType": "MemberAccess", "referencedDeclaration": 37974, "src": "4942:15:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 18211, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4942:32:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18212, "nodeType": "ExpressionStatement", "src": "4942:32:48" }, { "assignments": [ 18214 ], "declarations": [ { "constant": false, "id": 18214, "mutability": "mutable", "name": "_magCorrection", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18244, "src": "4985:21:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 18213, "name": "int256", "nodeType": "ElementaryTypeName", "src": "4985:6:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 18221, "initialValue": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18217, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18201, "src": "5028:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18215, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "5009:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18216, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "5009:18:48", "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": 18218, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5009:25:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18219, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toInt256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19731, "src": "5009:38:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$returns$_t_int256_$bound_to$_t_uint256_$", "typeString": "function (uint256) pure returns (int256)" } }, "id": 18220, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5009:40:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "4985:64:48" }, { "expression": { "argumentTypes": null, "id": 18231, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18222, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5059:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18224, "indexExpression": { "argumentTypes": null, "id": 18223, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18197, "src": "5076:4:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5059:22:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18229, "name": "_magCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18214, "src": "5111:14:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18225, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5084:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18227, "indexExpression": { "argumentTypes": null, "id": 18226, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18197, "src": "5101:4:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5084:22:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18228, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 19685, "src": "5084:26:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18230, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5084:42:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "5059:67:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18232, "nodeType": "ExpressionStatement", "src": "5059:67:48" }, { "expression": { "argumentTypes": null, "id": 18242, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18233, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5136:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18235, "indexExpression": { "argumentTypes": null, "id": 18234, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18199, "src": "5153:2:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5136:20:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18240, "name": "_magCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18214, "src": "5184:14:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18236, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5159:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18238, "indexExpression": { "argumentTypes": null, "id": 18237, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18199, "src": "5176:2:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5159:20:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18239, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 19647, "src": "5159:24:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18241, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5159:40:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "5136:63:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18243, "nodeType": "ExpressionStatement", "src": "5136:63:48" } ] }, "documentation": { "id": 18195, "nodeType": "StructuredDocumentation", "src": "4558:291:48", "text": " @dev Internal function that transfer tokens from one address to another.\n Update pointsCorrection to keep funds unchanged.\n @param from The address to transfer from.\n @param to The address to transfer to.\n @param value The amount to be transferred." }, "id": 18245, "implemented": true, "kind": "function", "modifiers": [], "name": "_transfer", "nodeType": "FunctionDefinition", "overrides": { "id": 18203, "nodeType": "OverrideSpecifier", "overrides": [], "src": "4923:8:48" }, "parameters": { "id": 18202, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18197, "mutability": "mutable", "name": "from", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18245, "src": "4873:12:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18196, "name": "address", "nodeType": "ElementaryTypeName", "src": "4873:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18199, "mutability": "mutable", "name": "to", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18245, "src": "4887:10:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18198, "name": "address", "nodeType": "ElementaryTypeName", "src": "4887:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18201, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18245, "src": "4899:13:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18200, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4899:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4872:41:48" }, "returnParameters": { "id": 18204, "nodeType": "ParameterList", "parameters": [], "src": "4932:0:48" }, "scope": 18314, "src": "4854:352:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "baseFunctions": [ 38029 ], "body": { "id": 18278, "nodeType": "Block", "src": "5537:171:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18257, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18248, "src": "5559:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18258, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18250, "src": "5568:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18254, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "5547:5:48", "typeDescriptions": { "typeIdentifier": "t_super$_FundsDistributionToken_$18314", "typeString": "contract super FundsDistributionToken" } }, "id": 18256, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_mint", "nodeType": "MemberAccess", "referencedDeclaration": 38029, "src": "5547:11:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 18259, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5547:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18260, "nodeType": "ExpressionStatement", "src": "5547:27:48" }, { "expression": { "argumentTypes": null, "id": 18276, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18261, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5585:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18263, "indexExpression": { "argumentTypes": null, "id": 18262, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18248, "src": "5602:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5585:25:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18270, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18250, "src": "5677:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18268, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "5658:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18269, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "5658:18:48", "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": 18271, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5658:25:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 18272, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "5657:27:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18273, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toInt256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19731, "src": "5657:40:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$returns$_t_int256_$bound_to$_t_uint256_$", "typeString": "function (uint256) pure returns (int256)" } }, "id": 18274, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5657:42:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18264, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5613:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18266, "indexExpression": { "argumentTypes": null, "id": 18265, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18248, "src": "5630:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5613:25:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18267, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 19647, "src": "5613:42:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18275, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5613:88:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "5585:116:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18277, "nodeType": "ExpressionStatement", "src": "5585:116:48" } ] }, "documentation": { "id": 18246, "nodeType": "StructuredDocumentation", "src": "5212:255:48", "text": " @dev Internal function that mints tokens to an account.\n Update pointsCorrection to keep funds unchanged.\n @param account The account that will receive the created tokens.\n @param value The amount that will be created." }, "id": 18279, "implemented": true, "kind": "function", "modifiers": [], "name": "_mint", "nodeType": "FunctionDefinition", "overrides": { "id": 18252, "nodeType": "OverrideSpecifier", "overrides": [], "src": "5528:8:48" }, "parameters": { "id": 18251, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18248, "mutability": "mutable", "name": "account", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18279, "src": "5487:15:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18247, "name": "address", "nodeType": "ElementaryTypeName", "src": "5487:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18250, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18279, "src": "5504:13:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18249, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5504:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5486:32:48" }, "returnParameters": { "id": 18253, "nodeType": "ParameterList", "parameters": [], "src": "5537:0:48" }, "scope": 18314, "src": "5472:236:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "baseFunctions": [ 38085 ], "body": { "id": 18312, "nodeType": "Block", "src": "6048:171:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18291, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18282, "src": "6070:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18292, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18284, "src": "6079:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18288, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "6058:5:48", "typeDescriptions": { "typeIdentifier": "t_super$_FundsDistributionToken_$18314", "typeString": "contract super FundsDistributionToken" } }, "id": 18290, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_burn", "nodeType": "MemberAccess", "referencedDeclaration": 38085, "src": "6058:11:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 18293, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6058:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18294, "nodeType": "ExpressionStatement", "src": "6058:27:48" }, { "expression": { "argumentTypes": null, "id": 18310, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18295, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "6096:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18297, "indexExpression": { "argumentTypes": null, "id": 18296, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18282, "src": "6113:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "6096:25:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18304, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18284, "src": "6188:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18302, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "6169:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18303, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "6169:18:48", "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": 18305, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6169:25:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 18306, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "6168:27:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18307, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toInt256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19731, "src": "6168:40:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$returns$_t_int256_$bound_to$_t_uint256_$", "typeString": "function (uint256) pure returns (int256)" } }, "id": 18308, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6168:42:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18298, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "6124:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18300, "indexExpression": { "argumentTypes": null, "id": 18299, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18282, "src": "6141:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "6124:25:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18301, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 19685, "src": "6124:42:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18309, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6124:88:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "6096:116:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18311, "nodeType": "ExpressionStatement", "src": "6096:116:48" } ] }, "documentation": { "id": 18280, "nodeType": "StructuredDocumentation", "src": "5714:264:48", "text": " @dev Internal function that burns an amount of the token of a given account.\n Update pointsCorrection to keep funds unchanged.\n @param account The account whose tokens will be burnt.\n @param value The amount that will be burnt." }, "id": 18313, "implemented": true, "kind": "function", "modifiers": [], "name": "_burn", "nodeType": "FunctionDefinition", "overrides": { "id": 18286, "nodeType": "OverrideSpecifier", "overrides": [], "src": "6039:8:48" }, "parameters": { "id": 18285, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18282, "mutability": "mutable", "name": "account", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18313, "src": "5998:15:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18281, "name": "address", "nodeType": "ElementaryTypeName", "src": "5998:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18284, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18313, "src": "6015:13:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18283, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6015:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5997:32:48" }, "returnParameters": { "id": 18287, "nodeType": "ParameterList", "parameters": [], "src": "6048:0:48" }, "scope": 18314, "src": "5983:236:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" } ], "scope": 18315, "src": "952:5269:48" } ], "src": "41:6181:48" }, "legacyAST": { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/FundsDistributionToken.sol", "exportedSymbols": { "FundsDistributionToken": [ 18314 ] }, "id": 18315, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 18029, "literals": [ "solidity", "^", "0.6", ".11" ], "nodeType": "PragmaDirective", "src": "41:24:48" }, { "absolutePath": "@openzeppelin/contracts-ethereum-package/contracts/token/ERC20/ERC20.sol", "file": "@openzeppelin/contracts-ethereum-package/contracts/token/ERC20/ERC20.sol", "id": 18030, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 38158, "src": "67:82:48", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol", "file": "@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol", "id": 18031, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 37624, "src": "150:78:48", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathUint.sol", "file": "./math/SafeMathUint.sol", "id": 18032, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 19733, "src": "230:33:48", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathInt.sol", "file": "./math/SafeMathInt.sol", "id": 18033, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 19706, "src": "264:32:48", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/IFundsDistributionToken.sol", "file": "./IFundsDistributionToken.sol", "id": 18034, "nodeType": "ImportDirective", "scope": 18315, "sourceUnit": 18344, "src": "298:39:48", "symbolAliases": [], "unitAlias": "" }, { "abstract": true, "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 18036, "name": "IFundsDistributionToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 18343, "src": "996:23:48", "typeDescriptions": { "typeIdentifier": "t_contract$_IFundsDistributionToken_$18343", "typeString": "contract IFundsDistributionToken" } }, "id": 18037, "nodeType": "InheritanceSpecifier", "src": "996:23:48" }, { "arguments": null, "baseName": { "contractScope": null, "id": 18038, "name": "ERC20UpgradeSafe", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 38157, "src": "1021:16:48", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20UpgradeSafe_$38157", "typeString": "contract ERC20UpgradeSafe" } }, "id": 18039, "nodeType": "InheritanceSpecifier", "src": "1021:16:48" } ], "contractDependencies": [ 18343, 37222, 37297, 38157, 38235 ], "contractKind": "contract", "documentation": { "id": 18035, "nodeType": "StructuredDocumentation", "src": "340:611:48", "text": " @title FundsDistributionToken\n @author Johannes Escherich\n @author Roger-Wu\n @author Johannes Pfeffer\n @author Tom Lam\n @dev A mintable token that can represent claims on cash flow of arbitrary assets such as dividends, loan repayments,\n fee or revenue shares among large numbers of token holders. Anyone can deposit funds, token holders can withdraw\n their claims.\n FundsDistributionToken (FDT) implements the accounting logic. FDT-Extension contracts implement methods for depositing and\n withdrawing funds in Ether or according to a token standard such as ERC20, ERC223, ERC777." }, "fullyImplemented": false, "id": 18314, "linearizedBaseContracts": [ 18314, 38157, 38235, 37222, 37297, 18343 ], "name": "FundsDistributionToken", "nodeType": "ContractDefinition", "nodes": [ { "id": 18042, "libraryName": { "contractScope": null, "id": 18040, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 37623, "src": "1051:8:48", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$37623", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "1045:27:48", "typeName": { "id": 18041, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1064:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "id": 18045, "libraryName": { "contractScope": null, "id": 18043, "name": "SafeMathUint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 19732, "src": "1083:12:48", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMathUint_$19732", "typeString": "library SafeMathUint" } }, "nodeType": "UsingForDirective", "src": "1077:31:48", "typeName": { "id": 18044, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1100:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "id": 18048, "libraryName": { "contractScope": null, "id": 18046, "name": "SafeMathInt", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 19705, "src": "1119:11:48", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMathInt_$19705", "typeString": "library SafeMathInt" } }, "nodeType": "UsingForDirective", "src": "1113:29:48", "typeName": { "id": 18047, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1135:6:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } }, { "constant": true, "id": 18053, "mutability": "constant", "name": "pointsMultiplier", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18314, "src": "1237:51:48", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18049, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1237:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" }, "id": 18052, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 18050, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1282:1:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "313238", "id": 18051, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1285:3:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "1282:6:48", "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" } }, "visibility": "internal" }, { "constant": false, "id": 18055, "mutability": "mutable", "name": "pointsPerShare", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18314, "src": "1294:31:48", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18054, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1294:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18059, "mutability": "mutable", "name": "pointsCorrection", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18314, "src": "1332:52:48", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" }, "typeName": { "id": 18058, "keyType": { "id": 18056, "name": "address", "nodeType": "ElementaryTypeName", "src": "1340:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1332:26:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" }, "valueType": { "id": 18057, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1351:6:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18063, "mutability": "mutable", "name": "withdrawnFunds", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18314, "src": "1390:51:48", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 18062, "keyType": { "id": 18060, "name": "address", "nodeType": "ElementaryTypeName", "src": "1398:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "1390:27:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 18061, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1409:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "internal" }, { "body": { "id": 18101, "nodeType": "Block", "src": "2277:316:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18073, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 18070, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 37739, "src": "2295:11:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 18071, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2295:13:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 18072, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2311:1:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2295:17:48", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "46756e6473446973747269627574696f6e546f6b656e2e5f6469737472696275746546756e64733a20535550504c595f49535f5a45524f", "id": 18074, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2314:57:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_732c0f910adc73e57b8b09334c347d82d82c5b7514bc2a57d7d70a6cc01ea97d", "typeString": "literal_string \"FundsDistributionToken._distributeFunds: SUPPLY_IS_ZERO\"" }, "value": "FundsDistributionToken._distributeFunds: SUPPLY_IS_ZERO" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_732c0f910adc73e57b8b09334c347d82d82c5b7514bc2a57d7d70a6cc01ea97d", "typeString": "literal_string \"FundsDistributionToken._distributeFunds: SUPPLY_IS_ZERO\"" } ], "id": 18069, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2287:7:48", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 18075, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2287:85:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18076, "nodeType": "ExpressionStatement", "src": "2287:85:48" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18079, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 18077, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18066, "src": "2387:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 18078, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2395:1:48", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2387:9:48", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 18100, "nodeType": "IfStatement", "src": "2383:204:48", "trueBody": { "id": 18099, "nodeType": "Block", "src": "2398:189:48", "statements": [ { "expression": { "argumentTypes": null, "id": 18091, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 18080, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "2412:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18089, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18085, "name": "pointsMultiplier", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18053, "src": "2475:16:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18083, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18066, "src": "2465:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18084, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "2465:9:48", "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": 18086, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2465:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 18087, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 37739, "src": "2495:11:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 18088, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2495:13:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2465:43:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18081, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "2429:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18082, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 37456, "src": "2429:18:48", "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": 18090, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2429:93:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2412:110:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18092, "nodeType": "ExpressionStatement", "src": "2412:110:48" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18094, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -15, "src": "2558:3:48", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18095, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2558:10:48", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 18096, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18066, "src": "2570:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 18093, "name": "FundsDistributed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18335, "src": "2541:16:48", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 18097, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2541:35:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18098, "nodeType": "EmitStatement", "src": "2536:40:48" } ] } } ] }, "documentation": { "id": 18064, "nodeType": "StructuredDocumentation", "src": "1448:774:48", "text": " prev. distributeDividends\n @notice Distributes funds to token holders.\n @dev It reverts if the total supply of tokens is 0.\n It emits the `FundsDistributed` event if the amount of received ether is greater than 0.\n About undistributed funds:\n In each distribution, there is a small amount of funds which does not get distributed,\n which is `(msg.value * pointsMultiplier) % totalSupply()`.\n With a well-chosen `pointsMultiplier`, the amount funds that are not getting distributed\n in a distribution can be less than 1 (base unit).\n We can actually keep track of the undistributed ether in a distribution\n and try to distribute it in the next distribution ....... todo implement" }, "id": 18102, "implemented": true, "kind": "function", "modifiers": [], "name": "_distributeFunds", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 18067, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18066, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18102, "src": "2253:13:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18065, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2253:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2252:15:48" }, "returnParameters": { "id": 18068, "nodeType": "ParameterList", "parameters": [], "src": "2277:0:48" }, "scope": 18314, "src": "2227:366:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "body": { "id": 18134, "nodeType": "Block", "src": "2856:261:48", "statements": [ { "assignments": [ 18111 ], "declarations": [ { "constant": false, "id": 18111, "mutability": "mutable", "name": "_withdrawableDividend", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18134, "src": "2866:29:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18110, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2866:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 18115, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18113, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18105, "src": "2918:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 18112, "name": "withdrawableFundsOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18154, "src": "2898:19:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 18114, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2898:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2866:59:48" }, { "expression": { "argumentTypes": null, "id": 18125, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18116, "name": "withdrawnFunds", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18063, "src": "2936:14:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 18118, "indexExpression": { "argumentTypes": null, "id": 18117, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18105, "src": "2951:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2936:22:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18123, "name": "_withdrawableDividend", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18111, "src": "2988:21:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18119, "name": "withdrawnFunds", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18063, "src": "2961:14:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 18121, "indexExpression": { "argumentTypes": null, "id": 18120, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18105, "src": "2976:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2961:22:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18122, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 37456, "src": "2961:26:48", "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": 18124, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2961:49:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2936:74:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18126, "nodeType": "ExpressionStatement", "src": "2936:74:48" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18128, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18105, "src": "3041:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18129, "name": "_withdrawableDividend", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18111, "src": "3049:21:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 18127, "name": "FundsWithdrawn", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18342, "src": "3026:14:48", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 18130, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3026:45:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18131, "nodeType": "EmitStatement", "src": "3021:50:48" }, { "expression": { "argumentTypes": null, "id": 18132, "name": "_withdrawableDividend", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18111, "src": "3089:21:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18109, "id": 18133, "nodeType": "Return", "src": "3082:28:48" } ] }, "documentation": { "id": 18103, "nodeType": "StructuredDocumentation", "src": "2599:180:48", "text": " prev. withdrawDividend\n @notice Prepares funds withdrawal\n @dev It emits a `FundsWithdrawn` event if the amount of withdrawn ether is greater than 0." }, "id": 18135, "implemented": true, "kind": "function", "modifiers": [], "name": "_prepareWithdrawFor", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 18106, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18105, "mutability": "mutable", "name": "_owner", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18135, "src": "2813:14:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18104, "name": "address", "nodeType": "ElementaryTypeName", "src": "2813:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2812:16:48" }, "returnParameters": { "id": 18109, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18108, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18135, "src": "2847:7:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18107, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2847:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2846:9:48" }, "scope": 18314, "src": "2784:333:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "baseFunctions": [ 18324 ], "body": { "id": 18153, "nodeType": "Block", "src": "3440:79:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18148, "name": "withdrawnFunds", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18063, "src": "3489:14:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 18150, "indexExpression": { "argumentTypes": null, "id": 18149, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18138, "src": "3504:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3489:22:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18145, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18138, "src": "3477:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 18144, "name": "accumulativeFundsOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18194, "src": "3457:19:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 18146, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3457:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18147, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 37473, "src": "3457:31:48", "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": 18151, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3457:55:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18143, "id": 18152, "nodeType": "Return", "src": "3450:62:48" } ] }, "documentation": { "id": 18136, "nodeType": "StructuredDocumentation", "src": "3123:229:48", "text": " prev. withdrawableDividendOf\n @notice View the amount of funds that an address can withdraw.\n @param _owner The address of a token holder.\n @return The amount funds that `_owner` can withdraw." }, "functionSelector": "443bb293", "id": 18154, "implemented": true, "kind": "function", "modifiers": [], "name": "withdrawableFundsOf", "nodeType": "FunctionDefinition", "overrides": { "id": 18140, "nodeType": "OverrideSpecifier", "overrides": [], "src": "3414:8:48" }, "parameters": { "id": 18139, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18138, "mutability": "mutable", "name": "_owner", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18154, "src": "3386:14:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18137, "name": "address", "nodeType": "ElementaryTypeName", "src": "3386:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "3385:16:48" }, "returnParameters": { "id": 18143, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18142, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18154, "src": "3431:7:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18141, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3431:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3430:9:48" }, "scope": 18314, "src": "3357:162:48", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "body": { "id": 18166, "nodeType": "Block", "src": "3832:46:48", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18162, "name": "withdrawnFunds", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18063, "src": "3849:14:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 18164, "indexExpression": { "argumentTypes": null, "id": 18163, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18157, "src": "3864:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3849:22:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18161, "id": 18165, "nodeType": "Return", "src": "3842:29:48" } ] }, "documentation": { "id": 18155, "nodeType": "StructuredDocumentation", "src": "3525:231:48", "text": " prev. withdrawnDividendOf\n @notice View the amount of funds that an address has withdrawn.\n @param _owner The address of a token holder.\n @return The amount of funds that `_owner` has withdrawn." }, "functionSelector": "0041c52c", "id": 18167, "implemented": true, "kind": "function", "modifiers": [], "name": "withdrawnFundsOf", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 18158, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18157, "mutability": "mutable", "name": "_owner", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18167, "src": "3787:14:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18156, "name": "address", "nodeType": "ElementaryTypeName", "src": "3787:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "3786:16:48" }, "returnParameters": { "id": 18161, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18160, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18167, "src": "3823:7:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18159, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3823:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3822:9:48" }, "scope": 18314, "src": "3761:117:48", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "body": { "id": 18193, "nodeType": "Block", "src": "4398:154:48", "statements": [ { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18191, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18184, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "4485:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18186, "indexExpression": { "argumentTypes": null, "id": 18185, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18170, "src": "4502:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4485:24:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18178, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18170, "src": "4444:6:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 18177, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 37753, "src": "4434:9:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 18179, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4434:17:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18175, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "4415:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18176, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "4415:18:48", "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": 18180, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4415:37:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18181, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toInt256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19731, "src": "4415:50:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$returns$_t_int256_$bound_to$_t_uint256_$", "typeString": "function (uint256) pure returns (int256)" } }, "id": 18182, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4415:52:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18183, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 19685, "src": "4415:69:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18187, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4415:95:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18188, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toUint256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19704, "src": "4415:109:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$returns$_t_uint256_$bound_to$_t_int256_$", "typeString": "function (int256) pure returns (uint256)" } }, "id": 18189, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4415:111:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 18190, "name": "pointsMultiplier", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18053, "src": "4529:16:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4415:130:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18174, "id": 18192, "nodeType": "Return", "src": "4408:137:48" } ] }, "documentation": { "id": 18168, "nodeType": "StructuredDocumentation", "src": "3884:435:48", "text": " prev. accumulativeDividendOf\n @notice View the amount of funds that an address has earned in total.\n @dev accumulativeFundsOf(_owner) = withdrawableFundsOf(_owner) + withdrawnFundsOf(_owner)\n = (pointsPerShare * balanceOf(_owner) + pointsCorrection[_owner]) / pointsMultiplier\n @param _owner The address of a token holder.\n @return The amount of funds that `_owner` has earned in total." }, "functionSelector": "4e97415f", "id": 18194, "implemented": true, "kind": "function", "modifiers": [], "name": "accumulativeFundsOf", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 18171, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18170, "mutability": "mutable", "name": "_owner", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18194, "src": "4353:14:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18169, "name": "address", "nodeType": "ElementaryTypeName", "src": "4353:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "4352:16:48" }, "returnParameters": { "id": 18174, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18173, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18194, "src": "4389:7:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18172, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4389:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4388:9:48" }, "scope": 18314, "src": "4324:228:48", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "baseFunctions": [ 37974 ], "body": { "id": 18244, "nodeType": "Block", "src": "4932:274:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18208, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18197, "src": "4958:4:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18209, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18199, "src": "4964:2:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18210, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18201, "src": "4968:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18205, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "4942:5:48", "typeDescriptions": { "typeIdentifier": "t_super$_FundsDistributionToken_$18314", "typeString": "contract super FundsDistributionToken" } }, "id": 18207, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_transfer", "nodeType": "MemberAccess", "referencedDeclaration": 37974, "src": "4942:15:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 18211, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4942:32:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18212, "nodeType": "ExpressionStatement", "src": "4942:32:48" }, { "assignments": [ 18214 ], "declarations": [ { "constant": false, "id": 18214, "mutability": "mutable", "name": "_magCorrection", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18244, "src": "4985:21:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 18213, "name": "int256", "nodeType": "ElementaryTypeName", "src": "4985:6:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 18221, "initialValue": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18217, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18201, "src": "5028:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18215, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "5009:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18216, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "5009:18:48", "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": 18218, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5009:25:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18219, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toInt256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19731, "src": "5009:38:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$returns$_t_int256_$bound_to$_t_uint256_$", "typeString": "function (uint256) pure returns (int256)" } }, "id": 18220, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5009:40:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "4985:64:48" }, { "expression": { "argumentTypes": null, "id": 18231, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18222, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5059:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18224, "indexExpression": { "argumentTypes": null, "id": 18223, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18197, "src": "5076:4:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5059:22:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18229, "name": "_magCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18214, "src": "5111:14:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18225, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5084:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18227, "indexExpression": { "argumentTypes": null, "id": 18226, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18197, "src": "5101:4:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5084:22:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18228, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 19685, "src": "5084:26:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18230, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5084:42:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "5059:67:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18232, "nodeType": "ExpressionStatement", "src": "5059:67:48" }, { "expression": { "argumentTypes": null, "id": 18242, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18233, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5136:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18235, "indexExpression": { "argumentTypes": null, "id": 18234, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18199, "src": "5153:2:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5136:20:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18240, "name": "_magCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18214, "src": "5184:14:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18236, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5159:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18238, "indexExpression": { "argumentTypes": null, "id": 18237, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18199, "src": "5176:2:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5159:20:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18239, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 19647, "src": "5159:24:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18241, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5159:40:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "5136:63:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18243, "nodeType": "ExpressionStatement", "src": "5136:63:48" } ] }, "documentation": { "id": 18195, "nodeType": "StructuredDocumentation", "src": "4558:291:48", "text": " @dev Internal function that transfer tokens from one address to another.\n Update pointsCorrection to keep funds unchanged.\n @param from The address to transfer from.\n @param to The address to transfer to.\n @param value The amount to be transferred." }, "id": 18245, "implemented": true, "kind": "function", "modifiers": [], "name": "_transfer", "nodeType": "FunctionDefinition", "overrides": { "id": 18203, "nodeType": "OverrideSpecifier", "overrides": [], "src": "4923:8:48" }, "parameters": { "id": 18202, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18197, "mutability": "mutable", "name": "from", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18245, "src": "4873:12:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18196, "name": "address", "nodeType": "ElementaryTypeName", "src": "4873:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18199, "mutability": "mutable", "name": "to", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18245, "src": "4887:10:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18198, "name": "address", "nodeType": "ElementaryTypeName", "src": "4887:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18201, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18245, "src": "4899:13:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18200, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4899:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4872:41:48" }, "returnParameters": { "id": 18204, "nodeType": "ParameterList", "parameters": [], "src": "4932:0:48" }, "scope": 18314, "src": "4854:352:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "baseFunctions": [ 38029 ], "body": { "id": 18278, "nodeType": "Block", "src": "5537:171:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18257, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18248, "src": "5559:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18258, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18250, "src": "5568:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18254, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "5547:5:48", "typeDescriptions": { "typeIdentifier": "t_super$_FundsDistributionToken_$18314", "typeString": "contract super FundsDistributionToken" } }, "id": 18256, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_mint", "nodeType": "MemberAccess", "referencedDeclaration": 38029, "src": "5547:11:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 18259, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5547:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18260, "nodeType": "ExpressionStatement", "src": "5547:27:48" }, { "expression": { "argumentTypes": null, "id": 18276, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18261, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5585:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18263, "indexExpression": { "argumentTypes": null, "id": 18262, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18248, "src": "5602:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5585:25:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18270, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18250, "src": "5677:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18268, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "5658:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18269, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "5658:18:48", "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": 18271, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5658:25:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 18272, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "5657:27:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18273, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toInt256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19731, "src": "5657:40:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$returns$_t_int256_$bound_to$_t_uint256_$", "typeString": "function (uint256) pure returns (int256)" } }, "id": 18274, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5657:42:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18264, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "5613:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18266, "indexExpression": { "argumentTypes": null, "id": 18265, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18248, "src": "5630:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5613:25:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18267, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 19647, "src": "5613:42:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18275, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5613:88:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "5585:116:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18277, "nodeType": "ExpressionStatement", "src": "5585:116:48" } ] }, "documentation": { "id": 18246, "nodeType": "StructuredDocumentation", "src": "5212:255:48", "text": " @dev Internal function that mints tokens to an account.\n Update pointsCorrection to keep funds unchanged.\n @param account The account that will receive the created tokens.\n @param value The amount that will be created." }, "id": 18279, "implemented": true, "kind": "function", "modifiers": [], "name": "_mint", "nodeType": "FunctionDefinition", "overrides": { "id": 18252, "nodeType": "OverrideSpecifier", "overrides": [], "src": "5528:8:48" }, "parameters": { "id": 18251, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18248, "mutability": "mutable", "name": "account", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18279, "src": "5487:15:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18247, "name": "address", "nodeType": "ElementaryTypeName", "src": "5487:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18250, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18279, "src": "5504:13:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18249, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5504:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5486:32:48" }, "returnParameters": { "id": 18253, "nodeType": "ParameterList", "parameters": [], "src": "5537:0:48" }, "scope": 18314, "src": "5472:236:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "baseFunctions": [ 38085 ], "body": { "id": 18312, "nodeType": "Block", "src": "6048:171:48", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18291, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18282, "src": "6070:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 18292, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18284, "src": "6079:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18288, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "6058:5:48", "typeDescriptions": { "typeIdentifier": "t_super$_FundsDistributionToken_$18314", "typeString": "contract super FundsDistributionToken" } }, "id": 18290, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_burn", "nodeType": "MemberAccess", "referencedDeclaration": 38085, "src": "6058:11:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 18293, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6058:27:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18294, "nodeType": "ExpressionStatement", "src": "6058:27:48" }, { "expression": { "argumentTypes": null, "id": 18310, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18295, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "6096:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18297, "indexExpression": { "argumentTypes": null, "id": 18296, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18282, "src": "6113:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "6096:25:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 18304, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18284, "src": "6188:5:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18302, "name": "pointsPerShare", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18055, "src": "6169:14:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18303, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 37536, "src": "6169:18:48", "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": 18305, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6169:25:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 18306, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "6168:27:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18307, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "toInt256Safe", "nodeType": "MemberAccess", "referencedDeclaration": 19731, "src": "6168:40:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$returns$_t_int256_$bound_to$_t_uint256_$", "typeString": "function (uint256) pure returns (int256)" } }, "id": 18308, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6168:42:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18298, "name": "pointsCorrection", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18059, "src": "6124:16:48", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_int256_$", "typeString": "mapping(address => int256)" } }, "id": 18300, "indexExpression": { "argumentTypes": null, "id": 18299, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18282, "src": "6141:7:48", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "6124:25:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18301, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 19685, "src": "6124:42:48", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_int256_$_t_int256_$returns$_t_int256_$bound_to$_t_int256_$", "typeString": "function (int256,int256) pure returns (int256)" } }, "id": 18309, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6124:88:48", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "6096:116:48", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 18311, "nodeType": "ExpressionStatement", "src": "6096:116:48" } ] }, "documentation": { "id": 18280, "nodeType": "StructuredDocumentation", "src": "5714:264:48", "text": " @dev Internal function that burns an amount of the token of a given account.\n Update pointsCorrection to keep funds unchanged.\n @param account The account whose tokens will be burnt.\n @param value The amount that will be burnt." }, "id": 18313, "implemented": true, "kind": "function", "modifiers": [], "name": "_burn", "nodeType": "FunctionDefinition", "overrides": { "id": 18286, "nodeType": "OverrideSpecifier", "overrides": [], "src": "6039:8:48" }, "parameters": { "id": 18285, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18282, "mutability": "mutable", "name": "account", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18313, "src": "5998:15:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18281, "name": "address", "nodeType": "ElementaryTypeName", "src": "5998:7:48", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18284, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 18313, "src": "6015:13:48", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18283, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6015:7:48", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5997:32:48" }, "returnParameters": { "id": 18287, "nodeType": "ParameterList", "parameters": [], "src": "6048:0:48" }, "scope": 18314, "src": "5983:236:48", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" } ], "scope": 18315, "src": "952:5269:48" } ], "src": "41:6181:48" }, "compiler": { "name": "solc", "version": "0.6.11+commit.5ef660b1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.2.0", "updatedAt": "2020-08-12T09:47:18.077Z", "devdoc": { "author": "Johannes EscherichRoger-WuJohannes PfefferTom Lam", "details": "A mintable token that can represent claims on cash flow of arbitrary assets such as dividends, loan repayments, fee or revenue shares among large numbers of token holders. Anyone can deposit funds, token holders can withdraw their claims. FundsDistributionToken (FDT) implements the accounting logic. FDT-Extension contracts implement methods for depositing and withdrawing funds in Ether or according to a token standard such as ERC20, ERC223, ERC777.", "kind": "dev", "methods": { "accumulativeFundsOf(address)": { "details": "accumulativeFundsOf(_owner) = withdrawableFundsOf(_owner) + withdrawnFundsOf(_owner) = (pointsPerShare * balanceOf(_owner) + pointsCorrection[_owner]) / pointsMultiplier", "params": { "_owner": "The address of a token holder." }, "returns": { "_0": "The amount of funds that `_owner` has earned in total." } }, "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. This is the value {ERC20} uses, unless {_setupDecimals} is called. 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." }, "name()": { "details": "Returns the name of the token." }, "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`." }, "transferFrom(address,address,uint256)": { "details": "See {IERC20-transferFrom}. Emits an {Approval} event indicating the updated allowance. This is not required by the EIP. See the note at the beginning of {ERC20}; Requirements: - `sender` and `recipient` cannot be the zero address. - `sender` must have a balance of at least `amount`. - the caller must have allowance for ``sender``'s tokens of at least `amount`." }, "withdrawFunds()": { "details": "Withdraws all available funds for a FundsDistributionToken holder." }, "withdrawableFundsOf(address)": { "params": { "_owner": "The address of a token holder." }, "returns": { "_0": "The amount funds that `_owner` can withdraw." } }, "withdrawnFundsOf(address)": { "params": { "_owner": "The address of a token holder." }, "returns": { "_0": "The amount of funds that `_owner` has withdrawn." } } }, "title": "FundsDistributionToken", "version": 1 }, "userdoc": { "kind": "user", "methods": { "accumulativeFundsOf(address)": { "notice": "prev. accumulativeDividendOfView the amount of funds that an address has earned in total." }, "withdrawableFundsOf(address)": { "notice": "prev. withdrawableDividendOfView the amount of funds that an address can withdraw." }, "withdrawnFundsOf(address)": { "notice": "prev. withdrawnDividendOfView the amount of funds that an address has withdrawn." } }, "version": 1 } }