Lines Matching defs:os
22 import os.path
2552 self.filename = os.path.abspath(filename)
2554 dirname, basename = os.path.split(self.filename)
2569 os.rename(f.file.name, f.filename)
2629 out_file.filename = os.path.abspath(options.thy_output_path)
2674 base_filename = os.path.basename(in_filename).split('.')[0]
2706 os.path.relpath(options.cspec_dir,
2707 os.path.dirname(out_file.filename))), file=out_file)
2722 os.path.relpath(options.cspec_dir,
2723 os.path.dirname(out_file.filename))), file=out_file)
2732 os.path.basename(options.multifile_base).split('.')[0]
2739 submodule_name, os.path.relpath(options.cspec_dir,
2740 os.path.dirname(out_file.filename))),
2790 os.path.basename(options.multifile_base).split('.')[0]