def set_mapper(self, fast=False):
     self.mapper = LazySourceMapper(self.address_mapper,
                                    self.build_graph,
                                    stop_after_match=fast)
Beispiel #2
0
 def set_mapper(self, fast=False):
     self.mapper = LazySourceMapper(self.context(), stop_after_match=fast)
Beispiel #3
0
 def _mapper(self):
     if self._mapper_cache is None:
         self._mapper_cache = LazySourceMapper(self._address_mapper,
                                               self._build_graph,
                                               self._fast)
     return self._mapper_cache
Beispiel #4
0
 def _mapper(self):
     if self._mapper_cache is None:
         self._mapper_cache = LazySourceMapper(self.context,
                                               self.get_options().fast)
     return self._mapper_cache