@etherisc/gif-next 0.0.2-fe77319 → 0.0.2-ffba655

package/artifacts/contracts/types/UFixed.sol/UFixedMathLib.json

@@ -0,0 +1,453 @@
+{
+  "_format": "hh-sol-artifact-1",
+  "contractName": "UFixedMathLib",
+  "sourceName": "contracts/types/UFixed.sol",
+  "abi": [
+    {
+      "inputs": [],
+      "name": "EXP",
+      "outputs": [
+        {
+          "internalType": "int8",
+          "name": "",
+          "type": "int8"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [],
+      "name": "MULTIPLIER",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [],
+      "name": "MULTIPLIER_HALF",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [],
+      "name": "ROUNDING_DEFAULT",
+      "outputs": [
+        {
+          "internalType": "enum UFixedMathLib.Rounding",
+          "name": "",
+          "type": "UFixedMathLib.Rounding"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "add",
+      "outputs": [
+        {
+          "internalType": "UFixed",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [],
+      "name": "decimals",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "delta",
+      "outputs": [
+        {
+          "internalType": "UFixed",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "div",
+      "outputs": [
+        {
+          "internalType": "UFixed",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "eq",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "isEqual",
+          "type": "bool"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        }
+      ],
+      "name": "eqz",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "isZero",
+          "type": "bool"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        }
+      ],
+      "name": "ftoi",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "enum UFixedMathLib.Rounding",
+          "name": "rounding",
+          "type": "UFixedMathLib.Rounding"
+        }
+      ],
+      "name": "ftoi",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "gt",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "isGreaterThan",
+          "type": "bool"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "gte",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "isGreaterThan",
+          "type": "bool"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        }
+      ],
+      "name": "gtz",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "isZero",
+          "type": "bool"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "uint256",
+          "name": "a",
+          "type": "uint256"
+        }
+      ],
+      "name": "itof",
+      "outputs": [
+        {
+          "internalType": "UFixed",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "uint256",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "int8",
+          "name": "exp",
+          "type": "int8"
+        }
+      ],
+      "name": "itof",
+      "outputs": [
+        {
+          "internalType": "UFixed",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "lt",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "isGreaterThan",
+          "type": "bool"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "lte",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "isGreaterThan",
+          "type": "bool"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "mul",
+      "outputs": [
+        {
+          "internalType": "UFixed",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "UFixed",
+          "name": "a",
+          "type": "uint256"
+        },
+        {
+          "internalType": "UFixed",
+          "name": "b",
+          "type": "uint256"
+        }
+      ],
+      "name": "sub",
+      "outputs": [
+        {
+          "internalType": "UFixed",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    },
+    {
+      "inputs": [],
+      "name": "zero",
+      "outputs": [
+        {
+          "internalType": "UFixed",
+          "name": "",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    }
+  ],
+  "bytecode": "0x6114ad610053600b82828239805160001a607314610046577f4e487b7100000000000000000000000000000000000000000000000000000000600052600060045260246000fd5b30600052607381538281f3fe730000000000000000000000000000000000000000301460806040526004361061014c5760003560e01c8063b4773329116100c2578063d05b045211610086578063d05b045214610409578063dd45daa114610439578063ea6515c414610469578063eb646d7114610499578063f30ed598146104b7578063f70dd33e146104d55761014c565b8063b47733291461032b578063b67d77c51461035b578063bc1b392d1461038b578063c8a4ac9c146103a9578063cc8b7b73146103d95761014c565b806332148d731161011457806332148d731461020b578063753b14a51461023b578063771602f71461026b5780637a858b971461029b57806392ae8ce0146102cb578063a391c15b146102fb5761014c565b8063059f8b1614610151578063118fc88c1461016f5780631a12cd471461019f57806321e5749b146101bd578063313ce567146101ed575b600080fd5b610159610505565b6040516101669190610b6d565b60405180910390f35b61018960048036038101906101849190610bb9565b610519565b6040516101969190610c14565b60405180910390f35b6101a761052d565b6040516101b49190610c4b565b60405180910390f35b6101d760048036038101906101d29190610bb9565b610532565b6040516101e49190610c14565b60405180910390f35b6101f5610546565b6040516102029190610b6d565b60405180910390f35b61022560048036038101906102209190610bb9565b610552565b6040516102329190610c14565b60405180910390f35b61025560048036038101906102509190610c66565b610566565b6040516102629190610c14565b60405180910390f35b61028560048036038101906102809190610bb9565b610578565b6040516102929190610cce565b60405180910390f35b6102b560048036038101906102b09190610c66565b61058c565b6040516102c29190610c14565b60405180910390f35b6102e560048036038101906102e09190610d15565b61059e565b6040516102f29190610cce565b60405180910390f35b61031560048036038101906103109190610bb9565b6105c3565b6040516103229190610cce565b60405180910390f35b61034560048036038101906103409190610bb9565b6105d7565b6040516103529190610c14565b60405180910390f35b61037560048036038101906103709190610bb9565b6105eb565b6040516103829190610cce565b60405180910390f35b6103936105ff565b6040516103a09190610cce565b60405180910390f35b6103c360048036038101906103be9190610bb9565b610604565b6040516103d09190610cce565b60405180910390f35b6103f360048036038101906103ee9190610bb9565b610618565b6040516104009190610cce565b60405180910390f35b610423600480360381019061041e9190610c66565b61062c565b6040516104309190610b6d565b60405180910390f35b610453600480360381019061044e9190610d6e565b610640565b6040516104609190610cce565b60405180910390f35b610483600480360381019061047e9190610bb9565b610722565b6040516104909190610c14565b60405180910390f35b6104a1610736565b6040516104ae9190610b6d565b60405180910390f35b6104bf610756565b6040516104cc9190610e25565b60405180910390f35b6104ef60048036038101906104ea9190610e65565b61075b565b6040516104fc9190610b6d565b60405180910390f35b601260000b600a6105169190611007565b81565b6000610525838361084c565b905092915050565b601281565b600061053e8383610859565b905092915050565b6000601260ff16905090565b600061055e8383610866565b905092915050565b600061057182610873565b9050919050565b6000610584838361087f565b905092915050565b600061059782610895565b9050919050565b6000601260000b600a6105b19190611007565b826105bc9190611052565b9050919050565b60006105cf83836108a1565b905092915050565b60006105e38383610900565b905092915050565b60006105f7838361090e565b905092915050565b600090565b6000610610838361096d565b905092915050565b6000610624838361098a565b905092915050565b600061063982600261075b565b9050919050565b6000808260126106509190611094565b60000b1215610694576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068b9061114a565b60405180910390fd5b601260026106a2919061116a565b60000b8260126106b29190611094565b60000b13156106f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ed906111f3565b60405180910390fd5b8160126107039190611094565b600a61070f9190611220565b8361071a9190611052565b905092915050565b600061072e83836109bf565b905092915050565b6002601260000b600a6107499190611007565b610753919061129a565b81565b600281565b60006002808111156107705761076f610dae565b5b82600281111561078357610782610dae565b5b036107d4576107cd6002601260000b600a61079e9190611007565b6107a8919061129a565b846107b391906112cb565b6001601260000b600a6107c69190611007565b60006109cd565b9050610846565b600060028111156107e8576107e7610dae565b5b8260028111156107fb576107fa610dae565b5b036108255761081e836001601260000b600a6108179190611007565b60006109cd565b9050610846565b610843836001601260000b600a61083c9190611007565b60016109cd565b90505b92915050565b6000818310905092915050565b6000818311905092915050565b6000818314905092915050565b60008082149050919050565b6000818361088d91906112cb565b905092915050565b60008082119050919050565b60008082116108e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108dc9061134b565b60405180910390fd5b6108f883670de0b6b3a764000084610a43565b905092915050565b600081831015905092915050565b600061091a8383610900565b610959576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610950906113b7565b60405180910390fd5b818361096591906113d7565b905092915050565b60006109828383670de0b6b3a7640000610a43565b905092915050565b60006109968383610859565b156109ac576109a5838361090e565b90506109b9565b6109b6828461090e565b90505b92915050565b600081831115905092915050565b6000806109db868686610a43565b9050600160028111156109f1576109f0610dae565b5b836002811115610a0457610a03610dae565b5b148015610a22575060008480610a1d57610a1c61126b565b5b868809115b15610a3757600181610a3491906112cb565b90505b80915050949350505050565b6000806000801985870985870292508281108382030391505060008103610a7e57838281610a7457610a7361126b565b5b0492505050610b4d565b808411610ac0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ab790611457565b60405180910390fd5b60008486880990508281118203915080830392506000600186190186169050808604955080840493506001818260000304019050808302841793506000600287600302189050808702600203810290508087026002038102905080870260020381029050808702600203810290508087026002038102905080870260020381029050808502955050505050505b9392505050565b6000819050919050565b610b6781610b54565b82525050565b6000602082019050610b826000830184610b5e565b92915050565b600080fd5b610b9681610b54565b8114610ba157600080fd5b50565b600081359050610bb381610b8d565b92915050565b60008060408385031215610bd057610bcf610b88565b5b6000610bde85828601610ba4565b9250506020610bef85828601610ba4565b9150509250929050565b60008115159050919050565b610c0e81610bf9565b82525050565b6000602082019050610c296000830184610c05565b92915050565b60008160000b9050919050565b610c4581610c2f565b82525050565b6000602082019050610c606000830184610c3c565b92915050565b600060208284031215610c7c57610c7b610b88565b5b6000610c8a84828501610ba4565b91505092915050565b6000819050919050565b6000610cb8610cb3610cae84610b54565b610c93565b610b54565b9050919050565b610cc881610c9d565b82525050565b6000602082019050610ce36000830184610cbf565b92915050565b610cf281610b54565b8114610cfd57600080fd5b50565b600081359050610d0f81610ce9565b92915050565b600060208284031215610d2b57610d2a610b88565b5b6000610d3984828501610d00565b91505092915050565b610d4b81610c2f565b8114610d5657600080fd5b50565b600081359050610d6881610d42565b92915050565b60008060408385031215610d8557610d84610b88565b5b6000610d9385828601610d00565b9250506020610da485828601610d59565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b60038110610dee57610ded610dae565b5b50565b6000819050610dff82610ddd565b919050565b6000610e0f82610df1565b9050919050565b610e1f81610e04565b82525050565b6000602082019050610e3a6000830184610e16565b92915050565b60038110610e4d57600080fd5b50565b600081359050610e5f81610e40565b92915050565b60008060408385031215610e7c57610e7b610b88565b5b6000610e8a85828601610ba4565b9250506020610e9b85828601610e50565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b6001851115610f2b57808604811115610f0757610f06610ea5565b5b6001851615610f165780820291505b8081029050610f2485610ed4565b9450610eeb565b94509492505050565b600082610f445760019050611000565b81610f525760009050611000565b8160018114610f685760028114610f7257610fa1565b6001915050611000565b60ff841115610f8457610f83610ea5565b5b8360020a915084821115610f9b57610f9a610ea5565b5b50611000565b5060208310610133831016604e8410600b8410161715610fd65782820a905083811115610fd157610fd0610ea5565b5b611000565b610fe38484846001610ee1565b92509050818404811115610ffa57610ff9610ea5565b5b81810290505b9392505050565b600061101282610b54565b915061101d83610b54565b925061104a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f34565b905092915050565b600061105d82610b54565b915061106883610b54565b925082820261107681610b54565b9150828204841483151761108d5761108c610ea5565b5b5092915050565b600061109f82610c2f565b91506110aa83610c2f565b925082820190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff808112607f821317156110e7576110e6610ea5565b5b92915050565b600082825260208201905092915050565b7f4552524f523a464d2d3031303a4558504f4e454e545f544f4f5f534d414c4c00600082015250565b6000611134601f836110ed565b915061113f826110fe565b602082019050919050565b6000602082019050818103600083015261116381611127565b9050919050565b600061117582610c2f565b915061118083610c2f565b925082820261118e81610c2f565b91508082146111a05761119f610ea5565b5b5092915050565b7f4552524f523a464d2d3031313a4558504f4e454e545f544f4f5f4c4152474500600082015250565b60006111dd601f836110ed565b91506111e8826111a7565b602082019050919050565b6000602082019050818103600083015261120c816111d0565b9050919050565b600060ff82169050919050565b600061122b82610b54565b915061123683611213565b92506112637fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f34565b905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006112a582610b54565b91506112b083610b54565b9250826112c0576112bf61126b565b5b828204905092915050565b60006112d682610b54565b91506112e183610b54565b92508282019050808211156112f9576112f8610ea5565b5b92915050565b7f4552524f523a55464d2d3032303a44495649534f525f5a45524f000000000000600082015250565b6000611335601a836110ed565b9150611340826112ff565b602082019050919050565b6000602082019050818103600083015261136481611328565b9050919050565b7f4552524f523a55464d2d3031303a4e454741544956455f524553554c54000000600082015250565b60006113a1601d836110ed565b91506113ac8261136b565b602082019050919050565b600060208201905081810360008301526113d081611394565b9050919050565b60006113e282610b54565b91506113ed83610b54565b925082820390508181111561140557611404610ea5565b5b92915050565b7f4d6174683a206d756c446976206f766572666c6f770000000000000000000000600082015250565b60006114416015836110ed565b915061144c8261140b565b602082019050919050565b6000602082019050818103600083015261147081611434565b905091905056fea26469706673582212204204643d1e4cced1728bd12b695f144bc7387e11c075a03f726d8c29ed692d7864736f6c63430008140033",
+  "deployedBytecode": "0x730000000000000000000000000000000000000000301460806040526004361061014c5760003560e01c8063b4773329116100c2578063d05b045211610086578063d05b045214610409578063dd45daa114610439578063ea6515c414610469578063eb646d7114610499578063f30ed598146104b7578063f70dd33e146104d55761014c565b8063b47733291461032b578063b67d77c51461035b578063bc1b392d1461038b578063c8a4ac9c146103a9578063cc8b7b73146103d95761014c565b806332148d731161011457806332148d731461020b578063753b14a51461023b578063771602f71461026b5780637a858b971461029b57806392ae8ce0146102cb578063a391c15b146102fb5761014c565b8063059f8b1614610151578063118fc88c1461016f5780631a12cd471461019f57806321e5749b146101bd578063313ce567146101ed575b600080fd5b610159610505565b6040516101669190610b6d565b60405180910390f35b61018960048036038101906101849190610bb9565b610519565b6040516101969190610c14565b60405180910390f35b6101a761052d565b6040516101b49190610c4b565b60405180910390f35b6101d760048036038101906101d29190610bb9565b610532565b6040516101e49190610c14565b60405180910390f35b6101f5610546565b6040516102029190610b6d565b60405180910390f35b61022560048036038101906102209190610bb9565b610552565b6040516102329190610c14565b60405180910390f35b61025560048036038101906102509190610c66565b610566565b6040516102629190610c14565b60405180910390f35b61028560048036038101906102809190610bb9565b610578565b6040516102929190610cce565b60405180910390f35b6102b560048036038101906102b09190610c66565b61058c565b6040516102c29190610c14565b60405180910390f35b6102e560048036038101906102e09190610d15565b61059e565b6040516102f29190610cce565b60405180910390f35b61031560048036038101906103109190610bb9565b6105c3565b6040516103229190610cce565b60405180910390f35b61034560048036038101906103409190610bb9565b6105d7565b6040516103529190610c14565b60405180910390f35b61037560048036038101906103709190610bb9565b6105eb565b6040516103829190610cce565b60405180910390f35b6103936105ff565b6040516103a09190610cce565b60405180910390f35b6103c360048036038101906103be9190610bb9565b610604565b6040516103d09190610cce565b60405180910390f35b6103f360048036038101906103ee9190610bb9565b610618565b6040516104009190610cce565b60405180910390f35b610423600480360381019061041e9190610c66565b61062c565b6040516104309190610b6d565b60405180910390f35b610453600480360381019061044e9190610d6e565b610640565b6040516104609190610cce565b60405180910390f35b610483600480360381019061047e9190610bb9565b610722565b6040516104909190610c14565b60405180910390f35b6104a1610736565b6040516104ae9190610b6d565b60405180910390f35b6104bf610756565b6040516104cc9190610e25565b60405180910390f35b6104ef60048036038101906104ea9190610e65565b61075b565b6040516104fc9190610b6d565b60405180910390f35b601260000b600a6105169190611007565b81565b6000610525838361084c565b905092915050565b601281565b600061053e8383610859565b905092915050565b6000601260ff16905090565b600061055e8383610866565b905092915050565b600061057182610873565b9050919050565b6000610584838361087f565b905092915050565b600061059782610895565b9050919050565b6000601260000b600a6105b19190611007565b826105bc9190611052565b9050919050565b60006105cf83836108a1565b905092915050565b60006105e38383610900565b905092915050565b60006105f7838361090e565b905092915050565b600090565b6000610610838361096d565b905092915050565b6000610624838361098a565b905092915050565b600061063982600261075b565b9050919050565b6000808260126106509190611094565b60000b1215610694576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068b9061114a565b60405180910390fd5b601260026106a2919061116a565b60000b8260126106b29190611094565b60000b13156106f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ed906111f3565b60405180910390fd5b8160126107039190611094565b600a61070f9190611220565b8361071a9190611052565b905092915050565b600061072e83836109bf565b905092915050565b6002601260000b600a6107499190611007565b610753919061129a565b81565b600281565b60006002808111156107705761076f610dae565b5b82600281111561078357610782610dae565b5b036107d4576107cd6002601260000b600a61079e9190611007565b6107a8919061129a565b846107b391906112cb565b6001601260000b600a6107c69190611007565b60006109cd565b9050610846565b600060028111156107e8576107e7610dae565b5b8260028111156107fb576107fa610dae565b5b036108255761081e836001601260000b600a6108179190611007565b60006109cd565b9050610846565b610843836001601260000b600a61083c9190611007565b60016109cd565b90505b92915050565b6000818310905092915050565b6000818311905092915050565b6000818314905092915050565b60008082149050919050565b6000818361088d91906112cb565b905092915050565b60008082119050919050565b60008082116108e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108dc9061134b565b60405180910390fd5b6108f883670de0b6b3a764000084610a43565b905092915050565b600081831015905092915050565b600061091a8383610900565b610959576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610950906113b7565b60405180910390fd5b818361096591906113d7565b905092915050565b60006109828383670de0b6b3a7640000610a43565b905092915050565b60006109968383610859565b156109ac576109a5838361090e565b90506109b9565b6109b6828461090e565b90505b92915050565b600081831115905092915050565b6000806109db868686610a43565b9050600160028111156109f1576109f0610dae565b5b836002811115610a0457610a03610dae565b5b148015610a22575060008480610a1d57610a1c61126b565b5b868809115b15610a3757600181610a3491906112cb565b90505b80915050949350505050565b6000806000801985870985870292508281108382030391505060008103610a7e57838281610a7457610a7361126b565b5b0492505050610b4d565b808411610ac0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ab790611457565b60405180910390fd5b60008486880990508281118203915080830392506000600186190186169050808604955080840493506001818260000304019050808302841793506000600287600302189050808702600203810290508087026002038102905080870260020381029050808702600203810290508087026002038102905080870260020381029050808502955050505050505b9392505050565b6000819050919050565b610b6781610b54565b82525050565b6000602082019050610b826000830184610b5e565b92915050565b600080fd5b610b9681610b54565b8114610ba157600080fd5b50565b600081359050610bb381610b8d565b92915050565b60008060408385031215610bd057610bcf610b88565b5b6000610bde85828601610ba4565b9250506020610bef85828601610ba4565b9150509250929050565b60008115159050919050565b610c0e81610bf9565b82525050565b6000602082019050610c296000830184610c05565b92915050565b60008160000b9050919050565b610c4581610c2f565b82525050565b6000602082019050610c606000830184610c3c565b92915050565b600060208284031215610c7c57610c7b610b88565b5b6000610c8a84828501610ba4565b91505092915050565b6000819050919050565b6000610cb8610cb3610cae84610b54565b610c93565b610b54565b9050919050565b610cc881610c9d565b82525050565b6000602082019050610ce36000830184610cbf565b92915050565b610cf281610b54565b8114610cfd57600080fd5b50565b600081359050610d0f81610ce9565b92915050565b600060208284031215610d2b57610d2a610b88565b5b6000610d3984828501610d00565b91505092915050565b610d4b81610c2f565b8114610d5657600080fd5b50565b600081359050610d6881610d42565b92915050565b60008060408385031215610d8557610d84610b88565b5b6000610d9385828601610d00565b9250506020610da485828601610d59565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b60038110610dee57610ded610dae565b5b50565b6000819050610dff82610ddd565b919050565b6000610e0f82610df1565b9050919050565b610e1f81610e04565b82525050565b6000602082019050610e3a6000830184610e16565b92915050565b60038110610e4d57600080fd5b50565b600081359050610e5f81610e40565b92915050565b60008060408385031215610e7c57610e7b610b88565b5b6000610e8a85828601610ba4565b9250506020610e9b85828601610e50565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b6001851115610f2b57808604811115610f0757610f06610ea5565b5b6001851615610f165780820291505b8081029050610f2485610ed4565b9450610eeb565b94509492505050565b600082610f445760019050611000565b81610f525760009050611000565b8160018114610f685760028114610f7257610fa1565b6001915050611000565b60ff841115610f8457610f83610ea5565b5b8360020a915084821115610f9b57610f9a610ea5565b5b50611000565b5060208310610133831016604e8410600b8410161715610fd65782820a905083811115610fd157610fd0610ea5565b5b611000565b610fe38484846001610ee1565b92509050818404811115610ffa57610ff9610ea5565b5b81810290505b9392505050565b600061101282610b54565b915061101d83610b54565b925061104a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f34565b905092915050565b600061105d82610b54565b915061106883610b54565b925082820261107681610b54565b9150828204841483151761108d5761108c610ea5565b5b5092915050565b600061109f82610c2f565b91506110aa83610c2f565b925082820190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff808112607f821317156110e7576110e6610ea5565b5b92915050565b600082825260208201905092915050565b7f4552524f523a464d2d3031303a4558504f4e454e545f544f4f5f534d414c4c00600082015250565b6000611134601f836110ed565b915061113f826110fe565b602082019050919050565b6000602082019050818103600083015261116381611127565b9050919050565b600061117582610c2f565b915061118083610c2f565b925082820261118e81610c2f565b91508082146111a05761119f610ea5565b5b5092915050565b7f4552524f523a464d2d3031313a4558504f4e454e545f544f4f5f4c4152474500600082015250565b60006111dd601f836110ed565b91506111e8826111a7565b602082019050919050565b6000602082019050818103600083015261120c816111d0565b9050919050565b600060ff82169050919050565b600061122b82610b54565b915061123683611213565b92506112637fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f34565b905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006112a582610b54565b91506112b083610b54565b9250826112c0576112bf61126b565b5b828204905092915050565b60006112d682610b54565b91506112e183610b54565b92508282019050808211156112f9576112f8610ea5565b5b92915050565b7f4552524f523a55464d2d3032303a44495649534f525f5a45524f000000000000600082015250565b6000611335601a836110ed565b9150611340826112ff565b602082019050919050565b6000602082019050818103600083015261136481611328565b9050919050565b7f4552524f523a55464d2d3031303a4e454741544956455f524553554c54000000600082015250565b60006113a1601d836110ed565b91506113ac8261136b565b602082019050919050565b600060208201905081810360008301526113d081611394565b9050919050565b60006113e282610b54565b91506113ed83610b54565b925082820390508181111561140557611404610ea5565b5b92915050565b7f4d6174683a206d756c446976206f766572666c6f770000000000000000000000600082015250565b60006114416015836110ed565b915061144c8261140b565b602082019050919050565b6000602082019050818103600083015261147081611434565b905091905056fea26469706673582212204204643d1e4cced1728bd12b695f144bc7387e11c075a03f726d8c29ed692d7864736f6c63430008140033",
+  "linkReferences": {},
+  "deployedLinkReferences": {}
+}

package/contracts/components/Component.sol

@@ -6,7 +6,7 @@ import {Registerable} from "../registry/Registry.sol";
 import {IInstance} from "../instance/IInstance.sol";
 
 import {IInstanceLinked, IComponent, IComponentContract, IComponentModule, IComponentOwnerService} from "../instance/component/IComponent.sol";
-
+import {NftId} from "../types/NftId.sol";
 
 contract InstanceLinked is 
     IInstanceLinked
@@ -45,7 +45,7 @@ abstract contract Component is
     function register()
         public
         override
-        returns(uint256 componentId)
+        returns(NftId componentId)
     {
         require(msg.sender == getInitialOwner(), "");
         require(address(_registry) != address(0), "ERROR:PRD-001:REGISTRY_ZERO");
@@ -56,7 +56,7 @@ abstract contract Component is
     }
 
     // from registerable
-    function getParentNftId() public view override returns(uint256) {
+    function getParentNftId() public view override returns(NftId) {
         return getInstance().getNftId();
     }
 }

package/contracts/components/IProduct.sol

@@ -2,10 +2,11 @@
 pragma solidity ^0.8.19;
 
 import {IComponentContract} from "../instance/component/IComponent.sol";
+import {NftId} from "../types/NftId.sol";
 
 interface IProductComponent is
     IComponentContract
 {
 
-    function getPoolNftId() external view returns(uint256 poolNftId);
+    function getPoolNftId() external view returns(NftId poolNftId);
 }

package/contracts/components/Product.sol

@@ -4,6 +4,7 @@ pragma solidity ^0.8.19;
 import {IProductService} from "../instance/product/IProductService.sol";
 import {Component} from "./Component.sol";
 import {IProductComponent} from "./IProduct.sol";
+import {NftId} from "../types/NftId.sol";
 
 
 contract Product is
@@ -29,10 +30,10 @@ contract Product is
         uint256 sumInsuredAmount,
         uint256 premiumAmount,
         uint256 lifetime,
-        uint256 bundleNftId
+        NftId bundleNftId
     )
         internal
-        returns(uint256 nftId)
+        returns(NftId nftId)
     {
         nftId = _productService.createApplication(
             applicationOwner,
@@ -43,13 +44,13 @@ contract Product is
         );
     }
 
-    function _underwrite(uint256 nftId)
+    function _underwrite(NftId nftId)
         internal
     {
         _productService.underwrite(nftId);
     }
 
-    function getPoolNftId() external view override returns(uint256 poolNftId) {
+    function getPoolNftId() external view override returns(NftId poolNftId) {
         return _registry.getNftId(_pool);
     }
 

package/contracts/experiment/errors/Require.sol

@@ -0,0 +1,33 @@
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity ^0.8.19;
+
+contract Require {
+
+    error AsmallerThanB_S();
+    error AsmallerThanB_M(uint a);
+    error AsmallerThanB_L(uint a, uint b);
+
+    uint256 private _b;
+
+    constructor() {
+        _b = 42;
+    }
+
+    function isAlargerThanBRequire_S(uint a) external view returns(bool isLarger) {
+        require(a > _b, "ERROR:ABC-001");
+
+        return true;
+    }
+
+    function isAlargerThanBRequire_M(uint a) external view returns(bool isLarger) {
+        require(a > _b, "ERROR:ABC-002:A_IS_SMALLER");
+
+        return true;
+    }
+
+    function isAlargerThanBRequire_L(uint a) external view returns(bool isLarger) {
+        require(a > _b, "ERROR:ABC-003:A_IS_SMALLER_THAN_B");
+
+        return true;
+    }
+}

package/contracts/experiment/errors/Revert.sol

@@ -0,0 +1,39 @@
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity ^0.8.19;
+
+contract Revert {
+
+    error AsmallerThanB_S();
+    error AsmallerThanB_M(uint a);
+    error AsmallerThanB_L(uint a, uint b);
+
+    uint256 private _b;
+
+    constructor() {
+        _b = 42;
+    }
+
+    function isAlargerThanBRevert_S(uint a) external view returns(bool isLarger) {
+        if(a <= _b) {
+            revert AsmallerThanB_S();
+        }
+
+        return true;
+    }
+
+    function isAlargerThanBRevert_M(uint a) external view returns(bool isLarger) {
+        if(a <= _b) {
+            revert AsmallerThanB_M(a);
+        }
+
+        return true;
+    }
+
+    function isAlargerThanBRevert_L(uint a) external view returns(bool isLarger) {
+        if(a <= _b) {
+            revert AsmallerThanB_L(a, _b);
+        }
+
+        return true;
+    }
+}

package/contracts/experiment/{B.sol → inheritance/B.sol}

@@ -15,7 +15,7 @@ abstract contract B is ISharedA, IB {
 
     // access own state
     function getB() external view override returns(uint256) { return _x; }
-    function setB(uint256 newA) external override { _x = newA; }
+    function setB(uint256 newB) external override { _x = newB; }
 
     // access state from parent contract A
     function getAfromB() external view override returns(uint256) { return this.getA(); }

package/contracts/experiment/{C.sol → inheritance/C.sol}

@@ -15,7 +15,7 @@ abstract contract C is ISharedA, IC {
 
     // access own state
     function getC() external view override returns(uint256) { return _x; }
-    function setC(uint256 newA) external override { _x = newA; }
+    function setC(uint256 newC) external override { _x = newC; }
 
     // access state from parent contract A
     function getAfromC() external view override returns(uint256) { return this.getA(); }