@etherisc/gif-next 0.0.2-ebbe63d → 0.0.2-ecbd488-936

Sign up to get free protection for your applications and to get access to all the features.
Files changed (333) hide show
  1. package/README.md +390 -2
  2. package/artifacts/contracts/components/BaseComponent.sol/BaseComponent.dbg.json +4 -0
  3. package/artifacts/contracts/components/BaseComponent.sol/BaseComponent.json +327 -0
  4. package/artifacts/contracts/components/Distribution.sol/Distribution.dbg.json +4 -0
  5. package/artifacts/contracts/components/Distribution.sol/Distribution.json +618 -0
  6. package/artifacts/contracts/components/IBaseComponent.sol/IBaseComponent.dbg.json +4 -0
  7. package/artifacts/contracts/components/IBaseComponent.sol/IBaseComponent.json +280 -0
  8. package/artifacts/contracts/components/IDistributionComponent.sol/IDistributionComponent.dbg.json +4 -0
  9. package/artifacts/contracts/components/IDistributionComponent.sol/IDistributionComponent.json +152 -0
  10. package/artifacts/contracts/components/IPoolComponent.sol/IPoolComponent.dbg.json +4 -0
  11. package/artifacts/contracts/components/IPoolComponent.sol/IPoolComponent.json +249 -0
  12. package/artifacts/contracts/components/IProductComponent.sol/IProductComponent.dbg.json +4 -0
  13. package/artifacts/contracts/components/IProductComponent.sol/IProductComponent.json +157 -0
  14. package/artifacts/contracts/components/Pool.sol/Pool.dbg.json +4 -0
  15. package/artifacts/contracts/components/Pool.sol/Pool.json +782 -0
  16. package/artifacts/contracts/components/Product.sol/Product.dbg.json +4 -0
  17. package/artifacts/contracts/components/Product.sol/Product.json +719 -0
  18. package/artifacts/contracts/experiment/cloning/Cloner.sol/Cloner.dbg.json +4 -0
  19. package/artifacts/contracts/experiment/cloning/Cloner.sol/Cloner.json +66 -0
  20. package/artifacts/contracts/experiment/cloning/Cloner.sol/Mock1.dbg.json +4 -0
  21. package/artifacts/contracts/experiment/cloning/Cloner.sol/Mock1.json +24 -0
  22. package/artifacts/contracts/experiment/cloning/Cloner.sol/Mock2.dbg.json +4 -0
  23. package/artifacts/contracts/experiment/cloning/Cloner.sol/Mock2.json +42 -0
  24. package/artifacts/contracts/experiment/errors/Require.sol/Require.dbg.json +4 -0
  25. package/artifacts/contracts/experiment/errors/Require.sol/Require.json +105 -0
  26. package/artifacts/contracts/experiment/errors/Revert.sol/Revert.dbg.json +4 -0
  27. package/artifacts/contracts/experiment/errors/Revert.sol/Revert.json +105 -0
  28. package/artifacts/contracts/experiment/inheritance/A.sol/A.dbg.json +4 -0
  29. package/artifacts/contracts/experiment/inheritance/A.sol/A.json +128 -0
  30. package/artifacts/contracts/experiment/inheritance/A.sol/AShared.dbg.json +4 -0
  31. package/artifacts/contracts/experiment/inheritance/A.sol/AShared.json +42 -0
  32. package/artifacts/contracts/experiment/inheritance/B.sol/B.dbg.json +4 -0
  33. package/artifacts/contracts/experiment/inheritance/B.sol/B.json +76 -0
  34. package/artifacts/contracts/experiment/inheritance/C.sol/C.dbg.json +4 -0
  35. package/artifacts/contracts/experiment/inheritance/C.sol/C.json +89 -0
  36. package/artifacts/contracts/experiment/inheritance/IA.sol/IA.dbg.json +4 -0
  37. package/artifacts/contracts/experiment/inheritance/IA.sol/IA.json +128 -0
  38. package/artifacts/contracts/experiment/inheritance/IA.sol/ISharedA.dbg.json +4 -0
  39. package/artifacts/contracts/experiment/inheritance/IA.sol/ISharedA.json +37 -0
  40. package/artifacts/contracts/experiment/inheritance/IB.sol/IB.dbg.json +4 -0
  41. package/artifacts/contracts/experiment/inheritance/IB.sol/IB.json +50 -0
  42. package/artifacts/contracts/experiment/inheritance/IC.sol/IC.dbg.json +4 -0
  43. package/artifacts/contracts/experiment/inheritance/IC.sol/IC.json +63 -0
  44. package/artifacts/contracts/experiment/statemachine/Dummy.sol/LifeCycleModule.dbg.json +4 -0
  45. package/artifacts/contracts/experiment/statemachine/Dummy.sol/LifeCycleModule.json +59 -0
  46. package/artifacts/contracts/experiment/statemachine/ISM.sol/ISM.dbg.json +4 -0
  47. package/artifacts/contracts/experiment/statemachine/ISM.sol/ISM.json +124 -0
  48. package/artifacts/contracts/experiment/statemachine/ISM.sol/ISMEE.dbg.json +4 -0
  49. package/artifacts/contracts/experiment/statemachine/ISM.sol/ISMEE.json +74 -0
  50. package/artifacts/contracts/experiment/statemachine/SM.sol/SM.dbg.json +4 -0
  51. package/artifacts/contracts/experiment/statemachine/SM.sol/SM.json +124 -0
  52. package/artifacts/contracts/experiment/statemachine/SimpleStateMachine.sol/SimpleStateMachine.dbg.json +4 -0
  53. package/artifacts/contracts/experiment/statemachine/SimpleStateMachine.sol/SimpleStateMachine.json +207 -0
  54. package/artifacts/contracts/experiment/types/TypeA.sol/TypeALib.dbg.json +4 -0
  55. package/artifacts/contracts/experiment/types/TypeA.sol/TypeALib.json +10 -0
  56. package/artifacts/contracts/experiment/types/TypeB.sol/TypeBLib.dbg.json +4 -0
  57. package/artifacts/contracts/experiment/types/TypeB.sol/TypeBLib.json +10 -0
  58. package/artifacts/contracts/instance/AccessManagedSimple.sol/AccessManagedSimple.dbg.json +4 -0
  59. package/artifacts/contracts/instance/AccessManagedSimple.sol/AccessManagedSimple.json +101 -0
  60. package/artifacts/contracts/instance/AccessManagerSimple.sol/AccessManagerSimple.dbg.json +4 -0
  61. package/artifacts/contracts/instance/AccessManagerSimple.sol/AccessManagerSimple.json +1132 -0
  62. package/artifacts/contracts/instance/IAccessManagerSimple.sol/IAccessManagerSimple.dbg.json +4 -0
  63. package/artifacts/contracts/instance/IAccessManagerSimple.sol/IAccessManagerSimple.json +1082 -0
  64. package/artifacts/contracts/instance/IInstance.sol/IInstance.dbg.json +4 -0
  65. package/artifacts/contracts/instance/IInstance.sol/IInstance.json +1014 -0
  66. package/artifacts/contracts/instance/IInstanceService.sol/IInstanceService.dbg.json +4 -0
  67. package/artifacts/contracts/instance/IInstanceService.sol/IInstanceService.json +480 -0
  68. package/artifacts/contracts/instance/Instance.sol/Instance.dbg.json +4 -0
  69. package/artifacts/contracts/instance/Instance.sol/Instance.json +3552 -0
  70. package/artifacts/contracts/instance/InstanceAccessManager.sol/InstanceAccessManager.dbg.json +4 -0
  71. package/artifacts/contracts/instance/InstanceAccessManager.sol/InstanceAccessManager.json +917 -0
  72. package/artifacts/contracts/instance/InstanceReader.sol/InstanceReader.dbg.json +4 -0
  73. package/artifacts/contracts/instance/InstanceReader.sol/InstanceReader.json +1388 -0
  74. package/artifacts/contracts/instance/InstanceService.sol/InstanceService.dbg.json +4 -0
  75. package/artifacts/contracts/instance/InstanceService.sol/InstanceService.json +931 -0
  76. package/artifacts/contracts/instance/InstanceServiceManager.sol/InstanceServiceManager.dbg.json +4 -0
  77. package/artifacts/contracts/instance/InstanceServiceManager.sol/InstanceServiceManager.json +508 -0
  78. package/artifacts/contracts/instance/base/ComponentServiceBase.sol/ComponentServiceBase.dbg.json +4 -0
  79. package/artifacts/contracts/instance/base/ComponentServiceBase.sol/ComponentServiceBase.json +540 -0
  80. package/artifacts/contracts/instance/base/IInstanceBase.sol/IInstanceBase.dbg.json +4 -0
  81. package/artifacts/contracts/instance/base/IInstanceBase.sol/IInstanceBase.json +113 -0
  82. package/artifacts/contracts/instance/base/IKeyValueStore.sol/IKeyValueStore.dbg.json +4 -0
  83. package/artifacts/contracts/instance/base/IKeyValueStore.sol/IKeyValueStore.json +429 -0
  84. package/artifacts/contracts/instance/base/ILifecycle.sol/ILifecycle.dbg.json +4 -0
  85. package/artifacts/contracts/instance/base/ILifecycle.sol/ILifecycle.json +115 -0
  86. package/artifacts/contracts/instance/base/KeyValueStore.sol/KeyValueStore.dbg.json +4 -0
  87. package/artifacts/contracts/instance/base/KeyValueStore.sol/KeyValueStore.json +502 -0
  88. package/artifacts/contracts/instance/base/Lifecycle.sol/Lifecycle.dbg.json +4 -0
  89. package/artifacts/contracts/instance/base/Lifecycle.sol/Lifecycle.json +169 -0
  90. package/artifacts/contracts/instance/module/IAccess.sol/IAccess.dbg.json +4 -0
  91. package/artifacts/contracts/instance/module/IAccess.sol/IAccess.json +211 -0
  92. package/artifacts/contracts/instance/module/IBundle.sol/IBundle.dbg.json +4 -0
  93. package/artifacts/contracts/instance/module/IBundle.sol/IBundle.json +10 -0
  94. package/artifacts/contracts/instance/module/IDistribution.sol/IDistribution.dbg.json +4 -0
  95. package/artifacts/contracts/instance/module/IDistribution.sol/IDistribution.json +10 -0
  96. package/artifacts/contracts/instance/module/IPolicy.sol/IPolicy.dbg.json +4 -0
  97. package/artifacts/contracts/instance/module/IPolicy.sol/IPolicy.json +10 -0
  98. package/artifacts/contracts/instance/module/IRisk.sol/IRisk.dbg.json +4 -0
  99. package/artifacts/contracts/instance/module/IRisk.sol/IRisk.json +10 -0
  100. package/artifacts/contracts/instance/module/ISetup.sol/ISetup.dbg.json +4 -0
  101. package/artifacts/contracts/instance/module/ISetup.sol/ISetup.json +10 -0
  102. package/artifacts/contracts/instance/module/ITreasury.sol/ITreasury.dbg.json +4 -0
  103. package/artifacts/contracts/instance/module/ITreasury.sol/ITreasury.json +10 -0
  104. package/artifacts/contracts/instance/service/ComponentOwnerService.sol/ComponentOwnerService.dbg.json +4 -0
  105. package/artifacts/contracts/instance/service/ComponentOwnerService.sol/ComponentOwnerService.json +827 -0
  106. package/artifacts/contracts/instance/service/DistributionService.sol/DistributionService.dbg.json +4 -0
  107. package/artifacts/contracts/instance/service/DistributionService.sol/DistributionService.json +716 -0
  108. package/artifacts/contracts/instance/service/DistributionServiceManager.sol/DistributionServiceManager.dbg.json +4 -0
  109. package/artifacts/contracts/instance/service/DistributionServiceManager.sol/DistributionServiceManager.json +444 -0
  110. package/artifacts/contracts/instance/service/IComponentOwnerService.sol/IComponentOwnerService.dbg.json +4 -0
  111. package/artifacts/contracts/instance/service/IComponentOwnerService.sol/IComponentOwnerService.json +466 -0
  112. package/artifacts/contracts/instance/service/IDistributionService.sol/IDistributionService.dbg.json +4 -0
  113. package/artifacts/contracts/instance/service/IDistributionService.sol/IDistributionService.json +446 -0
  114. package/artifacts/contracts/instance/service/IPoolService.sol/IPoolService.dbg.json +4 -0
  115. package/artifacts/contracts/instance/service/IPoolService.sol/IPoolService.json +561 -0
  116. package/artifacts/contracts/instance/service/IProductService.sol/IProductService.dbg.json +4 -0
  117. package/artifacts/contracts/instance/service/IProductService.sol/IProductService.json +739 -0
  118. package/artifacts/contracts/instance/service/PoolService.sol/PoolService.dbg.json +4 -0
  119. package/artifacts/contracts/instance/service/PoolService.sol/PoolService.json +839 -0
  120. package/artifacts/contracts/instance/service/PoolServiceManager.sol/PoolServiceManager.dbg.json +4 -0
  121. package/artifacts/contracts/instance/service/PoolServiceManager.sol/PoolServiceManager.json +448 -0
  122. package/artifacts/contracts/instance/service/ProductService.sol/ProductService.dbg.json +4 -0
  123. package/artifacts/contracts/instance/service/ProductService.sol/ProductService.json +1046 -0
  124. package/artifacts/contracts/instance/service/ProductServiceManager.sol/ProductServiceManager.dbg.json +4 -0
  125. package/artifacts/contracts/instance/service/ProductServiceManager.sol/ProductServiceManager.json +448 -0
  126. package/artifacts/contracts/registry/ChainNft.sol/ChainNft.dbg.json +4 -0
  127. package/artifacts/contracts/registry/ChainNft.sol/ChainNft.json +771 -0
  128. package/artifacts/contracts/registry/IRegistry.sol/IRegistry.dbg.json +4 -0
  129. package/artifacts/contracts/registry/IRegistry.sol/IRegistry.json +626 -0
  130. package/artifacts/contracts/registry/IRegistryService.sol/IRegistryService.dbg.json +4 -0
  131. package/artifacts/contracts/registry/IRegistryService.sol/IRegistryService.json +947 -0
  132. package/artifacts/contracts/registry/ITransferInterceptor.sol/ITransferInterceptor.dbg.json +4 -0
  133. package/artifacts/contracts/registry/ITransferInterceptor.sol/ITransferInterceptor.json +34 -0
  134. package/artifacts/contracts/registry/Registry.sol/Registry.dbg.json +4 -0
  135. package/artifacts/contracts/registry/Registry.sol/Registry.json +809 -0
  136. package/artifacts/contracts/registry/RegistryService.sol/RegistryService.dbg.json +4 -0
  137. package/artifacts/contracts/registry/RegistryService.sol/RegistryService.json +1293 -0
  138. package/artifacts/contracts/registry/RegistryServiceManager.sol/RegistryServiceManager.dbg.json +4 -0
  139. package/artifacts/contracts/registry/RegistryServiceManager.sol/RegistryServiceManager.json +513 -0
  140. package/artifacts/contracts/registry/TokenRegistry.sol/TokenRegistry.dbg.json +4 -0
  141. package/artifacts/contracts/registry/TokenRegistry.sol/TokenRegistry.json +410 -0
  142. package/artifacts/contracts/shared/ContractDeployerLib.sol/ContractDeployerLib.dbg.json +4 -0
  143. package/artifacts/contracts/shared/ContractDeployerLib.sol/ContractDeployerLib.json +107 -0
  144. package/artifacts/contracts/shared/ERC165.sol/ERC165.dbg.json +4 -0
  145. package/artifacts/contracts/shared/ERC165.sol/ERC165.json +35 -0
  146. package/artifacts/contracts/shared/INftOwnable.sol/INftOwnable.dbg.json +4 -0
  147. package/artifacts/contracts/shared/INftOwnable.sol/INftOwnable.json +127 -0
  148. package/artifacts/contracts/shared/IRegisterable.sol/IRegisterable.dbg.json +4 -0
  149. package/artifacts/contracts/shared/IRegisterable.sol/IRegisterable.json +201 -0
  150. package/artifacts/contracts/shared/IService.sol/IService.dbg.json +4 -0
  151. package/artifacts/contracts/shared/IService.sol/IService.json +421 -0
  152. package/artifacts/contracts/shared/IVersionable.sol/IVersionable.dbg.json +4 -0
  153. package/artifacts/contracts/shared/IVersionable.sol/IVersionable.json +205 -0
  154. package/artifacts/contracts/shared/NftOwnable.sol/NftOwnable.dbg.json +4 -0
  155. package/artifacts/contracts/shared/NftOwnable.sol/NftOwnable.json +158 -0
  156. package/artifacts/contracts/shared/ProxyManager.sol/ProxyManager.dbg.json +4 -0
  157. package/artifacts/contracts/shared/ProxyManager.sol/ProxyManager.json +349 -0
  158. package/artifacts/contracts/shared/Registerable.sol/Registerable.dbg.json +4 -0
  159. package/artifacts/contracts/shared/Registerable.sol/Registerable.json +274 -0
  160. package/artifacts/contracts/shared/RegisterableUpgradable.sol/RegisterableUpgradable.dbg.json +4 -0
  161. package/artifacts/contracts/shared/RegisterableUpgradable.sol/RegisterableUpgradable.json +442 -0
  162. package/artifacts/contracts/shared/Service.sol/Service.dbg.json +4 -0
  163. package/artifacts/contracts/shared/Service.sol/Service.json +468 -0
  164. package/artifacts/contracts/shared/TokenHandler.sol/TokenHandler.dbg.json +4 -0
  165. package/artifacts/contracts/shared/TokenHandler.sol/TokenHandler.json +96 -0
  166. package/artifacts/contracts/shared/UpgradableProxyWithAdmin.sol/UpgradableProxyWithAdmin.dbg.json +4 -0
  167. package/artifacts/contracts/shared/UpgradableProxyWithAdmin.sol/UpgradableProxyWithAdmin.json +129 -0
  168. package/artifacts/contracts/shared/Versionable.sol/Versionable.dbg.json +4 -0
  169. package/artifacts/contracts/shared/Versionable.sol/Versionable.json +228 -0
  170. package/artifacts/contracts/test/TestFee.sol/TestFee.dbg.json +4 -0
  171. package/artifacts/contracts/test/TestFee.sol/TestFee.json +119 -0
  172. package/artifacts/contracts/test/TestRegisterable.sol/TestRegisterable.dbg.json +4 -0
  173. package/artifacts/contracts/test/TestRegisterable.sol/TestRegisterable.json +305 -0
  174. package/artifacts/contracts/test/TestRoleId.sol/TestRoleId.dbg.json +4 -0
  175. package/artifacts/contracts/test/TestRoleId.sol/TestRoleId.json +116 -0
  176. package/artifacts/contracts/test/TestService.sol/TestService.dbg.json +4 -0
  177. package/artifacts/contracts/test/TestService.sol/TestService.json +600 -0
  178. package/artifacts/contracts/test/TestToken.sol/TestUsdc.dbg.json +4 -0
  179. package/artifacts/contracts/test/TestToken.sol/TestUsdc.json +376 -0
  180. package/artifacts/contracts/test/TestVersion.sol/TestVersion.dbg.json +4 -0
  181. package/artifacts/contracts/test/TestVersion.sol/TestVersion.json +218 -0
  182. package/artifacts/contracts/test/TestVersionable.sol/TestVersionable.dbg.json +4 -0
  183. package/artifacts/contracts/test/TestVersionable.sol/TestVersionable.json +286 -0
  184. package/artifacts/contracts/test/Usdc.sol/USDC.dbg.json +4 -0
  185. package/artifacts/contracts/test/Usdc.sol/USDC.json +376 -0
  186. package/artifacts/contracts/types/AddressSet.sol/LibAddressSet.dbg.json +4 -0
  187. package/artifacts/contracts/types/AddressSet.sol/LibAddressSet.json +10 -0
  188. package/artifacts/contracts/types/Blocknumber.sol/BlocknumberLib.dbg.json +4 -0
  189. package/artifacts/contracts/types/Blocknumber.sol/BlocknumberLib.json +174 -0
  190. package/artifacts/contracts/types/ChainId.sol/ChainIdLib.dbg.json +4 -0
  191. package/artifacts/contracts/types/ChainId.sol/ChainIdLib.json +10 -0
  192. package/artifacts/contracts/types/DistributorType.sol/DistributorTypeLib.dbg.json +4 -0
  193. package/artifacts/contracts/types/DistributorType.sol/DistributorTypeLib.json +104 -0
  194. package/artifacts/contracts/types/Fee.sol/FeeLib.dbg.json +4 -0
  195. package/artifacts/contracts/types/Fee.sol/FeeLib.json +257 -0
  196. package/artifacts/contracts/types/Key32.sol/Key32Lib.dbg.json +4 -0
  197. package/artifacts/contracts/types/Key32.sol/Key32Lib.json +125 -0
  198. package/artifacts/contracts/types/NftId.sol/NftIdLib.dbg.json +4 -0
  199. package/artifacts/contracts/types/NftId.sol/NftIdLib.json +153 -0
  200. package/artifacts/contracts/types/NftIdSet.sol/LibNftIdSet.dbg.json +4 -0
  201. package/artifacts/contracts/types/NftIdSet.sol/LibNftIdSet.json +10 -0
  202. package/artifacts/contracts/types/NumberId.sol/NumberIdLib.dbg.json +4 -0
  203. package/artifacts/contracts/types/NumberId.sol/NumberIdLib.json +100 -0
  204. package/artifacts/contracts/types/ObjectType.sol/ObjectTypeLib.dbg.json +4 -0
  205. package/artifacts/contracts/types/ObjectType.sol/ObjectTypeLib.json +92 -0
  206. package/artifacts/contracts/types/Referral.sol/ReferralLib.dbg.json +4 -0
  207. package/artifacts/contracts/types/Referral.sol/ReferralLib.json +123 -0
  208. package/artifacts/contracts/types/RiskId.sol/RiskIdLib.dbg.json +4 -0
  209. package/artifacts/contracts/types/RiskId.sol/RiskIdLib.json +86 -0
  210. package/artifacts/contracts/types/RoleId.sol/RoleIdLib.dbg.json +4 -0
  211. package/artifacts/contracts/types/RoleId.sol/RoleIdLib.json +156 -0
  212. package/artifacts/contracts/types/StateId.sol/StateIdLib.dbg.json +4 -0
  213. package/artifacts/contracts/types/StateId.sol/StateIdLib.json +92 -0
  214. package/artifacts/contracts/types/Timestamp.sol/TimestampLib.dbg.json +4 -0
  215. package/artifacts/contracts/types/Timestamp.sol/TimestampLib.json +249 -0
  216. package/artifacts/contracts/types/UFixed.sol/MathLib.dbg.json +4 -0
  217. package/artifacts/contracts/types/UFixed.sol/MathLib.json +10 -0
  218. package/artifacts/contracts/types/UFixed.sol/UFixedLib.dbg.json +4 -0
  219. package/artifacts/contracts/types/UFixed.sol/UFixedLib.json +479 -0
  220. package/artifacts/contracts/types/Version.sol/VersionLib.dbg.json +4 -0
  221. package/artifacts/contracts/types/Version.sol/VersionLib.json +177 -0
  222. package/artifacts/contracts/types/Version.sol/VersionPartLib.dbg.json +4 -0
  223. package/artifacts/contracts/types/Version.sol/VersionPartLib.json +49 -0
  224. package/contracts/components/BaseComponent.sol +91 -0
  225. package/contracts/components/Distribution.sol +159 -0
  226. package/contracts/components/IBaseComponent.sol +25 -0
  227. package/contracts/components/IDistributionComponent.sol +44 -0
  228. package/contracts/components/IPoolComponent.sol +62 -0
  229. package/contracts/components/IProductComponent.sol +35 -0
  230. package/contracts/components/Pool.sol +242 -0
  231. package/contracts/components/Product.sol +284 -0
  232. package/contracts/experiment/cloning/Cloner.sol +47 -0
  233. package/contracts/experiment/errors/Require.sol +38 -0
  234. package/contracts/experiment/errors/Revert.sol +44 -0
  235. package/contracts/experiment/inheritance/A.sol +53 -0
  236. package/contracts/experiment/inheritance/B.sol +28 -0
  237. package/contracts/experiment/inheritance/C.sol +34 -0
  238. package/contracts/experiment/inheritance/IA.sol +13 -0
  239. package/contracts/experiment/inheritance/IB.sol +10 -0
  240. package/contracts/experiment/inheritance/IC.sol +12 -0
  241. package/contracts/experiment/statemachine/Dummy.sol +27 -0
  242. package/contracts/experiment/statemachine/ISM.sol +25 -0
  243. package/contracts/experiment/statemachine/SM.sol +57 -0
  244. package/contracts/experiment/statemachine/SimpleStateMachine.sol +31 -0
  245. package/contracts/experiment/types/TypeA.sol +47 -0
  246. package/contracts/experiment/types/TypeB.sol +29 -0
  247. package/contracts/instance/AccessManagedSimple.sol +115 -0
  248. package/contracts/instance/AccessManagerSimple.sol +692 -0
  249. package/contracts/instance/IAccessManagerSimple.sol +391 -0
  250. package/contracts/instance/IInstance.sol +48 -0
  251. package/contracts/instance/IInstanceService.sol +30 -0
  252. package/contracts/instance/Instance.sol +443 -0
  253. package/contracts/instance/InstanceAccessManager.sol +288 -0
  254. package/contracts/instance/InstanceReader.sol +306 -0
  255. package/contracts/instance/InstanceService.sol +195 -0
  256. package/contracts/instance/InstanceServiceManager.sol +57 -0
  257. package/contracts/instance/base/ComponentServiceBase.sol +124 -0
  258. package/contracts/instance/base/IInstanceBase.sol +23 -0
  259. package/contracts/instance/base/IKeyValueStore.sol +49 -0
  260. package/contracts/instance/base/ILifecycle.sol +30 -0
  261. package/contracts/instance/base/KeyValueStore.sol +172 -0
  262. package/contracts/instance/base/Lifecycle.sol +100 -0
  263. package/contracts/instance/module/IAccess.sol +38 -0
  264. package/contracts/instance/module/IBundle.sol +20 -0
  265. package/contracts/instance/module/IDistribution.sol +39 -0
  266. package/contracts/instance/module/IPolicy.sol +45 -0
  267. package/contracts/instance/module/IRisk.sol +11 -0
  268. package/contracts/instance/module/ISetup.sol +44 -0
  269. package/contracts/instance/module/ITreasury.sol +23 -0
  270. package/contracts/instance/service/ComponentOwnerService.sol +317 -0
  271. package/contracts/instance/service/DistributionService.sol +88 -0
  272. package/contracts/instance/service/DistributionServiceManager.sol +54 -0
  273. package/contracts/instance/service/IComponentOwnerService.sol +20 -0
  274. package/contracts/instance/service/IDistributionService.sol +12 -0
  275. package/contracts/instance/service/IPoolService.sol +37 -0
  276. package/contracts/instance/service/IProductService.sol +107 -0
  277. package/contracts/instance/service/PoolService.sol +194 -0
  278. package/contracts/instance/service/PoolServiceManager.sol +54 -0
  279. package/contracts/instance/service/ProductService.sol +543 -0
  280. package/contracts/instance/service/ProductServiceManager.sol +54 -0
  281. package/contracts/registry/ChainNft.sol +202 -0
  282. package/contracts/registry/IRegistry.sol +79 -0
  283. package/contracts/registry/IRegistryService.sol +50 -0
  284. package/contracts/registry/ITransferInterceptor.sol +6 -0
  285. package/contracts/registry/Registry.sol +444 -0
  286. package/contracts/registry/RegistryService.sol +358 -0
  287. package/contracts/registry/RegistryServiceManager.sol +80 -0
  288. package/contracts/registry/TokenRegistry.sol +111 -0
  289. package/contracts/shared/ContractDeployerLib.sol +72 -0
  290. package/contracts/shared/ERC165.sol +25 -0
  291. package/contracts/shared/INftOwnable.sol +22 -0
  292. package/contracts/shared/IRegisterable.sol +17 -0
  293. package/contracts/shared/IService.sol +15 -0
  294. package/contracts/shared/IVersionable.sol +96 -0
  295. package/contracts/shared/NftOwnable.sol +134 -0
  296. package/contracts/shared/ProxyManager.sol +94 -0
  297. package/contracts/shared/Registerable.sol +90 -0
  298. package/contracts/shared/RegisterableUpgradable.sol +16 -0
  299. package/contracts/shared/Service.sol +55 -0
  300. package/contracts/shared/TokenHandler.sol +27 -0
  301. package/contracts/shared/UpgradableProxyWithAdmin.sol +16 -0
  302. package/contracts/shared/Versionable.sol +147 -0
  303. package/contracts/test/TestFee.sol +25 -0
  304. package/contracts/test/TestRegisterable.sol +18 -0
  305. package/contracts/test/TestRoleId.sol +14 -0
  306. package/contracts/test/TestService.sol +24 -0
  307. package/contracts/{Dip.sol → test/TestToken.sol} +5 -5
  308. package/contracts/test/TestVersion.sol +44 -0
  309. package/contracts/test/TestVersionable.sol +17 -0
  310. package/contracts/test/Usdc.sol +26 -0
  311. package/contracts/types/AddressSet.sol +58 -0
  312. package/contracts/types/Blocknumber.sol +118 -0
  313. package/contracts/types/ChainId.sol +38 -0
  314. package/contracts/types/DistributorType.sol +55 -0
  315. package/contracts/types/Fee.sol +56 -0
  316. package/contracts/types/Key32.sol +50 -0
  317. package/contracts/types/NftId.sol +72 -0
  318. package/contracts/types/NftIdSet.sol +60 -0
  319. package/contracts/types/NumberId.sol +52 -0
  320. package/contracts/types/ObjectType.sol +152 -0
  321. package/contracts/types/Referral.sol +85 -0
  322. package/contracts/types/RiskId.sol +43 -0
  323. package/contracts/types/RoleId.sol +90 -0
  324. package/contracts/types/StateId.sol +105 -0
  325. package/contracts/types/Timestamp.sol +127 -0
  326. package/contracts/types/UFixed.sol +325 -0
  327. package/contracts/types/Version.sol +107 -0
  328. package/package.json +26 -10
  329. package/artifacts/contracts/Dip.sol/DIP.dbg.json +0 -4
  330. package/artifacts/contracts/Dip.sol/DIP.json +0 -338
  331. package/artifacts/contracts/Lock.sol/Lock.dbg.json +0 -4
  332. package/artifacts/contracts/Lock.sol/Lock.json +0 -74
  333. package/contracts/Lock.sol +0 -34
