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
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")
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")
