@etherisc/gif-next 0.0.2-ad36bbd → 0.0.2-b1fb5f9

package/contracts/components/Component.sol

@@ -6,11 +6,9 @@ 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
-{
+contract InstanceLinked is IInstanceLinked {
     IInstance internal _instance;
 
     constructor(address instance) {
@@ -22,41 +20,41 @@ contract InstanceLinked is
     //     _instance = IInstance(instance);
     // }
 
-    function getInstance() public view override returns(IInstance instance) {
+    function getInstance() public view override returns (IInstance instance) {
         return _instance;
     }
 }
 
-
 abstract contract Component is
     Registerable,
     InstanceLinked,
     IComponentContract
 {
-
     address private _deployer;
 
-    constructor(address registry, address instance)
-        Registerable(registry)
-        InstanceLinked(instance)
-    { }
+    constructor(
+        address registry,
+        address instance
+    ) Registerable(registry) InstanceLinked(instance) {}
 
     // from registerable
-    function register()
-        public
-        override
-        returns(uint256 componentId)
-    {
+    function register() public override returns (NftId componentId) {
         require(msg.sender == getInitialOwner(), "");
-        require(address(_registry) != address(0), "ERROR:PRD-001:REGISTRY_ZERO");
-        require(_registry.isRegistered(address(_instance)), "ERROR:PRD-002:INSTANCE_NOT_REGISTERED");
+        require(
+            address(_registry) != address(0),
+            "ERROR:PRD-001:REGISTRY_ZERO"
+        );
+        require(
+            _registry.isRegistered(address(_instance)),
+            "ERROR:PRD-002:INSTANCE_NOT_REGISTERED"
+        );
 
         IComponentOwnerService cos = _instance.getComponentOwnerService();
         componentId = cos.register(this);
     }
 
     // from registerable
-    function getParentNftId() public view override returns(uint256) {
+    function getParentNftId() public view override returns (NftId) {
         return getInstance().getNftId();
     }
 }

package/contracts/components/IPool.sol

@@ -4,6 +4,6 @@ pragma solidity ^0.8.19;
 import {IComponentContract} from "../instance/component/IComponent.sol";
 
 // just marker interface for now
-interface IPoolComponent is
-    IComponentContract
-{ }
+interface IPoolComponent is IComponentContract {
+
+}

package/contracts/components/IProduct.sol

@@ -2,10 +2,8 @@
 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);
-}
+interface IProductComponent is IComponentContract {
+    function getPoolNftId() external view returns (NftId poolNftId);
+}

package/contracts/components/Pool.sol

@@ -4,26 +4,19 @@ pragma solidity ^0.8.19;
 import {IPoolComponent} from "./IPool.sol";
 import {Component} from "./Component.sol";
 
-
-contract Pool is
-    Component,
-    IPoolComponent
-{
-
+contract Pool is Component, IPoolComponent {
     constructor(
-        address registry, 
+        address registry,
         address instance
-    )
-        Component(registry, instance)
-    { }
+    ) Component(registry, instance) {}
 
     // from registerable
-    function getType() public view override returns(uint256) {
+    function getType() public view override returns (uint256) {
         return _registry.POOL();
     }
 
     // from registerable
-    function getData() external view override returns(bytes memory data) {
+    function getData() external view override returns (bytes memory data) {
         return bytes(abi.encode(getInstance().getNftId()));
     }
-}
+}

package/contracts/components/Product.sol

@@ -4,22 +4,17 @@ 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
-    Component,
-    IProductComponent
-{
+contract Product is Component, IProductComponent {
     IProductService private _productService;
     address private _pool;
 
     constructor(
-        address registry, 
-        address instance, 
+        address registry,
+        address instance,
         address pool
-    )
-        Component(registry, instance)
-    { 
+    ) Component(registry, instance) {
         _productService = _instance.getProductService();
         _pool = pool;
     }
@@ -29,11 +24,8 @@ contract Product is
         uint256 sumInsuredAmount,
         uint256 premiumAmount,
         uint256 lifetime,
-        uint256 bundleNftId
-    )
-        internal
-        returns(uint256 nftId)
-    {
+        NftId bundleNftId
+    ) internal returns (NftId nftId) {
         nftId = _productService.createApplication(
             applicationOwner,
             sumInsuredAmount,
@@ -43,23 +35,21 @@ contract Product is
         );
     }
 
-    function _underwrite(uint256 nftId)
-        internal
-    {
+    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);
     }
 
     // from registerable
-    function getType() public view override returns(uint256) {
+    function getType() public view override returns (uint256) {
         return _registry.PRODUCT();
     }
 
     // from registerable
-    function getData() external view override returns(bytes memory data) {
+    function getData() external view override returns (bytes memory data) {
         return bytes(abi.encode(getInstance().getNftId()));
     }
-}
+}

package/contracts/experiment/errors/Require.sol

@@ -2,7 +2,6 @@
 pragma solidity ^0.8.19;
 
 contract Require {
-
     error AsmallerThanB_S();
     error AsmallerThanB_M(uint a);
     error AsmallerThanB_L(uint a, uint b);
@@ -13,21 +12,27 @@ contract Require {
         _b = 42;
     }
 
-    function isAlargerThanBRequire_S(uint a) external view returns(bool isLarger) {
+    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-001:A_IS_SMALLER");
+    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-001:A_IS_SMALLER_THAN_B");
+    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

@@ -2,7 +2,6 @@
 pragma solidity ^0.8.19;
 
 contract Revert {
-
     error AsmallerThanB_S();
     error AsmallerThanB_M(uint a);
     error AsmallerThanB_L(uint a, uint b);
@@ -13,27 +12,33 @@ contract Revert {
         _b = 42;
     }
 
-    function isAlargerThanBRevert_S(uint a) external view returns(bool isLarger) {
-        if(a <= _b) {
+    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) {
+    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) {
+    function isAlargerThanBRevert_L(
+        uint a
+    ) external view returns (bool isLarger) {
+        if (a <= _b) {
             revert AsmallerThanB_L(a, _b);
         }
 
         return true;
     }
-}
+}

package/contracts/experiment/inheritance/A.sol

@@ -35,22 +35,19 @@ a.setC(20);
  */
 
 contract AShared is ISharedA {
-
     uint256 private _x;
 
     constructor() {
         _x = 42;
     }
 
-    function getA() external view override returns(uint256) { return _x; }
-    function setA(uint256 newA) external override { _x = newA; }
-}
-
-contract A is
-    AShared,
-    B,
-    C,
-    IA
-{
+    function getA() external view override returns (uint256) {
+        return _x;
+    }
 
+    function setA(uint256 newA) external override {
+        _x = newA;
+    }
 }
+
+contract A is AShared, B, C, IA {}

package/contracts/experiment/inheritance/B.sol

@@ -5,7 +5,6 @@ import {ISharedA} from "./IA.sol";
 import {IB} from "./IB.sol";
 
 abstract contract B is ISharedA, IB {
-
     // names of private variables can be re-used in inheritance
     uint256 private _x;
 
@@ -14,10 +13,16 @@ abstract contract B is ISharedA, IB {
     }
 
     // access own state
-    function getB() external view override returns(uint256) { return _x; }
-    function setB(uint256 newB) external override { _x = newB; }
+    function getB() external view override returns (uint256) {
+        return _x;
+    }
 
-    // access state from parent contract A
-    function getAfromB() external view override returns(uint256) { return this.getA(); }
+    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/inheritance/C.sol

@@ -6,7 +6,6 @@ import {IB} from "./IB.sol";
 import {IC} from "./IC.sol";
 
 abstract contract C is ISharedA, IC {
-
     uint256 private _x;
 
     constructor() {
@@ -14,14 +13,21 @@ abstract contract C is ISharedA, IC {
     }
 
     // access own state
-    function getC() external view override returns(uint256) { return _x; }
-    function setC(uint256 newC) external override { _x = newC; }
+    function getC() external view override returns (uint256) {
+        return _x;
+    }
+
+    function setC(uint256 newC) external override {
+        _x = newC;
+    }
 
     // access state from parent contract A
-    function getAfromC() external view override returns(uint256) { return this.getA(); }
+    function getAfromC() external view override returns (uint256) {
+        return this.getA();
+    }
 
     // access state from other module B
-    function getBfromC() external view override returns(uint256) {
+    function getBfromC() external view override returns (uint256) {
         IB b = IB(address(this));
         return b.getB();
     }

package/contracts/experiment/inheritance/IA.sol

@@ -5,14 +5,9 @@ import {IB} from "./IB.sol";
 import {IC} from "./IC.sol";
 
 interface ISharedA {
+    function getA() external view returns (uint256);
 
-    function getA() external view returns(uint256);
     function setA(uint256 newA) external;
 }
 
-interface IA is
-    ISharedA,
-    IB,
-    IC
-{
-}
+interface IA is ISharedA, IB, IC {}

package/contracts/experiment/inheritance/IB.sol

@@ -2,8 +2,9 @@
 pragma solidity ^0.8.19;
 
 interface IB {
+    function getAfromB() external view returns (uint256);
+
+    function getB() external view returns (uint256);
 
-    function getAfromB() external view returns(uint256);
-    function getB() external view returns(uint256);
     function setB(uint256 newA) external;
 }

package/contracts/experiment/inheritance/IC.sol

@@ -2,10 +2,11 @@
 pragma solidity ^0.8.19;
 
 interface IC {
+    function getAfromC() external view returns (uint256);
 
-    function getAfromC() external view returns(uint256);
-    function getBfromC() external view returns(uint256);
+    function getBfromC() external view returns (uint256);
+
+    function getC() external view returns (uint256);
 
-    function getC() external view returns(uint256);
     function setC(uint256 newA) external;
 }

package/contracts/experiment/types/TypeA.sol

@@ -23,20 +23,25 @@ a.toInt() == x.toInt() // -> no error
 type TypeA is uint248;
 
 // type bindings
-using {
-    eqTypeA as ==,
-    neTypeA as !=,
-    TypeALib.toInt
-} for TypeA global;
+using {eqTypeA as ==, neTypeA as !=, TypeALib.toInt} for TypeA global;
 
 // general pure free functions
-function toTypeA(uint256 typeA) pure returns(TypeA) { return TypeA.wrap(uint248(typeA)); }
+function toTypeA(uint256 typeA) pure returns (TypeA) {
+    return TypeA.wrap(uint248(typeA));
+}
 
 // pure free functions for operators
-function eqTypeA(TypeA a, TypeA b) pure returns(bool isSame) { return TypeA.unwrap(a) == TypeA.unwrap(b); }
-function neTypeA(TypeA a, TypeA b) pure returns(bool isDifferent) { return TypeA.unwrap(a) != TypeA.unwrap(b); }
+function eqTypeA(TypeA a, TypeA b) pure returns (bool isSame) {
+    return TypeA.unwrap(a) == TypeA.unwrap(b);
+}
+
+function neTypeA(TypeA a, TypeA b) pure returns (bool isDifferent) {
+    return TypeA.unwrap(a) != TypeA.unwrap(b);
+}
 
 // library functions that operate on user defined type
 library TypeALib {
-    function toInt(TypeA typeA) internal pure returns(uint256) { return uint256(TypeA.unwrap(typeA)); }
+    function toInt(TypeA typeA) internal pure returns (uint256) {
+        return uint256(TypeA.unwrap(typeA));
+    }
 }

package/contracts/experiment/types/TypeB.sol

@@ -5,20 +5,25 @@ pragma solidity ^0.8.19;
 type TypeB is uint248;
 
 // type bindings
-using {
-    eqTypeB as ==,
-    addTypeB as +,
-    TypeBLib.toInt
-} for TypeB global;
+using {eqTypeB as ==, addTypeB as +, TypeBLib.toInt} for TypeB global;
 
 // general pure free functions
-function toTypeB(uint256 x) pure returns(TypeB) { return TypeB.wrap(uint248(x)); }
+function toTypeB(uint256 x) pure returns (TypeB) {
+    return TypeB.wrap(uint248(x));
+}
 
 // pure free functions for operators
-function eqTypeB(TypeB a, TypeB b) pure returns(bool isSame) { return TypeB.unwrap(a) == TypeB.unwrap(b); }
-function addTypeB(TypeB a, TypeB b) pure returns(TypeB sum) { return TypeB.wrap(TypeB.unwrap(a) + TypeB.unwrap(b)); }
+function eqTypeB(TypeB a, TypeB b) pure returns (bool isSame) {
+    return TypeB.unwrap(a) == TypeB.unwrap(b);
+}
+
+function addTypeB(TypeB a, TypeB b) pure returns (TypeB sum) {
+    return TypeB.wrap(TypeB.unwrap(a) + TypeB.unwrap(b));
+}
 
 // library functions that operate on user defined type
 library TypeBLib {
-    function toInt(TypeB b) internal pure returns(uint256) { return uint256(TypeB.unwrap(b)); }
+    function toInt(TypeB b) internal pure returns (uint256) {
+        return uint256(TypeB.unwrap(b));
+    }
 }

package/contracts/instance/IInstance.sol

@@ -8,7 +8,6 @@ import {IProductModule} from "./product/IProductService.sol";
 import {IPolicyModule} from "./policy/IPolicy.sol";
 import {IPoolModule} from "./pool/IPoolModule.sol";
 
-
 interface IInstance is
     IRegisterable,
     IAccessModule,
@@ -16,5 +15,4 @@ interface IInstance is
     IPoolModule,
     IComponentModule,
     IProductModule
-{ }
-
+{}

package/contracts/instance/Instance.sol

@@ -11,17 +11,17 @@ import {PolicyModule} from "./policy/PolicyModule.sol";
 import {PoolModule} from "./pool/PoolModule.sol";
 
 import {IInstance} from "./IInstance.sol";
+import {NftId, toNftId} from "../types/NftId.sol";
 
 contract Instance is
     Registerable,
     AccessModule,
-    ComponentModule, 
-    PolicyModule, 
+    ComponentModule,
+    PolicyModule,
     PoolModule,
-    ProductModule, 
+    ProductModule,
     IInstance
 {
-
     constructor(
         address registry,
         address componentOwnerService,
@@ -33,31 +33,32 @@ contract Instance is
         PolicyModule(productService)
         ProductModule(productService)
         PoolModule(productService)
-    { }
+    {}
 
     // from registerable
-    function register() external override returns(uint256 id) {
-        require(address(_registry) != address(0), "ERROR:PRD-001:REGISTRY_ZERO");
+    function register() external override returns (NftId nftId) {
+        require(
+            address(_registry) != address(0),
+            "ERROR:PRD-001:REGISTRY_ZERO"
+        );
         return _registry.register(address(this));
     }
 
     // from registerable
-    function getParentNftId() public view override returns(uint256) {
+    function getParentNftId() public view override returns (NftId) {
         // TODO  add self registry and exchange 0 for_registry.getNftId();
         // define parent tree for all registerables
-        // eg 0 <- chain(mainnet) <- global registry <- chain registry <- instance <- component <- policy/bundle 
-        return 0;
+        // eg 0 <- chain(mainnet) <- global registry <- chain registry <- instance <- component <- policy/bundle
+        return toNftId(0);
     }
 
     // from registerable
-    function getType() external view override returns(uint256 objectType) {
+    function getType() external view override returns (uint256 objectType) {
         return _registry.INSTANCE();
     }
 
     // from registerable
-    function getData() external view override returns(bytes memory data) {
+    function getData() external view override returns (bytes memory data) {
         return bytes(abi.encode(0));
     }
-
-
 }