@etherisc/gif-next 0.0.2-d250c72 → 0.0.2-e5ea33d
Sign up to get free protection for your applications and to get access to all the features.
- package/README.md +24 -0
- package/artifacts/contracts/components/Component.sol/Component.dbg.json +1 -1
- package/artifacts/contracts/components/Component.sol/InstanceLinked.dbg.json +1 -1
- package/artifacts/contracts/components/Component.sol/InstanceLinked.json +2 -2
- package/artifacts/contracts/components/IPool.sol/IPoolComponent.dbg.json +1 -1
- package/artifacts/contracts/components/IProduct.sol/IProductComponent.dbg.json +1 -1
- package/artifacts/contracts/components/Pool.sol/Pool.dbg.json +1 -1
- package/artifacts/contracts/components/Pool.sol/Pool.json +2 -2
- package/artifacts/contracts/components/Product.sol/Product.dbg.json +1 -1
- package/artifacts/contracts/components/Product.sol/Product.json +2 -2
- package/artifacts/contracts/experiment/errors/Require.sol/Require.dbg.json +1 -1
- package/artifacts/contracts/experiment/errors/Require.sol/Require.json +2 -2
- package/artifacts/contracts/experiment/errors/Revert.sol/Revert.dbg.json +1 -1
- package/artifacts/contracts/experiment/errors/Revert.sol/Revert.json +2 -2
- package/artifacts/contracts/experiment/inheritance/A.sol/A.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/A.sol/A.json +2 -2
- package/artifacts/contracts/experiment/inheritance/A.sol/AShared.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/A.sol/AShared.json +2 -2
- package/artifacts/contracts/experiment/inheritance/B.sol/B.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/C.sol/C.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/IA.sol/IA.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/IA.sol/ISharedA.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/IB.sol/IB.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/IC.sol/IC.dbg.json +1 -1
- package/artifacts/contracts/experiment/types/TypeA.sol/TypeALib.dbg.json +1 -1
- package/artifacts/contracts/experiment/types/TypeA.sol/TypeALib.json +2 -2
- package/artifacts/contracts/experiment/types/TypeB.sol/TypeBLib.dbg.json +1 -1
- package/artifacts/contracts/experiment/types/TypeB.sol/TypeBLib.json +2 -2
- package/artifacts/contracts/instance/IInstance.sol/IInstance.dbg.json +1 -1
- package/artifacts/contracts/instance/Instance.sol/Instance.dbg.json +1 -1
- package/artifacts/contracts/instance/Instance.sol/Instance.json +2 -2
- package/artifacts/contracts/instance/access/Access.sol/AccessModule.dbg.json +1 -1
- package/artifacts/contracts/instance/access/IAccess.sol/IAccess.dbg.json +1 -1
- package/artifacts/contracts/instance/access/IAccess.sol/IAccessCheckRole.dbg.json +1 -1
- package/artifacts/contracts/instance/access/IAccess.sol/IAccessComponentTypeRoles.dbg.json +1 -1
- package/artifacts/contracts/instance/access/IAccess.sol/IAccessModule.dbg.json +1 -1
- package/artifacts/contracts/instance/component/ComponentModule.sol/ComponentModule.dbg.json +1 -1
- package/artifacts/contracts/instance/component/ComponentModule.sol/ComponentOwnerService.dbg.json +1 -1
- package/artifacts/contracts/instance/component/ComponentModule.sol/ComponentOwnerService.json +2 -2
- package/artifacts/contracts/instance/component/IComponent.sol/IComponent.dbg.json +1 -1
- package/artifacts/contracts/instance/component/IComponent.sol/IComponentContract.dbg.json +1 -1
- package/artifacts/contracts/instance/component/IComponent.sol/IComponentModule.dbg.json +1 -1
- package/artifacts/contracts/instance/component/IComponent.sol/IComponentOwnerService.dbg.json +1 -1
- package/artifacts/contracts/instance/component/IComponent.sol/IInstanceLinked.dbg.json +1 -1
- package/artifacts/contracts/instance/policy/IPolicy.sol/IPolicy.dbg.json +1 -1
- package/artifacts/contracts/instance/policy/IPolicy.sol/IPolicyModule.dbg.json +1 -1
- package/artifacts/contracts/instance/policy/PolicyModule.sol/PolicyModule.dbg.json +1 -1
- package/artifacts/contracts/instance/pool/IPoolModule.sol/IPool.dbg.json +1 -1
- package/artifacts/contracts/instance/pool/IPoolModule.sol/IPoolModule.dbg.json +1 -1
- package/artifacts/contracts/instance/pool/PoolModule.sol/PoolModule.dbg.json +1 -1
- package/artifacts/contracts/instance/product/IProductService.sol/IProductModule.dbg.json +1 -1
- package/artifacts/contracts/instance/product/IProductService.sol/IProductService.dbg.json +1 -1
- package/artifacts/contracts/instance/product/ProductService.sol/ProductModule.dbg.json +1 -1
- package/artifacts/contracts/instance/product/ProductService.sol/ProductService.dbg.json +1 -1
- package/artifacts/contracts/instance/product/ProductService.sol/ProductService.json +2 -2
- package/artifacts/contracts/registry/ChainNft.sol/ChainNft.dbg.json +1 -1
- package/artifacts/contracts/registry/ChainNft.sol/ChainNft.json +2 -2
- package/artifacts/contracts/registry/IChainNft.sol/IChainNft.dbg.json +1 -1
- package/artifacts/contracts/registry/IRegistry.sol/IOwnable.dbg.json +1 -1
- package/artifacts/contracts/registry/IRegistry.sol/IRegisterable.dbg.json +1 -1
- package/artifacts/contracts/registry/IRegistry.sol/IRegistry.dbg.json +1 -1
- package/artifacts/contracts/registry/IRegistry.sol/IRegistryLinked.dbg.json +1 -1
- package/artifacts/contracts/registry/Registry.sol/Registerable.dbg.json +1 -1
- package/artifacts/contracts/registry/Registry.sol/Registry.dbg.json +1 -1
- package/artifacts/contracts/registry/Registry.sol/Registry.json +2 -2
- package/artifacts/contracts/registry/Registry.sol/RegistryLinked.dbg.json +1 -1
- package/artifacts/contracts/registry/Registry.sol/RegistryLinked.json +2 -2
- package/artifacts/contracts/types/Blocknumber.sol/BlocknumberLib.dbg.json +4 -0
- package/artifacts/contracts/types/Blocknumber.sol/BlocknumberLib.json +174 -0
- package/artifacts/contracts/types/ChainId.sol/ChainIdLib.dbg.json +1 -1
- package/artifacts/contracts/types/ChainId.sol/ChainIdLib.json +2 -2
- package/artifacts/contracts/types/NftId.sol/NftIdLib.dbg.json +1 -1
- package/artifacts/contracts/types/NftId.sol/NftIdLib.json +2 -2
- package/artifacts/contracts/types/Timestamp.sol/TimestampLib.dbg.json +4 -0
- package/artifacts/contracts/types/Timestamp.sol/TimestampLib.json +174 -0
- package/artifacts/contracts/types/UFixed.sol/UFixedMathLib.dbg.json +4 -0
- package/artifacts/contracts/types/UFixed.sol/UFixedMathLib.json +453 -0
- package/contracts/components/Component.sol +16 -18
- package/contracts/components/IPool.sol +3 -3
- package/contracts/components/IProduct.sol +3 -6
- package/contracts/components/Pool.sol +6 -13
- package/contracts/components/Product.sol +10 -21
- package/contracts/experiment/errors/Require.sol +10 -5
- package/contracts/experiment/errors/Revert.sol +13 -8
- package/contracts/experiment/inheritance/A.sol +8 -11
- package/contracts/experiment/inheritance/B.sol +10 -5
- package/contracts/experiment/inheritance/C.sol +11 -5
- package/contracts/experiment/inheritance/IA.sol +2 -7
- package/contracts/experiment/inheritance/IB.sol +3 -2
- package/contracts/experiment/inheritance/IC.sol +4 -3
- package/contracts/experiment/types/TypeA.sol +14 -9
- package/contracts/experiment/types/TypeB.sol +14 -9
- package/contracts/instance/IInstance.sol +1 -3
- package/contracts/instance/Instance.sol +13 -13
- package/contracts/instance/access/Access.sol +63 -116
- package/contracts/instance/access/IAccess.sol +28 -48
- package/contracts/instance/component/ComponentModule.sol +63 -98
- package/contracts/instance/component/IComponent.sol +30 -52
- package/contracts/instance/policy/IPolicy.sol +9 -24
- package/contracts/instance/policy/PolicyModule.sol +19 -35
- package/contracts/instance/pool/IPoolModule.sol +7 -19
- package/contracts/instance/pool/PoolModule.sol +22 -35
- package/contracts/instance/product/IProductService.sol +5 -15
- package/contracts/instance/product/ProductService.sol +43 -39
- package/contracts/registry/ChainNft.sol +23 -61
- package/contracts/registry/IChainNft.sol +10 -7
- package/contracts/registry/IRegistry.sol +46 -36
- package/contracts/registry/Registry.sol +80 -53
- package/contracts/types/Blocknumber.sol +118 -0
- package/contracts/types/ChainId.sol +24 -10
- package/contracts/types/NftId.sol +29 -13
- package/contracts/types/Timestamp.sol +102 -0
- package/contracts/types/UFixed.sol +205 -0
- package/package.json +9 -4
@@ -7,59 +7,50 @@ import {NftId, toNftId} from "../types/NftId.sol";
|
|
7
7
|
import {NftIdLib} from "../types/NftId.sol";
|
8
8
|
|
9
9
|
contract RegistryLinked is IRegistryLinked {
|
10
|
-
|
11
10
|
IRegistry internal _registry;
|
12
|
-
|
11
|
+
|
13
12
|
constructor(address registry) {
|
14
13
|
_registry = IRegistry(registry);
|
15
14
|
}
|
16
15
|
|
17
|
-
function getRegistry() external view override returns(IRegistry registry) {
|
16
|
+
function getRegistry() external view override returns (IRegistry registry) {
|
18
17
|
return _registry;
|
19
18
|
}
|
20
|
-
|
21
19
|
}
|
22
20
|
|
23
|
-
|
24
|
-
abstract contract Registerable is
|
25
|
-
RegistryLinked,
|
26
|
-
IRegisterable
|
27
|
-
{
|
21
|
+
abstract contract Registerable is RegistryLinked, IRegisterable {
|
28
22
|
using NftIdLib for NftId;
|
29
23
|
|
30
24
|
address private _initialOwner;
|
31
|
-
|
32
|
-
constructor(address registry)
|
33
|
-
RegistryLinked(registry)
|
34
|
-
{
|
25
|
+
|
26
|
+
constructor(address registry) RegistryLinked(registry) {
|
35
27
|
_initialOwner = msg.sender;
|
36
28
|
}
|
37
29
|
|
38
30
|
// getType, getData and register need to be implemented by concrete contract
|
39
31
|
|
40
|
-
function isRegisterable() external pure override returns(bool) {
|
32
|
+
function isRegisterable() external pure override returns (bool) {
|
41
33
|
return true;
|
42
34
|
}
|
43
35
|
|
44
|
-
function getInitialOwner() public view override returns(address deployer) {
|
36
|
+
function getInitialOwner() public view override returns (address deployer) {
|
45
37
|
return _initialOwner;
|
46
38
|
}
|
47
39
|
|
48
|
-
function isRegistered() public view override returns(bool) {
|
40
|
+
function isRegistered() public view override returns (bool) {
|
49
41
|
NftId nftId = _registry.getNftId(address(this));
|
50
42
|
return nftId.gtz();
|
51
43
|
}
|
52
44
|
|
53
|
-
function getNftId() public view override returns(NftId nftId) {
|
45
|
+
function getNftId() public view override returns (NftId nftId) {
|
54
46
|
return _registry.getNftId(address(this));
|
55
47
|
}
|
56
48
|
|
57
|
-
function getOwner() public view override returns(address owner) {
|
49
|
+
function getOwner() public view override returns (address owner) {
|
58
50
|
NftId id = _registry.getNftId(address(this));
|
59
51
|
owner = _registry.getOwner(id);
|
60
52
|
return owner != address(0) ? owner : _initialOwner;
|
61
53
|
}
|
62
|
-
|
63
54
|
}
|
64
55
|
|
65
56
|
contract Registry is IRegistry {
|
@@ -73,37 +64,71 @@ contract Registry is IRegistry {
|
|
73
64
|
IChainNft private _chainNft;
|
74
65
|
|
75
66
|
function initialize(address chainNft) external {
|
76
|
-
require(
|
67
|
+
require(
|
68
|
+
address(_chainNft) == address(0),
|
69
|
+
"ERROR:REG-001:ALREADY_INITIALIZED"
|
70
|
+
);
|
77
71
|
_chainNft = IChainNft(chainNft);
|
78
72
|
}
|
79
73
|
|
80
|
-
function TOKEN() public pure override returns(uint256) {
|
81
|
-
|
82
|
-
|
83
|
-
function ORACLE() public pure override returns(uint256) { return 60; }
|
84
|
-
function POOL() public pure override returns(uint256) { return 70; }
|
85
|
-
function POLICY() public pure override returns(uint256) { return 80; }
|
86
|
-
function BUNDLE() public pure override returns(uint256) { return 90; }
|
74
|
+
function TOKEN() public pure override returns (uint256) {
|
75
|
+
return 30;
|
76
|
+
}
|
87
77
|
|
88
|
-
function
|
89
|
-
|
78
|
+
function INSTANCE() public pure override returns (uint256) {
|
79
|
+
return 40;
|
80
|
+
}
|
81
|
+
|
82
|
+
function PRODUCT() public pure override returns (uint256) {
|
83
|
+
return 50;
|
84
|
+
}
|
85
|
+
|
86
|
+
function ORACLE() public pure override returns (uint256) {
|
87
|
+
return 60;
|
88
|
+
}
|
89
|
+
|
90
|
+
function POOL() public pure override returns (uint256) {
|
91
|
+
return 70;
|
92
|
+
}
|
93
|
+
|
94
|
+
function POLICY() public pure override returns (uint256) {
|
95
|
+
return 80;
|
96
|
+
}
|
97
|
+
|
98
|
+
function BUNDLE() public pure override returns (uint256) {
|
99
|
+
return 90;
|
100
|
+
}
|
101
|
+
|
102
|
+
function register(
|
103
|
+
address objectAddress
|
104
|
+
) external override returns (NftId nftId) {
|
105
|
+
require(
|
106
|
+
_nftIdByAddress[objectAddress].eqz(),
|
107
|
+
"ERROR:REG-002:ALREADY_REGISTERED"
|
108
|
+
);
|
90
109
|
|
91
110
|
IRegisterable registerable = IRegisterable(objectAddress);
|
92
|
-
require(
|
111
|
+
require(
|
112
|
+
registerable.isRegisterable(),
|
113
|
+
"ERROR:REG-003:NOT_REGISTERABLE"
|
114
|
+
);
|
93
115
|
|
94
116
|
// check parent exists (for objects not instances)
|
95
|
-
if(registerable.getType() != INSTANCE()) {
|
96
|
-
RegistryInfo memory parentInfo = _info[
|
117
|
+
if (registerable.getType() != INSTANCE()) {
|
118
|
+
RegistryInfo memory parentInfo = _info[
|
119
|
+
registerable.getParentNftId()
|
120
|
+
];
|
97
121
|
require(parentInfo.nftId.gtz(), "ERROR:REG-004:PARENT_NOT_FOUND");
|
98
122
|
// check validity of parent relation, valid relations are
|
99
123
|
// policy -> product, bundle -> pool, product -> instance, pool -> instance
|
100
124
|
}
|
101
125
|
|
102
126
|
uint256 mintedTokenId = _chainNft.mint(
|
103
|
-
registerable.getInitialOwner(),
|
104
|
-
EMPTY_URI
|
127
|
+
registerable.getInitialOwner(),
|
128
|
+
EMPTY_URI
|
129
|
+
);
|
105
130
|
nftId = toNftId(mintedTokenId);
|
106
|
-
|
131
|
+
|
107
132
|
RegistryInfo memory info = RegistryInfo(
|
108
133
|
nftId,
|
109
134
|
registerable.getParentNftId(),
|
@@ -118,25 +143,25 @@ contract Registry is IRegistry {
|
|
118
143
|
// add logging
|
119
144
|
}
|
120
145
|
|
121
|
-
|
122
146
|
function registerObjectForInstance(
|
123
147
|
NftId parentNftId,
|
124
148
|
uint256 objectType,
|
125
149
|
address initialOwner
|
126
150
|
)
|
127
|
-
external
|
151
|
+
external
|
128
152
|
override
|
129
|
-
|
130
|
-
|
153
|
+
returns (
|
154
|
+
// TODO add onlyRegisteredInstance
|
155
|
+
NftId nftId
|
156
|
+
)
|
131
157
|
{
|
132
158
|
// TODO add more validation
|
133
159
|
require(
|
134
160
|
objectType == POLICY() || objectType == BUNDLE(),
|
135
|
-
"ERROR:REG-005:TYPE_INVALID"
|
161
|
+
"ERROR:REG-005:TYPE_INVALID"
|
162
|
+
);
|
136
163
|
|
137
|
-
uint256 mintedTokenId = _chainNft.mint(
|
138
|
-
initialOwner,
|
139
|
-
EMPTY_URI);
|
164
|
+
uint256 mintedTokenId = _chainNft.mint(initialOwner, EMPTY_URI);
|
140
165
|
nftId = toNftId(mintedTokenId);
|
141
166
|
|
142
167
|
RegistryInfo memory info = RegistryInfo(
|
@@ -152,31 +177,33 @@ contract Registry is IRegistry {
|
|
152
177
|
// add logging
|
153
178
|
}
|
154
179
|
|
155
|
-
|
156
|
-
function getObjectCount() external view override returns(uint256) {
|
180
|
+
function getObjectCount() external view override returns (uint256) {
|
157
181
|
return _chainNft.totalSupply();
|
158
182
|
}
|
159
183
|
|
160
|
-
|
161
|
-
|
184
|
+
function getNftId(
|
185
|
+
address object
|
186
|
+
) external view override returns (NftId id) {
|
162
187
|
return _nftIdByAddress[object];
|
163
188
|
}
|
164
189
|
|
165
|
-
|
166
|
-
|
190
|
+
function isRegistered(
|
191
|
+
address object
|
192
|
+
) external view override returns (bool) {
|
167
193
|
return _nftIdByAddress[object].gtz();
|
168
194
|
}
|
169
195
|
|
170
|
-
|
171
|
-
|
196
|
+
function getInfo(
|
197
|
+
NftId nftId
|
198
|
+
) external view override returns (RegistryInfo memory info) {
|
172
199
|
return _info[nftId];
|
173
200
|
}
|
174
201
|
|
175
|
-
function getOwner(NftId nftId) external view override returns(address) {
|
202
|
+
function getOwner(NftId nftId) external view override returns (address) {
|
176
203
|
return _chainNft.ownerOf(nftId.toInt());
|
177
204
|
}
|
178
205
|
|
179
|
-
function getNftAddress() external view override returns(address nft) {
|
206
|
+
function getNftAddress() external view override returns (address nft) {
|
180
207
|
return address(_chainNft);
|
181
208
|
}
|
182
209
|
}
|
@@ -0,0 +1,118 @@
|
|
1
|
+
// SPDX-License-Identifier: Apache-2.0
|
2
|
+
pragma solidity ^0.8.19;
|
3
|
+
|
4
|
+
type Blocknumber is uint32;
|
5
|
+
|
6
|
+
using {
|
7
|
+
gtBlocknumber as >,
|
8
|
+
gteBlocknumber as >=,
|
9
|
+
ltBlocknumber as <,
|
10
|
+
lteBlocknumber as <=,
|
11
|
+
eqBlocknumber as ==,
|
12
|
+
neBlocknumber as !=,
|
13
|
+
BlocknumberLib.toInt
|
14
|
+
} for Blocknumber global;
|
15
|
+
|
16
|
+
/// @dev return true if Blocknumber a is greater than Blocknumber b
|
17
|
+
function gtBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
18
|
+
return Blocknumber.unwrap(a) > Blocknumber.unwrap(b);
|
19
|
+
}
|
20
|
+
|
21
|
+
/// @dev return true if Blocknumber a is greater than or equal to Blocknumber b
|
22
|
+
function gteBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
23
|
+
return Blocknumber.unwrap(a) >= Blocknumber.unwrap(b);
|
24
|
+
}
|
25
|
+
|
26
|
+
/// @dev return true if Blocknumber a is less than Blocknumber b
|
27
|
+
function ltBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
28
|
+
return Blocknumber.unwrap(a) < Blocknumber.unwrap(b);
|
29
|
+
}
|
30
|
+
|
31
|
+
/// @dev return true if Blocknumber a is less than or equal to Blocknumber b
|
32
|
+
function lteBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
33
|
+
return Blocknumber.unwrap(a) <= Blocknumber.unwrap(b);
|
34
|
+
}
|
35
|
+
|
36
|
+
/// @dev return true if Blocknumber a is equal to Blocknumber b
|
37
|
+
function eqBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
38
|
+
return Blocknumber.unwrap(a) == Blocknumber.unwrap(b);
|
39
|
+
}
|
40
|
+
|
41
|
+
/// @dev return true if Blocknumber a is not equal to Blocknumber b
|
42
|
+
function neBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
43
|
+
return Blocknumber.unwrap(a) != Blocknumber.unwrap(b);
|
44
|
+
}
|
45
|
+
|
46
|
+
/// @dev Converts the uint256 to a Blocknumber.
|
47
|
+
function toBlocknumber(uint256 blocknum) pure returns (Blocknumber) {
|
48
|
+
return Blocknumber.wrap(uint32(blocknum));
|
49
|
+
}
|
50
|
+
|
51
|
+
function blockBlocknumber() view returns (Blocknumber) {
|
52
|
+
return toBlocknumber(block.number);
|
53
|
+
}
|
54
|
+
|
55
|
+
/// @dev Return the Blocknumber zero (0)
|
56
|
+
function zeroBlocknumber() pure returns (Blocknumber) {
|
57
|
+
return toBlocknumber(0);
|
58
|
+
}
|
59
|
+
|
60
|
+
/// @dev Return the current block number
|
61
|
+
function blockNumber() view returns (Blocknumber) {
|
62
|
+
return toBlocknumber(block.number);
|
63
|
+
}
|
64
|
+
|
65
|
+
library BlocknumberLib {
|
66
|
+
/// @dev return true if Blocknumber a is greater than Blocknumber b
|
67
|
+
function gt(
|
68
|
+
Blocknumber a,
|
69
|
+
Blocknumber b
|
70
|
+
) public pure returns (bool isAfter) {
|
71
|
+
return gtBlocknumber(a, b);
|
72
|
+
}
|
73
|
+
|
74
|
+
/// @dev return true if Blocknumber a is greater than or equal to Blocknumber b
|
75
|
+
function gte(
|
76
|
+
Blocknumber a,
|
77
|
+
Blocknumber b
|
78
|
+
) public pure returns (bool isAfterOrSame) {
|
79
|
+
return gteBlocknumber(a, b);
|
80
|
+
}
|
81
|
+
|
82
|
+
/// @dev return true if Blocknumber a is less than Blocknumber b
|
83
|
+
function lt(
|
84
|
+
Blocknumber a,
|
85
|
+
Blocknumber b
|
86
|
+
) public pure returns (bool isBefore) {
|
87
|
+
return ltBlocknumber(a, b);
|
88
|
+
}
|
89
|
+
|
90
|
+
/// @dev return true if Blocknumber a is less than or equal to Blocknumber b
|
91
|
+
function lte(
|
92
|
+
Blocknumber a,
|
93
|
+
Blocknumber b
|
94
|
+
) public pure returns (bool isBeforeOrSame) {
|
95
|
+
return lteBlocknumber(a, b);
|
96
|
+
}
|
97
|
+
|
98
|
+
/// @dev return true if Blocknumber a is equal to Blocknumber b
|
99
|
+
function eq(
|
100
|
+
Blocknumber a,
|
101
|
+
Blocknumber b
|
102
|
+
) public pure returns (bool isSame) {
|
103
|
+
return eqBlocknumber(a, b);
|
104
|
+
}
|
105
|
+
|
106
|
+
/// @dev return true if Blocknumber a is not equal to Blocknumber b
|
107
|
+
function ne(
|
108
|
+
Blocknumber a,
|
109
|
+
Blocknumber b
|
110
|
+
) public pure returns (bool isDifferent) {
|
111
|
+
return neBlocknumber(a, b);
|
112
|
+
}
|
113
|
+
|
114
|
+
/// @dev converts the Blocknumber to a uint256
|
115
|
+
function toInt(Blocknumber blocknumber) public pure returns (uint256) {
|
116
|
+
return uint256(uint32(Blocknumber.unwrap(blocknumber)));
|
117
|
+
}
|
118
|
+
}
|
@@ -1,24 +1,38 @@
|
|
1
1
|
// SPDX-License-Identifier: Apache-2.0
|
2
2
|
pragma solidity ^0.8.19;
|
3
3
|
|
4
|
-
|
4
|
+
/// @dev bytes5 (uint40) allows for chain ids up to 13 digits
|
5
5
|
type ChainId is bytes5;
|
6
6
|
|
7
7
|
// type bindings
|
8
|
-
using {
|
9
|
-
eqChainId as ==,
|
10
|
-
neChainId as !=,
|
11
|
-
ChainIdLib.toInt
|
12
|
-
} for ChainId global;
|
8
|
+
using {eqChainId as ==, neChainId as !=, ChainIdLib.toInt} for ChainId global;
|
13
9
|
|
14
10
|
// general pure free functions
|
15
|
-
|
11
|
+
/// @dev Converts the uint256 to a ChainId.
|
12
|
+
function toChainId(uint256 chainId) pure returns (ChainId) {
|
13
|
+
return ChainId.wrap(bytes5(uint40(chainId)));
|
14
|
+
}
|
15
|
+
|
16
|
+
/// @dev Return the ChainId for the chain the contract is deployed to
|
17
|
+
function thisChainId() view returns (ChainId) {
|
18
|
+
return toChainId(block.chainid);
|
19
|
+
}
|
16
20
|
|
17
21
|
// pure free functions for operators
|
18
|
-
|
19
|
-
function
|
22
|
+
/// @dev Returns true if the values are equal (==).
|
23
|
+
function eqChainId(ChainId a, ChainId b) pure returns (bool isSame) {
|
24
|
+
return ChainId.unwrap(a) == ChainId.unwrap(b);
|
25
|
+
}
|
26
|
+
|
27
|
+
/// @dev Returns true if the values are not equal (!=).
|
28
|
+
function neChainId(ChainId a, ChainId b) pure returns (bool isDifferent) {
|
29
|
+
return ChainId.unwrap(a) != ChainId.unwrap(b);
|
30
|
+
}
|
20
31
|
|
21
32
|
// library functions that operate on user defined type
|
22
33
|
library ChainIdLib {
|
23
|
-
|
34
|
+
/// @dev Converts the ChainId to a uint256.
|
35
|
+
function toInt(ChainId chainId) internal pure returns (uint256) {
|
36
|
+
return uint256(uint40(ChainId.unwrap(chainId)));
|
37
|
+
}
|
24
38
|
}
|
@@ -5,31 +5,47 @@ pragma solidity ^0.8.19;
|
|
5
5
|
type NftId is uint96;
|
6
6
|
|
7
7
|
// type bindings
|
8
|
-
using {
|
9
|
-
eqNftId as ==,
|
10
|
-
neNftId as !=,
|
11
|
-
NftIdLib.toInt
|
12
|
-
} for NftId global;
|
8
|
+
using {eqNftId as ==, neNftId as !=, NftIdLib.toInt} for NftId global;
|
13
9
|
|
14
10
|
// general pure free functions
|
15
11
|
/// @dev Converts the uint256 to a NftId.
|
16
|
-
function toNftId(uint256 id) pure returns(NftId) {
|
12
|
+
function toNftId(uint256 id) pure returns (NftId) {
|
13
|
+
return NftId.wrap(uint96(id));
|
14
|
+
}
|
17
15
|
|
18
16
|
/// @dev Return the NftId zero (0)
|
19
|
-
function zeroNftId() pure returns(NftId) {
|
17
|
+
function zeroNftId() pure returns (NftId) {
|
18
|
+
return NftId.wrap(0);
|
19
|
+
}
|
20
20
|
|
21
21
|
// pure free functions for operators
|
22
|
-
function eqNftId(NftId a, NftId b) pure returns(bool isSame) {
|
23
|
-
|
22
|
+
function eqNftId(NftId a, NftId b) pure returns (bool isSame) {
|
23
|
+
return NftId.unwrap(a) == NftId.unwrap(b);
|
24
|
+
}
|
25
|
+
|
26
|
+
function neNftId(NftId a, NftId b) pure returns (bool isDifferent) {
|
27
|
+
return NftId.unwrap(a) != NftId.unwrap(b);
|
28
|
+
}
|
24
29
|
|
25
30
|
// library functions that operate on user defined type
|
26
31
|
library NftIdLib {
|
27
32
|
/// @dev Converts the NftId to a uint256.
|
28
|
-
function toInt(NftId nftId) public pure returns(uint96) {
|
33
|
+
function toInt(NftId nftId) public pure returns (uint96) {
|
34
|
+
return uint96(NftId.unwrap(nftId));
|
35
|
+
}
|
36
|
+
|
29
37
|
/// @dev Returns true if the value is non-zero (> 0).
|
30
|
-
function gtz(NftId a) public pure returns(bool) {
|
38
|
+
function gtz(NftId a) public pure returns (bool) {
|
39
|
+
return NftId.unwrap(a) > 0;
|
40
|
+
}
|
41
|
+
|
31
42
|
/// @dev Returns true if the value is zero (== 0).
|
32
|
-
function eqz(NftId a) public pure returns(bool) {
|
43
|
+
function eqz(NftId a) public pure returns (bool) {
|
44
|
+
return NftId.unwrap(a) == 0;
|
45
|
+
}
|
46
|
+
|
33
47
|
/// @dev Returns true if the values are equal (==).
|
34
|
-
function eq(NftId a, NftId b) public pure returns(bool isSame) {
|
48
|
+
function eq(NftId a, NftId b) public pure returns (bool isSame) {
|
49
|
+
return eqNftId(a, b);
|
50
|
+
}
|
35
51
|
}
|
@@ -0,0 +1,102 @@
|
|
1
|
+
// SPDX-License-Identifier: Apache-2.0
|
2
|
+
pragma solidity ^0.8.19;
|
3
|
+
|
4
|
+
type Timestamp is uint40;
|
5
|
+
|
6
|
+
using {
|
7
|
+
gtTimestamp as >,
|
8
|
+
gteTimestamp as >=,
|
9
|
+
ltTimestamp as <,
|
10
|
+
lteTimestamp as <=,
|
11
|
+
eqTimestamp as ==,
|
12
|
+
neTimestamp as !=
|
13
|
+
} for Timestamp global;
|
14
|
+
|
15
|
+
/// @dev return true if Timestamp a is after Timestamp b
|
16
|
+
function gtTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
17
|
+
return Timestamp.unwrap(a) > Timestamp.unwrap(b);
|
18
|
+
}
|
19
|
+
|
20
|
+
/// @dev return true if Timestamp a is after or equal to Timestamp b
|
21
|
+
function gteTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
22
|
+
return Timestamp.unwrap(a) >= Timestamp.unwrap(b);
|
23
|
+
}
|
24
|
+
|
25
|
+
/// @dev return true if Timestamp a is before Timestamp b
|
26
|
+
function ltTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
27
|
+
return Timestamp.unwrap(a) < Timestamp.unwrap(b);
|
28
|
+
}
|
29
|
+
|
30
|
+
/// @dev return true if Timestamp a is before or equal to Timestamp b
|
31
|
+
function lteTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
32
|
+
return Timestamp.unwrap(a) <= Timestamp.unwrap(b);
|
33
|
+
}
|
34
|
+
|
35
|
+
/// @dev return true if Timestamp a is equal to Timestamp b
|
36
|
+
function eqTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
37
|
+
return Timestamp.unwrap(a) == Timestamp.unwrap(b);
|
38
|
+
}
|
39
|
+
|
40
|
+
/// @dev return true if Timestamp a is not equal to Timestamp b
|
41
|
+
function neTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
42
|
+
return Timestamp.unwrap(a) != Timestamp.unwrap(b);
|
43
|
+
}
|
44
|
+
|
45
|
+
/// @dev Converts the uint256 to a Timestamp.
|
46
|
+
function toTimestamp(uint256 timestamp) pure returns (Timestamp) {
|
47
|
+
return Timestamp.wrap(uint40(timestamp));
|
48
|
+
}
|
49
|
+
|
50
|
+
function blockTimestamp() view returns (Timestamp) {
|
51
|
+
return toTimestamp(block.timestamp);
|
52
|
+
}
|
53
|
+
|
54
|
+
/// @dev Return the Timestamp zero (0)
|
55
|
+
function zeroTimestamp() pure returns (Timestamp) {
|
56
|
+
return toTimestamp(0);
|
57
|
+
}
|
58
|
+
|
59
|
+
library TimestampLib {
|
60
|
+
/// @dev return true if Timestamp a is after Timestamp b
|
61
|
+
function gt(Timestamp a, Timestamp b) public pure returns (bool isAfter) {
|
62
|
+
return gtTimestamp(a, b);
|
63
|
+
}
|
64
|
+
|
65
|
+
/// @dev return true if Timestamp a is after or the same than Timestamp b
|
66
|
+
function gte(
|
67
|
+
Timestamp a,
|
68
|
+
Timestamp b
|
69
|
+
) public pure returns (bool isAfterOrSame) {
|
70
|
+
return gteTimestamp(a, b);
|
71
|
+
}
|
72
|
+
|
73
|
+
/// @dev return true if Timestamp a is before Timestamp b
|
74
|
+
function lt(Timestamp a, Timestamp b) public pure returns (bool isBefore) {
|
75
|
+
return ltTimestamp(a, b);
|
76
|
+
}
|
77
|
+
|
78
|
+
/// @dev return true if Timestamp a is before or the same than Timestamp b
|
79
|
+
function lte(
|
80
|
+
Timestamp a,
|
81
|
+
Timestamp b
|
82
|
+
) public pure returns (bool isBeforeOrSame) {
|
83
|
+
return lteTimestamp(a, b);
|
84
|
+
}
|
85
|
+
|
86
|
+
/// @dev return true if Timestamp a is equal to Timestamp b
|
87
|
+
function eq(Timestamp a, Timestamp b) public pure returns (bool isSame) {
|
88
|
+
return eqTimestamp(a, b);
|
89
|
+
}
|
90
|
+
|
91
|
+
/// @dev return true if Timestamp a is not equal to Timestamp b
|
92
|
+
function ne(
|
93
|
+
Timestamp a,
|
94
|
+
Timestamp b
|
95
|
+
) public pure returns (bool isDifferent) {
|
96
|
+
return neTimestamp(a, b);
|
97
|
+
}
|
98
|
+
|
99
|
+
function toInt(Timestamp timestamp) public pure returns (uint256) {
|
100
|
+
return uint256(uint40(Timestamp.unwrap(timestamp)));
|
101
|
+
}
|
102
|
+
}
|