ethers-rs/ethers-solc/test-data/ast/ast-erc4626.json

{"absolutePath":"/home/oliver/Projects/github/rari-capital/solmate/src/mixins/ERC4626.sol","id":2954,"exportedSymbols":{"ERC20":[31408],"ERC4626":[2953],"FixedPointMathLib":[32321],"SafeTransferLib":[32785]},"nodeType":"SourceUnit","src":"42:6474:4","nodes":[{"id":2434,"nodeType":"PragmaDirective","src":"42:24:4","literals":["solidity",">=","0.8",".0"]},{"id":2436,"nodeType":"ImportDirective","src":"68:42:4","absolutePath":"/home/oliver/Projects/github/rari-capital/solmate/src/tokens/ERC20.sol","file":"../tokens/ERC20.sol","nameLocation":"-1:-1:-1","scope":2954,"sourceUnit":31409,"symbolAliases":[{"foreign":{"id":2435,"name":"ERC20","nodeType":"Identifier","overloadedDeclarations":[],"src":"76:5:4","typeDescriptions":{}},"nameLocation":"-1:-1:-1"}],"unitAlias":""},{"id":2438,"nodeType":"ImportDirective","src":"111:61:4","absolutePath":"/home/oliver/Projects/github/rari-capital/solmate/src/utils/SafeTransferLib.sol","file":"../utils/SafeTransferLib.sol","nameLocation":"-1:-1:-1","scope":2954,"sourceUnit":32786,"symbolAliases":[{"foreign":{"id":2437,"name":"SafeTransferLib","nodeType":"Identifier","overloadedDeclarations":[],"src":"119:15:4","typeDescriptions":{}},"nameLocation":"-1:-1:-1"}],"unitAlias":""},{"id":2440,"nodeType":"ImportDirective","src":"173:65:4","absolutePath":"/home/oliver/Projects/github/rari-capital/solmate/src/utils/FixedPointMathLib.sol","file":"../utils/FixedPointMathLib.sol","nameLocation":"-1:-1:-1","scope":2954,"sourceUnit":32322,"symbolAliases":[{"foreign":{"id":2439,"name":"FixedPointMathLib","nodeType":"Identifier","overloadedDeclarations":[],"src":"181:17:4","typeDescriptions":{}},"nameLocation":"-1:-1:-1"}],"unitAlias":""},{"id":2953,"nodeType":"ContractDefinition","src":"395:6120:4","nodes":[{"id":2447,"nodeType":"UsingForDirective","src":"436:32:4","libraryName":{"id":2444,"name":"SafeTransferLib","nodeType":"IdentifierPath","referencedDeclaration":32785,"src":"442:15:4"},"typeName":{"id":2446,"nodeType":"UserDefinedTypeName","pathNode":{"id":2445,"name":"ERC20","nodeType":"IdentifierPath","referencedDeclaration":31408,"src":"462:5:4"},"referencedDeclaration":31408,"src":"462:5:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}}},{"id":2450,"nodeType":"UsingForDirective","src":"473:36:4","libraryName":{"id":2448,"name":"FixedPointMathLib","nodeType":"IdentifierPath","referencedDeclaration":32321,"src":"479:17:4"},"typeName":{"id":2449,"name":"uint256","nodeType":"ElementaryTypeName","src":"501:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}},{"id":2460,"nodeType":"EventDefinition","src":"694:93:4","anonymous":false,"name":"Deposit","nameLocation":"700:7:4","parameters":{"id":2459,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2452,"indexed":true,"mutability":"mutable","name":"caller","nameLocation":"724:6:4","nodeType":"VariableDeclaration","scope":2460,"src":"708:22:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2451,"name":"address","nodeType":"ElementaryTypeName","src":"708:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"},{"constant":false,"id":2454,"indexed":true,"mutability":"mutable","name":"owner","nameLocation":"748:5:4","nodeType":"VariableDeclaration","scope":2460,"src":"732:21:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2453,"name":"address","nodeType":"ElementaryTypeName","src":"732:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"},{"constant":false,"id":2456,"indexed":false,"mutability":"mutable","name":"assets","nameLocation":"763:6:4","nodeType":"VariableDeclaration","scope":2460,"src":"755:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2455,"name":"uint256","nodeType":"ElementaryTypeName","src":"755:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":2458,"indexed":false,"mutability":"mutable","name":"shares","nameLocation":"779:6:4","nodeType":"VariableDeclaration","scope":2460,"src":"771:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2457,"name":"uint256","nodeType":"ElementaryTypeName","src":"771:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"707:79:4"}},{"id":2472,"nodeType":"EventDefinition","src":"793:166:4","anonymous":false,"name":"Withdraw","nameLocation":"799:8:4","parameters":{"id":2471,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2462,"indexed":true,"mutability":"mutable","name":"caller","nameLocation":"833:6:4","nodeType":"VariableDeclaration","scope":2472,"src":"817:22:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2461,"name":"address","nodeType":"ElementaryTypeName","src":"817:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"},{"constant":false,"id":2464,"indexed":true,"mutability":"mutable","name":"receiver","nameLocation":"865:8:4","nodeType":"VariableDeclaration","scope":2472,"src":"849:24:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2463,"name":"address","nodeType":"ElementaryTypeName","src":"849:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"},{"constant":false,"id":2466,"indexed":true,"mutability":"mutable","name":"owner","nameLocation":"899:5:4","nodeType":"VariableDeclaration","scope":2472,"src":"883:21:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2465,"name":"address","nodeType":"ElementaryTypeName","src":"883:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"},{"constant":false,"id":2468,"indexed":false,"mutability":"mutable","name":"assets","nameLocation":"922:6:4","nodeType":"VariableDeclaration","scope":2472,"src":"914:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2467,"name":"uint256","nodeType":"ElementaryTypeName","src":"914:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":2470,"indexed":false,"mutability":"mutable","name":"shares","nameLocation":"946:6:4","nodeType":"VariableDeclaration","scope":2472,"src":"938:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2469,"name":"uint256","nodeType":"ElementaryTypeName","src":"938:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"807:151:4"}},{"id":2475,"nodeType":"VariableDeclaration","src":"1146:28:4","constant":false,"functionSelector":"38d52e0f","mutability":"immutable","name":"asset","nameLocation":"1169:5:4","scope":2953,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"},"typeName":{"id":2474,"nodeType":"UserDefinedTypeName","pathNode":{"id":2473,"name":"ERC20","nodeType":"IdentifierPath","referencedDeclaration":31408,"src":"1146:5:4"},"referencedDeclaration":31408,"src":"1146:5:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"visibility":"public"},{"id":2497,"nodeType":"FunctionDefinition","src":"1181:172:4","body":{"id":2496,"nodeType":"Block","src":"1322:31:4","statements":[{"expression":{"id":2494,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":2492,"name":"asset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2475,"src":"1332:5:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":2493,"name":"_asset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2478,"src":"1340:6:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"src":"1332:14:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"id":2495,"nodeType":"ExpressionStatement","src":"1332:14:4"}]},"implemented":true,"kind":"constructor","modifiers":[{"arguments":[{"id":2485,"name":"_name","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2480,"src":"1287:5:4","typeDescriptions":{"typeIdentifier":"t_string_memory_ptr","typeString":"string memory"}},{"id":2486,"name":"_symbol","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2482,"src":"1294:7:4","typeDescriptions":{"typeIdentifier":"t_string_memory_ptr","typeString":"string memory"}},{"arguments":[],"expression":{"argumentTypes":[],"expression":{"id":2487,"name":"_asset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2478,"src":"1303:6:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"id":2488,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"decimals","nodeType":"MemberAccess","referencedDeclaration":31045,"src":"1303:15:4","typeDescriptions":{"typeIdentifier":"t_function_external_view$__$returns$_t_uint8_$","typeString":"function () view external returns (uint8)"}},"id":2489,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1303:17:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint8","typeString":"uint8"}}],"id":2490,"kind":"baseConstructorSpecifier","modifierName":{"id":2484,"name":"ERC20","nodeType":"IdentifierPath","referencedDeclaration":31408,"src":"1281:5:4"},"nodeType":"ModifierInvocation","src":"1281:40:4"}],"name":"","nameLocation":"-1:-1:-1","parameters":{"id":2483,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2478,"mutability":"mutable","name":"_asset","nameLocation":"1208:6:4","nodeType":"VariableDeclaration","scope":2497,"src":"1202:12:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"},"typeName":{"id":2477,"nodeType":"UserDefinedTypeName","pathNode":{"id":2476,"name":"ERC20","nodeType":"IdentifierPath","referencedDeclaration":31408,"src":"1202:5:4"},"referencedDeclaration":31408,"src":"1202:5:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"visibility":"internal"},{"constant":false,"id":2480,"mutability":"mutable","name":"_name","nameLocation":"1238:5:4","nodeType":"VariableDeclaration","scope":2497,"src":"1224:19:4","stateVariable":false,"storageLocation":"memory","typeDescriptions":{"typeIdentifier":"t_string_memory_ptr","typeString":"string"},"typeName":{"id":2479,"name":"string","nodeType":"ElementaryTypeName","src":"1224:6:4","typeDescriptions":{"typeIdentifier":"t_string_storage_ptr","typeString":"string"}},"visibility":"internal"},{"constant":false,"id":2482,"mutability":"mutable","name":"_symbol","nameLocation":"1267:7:4","nodeType":"VariableDeclaration","scope":2497,"src":"1253:21:4","stateVariable":false,"storageLocation":"memory","typeDescriptions":{"typeIdentifier":"t_string_memory_ptr","typeString":"string"},"typeName":{"id":2481,"name":"string","nodeType":"ElementaryTypeName","src":"1253:6:4","typeDescriptions":{"typeIdentifier":"t_string_storage_ptr","typeString":"string"}},"visibility":"internal"}],"src":"1192:88:4"},"returnParameters":{"id":2491,"nodeType":"ParameterList","parameters":[],"src":"1322:0:4"},"scope":2953,"stateMutability":"nonpayable","virtual":false,"visibility":"internal"},{"id":2549,"nodeType":"FunctionDefinition","src":"1547:516:4","body":{"id":2548,"nodeType":"Block","src":"1638:425:4","statements":[{"expression":{"arguments":[{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2514,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"id":2511,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":2507,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2504,"src":"1732:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"id":2509,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2499,"src":"1756:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2508,"name":"previewDeposit","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2822,"src":"1741:14:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256) view returns (uint256)"}},"id":2510,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1741:22:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"1732:31:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"id":2512,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"1731:33:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"!=","rightExpression":{"hexValue":"30","id":2513,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1768:1:4","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"1731:38:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},{"hexValue":"5a45524f5f534841524553","id":2515,"isConstant":false,"isLValue":false,"isPure":true,"kind":"string","lValueRequested":false,"nodeType":"Literal","src":"1771:13:4","typeDescriptions":{"typeIdentifier":"t_stringliteral_2119bd5d92259e418533f96b824fbd100e3dea453e6ac4c5f7315e6344368f2f","typeString":"literal_string \"ZERO_SHARES\""},"value":"ZERO_SHARES"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bool","typeString":"bool"},{"typeIdentifier":"t_stringliteral_2119bd5d92259e418533f96b824fbd100e3dea453e6ac4c5f7315e6344368f2f","typeString":"literal_string \"ZERO_SHARES\""}],"id":2506,"name":"require","nodeType":"Identifier","overloadedDeclarations":[-18,-18],"referencedDeclaration":-18,"src":"1723:7:4","typeDescriptions":{"typeIdentifier":"t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$","typeString":"function (bool,string memory) pure"}},"id":2516,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1723:62:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2517,"nodeType":"ExpressionStatement","src":"1723:62:4"},{"expression":{"arguments":[{"expression":{"id":2521,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"1888:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2522,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"1888:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"arguments":[{"id":2525,"name":"this","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-28,"src":"1908:4:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC4626_$2953","typeString":"contract ERC4626"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_contract$_ERC4626_$2953","typeString":"contract ERC4626"}],"id":2524,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"1900:7:4","typeDescriptions":{"typeIdentifier":"t_type$_t_address_$","typeString":"type(address)"},"typeName":{"id":2523,"name":"address","nodeType":"ElementaryTypeName","src":"1900:7:4","typeDescriptions":{}}},"id":2526,"isConstant":false,"isLValue":false,"isPure":false,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1900:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2527,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2499,"src":"1915:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":2518,"name":"asset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2475,"src":"1865:5:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"id":2520,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"safeTransferFrom","nodeType":"MemberAccess","referencedDeclaration":32744,"src":"1865:22:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_contract$_ERC20_$31408_$_t_address_$_t_address_$_t_uint256_$returns$__$bound_to$_t_contract$_ERC20_$31408_$","typeString":"function (contract ERC20,address,address,uint256)"}},"id":2528,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1865:57:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2529,"nodeType":"ExpressionStatement","src":"1865:57:4"},{"expression":{"arguments":[{"id":2531,"name":"receiver","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2501,"src":"1939:8:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2532,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2504,"src":"1949:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2530,"name":"_mint","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31379,"src":"1933:5:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$","typeString":"function (address,uint256)"}},"id":2533,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1933:23:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2534,"nodeType":"ExpressionStatement","src":"1933:23:4"},{"eventCall":{"arguments":[{"expression":{"id":2536,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"1980:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2537,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"1980:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2538,"name":"receiver","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2501,"src":"1992:8:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2539,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2499,"src":"2002:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2540,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2504,"src":"2010:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2535,"name":"Deposit","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2460,"src":"1972:7:4","typeDescriptions":{"typeIdentifier":"t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$_t_uint256_$returns$__$","typeString":"function (address,address,uint256,uint256)"}},"id":2541,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1972:45:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2542,"nodeType":"EmitStatement","src":"1967:50:4"},{"expression":{"arguments":[{"id":2544,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2499,"src":"2041:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2545,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2504,"src":"2049:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2543,"name":"afterDeposit","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2952,"src":"2028:12:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_uint256_$_t_uint256_$returns$__$","typeString":"function (uint256,uint256)"}},"id":2546,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2028:28:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2547,"nodeType":"ExpressionStatement","src":"2028:28:4"}]},"functionSelector":"6e553f65","implemented":true,"kind":"function","modifiers":[],"name":"deposit","nameLocation":"1556:7:4","parameters":{"id":2502,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2499,"mutability":"mutable","name":"assets","nameLocation":"1572:6:4","nodeType":"VariableDeclaration","scope":2549,"src":"1564:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2498,"name":"uint256","nodeType":"ElementaryTypeName","src":"1564:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":2501,"mutability":"mutable","name":"receiver","nameLocation":"1588:8:4","nodeType":"VariableDeclaration","scope":2549,"src":"1580:16:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2500,"name":"address","nodeType":"ElementaryTypeName","src":"1580:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"}],"src":"1563:34:4"},"returnParameters":{"id":2505,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2504,"mutability":"mutable","name":"shares","nameLocation":"1630:6:4","nodeType":"VariableDeclaration","scope":2549,"src":"1622:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2503,"name":"uint256","nodeType":"ElementaryTypeName","src":"1622:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1621:16:4"},"scope":2953,"stateMutability":"nonpayable","virtual":true,"visibility":"public"},{"id":2595,"nodeType":"FunctionDefinition","src":"2069:467:4","body":{"id":2594,"nodeType":"Block","src":"2157:379:4","statements":[{"expression":{"id":2562,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":2558,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2556,"src":"2167:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"id":2560,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2551,"src":"2188:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2559,"name":"previewMint","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2846,"src":"2176:11:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256) view returns (uint256)"}},"id":2561,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2176:19:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"2167:28:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2563,"nodeType":"ExpressionStatement","src":"2167:28:4"},{"expression":{"arguments":[{"expression":{"id":2567,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"2361:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2568,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"2361:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"arguments":[{"id":2571,"name":"this","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-28,"src":"2381:4:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC4626_$2953","typeString":"contract ERC4626"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_contract$_ERC4626_$2953","typeString":"contract ERC4626"}],"id":2570,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"2373:7:4","typeDescriptions":{"typeIdentifier":"t_type$_t_address_$","typeString":"type(address)"},"typeName":{"id":2569,"name":"address","nodeType":"ElementaryTypeName","src":"2373:7:4","typeDescriptions":{}}},"id":2572,"isConstant":false,"isLValue":false,"isPure":false,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2373:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2573,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2556,"src":"2388:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":2564,"name":"asset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2475,"src":"2338:5:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"id":2566,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"safeTransferFrom","nodeType":"MemberAccess","referencedDeclaration":32744,"src":"2338:22:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_contract$_ERC20_$31408_$_t_address_$_t_address_$_t_uint256_$returns$__$bound_to$_t_contract$_ERC20_$31408_$","typeString":"function (contract ERC20,address,address,uint256)"}},"id":2574,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2338:57:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2575,"nodeType":"ExpressionStatement","src":"2338:57:4"},{"expression":{"arguments":[{"id":2577,"name":"receiver","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2553,"src":"2412:8:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2578,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2551,"src":"2422:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2576,"name":"_mint","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31379,"src":"2406:5:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$","typeString":"function (address,uint256)"}},"id":2579,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2406:23:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2580,"nodeType":"ExpressionStatement","src":"2406:23:4"},{"eventCall":{"arguments":[{"expression":{"id":2582,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"2453:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2583,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"2453:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2584,"name":"receiver","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2553,"src":"2465:8:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2585,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2556,"src":"2475:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2586,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2551,"src":"2483:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2581,"name":"Deposit","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2460,"src":"2445:7:4","typeDescriptions":{"typeIdentifier":"t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$_t_uint256_$returns$__$","typeString":"function (address,address,uint256,uint256)"}},"id":2587,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2445:45:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2588,"nodeType":"EmitStatement","src":"2440:50:4"},{"expression":{"arguments":[{"id":2590,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2556,"src":"2514:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2591,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2551,"src":"2522:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2589,"name":"afterDeposit","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2952,"src":"2501:12:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_uint256_$_t_uint256_$returns$__$","typeString":"function (uint256,uint256)"}},"id":2592,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2501:28:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2593,"nodeType":"ExpressionStatement","src":"2501:28:4"}]},"functionSelector":"94bf804d","implemented":true,"kind":"function","modifiers":[],"name":"mint","nameLocation":"2078:4:4","parameters":{"id":2554,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2551,"mutability":"mutable","name":"shares","nameLocation":"2091:6:4","nodeType":"VariableDeclaration","scope":2595,"src":"2083:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2550,"name":"uint256","nodeType":"ElementaryTypeName","src":"2083:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":2553,"mutability":"mutable","name":"receiver","nameLocation":"2107:8:4","nodeType":"VariableDeclaration","scope":2595,"src":"2099:16:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2552,"name":"address","nodeType":"ElementaryTypeName","src":"2099:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"}],"src":"2082:34:4"},"returnParameters":{"id":2557,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2556,"mutability":"mutable","name":"assets","nameLocation":"2149:6:4","nodeType":"VariableDeclaration","scope":2595,"src":"2141:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2555,"name":"uint256","nodeType":"ElementaryTypeName","src":"2141:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"2140:16:4"},"scope":2953,"stateMutability":"nonpayable","virtual":true,"visibility":"public"},{"id":2673,"nodeType":"FunctionDefinition","src":"2542:679:4","body":{"id":2672,"nodeType":"Block","src":"2679:542:4","statements":[{"expression":{"id":2610,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":2606,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2604,"src":"2689:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"id":2608,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2597,"src":"2714:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2607,"name":"previewWithdraw","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2870,"src":"2698:15:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256) view returns (uint256)"}},"id":2609,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2698:23:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"2689:32:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2611,"nodeType":"ExpressionStatement","src":"2689:32:4"},{"condition":{"commonType":{"typeIdentifier":"t_address","typeString":"address"},"id":2615,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"expression":{"id":2612,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"2803:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2613,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"2803:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"nodeType":"BinaryOperation","operator":"!=","rightExpression":{"id":2614,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2601,"src":"2817:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"src":"2803:19:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":2645,"nodeType":"IfStatement","src":"2799:228:4","trueBody":{"id":2644,"nodeType":"Block","src":"2824:203:4","statements":[{"assignments":[2617],"declarations":[{"constant":false,"id":2617,"mutability":"mutable","name":"allowed","nameLocation":"2846:7:4","nodeType":"VariableDeclaration","scope":2644,"src":"2838:15:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2616,"name":"uint256","nodeType":"ElementaryTypeName","src":"2838:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":2624,"initialValue":{"baseExpression":{"baseExpression":{"id":2618,"name":"allowance","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31057,"src":"2856:9:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$","typeString":"mapping(address => mapping(address => uint256))"}},"id":2620,"indexExpression":{"id":2619,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2601,"src":"2866:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"2856:16:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_uint256_$","typeString":"mapping(address => uint256)"}},"id":2623,"indexExpression":{"expression":{"id":2621,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"2873:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2622,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"2873:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"2856:28:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"2838:46:4"},{"condition":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2631,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":2625,"name":"allowed","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2617,"src":"2939:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"!=","rightExpression":{"expression":{"arguments":[{"id":2628,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"2955:7:4","typeDescriptions":{"typeIdentifier":"t_type$_t_uint256_$","typeString":"type(uint256)"},"typeName":{"id":2627,"name":"uint256","nodeType":"ElementaryTypeName","src":"2955:7:4","typeDescriptions":{}}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_type$_t_uint256_$","typeString":"type(uint256)"}],"id":2626,"name":"type","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-27,"src":"2950:4:4","typeDescriptions":{"typeIdentifier":"t_function_metatype_pure$__$returns$__$","typeString":"function () pure"}},"id":2629,"isConstant":false,"isLValue":false,"isPure":true,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"2950:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_magic_meta_type_t_uint256","typeString":"type(uint256)"}},"id":2630,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"memberName":"max","nodeType":"MemberAccess","src":"2950:17:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"2939:28:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":2643,"nodeType":"IfStatement","src":"2935:81:4","trueBody":{"expression":{"id":2641,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"baseExpression":{"baseExpression":{"id":2632,"name":"allowance","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31057,"src":"2969:9:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$","typeString":"mapping(address => mapping(address => uint256))"}},"id":2636,"indexExpression":{"id":2633,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2601,"src":"2979:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"2969:16:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_uint256_$","typeString":"mapping(address => uint256)"}},"id":2637,"indexExpression":{"expression":{"id":2634,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"2986:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2635,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"2986:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":true,"nodeType":"IndexAccess","src":"2969:28:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2640,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":2638,"name":"allowed","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2617,"src":"3000:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"-","rightExpression":{"id":2639,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2604,"src":"3010:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"3000:16:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"2969:47:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2642,"nodeType":"ExpressionStatement","src":"2969:47:4"}}]}},{"expression":{"arguments":[{"id":2647,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2597,"src":"3052:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2648,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2604,"src":"3060:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2646,"name":"beforeWithdraw","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2944,"src":"3037:14:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_uint256_$_t_uint256_$returns$__$","typeString":"function (uint256,uint256)"}},"id":2649,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3037:30:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2650,"nodeType":"ExpressionStatement","src":"3037:30:4"},{"expression":{"arguments":[{"id":2652,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2601,"src":"3084:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2653,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2604,"src":"3091:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2651,"name":"_burn","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31407,"src":"3078:5:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$","typeString":"function (address,uint256)"}},"id":2654,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3078:20:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2655,"nodeType":"ExpressionStatement","src":"3078:20:4"},{"eventCall":{"arguments":[{"expression":{"id":2657,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"3123:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2658,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"3123:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2659,"name":"receiver","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2599,"src":"3135:8:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2660,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2601,"src":"3145:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2661,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2597,"src":"3152:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2662,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2604,"src":"3160:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2656,"name":"Withdraw","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2472,"src":"3114:8:4","typeDescriptions":{"typeIdentifier":"t_function_event_nonpayable$_t_address_$_t_address_$_t_address_$_t_uint256_$_t_uint256_$returns$__$","typeString":"function (address,address,address,uint256,uint256)"}},"id":2663,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3114:53:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2664,"nodeType":"EmitStatement","src":"3109:58:4"},{"expression":{"arguments":[{"id":2668,"name":"receiver","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2599,"src":"3197:8:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2669,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2597,"src":"3207:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":2665,"name":"asset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2475,"src":"3178:5:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"id":2667,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"safeTransfer","nodeType":"MemberAccess","referencedDeclaration":32764,"src":"3178:18:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_contract$_ERC20_$31408_$_t_address_$_t_uint256_$returns$__$bound_to$_t_contract$_ERC20_$31408_$","typeString":"function (contract ERC20,address,uint256)"}},"id":2670,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3178:36:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2671,"nodeType":"ExpressionStatement","src":"3178:36:4"}]},"functionSelector":"b460af94","implemented":true,"kind":"function","modifiers":[],"name":"withdraw","nameLocation":"2551:8:4","parameters":{"id":2602,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2597,"mutability":"mutable","name":"assets","nameLocation":"2577:6:4","nodeType":"VariableDeclaration","scope":2673,"src":"2569:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2596,"name":"uint256","nodeType":"ElementaryTypeName","src":"2569:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":2599,"mutability":"mutable","name":"receiver","nameLocation":"2601:8:4","nodeType":"VariableDeclaration","scope":2673,"src":"2593:16:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2598,"name":"address","nodeType":"ElementaryTypeName","src":"2593:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"},{"constant":false,"id":2601,"mutability":"mutable","name":"owner","nameLocation":"2627:5:4","nodeType":"VariableDeclaration","scope":2673,"src":"2619:13:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2600,"name":"address","nodeType":"ElementaryTypeName","src":"2619:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"}],"src":"2559:79:4"},"returnParameters":{"id":2605,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2604,"mutability":"mutable","name":"shares","nameLocation":"2671:6:4","nodeType":"VariableDeclaration","scope":2673,"src":"2663:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2603,"name":"uint256","nodeType":"ElementaryTypeName","src":"2663:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"2662:16:4"},"scope":2953,"stateMutability":"nonpayable","virtual":true,"visibility":"public"},{"id":2757,"nodeType":"FunctionDefinition","src":"3227:713:4","body":{"id":2756,"nodeType":"Block","src":"3362:578:4","statements":[{"condition":{"commonType":{"typeIdentifier":"t_address","typeString":"address"},"id":2687,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"expression":{"id":2684,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"3376:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2685,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"3376:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"nodeType":"BinaryOperation","operator":"!=","rightExpression":{"id":2686,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2679,"src":"3390:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"src":"3376:19:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":2717,"nodeType":"IfStatement","src":"3372:228:4","trueBody":{"id":2716,"nodeType":"Block","src":"3397:203:4","statements":[{"assignments":[2689],"declarations":[{"constant":false,"id":2689,"mutability":"mutable","name":"allowed","nameLocation":"3419:7:4","nodeType":"VariableDeclaration","scope":2716,"src":"3411:15:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2688,"name":"uint256","nodeType":"ElementaryTypeName","src":"3411:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":2696,"initialValue":{"baseExpression":{"baseExpression":{"id":2690,"name":"allowance","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31057,"src":"3429:9:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$","typeString":"mapping(address => mapping(address => uint256))"}},"id":2692,"indexExpression":{"id":2691,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2679,"src":"3439:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"3429:16:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_uint256_$","typeString":"mapping(address => uint256)"}},"id":2695,"indexExpression":{"expression":{"id":2693,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"3446:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2694,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"3446:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"3429:28:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"3411:46:4"},{"condition":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2703,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":2697,"name":"allowed","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2689,"src":"3512:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"!=","rightExpression":{"expression":{"arguments":[{"id":2700,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"3528:7:4","typeDescriptions":{"typeIdentifier":"t_type$_t_uint256_$","typeString":"type(uint256)"},"typeName":{"id":2699,"name":"uint256","nodeType":"ElementaryTypeName","src":"3528:7:4","typeDescriptions":{}}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_type$_t_uint256_$","typeString":"type(uint256)"}],"id":2698,"name":"type","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-27,"src":"3523:4:4","typeDescriptions":{"typeIdentifier":"t_function_metatype_pure$__$returns$__$","typeString":"function () pure"}},"id":2701,"isConstant":false,"isLValue":false,"isPure":true,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3523:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_magic_meta_type_t_uint256","typeString":"type(uint256)"}},"id":2702,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"memberName":"max","nodeType":"MemberAccess","src":"3523:17:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"3512:28:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":2715,"nodeType":"IfStatement","src":"3508:81:4","trueBody":{"expression":{"id":2713,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"baseExpression":{"baseExpression":{"id":2704,"name":"allowance","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31057,"src":"3542:9:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$","typeString":"mapping(address => mapping(address => uint256))"}},"id":2708,"indexExpression":{"id":2705,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2679,"src":"3552:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"3542:16:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_uint256_$","typeString":"mapping(address => uint256)"}},"id":2709,"indexExpression":{"expression":{"id":2706,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"3559:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2707,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"3559:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":true,"nodeType":"IndexAccess","src":"3542:28:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2712,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":2710,"name":"allowed","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2689,"src":"3573:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"-","rightExpression":{"id":2711,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2675,"src":"3583:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"3573:16:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"3542:47:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2714,"nodeType":"ExpressionStatement","src":"3542:47:4"}}]}},{"expression":{"arguments":[{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2726,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"id":2723,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":2719,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2682,"src":"3693:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"id":2721,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2675,"src":"3716:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2720,"name":"previewRedeem","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2882,"src":"3702:13:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256) view returns (uint256)"}},"id":2722,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3702:21:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"3693:30:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"id":2724,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"3692:32:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"!=","rightExpression":{"hexValue":"30","id":2725,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3728:1:4","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"3692:37:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},{"hexValue":"5a45524f5f415353455453","id":2727,"isConstant":false,"isLValue":false,"isPure":true,"kind":"string","lValueRequested":false,"nodeType":"Literal","src":"3731:13:4","typeDescriptions":{"typeIdentifier":"t_stringliteral_bf169ab2ef12d57708bb5afe72ea54ba3ad2eccb91dd95f37571afa377c52483","typeString":"literal_string \"ZERO_ASSETS\""},"value":"ZERO_ASSETS"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bool","typeString":"bool"},{"typeIdentifier":"t_stringliteral_bf169ab2ef12d57708bb5afe72ea54ba3ad2eccb91dd95f37571afa377c52483","typeString":"literal_string \"ZERO_ASSETS\""}],"id":2718,"name":"require","nodeType":"Identifier","overloadedDeclarations":[-18,-18],"referencedDeclaration":-18,"src":"3684:7:4","typeDescriptions":{"typeIdentifier":"t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$","typeString":"function (bool,string memory) pure"}},"id":2728,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3684:61:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2729,"nodeType":"ExpressionStatement","src":"3684:61:4"},{"expression":{"arguments":[{"id":2731,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2682,"src":"3771:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2732,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2675,"src":"3779:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2730,"name":"beforeWithdraw","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2944,"src":"3756:14:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_uint256_$_t_uint256_$returns$__$","typeString":"function (uint256,uint256)"}},"id":2733,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3756:30:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2734,"nodeType":"ExpressionStatement","src":"3756:30:4"},{"expression":{"arguments":[{"id":2736,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2679,"src":"3803:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2737,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2675,"src":"3810:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2735,"name":"_burn","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31407,"src":"3797:5:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$","typeString":"function (address,uint256)"}},"id":2738,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3797:20:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2739,"nodeType":"ExpressionStatement","src":"3797:20:4"},{"eventCall":{"arguments":[{"expression":{"id":2741,"name":"msg","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-15,"src":"3842:3:4","typeDescriptions":{"typeIdentifier":"t_magic_message","typeString":"msg"}},"id":2742,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"sender","nodeType":"MemberAccess","src":"3842:10:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2743,"name":"receiver","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2677,"src":"3854:8:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2744,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2679,"src":"3864:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2745,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2682,"src":"3871:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2746,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2675,"src":"3879:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2740,"name":"Withdraw","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2472,"src":"3833:8:4","typeDescriptions":{"typeIdentifier":"t_function_event_nonpayable$_t_address_$_t_address_$_t_address_$_t_uint256_$_t_uint256_$returns$__$","typeString":"function (address,address,address,uint256,uint256)"}},"id":2747,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3833:53:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2748,"nodeType":"EmitStatement","src":"3828:58:4"},{"expression":{"arguments":[{"id":2752,"name":"receiver","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2677,"src":"3916:8:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},{"id":2753,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2682,"src":"3926:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_address","typeString":"address"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":2749,"name":"asset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2475,"src":"3897:5:4","typeDescriptions":{"typeIdentifier":"t_contract$_ERC20_$31408","typeString":"contract ERC20"}},"id":2751,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"safeTransfer","nodeType":"MemberAccess","referencedDeclaration":32764,"src":"3897:18:4","typeDescriptions":{"typeIdentifier":"t_function_internal_nonpayable$_t_contract$_ERC20_$31408_$_t_address_$_t_uint256_$returns$__$bound_to$_t_contract$_ERC20_$31408_$","typeString":"function (contract ERC20,address,uint256)"}},"id":2754,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"3897:36:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":2755,"nodeType":"ExpressionStatement","src":"3897:36:4"}]},"functionSelector":"ba087652","implemented":true,"kind":"function","modifiers":[],"name":"redeem","nameLocation":"3236:6:4","parameters":{"id":2680,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2675,"mutability":"mutable","name":"shares","nameLocation":"3260:6:4","nodeType":"VariableDeclaration","scope":2757,"src":"3252:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2674,"name":"uint256","nodeType":"ElementaryTypeName","src":"3252:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":2677,"mutability":"mutable","name":"receiver","nameLocation":"3284:8:4","nodeType":"VariableDeclaration","scope":2757,"src":"3276:16:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2676,"name":"address","nodeType":"ElementaryTypeName","src":"3276:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"},{"constant":false,"id":2679,"mutability":"mutable","name":"owner","nameLocation":"3310:5:4","nodeType":"VariableDeclaration","scope":2757,"src":"3302:13:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2678,"name":"address","nodeType":"ElementaryTypeName","src":"3302:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"}],"src":"3242:79:4"},"returnParameters":{"id":2683,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2682,"mutability":"mutable","name":"assets","nameLocation":"3354:6:4","nodeType":"VariableDeclaration","scope":2757,"src":"3346:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2681,"name":"uint256","nodeType":"ElementaryTypeName","src":"3346:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"3345:16:4"},"scope":2953,"stateMutability":"nonpayable","virtual":true,"visibility":"public"},{"id":2762,"nodeType":"FunctionDefinition","src":"4130:61:4","functionSelector":"01e1d114","implemented":false,"kind":"function","modifiers":[],"name":"totalAssets","nameLocation":"4139:11:4","parameters":{"id":2758,"nodeType":"ParameterList","parameters":[],"src":"4150:2:4"},"returnParameters":{"id":2761,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2760,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2762,"src":"4182:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2759,"name":"uint256","nodeType":"ElementaryTypeName","src":"4182:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4181:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2786,"nodeType":"FunctionDefinition","src":"4197:257:4","body":{"id":2785,"nodeType":"Block","src":"4276:178:4","statements":[{"assignments":[2770],"declarations":[{"constant":false,"id":2770,"mutability":"mutable","name":"supply","nameLocation":"4294:6:4","nodeType":"VariableDeclaration","scope":2785,"src":"4286:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2769,"name":"uint256","nodeType":"ElementaryTypeName","src":"4286:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":2772,"initialValue":{"id":2771,"name":"totalSupply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31047,"src":"4303:11:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"4286:28:4"},{"expression":{"condition":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2775,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":2773,"name":"supply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2770,"src":"4384:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"hexValue":"30","id":2774,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4394:1:4","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"4384:11:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseExpression":{"arguments":[{"id":2779,"name":"supply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2770,"src":"4425:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"arguments":[],"expression":{"argumentTypes":[],"id":2780,"name":"totalAssets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2762,"src":"4433:11:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$__$returns$_t_uint256_$","typeString":"function () view returns (uint256)"}},"id":2781,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"4433:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":2777,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2764,"src":"4407:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2778,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"mulDivDown","nodeType":"MemberAccess","referencedDeclaration":32285,"src":"4407:17:4","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":2782,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"4407:40:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2783,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"Conditional","src":"4384:63:4","trueExpression":{"id":2776,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2764,"src":"4398:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2768,"id":2784,"nodeType":"Return","src":"4377:70:4"}]},"functionSelector":"c6e6f592","implemented":true,"kind":"function","modifiers":[],"name":"convertToShares","nameLocation":"4206:15:4","parameters":{"id":2765,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2764,"mutability":"mutable","name":"assets","nameLocation":"4230:6:4","nodeType":"VariableDeclaration","scope":2786,"src":"4222:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2763,"name":"uint256","nodeType":"ElementaryTypeName","src":"4222:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4221:16:4"},"returnParameters":{"id":2768,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2767,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2786,"src":"4267:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2766,"name":"uint256","nodeType":"ElementaryTypeName","src":"4267:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4266:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2810,"nodeType":"FunctionDefinition","src":"4460:257:4","body":{"id":2809,"nodeType":"Block","src":"4539:178:4","statements":[{"assignments":[2794],"declarations":[{"constant":false,"id":2794,"mutability":"mutable","name":"supply","nameLocation":"4557:6:4","nodeType":"VariableDeclaration","scope":2809,"src":"4549:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2793,"name":"uint256","nodeType":"ElementaryTypeName","src":"4549:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":2796,"initialValue":{"id":2795,"name":"totalSupply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31047,"src":"4566:11:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"4549:28:4"},{"expression":{"condition":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2799,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":2797,"name":"supply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2794,"src":"4647:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"hexValue":"30","id":2798,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4657:1:4","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"4647:11:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseExpression":{"arguments":[{"arguments":[],"expression":{"argumentTypes":[],"id":2803,"name":"totalAssets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2762,"src":"4688:11:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$__$returns$_t_uint256_$","typeString":"function () view returns (uint256)"}},"id":2804,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"4688:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2805,"name":"supply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2794,"src":"4703:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":2801,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2788,"src":"4670:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2802,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"mulDivDown","nodeType":"MemberAccess","referencedDeclaration":32285,"src":"4670:17:4","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":2806,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"4670:40:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2807,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"Conditional","src":"4647:63:4","trueExpression":{"id":2800,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2788,"src":"4661:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2792,"id":2808,"nodeType":"Return","src":"4640:70:4"}]},"functionSelector":"07a2d13a","implemented":true,"kind":"function","modifiers":[],"name":"convertToAssets","nameLocation":"4469:15:4","parameters":{"id":2789,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2788,"mutability":"mutable","name":"shares","nameLocation":"4493:6:4","nodeType":"VariableDeclaration","scope":2810,"src":"4485:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2787,"name":"uint256","nodeType":"ElementaryTypeName","src":"4485:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4484:16:4"},"returnParameters":{"id":2792,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2791,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2810,"src":"4530:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2790,"name":"uint256","nodeType":"ElementaryTypeName","src":"4530:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4529:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2822,"nodeType":"FunctionDefinition","src":"4723:125:4","body":{"id":2821,"nodeType":"Block","src":"4801:47:4","statements":[{"expression":{"arguments":[{"id":2818,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2812,"src":"4834:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2817,"name":"convertToShares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2786,"src":"4818:15:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256) view returns (uint256)"}},"id":2819,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"4818:23:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2816,"id":2820,"nodeType":"Return","src":"4811:30:4"}]},"functionSelector":"ef8b30f7","implemented":true,"kind":"function","modifiers":[],"name":"previewDeposit","nameLocation":"4732:14:4","parameters":{"id":2813,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2812,"mutability":"mutable","name":"assets","nameLocation":"4755:6:4","nodeType":"VariableDeclaration","scope":2822,"src":"4747:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2811,"name":"uint256","nodeType":"ElementaryTypeName","src":"4747:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4746:16:4"},"returnParameters":{"id":2816,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2815,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2822,"src":"4792:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2814,"name":"uint256","nodeType":"ElementaryTypeName","src":"4792:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4791:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2846,"nodeType":"FunctionDefinition","src":"4854:251:4","body":{"id":2845,"nodeType":"Block","src":"4929:176:4","statements":[{"assignments":[2830],"declarations":[{"constant":false,"id":2830,"mutability":"mutable","name":"supply","nameLocation":"4947:6:4","nodeType":"VariableDeclaration","scope":2845,"src":"4939:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2829,"name":"uint256","nodeType":"ElementaryTypeName","src":"4939:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":2832,"initialValue":{"id":2831,"name":"totalSupply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31047,"src":"4956:11:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"4939:28:4"},{"expression":{"condition":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2835,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":2833,"name":"supply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2830,"src":"5037:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"hexValue":"30","id":2834,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5047:1:4","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"5037:11:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseExpression":{"arguments":[{"arguments":[],"expression":{"argumentTypes":[],"id":2839,"name":"totalAssets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2762,"src":"5076:11:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$__$returns$_t_uint256_$","typeString":"function () view returns (uint256)"}},"id":2840,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"5076:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":2841,"name":"supply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2830,"src":"5091:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":2837,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2824,"src":"5060:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2838,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"mulDivUp","nodeType":"MemberAccess","referencedDeclaration":32298,"src":"5060:15:4","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":2842,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"5060:38:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2843,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"Conditional","src":"5037:61:4","trueExpression":{"id":2836,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2824,"src":"5051:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2828,"id":2844,"nodeType":"Return","src":"5030:68:4"}]},"functionSelector":"b3d7f6b9","implemented":true,"kind":"function","modifiers":[],"name":"previewMint","nameLocation":"4863:11:4","parameters":{"id":2825,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2824,"mutability":"mutable","name":"shares","nameLocation":"4883:6:4","nodeType":"VariableDeclaration","scope":2846,"src":"4875:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2823,"name":"uint256","nodeType":"ElementaryTypeName","src":"4875:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4874:16:4"},"returnParameters":{"id":2828,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2827,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2846,"src":"4920:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2826,"name":"uint256","nodeType":"ElementaryTypeName","src":"4920:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"4919:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2870,"nodeType":"FunctionDefinition","src":"5111:255:4","body":{"id":2869,"nodeType":"Block","src":"5190:176:4","statements":[{"assignments":[2854],"declarations":[{"constant":false,"id":2854,"mutability":"mutable","name":"supply","nameLocation":"5208:6:4","nodeType":"VariableDeclaration","scope":2869,"src":"5200:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2853,"name":"uint256","nodeType":"ElementaryTypeName","src":"5200:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":2856,"initialValue":{"id":2855,"name":"totalSupply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31047,"src":"5217:11:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"5200:28:4"},{"expression":{"condition":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":2859,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":2857,"name":"supply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2854,"src":"5298:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"hexValue":"30","id":2858,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5308:1:4","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"5298:11:4","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseExpression":{"arguments":[{"id":2863,"name":"supply","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2854,"src":"5337:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"arguments":[],"expression":{"argumentTypes":[],"id":2864,"name":"totalAssets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2762,"src":"5345:11:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$__$returns$_t_uint256_$","typeString":"function () view returns (uint256)"}},"id":2865,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"5345:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":2861,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2848,"src":"5321:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2862,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"mulDivUp","nodeType":"MemberAccess","referencedDeclaration":32298,"src":"5321:15:4","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":2866,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"5321:38:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":2867,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"Conditional","src":"5298:61:4","trueExpression":{"id":2860,"name":"assets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2848,"src":"5312:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2852,"id":2868,"nodeType":"Return","src":"5291:68:4"}]},"functionSelector":"0a28a477","implemented":true,"kind":"function","modifiers":[],"name":"previewWithdraw","nameLocation":"5120:15:4","parameters":{"id":2849,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2848,"mutability":"mutable","name":"assets","nameLocation":"5144:6:4","nodeType":"VariableDeclaration","scope":2870,"src":"5136:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2847,"name":"uint256","nodeType":"ElementaryTypeName","src":"5136:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"5135:16:4"},"returnParameters":{"id":2852,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2851,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2870,"src":"5181:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2850,"name":"uint256","nodeType":"ElementaryTypeName","src":"5181:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"5180:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2882,"nodeType":"FunctionDefinition","src":"5372:124:4","body":{"id":2881,"nodeType":"Block","src":"5449:47:4","statements":[{"expression":{"arguments":[{"id":2878,"name":"shares","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2872,"src":"5482:6:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2877,"name":"convertToAssets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2810,"src":"5466:15:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256) view returns (uint256)"}},"id":2879,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"5466:23:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2876,"id":2880,"nodeType":"Return","src":"5459:30:4"}]},"functionSelector":"4cdad506","implemented":true,"kind":"function","modifiers":[],"name":"previewRedeem","nameLocation":"5381:13:4","parameters":{"id":2873,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2872,"mutability":"mutable","name":"shares","nameLocation":"5403:6:4","nodeType":"VariableDeclaration","scope":2882,"src":"5395:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2871,"name":"uint256","nodeType":"ElementaryTypeName","src":"5395:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"5394:16:4"},"returnParameters":{"id":2876,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2875,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2882,"src":"5440:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2874,"name":"uint256","nodeType":"ElementaryTypeName","src":"5440:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"5439:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2896,"nodeType":"FunctionDefinition","src":"5693:108:4","body":{"id":2895,"nodeType":"Block","src":"5760:41:4","statements":[{"expression":{"expression":{"arguments":[{"id":2891,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"5782:7:4","typeDescriptions":{"typeIdentifier":"t_type$_t_uint256_$","typeString":"type(uint256)"},"typeName":{"id":2890,"name":"uint256","nodeType":"ElementaryTypeName","src":"5782:7:4","typeDescriptions":{}}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_type$_t_uint256_$","typeString":"type(uint256)"}],"id":2889,"name":"type","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-27,"src":"5777:4:4","typeDescriptions":{"typeIdentifier":"t_function_metatype_pure$__$returns$__$","typeString":"function () pure"}},"id":2892,"isConstant":false,"isLValue":false,"isPure":true,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"5777:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_magic_meta_type_t_uint256","typeString":"type(uint256)"}},"id":2893,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"memberName":"max","nodeType":"MemberAccess","src":"5777:17:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2888,"id":2894,"nodeType":"Return","src":"5770:24:4"}]},"functionSelector":"402d267d","implemented":true,"kind":"function","modifiers":[],"name":"maxDeposit","nameLocation":"5702:10:4","parameters":{"id":2885,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2884,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2896,"src":"5713:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2883,"name":"address","nodeType":"ElementaryTypeName","src":"5713:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"}],"src":"5712:9:4"},"returnParameters":{"id":2888,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2887,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2896,"src":"5751:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2886,"name":"uint256","nodeType":"ElementaryTypeName","src":"5751:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"5750:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2910,"nodeType":"FunctionDefinition","src":"5807:105:4","body":{"id":2909,"nodeType":"Block","src":"5871:41:4","statements":[{"expression":{"expression":{"arguments":[{"id":2905,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"5893:7:4","typeDescriptions":{"typeIdentifier":"t_type$_t_uint256_$","typeString":"type(uint256)"},"typeName":{"id":2904,"name":"uint256","nodeType":"ElementaryTypeName","src":"5893:7:4","typeDescriptions":{}}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_type$_t_uint256_$","typeString":"type(uint256)"}],"id":2903,"name":"type","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-27,"src":"5888:4:4","typeDescriptions":{"typeIdentifier":"t_function_metatype_pure$__$returns$__$","typeString":"function () pure"}},"id":2906,"isConstant":false,"isLValue":false,"isPure":true,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"5888:13:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_magic_meta_type_t_uint256","typeString":"type(uint256)"}},"id":2907,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"memberName":"max","nodeType":"MemberAccess","src":"5888:17:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2902,"id":2908,"nodeType":"Return","src":"5881:24:4"}]},"functionSelector":"c63d75b6","implemented":true,"kind":"function","modifiers":[],"name":"maxMint","nameLocation":"5816:7:4","parameters":{"id":2899,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2898,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2910,"src":"5824:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2897,"name":"address","nodeType":"ElementaryTypeName","src":"5824:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"}],"src":"5823:9:4"},"returnParameters":{"id":2902,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2901,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2910,"src":"5862:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2900,"name":"uint256","nodeType":"ElementaryTypeName","src":"5862:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"5861:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2924,"nodeType":"FunctionDefinition","src":"5918:131:4","body":{"id":2923,"nodeType":"Block","src":"5992:57:4","statements":[{"expression":{"arguments":[{"baseExpression":{"id":2918,"name":"balanceOf","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31051,"src":"6025:9:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_uint256_$","typeString":"mapping(address => uint256)"}},"id":2920,"indexExpression":{"id":2919,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2912,"src":"6035:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"6025:16:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":2917,"name":"convertToAssets","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2810,"src":"6009:15:4","typeDescriptions":{"typeIdentifier":"t_function_internal_view$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256) view returns (uint256)"}},"id":2921,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"6009:33:4","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2916,"id":2922,"nodeType":"Return","src":"6002:40:4"}]},"functionSelector":"ce96cb77","implemented":true,"kind":"function","modifiers":[],"name":"maxWithdraw","nameLocation":"5927:11:4","parameters":{"id":2913,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2912,"mutability":"mutable","name":"owner","nameLocation":"5947:5:4","nodeType":"VariableDeclaration","scope":2924,"src":"5939:13:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2911,"name":"address","nodeType":"ElementaryTypeName","src":"5939:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"}],"src":"5938:15:4"},"returnParameters":{"id":2916,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2915,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2924,"src":"5983:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2914,"name":"uint256","nodeType":"ElementaryTypeName","src":"5983:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"5982:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2936,"nodeType":"FunctionDefinition","src":"6055:112:4","body":{"id":2935,"nodeType":"Block","src":"6127:40:4","statements":[{"expression":{"baseExpression":{"id":2931,"name":"balanceOf","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":31051,"src":"6144:9:4","typeDescriptions":{"typeIdentifier":"t_mapping$_t_address_$_t_uint256_$","typeString":"mapping(address => uint256)"}},"id":2933,"indexExpression":{"id":2932,"name":"owner","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":2926,"src":"6154:5:4","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"6144:16:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":2930,"id":2934,"nodeType":"Return","src":"6137:23:4"}]},"functionSelector":"d905777e","implemented":true,"kind":"function","modifiers":[],"name":"maxRedeem","nameLocation":"6064:9:4","parameters":{"id":2927,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2926,"mutability":"mutable","name":"owner","nameLocation":"6082:5:4","nodeType":"VariableDeclaration","scope":2936,"src":"6074:13:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"},"typeName":{"id":2925,"name":"address","nodeType":"ElementaryTypeName","src":"6074:7:4","stateMutability":"nonpayable","typeDescriptions":{"typeIdentifier":"t_address","typeString":"address"}},"visibility":"internal"}],"src":"6073:15:4"},"returnParameters":{"id":2930,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2929,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":2936,"src":"6118:7:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2928,"name":"uint256","nodeType":"ElementaryTypeName","src":"6118:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"6117:9:4"},"scope":2953,"stateMutability":"view","virtual":true,"visibility":"public"},{"id":2944,"nodeType":"FunctionDefinition","src":"6359:75:4","body":{"id":2943,"nodeType":"Block","src":"6432:2:4","statements":[]},"implemented":true,"kind":"function","modifiers":[],"name":"beforeWithdraw","nameLocation":"6368:14:4","parameters":{"id":2941,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2938,"mutability":"mutable","name":"assets","nameLocation":"6391:6:4","nodeType":"VariableDeclaration","scope":2944,"src":"6383:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2937,"name":"uint256","nodeType":"ElementaryTypeName","src":"6383:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":2940,"mutability":"mutable","name":"shares","nameLocation":"6407:6:4","nodeType":"VariableDeclaration","scope":2944,"src":"6399:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2939,"name":"uint256","nodeType":"ElementaryTypeName","src":"6399:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"6382:32:4"},"returnParameters":{"id":2942,"nodeType":"ParameterList","parameters":[],"src":"6432:0:4"},"scope":2953,"stateMutability":"nonpayable","virtual":true,"visibility":"internal"},{"id":2952,"nodeType":"FunctionDefinition","src":"6440:73:4","body":{"id":2951,"nodeType":"Block","src":"6511:2:4","statements":[]},"implemented":true,"kind":"function","modifiers":[],"name":"afterDeposit","nameLocation":"6449:12:4","parameters":{"id":2949,"nodeType":"ParameterList","parameters":[{"constant":false,"id":2946,"mutability":"mutable","name":"assets","nameLocation":"6470:6:4","nodeType":"VariableDeclaration","scope":2952,"src":"6462:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2945,"name":"uint256","nodeType":"ElementaryTypeName","src":"6462:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":2948,"mutability":"mutable","name":"shares","nameLocation":"6486:6:4","nodeType":"VariableDeclaration","scope":2952,"src":"6478:14:4","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2947,"name":"uint256","nodeType":"ElementaryTypeName","src":"6478:7:4","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"6461:32:4"},"returnParameters":{"id":2950,"nodeType":"ParameterList","parameters":[],"src":"6511:0:4"},"scope":2953,"stateMutability":"nonpayable","virtual":true,"visibility":"internal"}],"abstract":true,"baseContracts":[{"baseName":{"id":2442,"name":"ERC20","nodeType":"IdentifierPath","referencedDeclaration":31408,"src":"424:5:4"},"id":2443,"nodeType":"InheritanceSpecifier","src":"424:5:4"}],"canonicalName":"ERC4626","contractDependencies":[],"contractKind":"contract","documentation":{"id":2441,"nodeType":"StructuredDocumentation","src":"240:155:4","text":"@notice Minimal ERC4626 tokenized Vault implementation.\n @author Solmate (https://github.com/Rari-Capital/solmate/blob/main/src/mixins/ERC4626.sol)"},"fullyImplemented":false,"linearizedBaseContracts":[2953,31408],"name":"ERC4626","nameLocation":"413:7:4","scope":2954,"usedErrors":[]}],"license":"AGPL-3.0-only"}