This file is indexed.

/usr/share/pyshared/larch/idpath.py is in python-larch 1.20131130-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 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
43
44
# Copyright 2011  Lars Wirzenius
# 
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
# 
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
# 
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.


import os


class IdPath(object):

    '''Convert a numeric id to a pathname.
    
    The ids are stored in a directory hierarchy, the depth of which
    can be adjusted by a parameter to the class. The ids are assumed
    to be non-negative integers.
    
    '''
    
    def __init__(self, dirname, depth, bits_per_level, skip_bits):
        self.dirname = dirname
        self.depth = depth
        self.bits_per_level = bits_per_level
        self.skip_bits = skip_bits
    
    def convert(self, identifier):
        def level_bits(level):
            level_mask = 2**self.bits_per_level - 1
            n = self.skip_bits + level * self.bits_per_level
            return (identifier >> n) & level_mask
            
        subdirs = ['%d' % level_bits(i) for i in range(self.depth)]
        parts = [self.dirname] + subdirs + ['%x' % identifier]
        return os.path.join(*parts)