def find_tptp_file(filename, refdir=None): """ Find a TPTP file and open it. Return filepointer, directory of file, or none of opening fails. """ if os.path.isabs(filename) or filename == "-": try: fp = pylib_io.flexopen(filename, "r") return (fp, pylib_io.get_directory(filename)) except Exception, inst: print inst return None
file, or none of opening fails. """ if os.path.isabs(filename) or filename == "-": try: fp = pylib_io.flexopen(filename, "r") return (fp, pylib_io.get_directory(filename)) except Exception, inst: print inst return None # We don't yet know where to search if not refdir: # Consider filename relative to local dir try: fp = pylib_io.flexopen(filename, "r") return (fp, pylib_io.get_directory(filename)) except: pass else: # We have a reference directory and cannot use local dir name = os.path.join(refdir, filename) try: fp = pylib_io.flexopen(name, "r") return (fp, pylib_io.get_directory(name)) except: pass # Everything failed, try looking at $TPTP refdir = os.getenv("TPTP") name = os.path.join(refdir, filename) try: fp = pylib_io.flexopen(name, "r")