85         header = m.group(1)
96                 header = "%s%s" % (_prefix, header)
98         if not header in self.headers:
99             self.headers[header] = set()
103                 print "=== %s uses %s" % (from_file, header)
104             self.headers[header].add(from_file)
150     def getHeaderUsers(self,header):  argument
152         return set(self.headers.get(header))
224     def pathFromHeader(self,header):  argument
225         path = header
263         for header in needed.keys():
264             users = needed[header]
265             if not header in self.needed:
266                 self.needed[header] = set()
269                 self.needed[header].add(user)
279     def getHeaderUsers(self,header):  argument
281         return set(self.needed[header])