def _set_pavement_file(self, pavement_file):
        self._file = pavement_file
        try:
            self.options.pavement_file = pavement_file
        except __HOLE__:
            pass
dataset/ETHPy150Open paver/paver/paver/tasks.py/Environment._set_pavement_file