Lines Matching defs:path
22 import os.path
590 path_ptr_name = '(cparent \<^bsup>s\<^esup>%(name)s_ptr [%(path)s] :: %(toptp)s ptr)'
1165 toptp, path = type_map[name_C]
1167 substs['access_path'] = '(' + reduce(lambda x, y: y + ' (' + x + ')', ['the (ptrval s)'] + path) + ')'
1169 if len(path) == 0:
1176 substs['path'] = ', '.join(map(lambda x: "''%s''" % x.split('.')[-1], path))
1179 path.reverse()
1181 ['\\<lambda>_. ' + name] + path) + '(the (ptrval s))' + ')'
2552 self.filename = os.path.abspath(filename)
2554 dirname, basename = os.path.split(self.filename)
2598 parser.add_option('--thy-output-path', action='store', default=None,
2623 # Ensure that if an output file was not specified, an output path was.
2626 parser.error("Theory output path was not specified")
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))),
2759 for path, tp in paths:
2765 type_map[tp] = (toptp, path)
2790 os.path.basename(options.multifile_base).split('.')[0]