##// END OF EJS Templates
nodemap: document the docket attributes...
marmoute -
r44983:283fd803 default
parent child Browse files
Show More
@@ -226,9 +226,20 b' class NodeMapDocket(object):'
226 def __init__(self, uid=None):
226 def __init__(self, uid=None):
227 if uid is None:
227 if uid is None:
228 uid = _make_uid()
228 uid = _make_uid()
229 # a unique identifier for the data file:
230 # - When new data are appended, it is preserved.
231 # - When a new data file is created, a new identifier is generated.
229 self.uid = uid
232 self.uid = uid
233 # the tipmost revision stored in the data file. This revision and all
234 # revision before it are expected to be encoded in the data file.
230 self.tip_rev = None
235 self.tip_rev = None
236 # the size (in bytes) of the persisted data to encode the nodemap valid
237 # for `tip_rev`.
238 # - data file shorter than this are corrupted,
239 # - any extra data should be ignored.
231 self.data_length = None
240 self.data_length = None
241 # the amount (in bytes) of "dead" data, still in the data file but no
242 # longer used for the nodemap.
232 self.data_unused = 0
243 self.data_unused = 0
233
244
234 def copy(self):
245 def copy(self):
General Comments 0
You need to be logged in to leave comments. Login now