Copyright © 2011-2012 Zuse Institute Berlin
Version: $Id$
Authors: Maik Lange (malange@informatik.hu-berlin.de).
field_list1() = [{tree_size, merkle_tree:mt_size()} | {tree_nodesCompared, non_neg_integer()} | {tree_compareSkipped, non_neg_integer()} | {tree_leavesSynced, non_neg_integer()} | {build_time, non_neg_integer()} | {recon_time, non_neg_integer()} | {rs_expected, non_neg_integer()}]
field_list2() = [{status, status()} | {p1e_phase1, float()} | {p1e_phase2, float()}] | field_list1()
stats() = #rr_recon_stats{session_id = rrepair:session_id(), tree_size = merkle_tree:mt_size(), tree_nodesCompared = non_neg_integer(), tree_compareSkipped = non_neg_integer(), tree_leavesSynced = non_neg_integer(), p1e_phase1 = float(), p1e_phase2 = float(), build_time = non_neg_integer(), recon_time = non_neg_integer(), rs_expected = non_neg_integer(), status = status()}
status() = wait | abort | finish
new/1 | |
new/2 | |
inc/2 | increases the record field with name key by value. |
set/2 | sets the value of record field with name of key to the given value. |
get/2 | |
print/1 |
new(SID :: rrepair:session_id()) -> stats()
new(SID :: rrepair:session_id(), KVList :: field_list2()) -> stats()
inc(L :: field_list1(), Old :: stats()) -> New :: stats()
increases the record field with name key by value
set(L :: field_list2(), Old :: stats()) -> New :: stats()
sets the value of record field with name of key to the given value
get(X1 :: session_id, Rr_recon_stats :: stats()) -> rrepair:session_id()
print(Stats :: stats()) -> [any()]
Generated by EDoc, Sep 11 2020, 15:25:20.