1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
######
#
# HX-2014-08:
# for Python code translated from ATS
#
######
######
#beg of [filebas_cats.py]
######
############################################
#
ats2pypre_stdin = sys.__stdin__
ats2pypre_stdout = sys.__stdout__
ats2pypre_stderr = sys.__stderr__
#
############################################
#
def \
ats2pypre_fileref_open_exn(path, fm):
return open(path, fm)
def \
ats2pypre_fileref_open_opt(path, fm):
try:
filr = open(path, fm)
return ats2pypre_option_some(filr)
except IOError:
return ats2pypre_option_none()
#
def \
ats2pypre_fileref_close(filr): return filr.close()
#
def \
ats2pypre_fileref_get_file_string(filr): return filr.read(-1)
#
############################################
###### end of [filebas_cats.py] ######
|
