-
Notifications
You must be signed in to change notification settings - Fork 182
/
invariant.go
42 lines (33 loc) · 1.45 KB
/
invariant.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
package keeper
import (
"fmt"
sdk "github.com/okex/exchain/libs/cosmos-sdk/types"
"github.com/okex/exchain/x/dex/types"
)
// RegisterInvariants registers all dex invariants
func RegisterInvariants(ir sdk.InvariantRegistry, keeper IKeeper, supplyKeeper SupplyKeeper) {
ir.RegisterRoute(types.ModuleName, "module-account", ModuleAccountInvariant(keeper, supplyKeeper))
}
// ModuleAccountInvariant checks that the module account coins reflects the sum of
// locks amounts held on store
func ModuleAccountInvariant(keeper IKeeper, supplyKeeper SupplyKeeper) sdk.Invariant {
return func(ctx sdk.Context) (string, bool) {
var depositsCoins, withdrawCoins sdk.SysCoins
// get product deposits
for _, product := range keeper.GetTokenPairs(ctx) {
if product == nil {
panic("the nil pointer is not expected")
}
depositsCoins = depositsCoins.Add2(sdk.SysCoins{product.Deposits})
}
keeper.IterateWithdrawInfo(ctx, func(_ int64, withdrawInfo types.WithdrawInfo) (stop bool) {
withdrawCoins = withdrawCoins.Add2(sdk.SysCoins{withdrawInfo.Deposits})
return false
})
moduleAcc := supplyKeeper.GetModuleAccount(ctx, types.ModuleName)
broken := !moduleAcc.GetCoins().IsEqual(depositsCoins.Add2(withdrawCoins))
return sdk.FormatInvariant(types.ModuleName, "module coins",
fmt.Sprintf("\tdex ModuleAccount coins: %s\n\tsum of deposits coins: %s\tsum of withdraw coins: %s\n",
moduleAcc.GetCoins(), depositsCoins, withdrawCoins)), broken
}
}