laconicd-deprecated/x/nameservice/keeper/invariants.go

package keeper

import (
	"github.com/cerc-io/laconicd/x/nameservice/types"
	sdk "github.com/cosmos/cosmos-sdk/types"
)

// RegisterInvariants registers all nameservice module invariants.
func RegisterInvariants(ir sdk.InvariantRegistry, k Keeper) {
	ir.RegisterRoute(types.ModuleName, "record", RecordInvariants(k))
}

// RecordInvariants checks that every record:
// (1) has a corresponding naming record &
// (2) associated bond exists, if bondID is not null.
func RecordInvariants(k Keeper) sdk.Invariant {
	return func(ctx sdk.Context) (string, bool) {
		//store := ctx.KVStore(k.storeKey)
		//itr := sdk.KVStorePrefixIterator(store, PrefixCIDToRecordIndex)
		//defer itr.Close()
		//for ; itr.Valid(); itr.Next() {
		//	bz := store.Get(itr.Key())
		//	if bz != nil {
		//		var obj types.RecordObj
		//		k.cdc.MustUnmarshalBinaryBare(bz, &obj)
		//		record := obj.ToRecord()
		//
		//		if record.BondID != "" && !k.bondKeeper.HasBond(ctx, record.BondID) {
		//			return sdk.FormatInvariant(types.ModuleName, "record-bond", fmt.Sprintf("Bond not found for record ID: '%s'.", record.ID)), true
		//		}
		//	}
		//}

		return "", false
	}
}