@@ -0,0 +1,242 @@
1
+ // SPDX-License-Identifier: Apache-2.0
2
+ pragma solidity ^0.8.20;
3
+
4
+ import {ObjectType, POOL} from "../types/ObjectType.sol";
5
+ import {IProductService} from "../instance/service/IProductService.sol";
6
+ import {IPoolService} from "../instance/service/IPoolService.sol";
7
+ import {NftId, zeroNftId, NftIdLib} from "../types/NftId.sol";
8
+ import {Fee} from "../types/Fee.sol";
9
+ import {UFixed} from "../types/UFixed.sol";
10
+ import {IPoolComponent} from "./IPoolComponent.sol";
11
+ import {BaseComponent} from "./BaseComponent.sol";
12
+ import {TokenHandler} from "../shared/TokenHandler.sol";
13
+ import {ISetup} from "../instance/module/ISetup.sol";
14
+
15
+ import {IRegistry} from "../registry/IRegistry.sol";
16
+
17
+ // import {IPool} from "../instance/module/pool/IPoolModule.sol";
18
+ import {ITreasury} from "../instance/module/ITreasury.sol";
19
+ import {ISetup} from "../instance/module/ISetup.sol";
20
+ import {InstanceReader} from "../instance/InstanceReader.sol";
21
+
22
+ import {IRegisterable} from "../shared/IRegisterable.sol";
23
+ import {Registerable} from "../shared/Registerable.sol";
24
+
25
+ contract Pool is BaseComponent, IPoolComponent {
26
+ using NftIdLib for NftId;
27
+
28
+ bool internal _isVerifying;
29
+ UFixed internal _collateralizationLevel;
30
+
31
+ Fee internal _initialPoolFee;
32
+ Fee internal _initialStakingFee;
33
+ Fee internal _initialPerformanceFee;
34
+
35
+ // may be used to interact with instance by derived contracts
36
+ IPoolService internal _poolService;
37
+
38
+ // only relevant to protect callback functions for "active" pools
39
+ IProductService private _productService;
40
+
41
+ modifier onlyPoolService() {
42
+ require(
43
+ msg.sender == address(_poolService),
44
+ "ERROR:POL-001:NOT_POOL_SERVICE");
45
+ _;
46
+ }
47
+
48
+ modifier onlyProductService() {
49
+ require(
50
+ msg.sender == address(_productService),
51
+ "ERROR:POL-002:NOT_PRODUCT_SERVICE");
52
+ _;
53
+ }
54
+
55
+ constructor(
56
+ address registry,
57
+ NftId instanceNftId,
58
+ // TODO refactor into tokenNftId
59
+ address token,
60
+ bool isInterceptor,
61
+ bool verifying,
62
+ UFixed collateralizationLevel,
63
+ Fee memory poolFee,
64
+ Fee memory stakingFee,
65
+ Fee memory performanceFee,
66
+ address initialOwner
67
+ )
68
+ BaseComponent(registry, instanceNftId, token, POOL(), isInterceptor, initialOwner)
69
+ {
70
+ _isVerifying = verifying;
71
+ // TODO add validation
72
+ _collateralizationLevel = collateralizationLevel;
73
+ _initialPoolFee = poolFee;
74
+ _initialStakingFee = stakingFee;
75
+ _initialPerformanceFee = performanceFee;
76
+
77
+ _poolService = _instance.getPoolService();
78
+ _productService = _instance.getProductService();
79
+
80
+ _registerInterface(type(IPoolComponent).interfaceId);
81
+ }
82
+
83
+ function createBundle(
84
+ Fee memory fee,
85
+ uint256 initialAmount,
86
+ uint256 lifetime,
87
+ bytes memory filter
88
+ )
89
+ external
90
+ virtual override
91
+ returns(NftId bundleNftId)
92
+ {
93
+ address owner = msg.sender;
94
+ bundleNftId = _poolService.createBundle(
95
+ owner,
96
+ fee,
97
+ initialAmount,
98
+ lifetime,
99
+ filter
100
+ );
101
+
102
+ // TODO add logging
103
+ }
104
+
105
+ /**
106
+ * @dev see {IPool.underwrite}.
107
+ * Default implementation that only writes a {LogUnderwrittenByPool} entry.
108
+ */
109
+ function underwrite(
110
+ NftId policyNftId,
111
+ bytes memory policyData,
112
+ bytes memory bundleFilter,
113
+ uint256 collateralizationAmount
114
+ )
115
+ external
116
+ onlyProductService
117
+ virtual override
118
+ {
119
+ _underwrite(policyNftId, policyData, bundleFilter, collateralizationAmount);
120
+ }
121
+
122
+ /**
123
+ * @dev see {IPoolComponent.policyMatchesBundle}.
124
+ * Default implementation always returns true
125
+ */
126
+ function policyMatchesBundle(
127
+ bytes memory, // policyData
128
+ bytes memory // bundleFilter
129
+ )
130
+ public
131
+ view
132
+ virtual override
133
+ returns (bool isMatching)
134
+ {
135
+ return true;
136
+ }
137
+
138
+
139
+ function isVerifying() external view override returns (bool verifying) {
140
+ return _isVerifying;
141
+ }
142
+
143
+ function getCollateralizationLevel() external view override returns (UFixed collateralizationLevel) {
144
+ return _collateralizationLevel;
145
+ }
146
+
147
+ function setFees(
148
+ Fee memory poolFee,
149
+ Fee memory stakingFee,
150
+ Fee memory performanceFee
151
+ )
152
+ external
153
+ onlyOwner
154
+ override
155
+ {
156
+ _poolService.setFees(poolFee, stakingFee, performanceFee);
157
+ }
158
+
159
+ function setBundleFee(
160
+ NftId bundleNftId,
161
+ Fee memory fee
162
+ )
163
+ external
164
+ override
165
+ // TODO add onlyBundleOwner
166
+ {
167
+ _poolService.setBundleFee(bundleNftId, fee);
168
+ }
169
+
170
+ function getSetupInfo() public view returns (ISetup.PoolSetupInfo memory setupInfo) {
171
+ InstanceReader reader = _instance.getInstanceReader();
172
+ return reader.getPoolSetupInfo(getNftId());
173
+ }
174
+
175
+ // from IRegisterable
176
+
177
+ // TODO used only once, occupies space
178
+ // TODO do not use super
179
+ function getInitialInfo()
180
+ public
181
+ view
182
+ override (IRegisterable, Registerable)
183
+ returns (IRegistry.ObjectInfo memory, bytes memory)
184
+ {
185
+ (
186
+ IRegistry.ObjectInfo memory info,
187
+ ) = super.getInitialInfo();
188
+
189
+ return (
190
+ info,
191
+ abi.encode(
192
+ ISetup.PoolSetupInfo(
193
+ _productNftId,
194
+ TokenHandler(address(_token)),
195
+ _collateralizationLevel,
196
+ _initialPoolFee,
197
+ _initialStakingFee,
198
+ _initialPerformanceFee,
199
+ _isVerifying,
200
+ _wallet
201
+ )
202
+ )
203
+ );
204
+ }
205
+
206
+ // Internals
207
+
208
+ function _underwrite(
209
+ NftId policyNftId,
210
+ bytes memory policyData,
211
+ bytes memory bundleFilter,
212
+ uint256 collateralizationAmount
213
+ )
214
+ internal
215
+ {
216
+ require(
217
+ policyMatchesBundle(policyData, bundleFilter),
218
+ "ERROR:POL-020:POLICY_BUNDLE_MISMATCH"
219
+ );
220
+
221
+ emit LogUnderwrittenByPool(policyNftId, collateralizationAmount, address(this));
222
+ }
223
+
224
+ function _createBundle(
225
+ address bundleOwner,
226
+ Fee memory fee,
227
+ uint256 amount,
228
+ uint256 lifetime,
229
+ bytes calldata filter
230
+ )
231
+ internal
232
+ returns(NftId bundleNftId)
233
+ {
234
+ bundleNftId = _poolService.createBundle(
235
+ bundleOwner,
236
+ fee,
237
+ amount,
238
+ lifetime,
239
+ filter
240
+ );
241
+ }
242
+ }
@@ -0,0 +1,284 @@
1
+ // SPDX-License-Identifier: Apache-2.0
2
+ pragma solidity ^0.8.19;
3
+
4
+ import {IERC20Metadata} from "@openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol";
5
+
6
+ import {IRisk} from "../instance/module/IRisk.sol";
7
+ import {ITreasury} from "../instance/module/ITreasury.sol";
8
+ import {IProductService} from "../instance/service/IProductService.sol";
9
+ import {IProductComponent} from "./IProductComponent.sol";
10
+ import {NftId, zeroNftId, NftIdLib} from "../types/NftId.sol";
11
+ import {ObjectType, PRODUCT} from "../types/ObjectType.sol";
12
+ import {ReferralId} from "../types/Referral.sol";
13
+ import {RiskId, RiskIdLib} from "../types/RiskId.sol";
14
+ import {StateId} from "../types/StateId.sol";
15
+ import {Timestamp} from "../types/Timestamp.sol";
16
+ import {Fee, FeeLib} from "../types/Fee.sol";
17
+ import {BaseComponent} from "./BaseComponent.sol";
18
+
19
+ import {IRegistry} from "../registry/IRegistry.sol";
20
+ import {IRegisterable} from "../shared/IRegisterable.sol";
21
+ import {Registerable} from "../shared/Registerable.sol";
22
+ import {TokenHandler} from "../shared/TokenHandler.sol";
23
+
24
+ import {InstanceReader} from "../instance/InstanceReader.sol";
25
+ import {ISetup} from "../instance/module/ISetup.sol";
26
+ import {Pool} from "../components/Pool.sol";
27
+ import {Distribution} from "../components/Distribution.sol";
28
+
29
+ import {zeroNftId} from "../types/NftId.sol";
30
+
31
+ contract Product is BaseComponent, IProductComponent {
32
+ using NftIdLib for NftId;
33
+
34
+ IProductService internal _productService;
35
+ Pool internal _pool;
36
+ Distribution internal _distribution;
37
+ Fee internal _initialProductFee;
38
+ Fee internal _initialProcessingFee;
39
+
40
+ NftId internal _poolNftId;
41
+ NftId internal _distributionNftId;
42
+
43
+ constructor(
44
+ address registry,
45
+ NftId instanceNftid,
46
+ address token,
47
+ bool isInterceptor,
48
+ address pool,
49
+ address distribution,
50
+ Fee memory productFee,
51
+ Fee memory processingFee,
52
+ address initialOwner
53
+ ) BaseComponent(registry, instanceNftid, token, PRODUCT(), isInterceptor, initialOwner) {
54
+ // TODO add validation
55
+ _productService = _instance.getProductService();
56
+ _pool = Pool(pool);
57
+ _distribution = Distribution(distribution);
58
+ _initialProductFee = productFee;
59
+ _initialProcessingFee = processingFee;
60
+
61
+ _poolNftId = getRegistry().getNftId(address(_pool));
62
+ _distributionNftId = getRegistry().getNftId(address(_distribution));
63
+
64
+ _registerInterface(type(IProductComponent).interfaceId);
65
+ }
66
+
67
+
68
+ function calculatePremium(
69
+ uint256 sumInsuredAmount,
70
+ RiskId riskId,
71
+ uint256 lifetime,
72
+ bytes memory applicationData,
73
+ ReferralId referralId,
74
+ NftId bundleNftId
75
+ )
76
+ external
77
+ view
78
+ override
79
+ returns (uint256 premiumAmount)
80
+ {
81
+ (premiumAmount,,,,) = _productService.calculatePremium(
82
+ riskId,
83
+ sumInsuredAmount,
84
+ lifetime,
85
+ applicationData,
86
+ bundleNftId,
87
+ referralId
88
+ );
89
+ }
90
+
91
+
92
+ function calculateNetPremium(
93
+ uint256 sumInsuredAmount,
94
+ RiskId riskId,
95
+ uint256 lifetime,
96
+ bytes memory applicationData
97
+ )
98
+ external
99
+ view
100
+ virtual override
101
+ returns (uint256 netPremiumAmount)
102
+ {
103
+ // default 10% of sum insured
104
+ return sumInsuredAmount / 10;
105
+ }
106
+
107
+ function _toRiskId(string memory riskName) internal pure returns (RiskId riskId) {
108
+ return RiskIdLib.toRiskId(riskName);
109
+ }
110
+
111
+ function _createRisk(
112
+ RiskId id,
113
+ bytes memory data
114
+ ) internal {
115
+ _productService.createRisk(
116
+ id,
117
+ data
118
+ );
119
+ }
120
+
121
+ function _updateRisk(
122
+ RiskId id,
123
+ bytes memory data
124
+ ) internal {
125
+ _productService.updateRisk(
126
+ id,
127
+ data
128
+ );
129
+ }
130
+
131
+ function _updateRiskState(
132
+ RiskId id,
133
+ StateId state
134
+ ) internal {
135
+ _productService.updateRiskState(
136
+ id,
137
+ state
138
+ );
139
+ }
140
+
141
+ function _getRiskInfo(RiskId id) internal view returns (IRisk.RiskInfo memory info) {
142
+ return _instance.getInstanceReader().getRiskInfo(id);
143
+ }
144
+
145
+ function _createApplication(
146
+ address applicationOwner,
147
+ RiskId riskId,
148
+ uint256 sumInsuredAmount,
149
+ uint256 lifetime,
150
+ bytes memory applicationData,
151
+ NftId bundleNftId,
152
+ ReferralId referralId
153
+ ) internal returns (NftId nftId) {
154
+ nftId = _productService.createApplication(
155
+ applicationOwner,
156
+ riskId,
157
+ sumInsuredAmount,
158
+ lifetime,
159
+ applicationData,
160
+ bundleNftId,
161
+ referralId
162
+ );
163
+ }
164
+
165
+ function _underwrite(
166
+ NftId policyNftId,
167
+ bool requirePremiumPayment,
168
+ Timestamp activateAt
169
+ )
170
+ internal
171
+ {
172
+ _productService.underwrite(
173
+ policyNftId,
174
+ requirePremiumPayment,
175
+ activateAt);
176
+ }
177
+
178
+ function _collectPremium(
179
+ NftId policyNftId,
180
+ Timestamp activateAt
181
+ )
182
+ internal
183
+ {
184
+ _productService.collectPremium(
185
+ policyNftId,
186
+ activateAt);
187
+ }
188
+
189
+ function _activate(
190
+ NftId policyNftId,
191
+ Timestamp activateAt
192
+ )
193
+ internal
194
+ {
195
+ _productService.activate(
196
+ policyNftId,
197
+ activateAt);
198
+ }
199
+
200
+ function getPoolNftId() external view override returns (NftId poolNftId) {
201
+ return getRegistry().getNftId(address(_pool));
202
+ }
203
+
204
+ function getDistributionNftId() external view override returns (NftId distributionNftId) {
205
+ return getRegistry().getNftId(address(_distribution));
206
+ }
207
+
208
+ // from product component
209
+ function setFees(
210
+ Fee memory productFee,
211
+ Fee memory processingFee
212
+ )
213
+ external
214
+ onlyOwner
215
+ override
216
+ {
217
+ _productService.setFees(productFee, processingFee);
218
+ }
219
+
220
+ function getSetupInfo() public view returns (ISetup.ProductSetupInfo memory setupInfo) {
221
+ InstanceReader reader = _instance.getInstanceReader();
222
+ return reader.getProductSetupInfo(getNftId());
223
+ }
224
+
225
+ // from IRegisterable
226
+
227
+ function getInitialInfo()
228
+ public
229
+ view
230
+ override (IRegisterable, Registerable)
231
+ returns (IRegistry.ObjectInfo memory, bytes memory)
232
+ {
233
+ // from Registerable
234
+ (
235
+ IRegistry.ObjectInfo memory productInfo,
236
+ bytes memory data
237
+ ) = super.getInitialInfo();
238
+
239
+ // TODO read pool & distribution fees
240
+ // 1) from pool -> the only option -> pool must be registered first?
241
+ // 2) from instance -> all fees are set into instance at product registration which is ongoing here
242
+ // checks are done in registryProduct() where THIS function is called
243
+ //require(getRegistry().getObjectInfo(_poolNftId).objectType == POOL(), "POOL_NOT_REGISTERED");
244
+ //require(getRegistry().getObjectInfo(_distributionNftId).objectType == DISTRIBUTION(), "DISTRIBUTION_NOT_REGISTERED");
245
+
246
+ // from PoolComponent
247
+ (
248
+ ,
249
+ bytes memory poolData
250
+ ) = _pool.getInitialInfo();
251
+
252
+ (
253
+ ISetup.PoolSetupInfo memory poolSetupInfo
254
+ ) = abi.decode(poolData, (ISetup.PoolSetupInfo));
255
+
256
+ // from DistributionComponent
257
+ (
258
+ ,
259
+ bytes memory distributionData
260
+ ) = _distribution.getInitialInfo();
261
+
262
+ (
263
+ ISetup.DistributionSetupInfo memory distributionSetupInfo
264
+ ) = abi.decode(distributionData, (ISetup.DistributionSetupInfo));
265
+
266
+ return (
267
+ productInfo,
268
+ abi.encode(
269
+ ISetup.ProductSetupInfo(
270
+ _token,
271
+ TokenHandler(address(_token)),
272
+ _distributionNftId,
273
+ _poolNftId,
274
+ distributionSetupInfo.distributionFee,
275
+ _initialProductFee,
276
+ _initialProcessingFee,
277
+ poolSetupInfo.poolFee,
278
+ poolSetupInfo.stakingFee,
279
+ poolSetupInfo.performanceFee
280
+ )
281
+ )
282
+ );
283
+ }
284
+ }
@@ -0,0 +1,47 @@
1
+ // SPDX-License-Identifier: Apache-2.0
2
+ pragma solidity ^0.8.20;
3
+
4
+ import {Clones} from "@openzeppelin/contracts/proxy/Clones.sol";
5
+
6
+
7
+ contract Cloner {
8
+
9
+ Mock1 public mock1;
10
+ Mock2 public mock2;
11
+
12
+ constructor() {
13
+ mock1 = new Mock1();
14
+ mock2 = new Mock2();
15
+ }
16
+
17
+ function createClone(address master)
18
+ external
19
+ returns (address cloned)
20
+ {
21
+ cloned = Clones.clone(master);
22
+ }
23
+ }
24
+
25
+
26
+ contract Mock1 {
27
+ function getValue() external virtual view returns (uint256) {
28
+ return 42;
29
+ }
30
+ }
31
+
32
+ contract Mock2 is Mock1 {
33
+ uint256 internal _value;
34
+
35
+ constructor() {
36
+ _value = 42;
37
+ }
38
+
39
+ function setValue(uint256 value) external virtual {
40
+ _value = value;
41
+ }
42
+
43
+ function getValue() external virtual override view returns (uint256) {
44
+ return _value;
45
+ }
46
+ }
47
+
@@ -0,0 +1,38 @@
1
+ // SPDX-License-Identifier: Apache-2.0
2
+ pragma solidity ^0.8.19;
3
+
4
+ contract Require {
5
+ error AsmallerThanB_S();
6
+ error AsmallerThanB_M(uint a);
7
+ error AsmallerThanB_L(uint a, uint b);
8
+
9
+ uint256 private _b;
10
+
11
+ constructor() {
12
+ _b = 42;
13
+ }
14
+
15
+ function isAlargerThanBRequire_S(
16
+ uint a
17
+ ) external view returns (bool isLarger) {
18
+ require(a > _b, "ERROR:ABC-001");
19
+
20
+ return true;
21
+ }
22
+
23
+ function isAlargerThanBRequire_M(
24
+ uint a
25
+ ) external view returns (bool isLarger) {
26
+ require(a > _b, "ERROR:ABC-002:A_IS_SMALLER");
27
+
28
+ return true;
29
+ }
30
+
31
+ function isAlargerThanBRequire_L(
32
+ uint a
33
+ ) external view returns (bool isLarger) {
34
+ require(a > _b, "ERROR:ABC-003:A_IS_SMALLER_THAN_B");
35
+
36
+ return true;
37
+ }
38
+ }
@@ -0,0 +1,44 @@
1
+ // SPDX-License-Identifier: Apache-2.0
2
+ pragma solidity ^0.8.19;
3
+
4
+ contract Revert {
5
+ error AsmallerThanB_S();
6
+ error AsmallerThanB_M(uint a);
7
+ error AsmallerThanB_L(uint a, uint b);
8
+
9
+ uint256 private _b;
10
+
11
+ constructor() {
12
+ _b = 42;
13
+ }
14
+
15
+ function isAlargerThanBRevert_S(
16
+ uint a
17
+ ) external view returns (bool isLarger) {
18
+ if (a <= _b) {
19
+ revert AsmallerThanB_S();
20
+ }
21
+
22
+ return true;
23
+ }
24
+
25
+ function isAlargerThanBRevert_M(
26
+ uint a
27
+ ) external view returns (bool isLarger) {
28
+ if (a <= _b) {
29
+ revert AsmallerThanB_M(a);
30
+ }
31
+
32
+ return true;
33
+ }
34
+
35
+ function isAlargerThanBRevert_L(
36
+ uint a
37
+ ) external view returns (bool isLarger) {
38
+ if (a <= _b) {
39
+ revert AsmallerThanB_L(a, _b);
40
+ }
41
+
42
+ return true;
43
+ }
44
+ }
@@ -0,0 +1,53 @@
1
+ // SPDX-License-Identifier: Apache-2.0
2
+ pragma solidity ^0.8.19;
3
+
4
+ import {IA, ISharedA} from "./IA.sol";
5
+ import {B} from "./B.sol";
6
+ import {C} from "./C.sol";
7
+
8
+ /*
9
+
10
+ # dependency graph
11
+
12
+ B <...+
13
+ ^ |
14
+ | |
15
+ A --> C
16
+
17
+ - A is the main contract
18
+ - A provides functionality implemented by modules B and C
19
+ - B and C rely on functionality shared by A
20
+ - C accesses functionality of module B
21
+
22
+ # chisel session
23
+
24
+ import {A} from "./contracts/experiment/A.sol";
25
+ A a = new A();
26
+ uint(a.getA())
27
+ uint(a.getB()))
28
+ uint(a.getC())
29
+ uint(a.getAfromB())
30
+ uint(a.getAfromC())
31
+ uint(a.getBfromC())
32
+ a.setA(100);
33
+ a.setB(10);
34
+ a.setC(20);
35
+ */
36
+
37
+ contract AShared is ISharedA {
38
+ uint256 private _x;
39
+
40
+ constructor() {
41
+ _x = 42;
42
+ }
43
+
44
+ function getA() external view override returns (uint256) {
45
+ return _x;
46
+ }
47
+
48
+ function setA(uint256 newA) external override {
49
+ _x = newA;
50
+ }
51
+ }
52
+
53
+ contract A is AShared, B, C, IA {}