Lines Matching refs:os
15 import os.path
2629 self.filename = os.path.abspath(filename)
2631 dirname, basename = os.path.split(self.filename)
2648 os.rename(f.file.name, f.filename)
2710 out_file.filename = os.path.abspath(options.thy_output_path)
2755 base_filename = os.path.basename(in_filename).split('.')[0]
2787 os.path.relpath(options.cspec_dir,
2788 os.path.dirname(out_file.filename))), file=out_file)
2803 os.path.relpath(options.cspec_dir,
2804 os.path.dirname(out_file.filename))), file=out_file)
2813 os.path.basename(options.multifile_base).split('.')[0]
2820 submodule_name, os.path.relpath(options.cspec_dir,
2821 os.path.dirname(out_file.filename))),
2872 os.path.basename(options.multifile_base).split('.')[0]