{ "contractName": "CounterfactualFactory", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.12+commit.27d51765\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"/Users/gabriel/Documents/iexec/poco-boost/iexec-solidity/contracts/Factory/CounterfactualFactory.sol\":\"CounterfactualFactory\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"/Users/gabriel/Documents/iexec/poco-boost/iexec-solidity/contracts/Factory/CounterfactualFactory.sol\":{\"keccak256\":\"0x1c5bce8357f3c98e3ff71b7931360e07785ad77737eae9145e1dc000dbb4e20f\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://46454f7219f8ff05939ca682b469b3151a4b61e72890d6b05c37244ce0230b3a\",\"dweb:/ipfs/QmWMGnZDJmrUwGHZKV2cSZGhPbtmosaY2YjcHGZ1x7PGj8\"]}},\"version\":1}", "bytecode": "0x6080604052348015600f57600080fd5b50603f80601d6000396000f3fe6080604052600080fdfea26469706673582212204d93810cd567b498f86981759b9f644aa20c7788edc25a824c4297c305b54f8d64736f6c634300060c0033", "deployedBytecode": "0x6080604052600080fdfea26469706673582212204d93810cd567b498f86981759b9f644aa20c7788edc25a824c4297c305b54f8d64736f6c634300060c0033", "immutableReferences": {}, "sourceMap": "1268:634:18:-:0;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "1268:634:18:-:0;;;;;", "source": "// SPDX-License-Identifier: Apache-2.0\n\n/******************************************************************************\n * Copyright 2020 IEXEC BLOCKCHAIN TECH *\n * *\n * Licensed under the Apache License, Version 2.0 (the \"License\"); *\n * you may not use this file except in compliance with the License. *\n * You may obtain a copy of the License at *\n * *\n * http://www.apache.org/licenses/LICENSE-2.0 *\n * *\n * Unless required by applicable law or agreed to in writing, software *\n * distributed under the License is distributed on an \"AS IS\" BASIS, *\n * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. *\n * See the License for the specific language governing permissions and *\n * limitations under the License. *\n ******************************************************************************/\n\npragma solidity ^0.6.0;\n\n\ncontract CounterfactualFactory\n{\n\tfunction _create2(bytes memory _code, bytes32 _salt)\n\tinternal returns(address)\n\t{\n\t\tbytes memory code = _code;\n\t\tbytes32 salt = _salt;\n\t\taddress addr;\n\t\t// solium-disable-next-line security/no-inline-assembly\n\t\tassembly\n\t\t{\n\t\t\taddr := create2(0, add(code, 0x20), mload(code), salt)\n\t\t\tif iszero(extcodesize(addr)) { revert(0, 0) }\n\t\t}\n\t\treturn addr;\n\t}\n\n\tfunction _predictAddress(bytes memory _code, bytes32 _salt)\n\tinternal view returns (address)\n\t{\n\t\treturn address(bytes20(keccak256(abi.encodePacked(\n\t\t\tbytes1(0xff),\n\t\t\taddress(this),\n\t\t\t_salt,\n\t\t\tkeccak256(_code)\n\t\t)) << 0x60));\n\t}\n}\n", "sourcePath": "/Users/gabriel/Documents/iexec/poco-boost/iexec-solidity/contracts/Factory/CounterfactualFactory.sol", "ast": { "absolutePath": "/Users/gabriel/Documents/iexec/poco-boost/iexec-solidity/contracts/Factory/CounterfactualFactory.sol", "exportedSymbols": { "CounterfactualFactory": [ 1539 ] }, "id": 1540, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 1478, "literals": [ "solidity", "^", "0.6", ".0" ], "nodeType": "PragmaDirective", "src": "1242:23:18" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 1539, "linearizedBaseContracts": [ 1539 ], "name": "CounterfactualFactory", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 1501, "nodeType": "Block", "src": "1383:282:18", "statements": [ { "assignments": [ 1488 ], "declarations": [ { "constant": false, "id": 1488, "mutability": "mutable", "name": "code", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1501, "src": "1387:17:18", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 1487, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1387:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "id": 1490, "initialValue": { "argumentTypes": null, "id": 1489, "name": "_code", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1480, "src": "1407:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "VariableDeclarationStatement", "src": "1387:25:18" }, { "assignments": [ 1492 ], "declarations": [ { "constant": false, "id": 1492, "mutability": "mutable", "name": "salt", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1501, "src": "1416:17:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1491, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1416:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 1494, "initialValue": { "argumentTypes": null, "id": 1493, "name": "_salt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1482, "src": "1436:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1416:25:18" }, { "assignments": [ 1496 ], "declarations": [ { "constant": false, "id": 1496, "mutability": "mutable", "name": "addr", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1501, "src": "1445:17:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1495, "name": "address", "nodeType": "ElementaryTypeName", "src": "1445:7:18", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "id": 1497, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "1445:17:18" }, { "AST": { "nodeType": "YulBlock", "src": "1535:112:18", "statements": [ { "nodeType": "YulAssignment", "src": "1540:54:18", "value": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1556:1:18", "type": "", "value": "0" }, { "arguments": [ { "name": "code", "nodeType": "YulIdentifier", "src": "1563:4:18" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1569:4:18", "type": "", "value": "0x20" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "1559:3:18" }, "nodeType": "YulFunctionCall", "src": "1559:15:18" }, { "arguments": [ { "name": "code", "nodeType": "YulIdentifier", "src": "1582:4:18" } ], "functionName": { "name": "mload", "nodeType": "YulIdentifier", "src": "1576:5:18" }, "nodeType": "YulFunctionCall", "src": "1576:11:18" }, { "name": "salt", "nodeType": "YulIdentifier", "src": "1589:4:18" } ], "functionName": { "name": "create2", "nodeType": "YulIdentifier", "src": "1548:7:18" }, "nodeType": "YulFunctionCall", "src": "1548:46:18" }, "variableNames": [ { "name": "addr", "nodeType": "YulIdentifier", "src": "1540:4:18" } ] }, { "body": { "nodeType": "YulBlock", "src": "1627:16:18", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1636:1:18", "type": "", "value": "0" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1639:1:18", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nodeType": "YulIdentifier", "src": "1629:6:18" }, "nodeType": "YulFunctionCall", "src": "1629:12:18" }, "nodeType": "YulExpressionStatement", "src": "1629:12:18" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "addr", "nodeType": "YulIdentifier", "src": "1620:4:18" } ], "functionName": { "name": "extcodesize", "nodeType": "YulIdentifier", "src": "1608:11:18" }, "nodeType": "YulFunctionCall", "src": "1608:17:18" } ], "functionName": { "name": "iszero", "nodeType": "YulIdentifier", "src": "1601:6:18" }, "nodeType": "YulFunctionCall", "src": "1601:25:18" }, "nodeType": "YulIf", "src": "1598:2:18" } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 1496, "isOffset": false, "isSlot": false, "src": "1540:4:18", "valueSize": 1 }, { "declaration": 1496, "isOffset": false, "isSlot": false, "src": "1620:4:18", "valueSize": 1 }, { "declaration": 1488, "isOffset": false, "isSlot": false, "src": "1563:4:18", "valueSize": 1 }, { "declaration": 1488, "isOffset": false, "isSlot": false, "src": "1582:4:18", "valueSize": 1 }, { "declaration": 1492, "isOffset": false, "isSlot": false, "src": "1589:4:18", "valueSize": 1 } ], "id": 1498, "nodeType": "InlineAssembly", "src": "1524:123:18" }, { "expression": { "argumentTypes": null, "id": 1499, "name": "addr", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1496, "src": "1657:4:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "functionReturnParameters": 1486, "id": 1500, "nodeType": "Return", "src": "1650:11:18" } ] }, "documentation": null, "id": 1502, "implemented": true, "kind": "function", "modifiers": [], "name": "_create2", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 1483, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1480, "mutability": "mutable", "name": "_code", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1502, "src": "1320:18:18", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 1479, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1320:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1482, "mutability": "mutable", "name": "_salt", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1502, "src": "1340:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1481, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1340:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1319:35:18" }, "returnParameters": { "id": 1486, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1485, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1502, "src": "1373:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1484, "name": "address", "nodeType": "ElementaryTypeName", "src": "1373:7:18", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "1372:9:18" }, "scope": 1539, "src": "1302:363:18", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "body": { "id": 1537, "nodeType": "Block", "src": "1762:138:18", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1533, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30786666", "id": 1520, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1827:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "0xff" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" } ], "id": 1519, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1820:6:18", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes1_$", "typeString": "type(bytes1)" }, "typeName": { "id": 1518, "name": "bytes1", "nodeType": "ElementaryTypeName", "src": "1820:6:18", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1521, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1820:12:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes1", "typeString": "bytes1" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1524, "name": "this", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -28, "src": "1845:4:18", "typeDescriptions": { "typeIdentifier": "t_contract$_CounterfactualFactory_$1539", "typeString": "contract CounterfactualFactory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_CounterfactualFactory_$1539", "typeString": "contract CounterfactualFactory" } ], "id": 1523, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1837:7:18", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": { "id": 1522, "name": "address", "nodeType": "ElementaryTypeName", "src": "1837:7:18", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1525, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1837:13:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1526, "name": "_salt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1506, "src": "1855:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1528, "name": "_code", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1504, "src": "1875:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1527, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -8, "src": "1865:9:18", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 1529, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1865:16:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes1", "typeString": "bytes1" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 1516, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -1, "src": "1799:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 1517, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1799:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 1530, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1799:86:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1515, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -8, "src": "1789:9:18", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 1531, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1789:97:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "<<", "rightExpression": { "argumentTypes": null, "hexValue": "30783630", "id": 1532, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1890:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_96_by_1", "typeString": "int_const 96" }, "value": "0x60" }, "src": "1789:105:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 1514, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1781:7:18", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes20_$", "typeString": "type(bytes20)" }, "typeName": { "id": 1513, "name": "bytes20", "nodeType": "ElementaryTypeName", "src": "1781:7:18", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1534, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1781:114:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes20", "typeString": "bytes20" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes20", "typeString": "bytes20" } ], "id": 1512, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1773:7:18", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": { "id": 1511, "name": "address", "nodeType": "ElementaryTypeName", "src": "1773:7:18", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1535, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1773:123:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "functionReturnParameters": 1510, "id": 1536, "nodeType": "Return", "src": "1766:130:18" } ] }, "documentation": null, "id": 1538, "implemented": true, "kind": "function", "modifiers": [], "name": "_predictAddress", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 1507, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1504, "mutability": "mutable", "name": "_code", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1538, "src": "1693:18:18", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 1503, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1693:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1506, "mutability": "mutable", "name": "_salt", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1538, "src": "1713:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1505, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1713:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1692:35:18" }, "returnParameters": { "id": 1510, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1509, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1538, "src": "1752:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1508, "name": "address", "nodeType": "ElementaryTypeName", "src": "1752:7:18", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "1751:9:18" }, "scope": 1539, "src": "1668:232:18", "stateMutability": "view", "virtual": false, "visibility": "internal" } ], "scope": 1540, "src": "1268:634:18" } ], "src": "1242:661:18" }, "legacyAST": { "absolutePath": "/Users/gabriel/Documents/iexec/poco-boost/iexec-solidity/contracts/Factory/CounterfactualFactory.sol", "exportedSymbols": { "CounterfactualFactory": [ 1539 ] }, "id": 1540, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 1478, "literals": [ "solidity", "^", "0.6", ".0" ], "nodeType": "PragmaDirective", "src": "1242:23:18" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 1539, "linearizedBaseContracts": [ 1539 ], "name": "CounterfactualFactory", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 1501, "nodeType": "Block", "src": "1383:282:18", "statements": [ { "assignments": [ 1488 ], "declarations": [ { "constant": false, "id": 1488, "mutability": "mutable", "name": "code", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1501, "src": "1387:17:18", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 1487, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1387:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "id": 1490, "initialValue": { "argumentTypes": null, "id": 1489, "name": "_code", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1480, "src": "1407:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "VariableDeclarationStatement", "src": "1387:25:18" }, { "assignments": [ 1492 ], "declarations": [ { "constant": false, "id": 1492, "mutability": "mutable", "name": "salt", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1501, "src": "1416:17:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1491, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1416:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 1494, "initialValue": { "argumentTypes": null, "id": 1493, "name": "_salt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1482, "src": "1436:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1416:25:18" }, { "assignments": [ 1496 ], "declarations": [ { "constant": false, "id": 1496, "mutability": "mutable", "name": "addr", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1501, "src": "1445:17:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1495, "name": "address", "nodeType": "ElementaryTypeName", "src": "1445:7:18", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "id": 1497, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "1445:17:18" }, { "AST": { "nodeType": "YulBlock", "src": "1535:112:18", "statements": [ { "nodeType": "YulAssignment", "src": "1540:54:18", "value": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1556:1:18", "type": "", "value": "0" }, { "arguments": [ { "name": "code", "nodeType": "YulIdentifier", "src": "1563:4:18" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1569:4:18", "type": "", "value": "0x20" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "1559:3:18" }, "nodeType": "YulFunctionCall", "src": "1559:15:18" }, { "arguments": [ { "name": "code", "nodeType": "YulIdentifier", "src": "1582:4:18" } ], "functionName": { "name": "mload", "nodeType": "YulIdentifier", "src": "1576:5:18" }, "nodeType": "YulFunctionCall", "src": "1576:11:18" }, { "name": "salt", "nodeType": "YulIdentifier", "src": "1589:4:18" } ], "functionName": { "name": "create2", "nodeType": "YulIdentifier", "src": "1548:7:18" }, "nodeType": "YulFunctionCall", "src": "1548:46:18" }, "variableNames": [ { "name": "addr", "nodeType": "YulIdentifier", "src": "1540:4:18" } ] }, { "body": { "nodeType": "YulBlock", "src": "1627:16:18", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1636:1:18", "type": "", "value": "0" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1639:1:18", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nodeType": "YulIdentifier", "src": "1629:6:18" }, "nodeType": "YulFunctionCall", "src": "1629:12:18" }, "nodeType": "YulExpressionStatement", "src": "1629:12:18" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "addr", "nodeType": "YulIdentifier", "src": "1620:4:18" } ], "functionName": { "name": "extcodesize", "nodeType": "YulIdentifier", "src": "1608:11:18" }, "nodeType": "YulFunctionCall", "src": "1608:17:18" } ], "functionName": { "name": "iszero", "nodeType": "YulIdentifier", "src": "1601:6:18" }, "nodeType": "YulFunctionCall", "src": "1601:25:18" }, "nodeType": "YulIf", "src": "1598:2:18" } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 1496, "isOffset": false, "isSlot": false, "src": "1540:4:18", "valueSize": 1 }, { "declaration": 1496, "isOffset": false, "isSlot": false, "src": "1620:4:18", "valueSize": 1 }, { "declaration": 1488, "isOffset": false, "isSlot": false, "src": "1563:4:18", "valueSize": 1 }, { "declaration": 1488, "isOffset": false, "isSlot": false, "src": "1582:4:18", "valueSize": 1 }, { "declaration": 1492, "isOffset": false, "isSlot": false, "src": "1589:4:18", "valueSize": 1 } ], "id": 1498, "nodeType": "InlineAssembly", "src": "1524:123:18" }, { "expression": { "argumentTypes": null, "id": 1499, "name": "addr", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1496, "src": "1657:4:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "functionReturnParameters": 1486, "id": 1500, "nodeType": "Return", "src": "1650:11:18" } ] }, "documentation": null, "id": 1502, "implemented": true, "kind": "function", "modifiers": [], "name": "_create2", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 1483, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1480, "mutability": "mutable", "name": "_code", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1502, "src": "1320:18:18", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 1479, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1320:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1482, "mutability": "mutable", "name": "_salt", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1502, "src": "1340:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1481, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1340:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1319:35:18" }, "returnParameters": { "id": 1486, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1485, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1502, "src": "1373:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1484, "name": "address", "nodeType": "ElementaryTypeName", "src": "1373:7:18", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "1372:9:18" }, "scope": 1539, "src": "1302:363:18", "stateMutability": "nonpayable", "virtual": false, "visibility": "internal" }, { "body": { "id": 1537, "nodeType": "Block", "src": "1762:138:18", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1533, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30786666", "id": 1520, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1827:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "0xff" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" } ], "id": 1519, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1820:6:18", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes1_$", "typeString": "type(bytes1)" }, "typeName": { "id": 1518, "name": "bytes1", "nodeType": "ElementaryTypeName", "src": "1820:6:18", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1521, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1820:12:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes1", "typeString": "bytes1" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1524, "name": "this", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -28, "src": "1845:4:18", "typeDescriptions": { "typeIdentifier": "t_contract$_CounterfactualFactory_$1539", "typeString": "contract CounterfactualFactory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_CounterfactualFactory_$1539", "typeString": "contract CounterfactualFactory" } ], "id": 1523, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1837:7:18", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": { "id": 1522, "name": "address", "nodeType": "ElementaryTypeName", "src": "1837:7:18", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1525, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1837:13:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1526, "name": "_salt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1506, "src": "1855:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1528, "name": "_code", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1504, "src": "1875:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1527, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -8, "src": "1865:9:18", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 1529, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1865:16:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes1", "typeString": "bytes1" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 1516, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -1, "src": "1799:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 1517, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1799:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 1530, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1799:86:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1515, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -8, "src": "1789:9:18", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 1531, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1789:97:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "<<", "rightExpression": { "argumentTypes": null, "hexValue": "30783630", "id": 1532, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1890:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_96_by_1", "typeString": "int_const 96" }, "value": "0x60" }, "src": "1789:105:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 1514, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1781:7:18", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes20_$", "typeString": "type(bytes20)" }, "typeName": { "id": 1513, "name": "bytes20", "nodeType": "ElementaryTypeName", "src": "1781:7:18", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1534, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1781:114:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes20", "typeString": "bytes20" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes20", "typeString": "bytes20" } ], "id": 1512, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1773:7:18", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": { "id": 1511, "name": "address", "nodeType": "ElementaryTypeName", "src": "1773:7:18", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1535, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1773:123:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "functionReturnParameters": 1510, "id": 1536, "nodeType": "Return", "src": "1766:130:18" } ] }, "documentation": null, "id": 1538, "implemented": true, "kind": "function", "modifiers": [], "name": "_predictAddress", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 1507, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1504, "mutability": "mutable", "name": "_code", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1538, "src": "1693:18:18", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 1503, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1693:5:18", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1506, "mutability": "mutable", "name": "_salt", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1538, "src": "1713:13:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1505, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1713:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1692:35:18" }, "returnParameters": { "id": 1510, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1509, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1538, "src": "1752:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1508, "name": "address", "nodeType": "ElementaryTypeName", "src": "1752:7:18", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "1751:9:18" }, "scope": 1539, "src": "1668:232:18", "stateMutability": "view", "virtual": false, "visibility": "internal" } ], "scope": 1540, "src": "1268:634:18" } ], "src": "1242:661:18" }, "compiler": { "name": "solc", "version": "0.6.12+commit.27d51765.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.2.5", "updatedAt": "2023-05-04T08:29:47.201Z", "devdoc": { "kind": "dev", "methods": {}, "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }