123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116(*
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*)moduleMetrics=Irmin.MetricsmoduleInode=structtypeMetrics.origin+=Inode_statstypefield=|Inode_add|Inode_remove|Inode_of_seq|Inode_of_raw|Inode_rec_add|Inode_rec_remove|Inode_to_binv|Inode_decode_bin|Inode_encode_bintypet={mutableinode_add:int;mutableinode_remove:int;mutableinode_of_seq:int;mutableinode_of_raw:int;mutableinode_rec_add:int;mutableinode_rec_remove:int;mutableinode_to_binv:int;mutableinode_decode_bin:int;mutableinode_encode_bin:int;}[@@derivingirmin]typestat=tMetrics.tletcreate_inode()={inode_add=0;inode_remove=0;inode_of_seq=0;inode_of_raw=0;inode_rec_add=0;inode_rec_remove=0;inode_to_binv=0;inode_decode_bin=0;inode_encode_bin=0;}letclearm=letv=Metrics.stateminv.inode_add<-0;v.inode_remove<-0;v.inode_of_seq<-0;v.inode_of_raw<-0;v.inode_rec_add<-0;v.inode_rec_remove<-0;v.inode_to_binv<-0;v.inode_decode_bin<-0;v.inode_encode_bin<-0letinit()=letinitial_state=create_inode()inMetrics.v~origin:Inode_stats~name:"inode_metric"~initial_statetletexportm=Metrics.statemletupdate~fieldpack=letfv=matchfieldwith|Inode_add->v.inode_add<-succv.inode_add|Inode_remove->v.inode_remove<-succv.inode_remove|Inode_of_seq->v.inode_of_seq<-succv.inode_of_seq|Inode_of_raw->v.inode_of_raw<-succv.inode_of_raw|Inode_rec_add->v.inode_rec_add<-succv.inode_rec_add|Inode_rec_remove->v.inode_rec_remove<-succv.inode_rec_remove|Inode_to_binv->v.inode_to_binv<-succv.inode_to_binv|Inode_decode_bin->v.inode_decode_bin<-succv.inode_decode_bin|Inode_encode_bin->v.inode_encode_bin<-succv.inode_encode_bininletmut=Metrics.MutatefinMetrics.updatepackmutendtypet={inode:Inode.stat}lets={inode=Inode.init()}letget()=sletreset_stats()=Inode.clears.inodeletincr_inode_add()=Inode.update~field:Inode.Inode_adds.inodeletincr_inode_remove()=Inode.update~field:Inode.Inode_removes.inodeletincr_inode_of_seq()=Inode.update~field:Inode.Inode_of_seqs.inodeletincr_inode_of_raw()=Inode.update~field:Inode.Inode_of_raws.inodeletincr_inode_rec_add()=Inode.update~field:Inode.Inode_rec_adds.inodeletincr_inode_rec_remove()=Inode.update~field:Inode.Inode_rec_removes.inodeletincr_inode_to_binv()=Inode.update~field:Inode.Inode_to_binvs.inodeletincr_inode_decode_bin()=Inode.update~field:Inode.Inode_decode_bins.inodeletincr_inode_encode_bin()=Inode.update~field:Inode.Inode_encode_bins.inode