|
1280
|
1 java()
|
|
|
2 local System = require "java:java.lang.System"
|
|
|
3 local URL = require "java:java.net.URL"
|
|
|
4 local BasicLuan = require "java:luan.modules.BasicLuan"
|
|
|
5 local new_error = BasicLuan.new_error
|
|
|
6 local ipairs = BasicLuan.ipairs
|
|
|
7 local StringLuan = require "java:luan.modules.StringLuan"
|
|
|
8 local match = StringLuan.match -- String.match
|
|
|
9 local IoLuan = require "java:luan.modules.IoLuan"
|
|
|
10 local LuanUrl = require "java:luan.modules.url.LuanUrl"
|
|
|
11
|
|
|
12
|
|
|
13 local Boot = {}
|
|
|
14
|
|
|
15
|
|
|
16 local function error(message)
|
|
|
17 new_error(message).throw()
|
|
|
18 end
|
|
|
19 Boot.error = error
|
|
|
20
|
|
|
21
|
|
|
22 local function new_LuanIn(io)
|
|
|
23 local this = {}
|
|
|
24 this.java = io
|
|
|
25 this.to_string = io.to_string
|
|
|
26 this.to_uri_string = io.to_uri_string
|
|
|
27 this.read_text = io.read_text
|
|
|
28 this.read_binary = io.read_binary
|
|
|
29 this.read_lines = io.read_lines
|
|
|
30 this.read_blocks = io.read_blocks
|
|
|
31 this.exists = io.exists
|
|
|
32 this.checksum = io.checksum
|
|
|
33 this.charset = io.charset
|
|
|
34 this.set_charset = io.set_charset
|
|
|
35 return this
|
|
|
36 end
|
|
|
37 Boot.new_LuanIn = new_LuanIn
|
|
|
38
|
|
|
39 local function new_writer(writer)
|
|
|
40 local this = {}
|
|
|
41 this.java = writer
|
|
|
42 this.write = writer.write
|
|
|
43 this.close = writer.close
|
|
|
44 return this
|
|
|
45 end
|
|
|
46
|
|
|
47 function Boot.text_writer(out)
|
|
|
48 return new_writer( IoLuan.luanWriter(out) )
|
|
|
49 end
|
|
|
50
|
|
|
51 Boot.binary_writer = new_writer
|
|
|
52
|
|
|
53 local function new_LuanIO(io)
|
|
|
54 local this = new_LuanIn(io)
|
|
|
55 this.write = io.write
|
|
|
56 this.write_text = io.write_text
|
|
|
57
|
|
|
58 function this.text_writer()
|
|
|
59 return new_writer( io.text_writer() )
|
|
|
60 end
|
|
|
61
|
|
|
62 function this.binary_writer()
|
|
|
63 return new_writer( io.binary_writer() )
|
|
|
64 end
|
|
|
65
|
|
|
66 return this
|
|
|
67 end
|
|
|
68
|
|
|
69 local schemes = {}
|
|
|
70
|
|
|
71 function schemes.null(path)
|
|
|
72 return new_LuanIO( IoLuan.nullIO )
|
|
|
73 end
|
|
|
74
|
|
|
75 function schemes.string(path)
|
|
|
76 return new_LuanIO( IoLuan.LuanString.new(path) )
|
|
|
77 end
|
|
|
78
|
|
|
79 function schemes.classpath(path)
|
|
|
80 local cp = IoLuan.classpath(path)
|
|
|
81 return cp and new_LuanIn(cp)
|
|
|
82 end
|
|
|
83
|
|
|
84 function schemes.luan(path)
|
|
|
85 return schemes.classpath("luan/modules/"..path)
|
|
|
86 end
|
|
|
87
|
|
|
88 function schemes.stdin(path)
|
|
|
89 local Io = require "luan:Io.luan"
|
|
|
90 return Io.stdin
|
|
|
91 end
|
|
|
92
|
|
|
93 local function url(path,options)
|
|
|
94 return new_LuanIn( LuanUrl.new(URL.new(path),options) )
|
|
|
95 end
|
|
|
96
|
|
|
97 function schemes.http(path,options)
|
|
|
98 return url( "http:"..path, options )
|
|
|
99 end
|
|
|
100
|
|
|
101 function schemes.https(path,options)
|
|
|
102 return url( "https:"..path, options )
|
|
|
103 end
|
|
|
104
|
|
|
105 local function new_BaseOs(io)
|
|
|
106 local this = new_LuanIO(io)
|
|
|
107 this.wait_for = io.wait_for
|
|
|
108 return this
|
|
|
109 end
|
|
|
110
|
|
|
111 function schemes.os(path,options)
|
|
|
112 return new_BaseOs( IoLuan.LuanOs.new(path,options) )
|
|
|
113 end
|
|
|
114
|
|
|
115 function schemes.bash(path,options)
|
|
|
116 return new_BaseOs( IoLuan.LuanBash.new(path,options) )
|
|
|
117 end
|
|
|
118
|
|
|
119 local function new_LuanFile(io)
|
|
|
120 local this = new_LuanIO(io)
|
|
|
121 this.name = io.file.getName
|
|
|
122 this.is_directory = io.file.isDirectory
|
|
|
123 this.is_file = io.file.isFile
|
|
|
124 this.delete = io.delete
|
|
|
125 this.delete_on_exit = io.file.deleteOnExit
|
|
|
126 this.mkdir = io.mkdir
|
|
|
127 this.last_modified = io.file.lastModified
|
|
|
128 this.set_last_modified = io.set_last_modified
|
|
|
129 this.length = io.file.length
|
|
|
130 this.rename_to = io.rename_to
|
|
|
131
|
|
|
132 function this.child(name)
|
|
|
133 return new_LuanFile( io.child(name) )
|
|
|
134 end
|
|
|
135
|
|
|
136 function this.children()
|
|
|
137 local raw = io.children()
|
|
|
138 if raw == nil then
|
|
|
139 return nil
|
|
|
140 end
|
|
|
141 local rtn = {}
|
|
|
142 for _, child in ipairs(raw) do
|
|
|
143 rtn[#rtn+1] = new_LuanFile(child)
|
|
|
144 end
|
|
|
145 return rtn
|
|
|
146 end
|
|
|
147
|
|
|
148 function this.parent()
|
|
|
149 return new_LuanFile( io.parent() )
|
|
|
150 end
|
|
|
151
|
|
|
152 function this.canonical()
|
|
|
153 return new_LuanFile( io.canonical() )
|
|
|
154 end
|
|
|
155
|
|
|
156 function this.create_temp_file(prefix,suffix)
|
|
|
157 return new_LuanFile( io.create_temp_file(prefix,suffix) )
|
|
|
158 end
|
|
|
159
|
|
|
160 return this
|
|
|
161 end
|
|
|
162
|
|
|
163 function schemes.file(path)
|
|
|
164 return new_LuanFile( IoLuan.LuanFile.new(path) )
|
|
|
165 end
|
|
|
166
|
|
|
167 Boot.schemes = schemes
|
|
|
168
|
|
|
169
|
|
|
170 local function uri(name,options)
|
|
|
171 local scheme, location = match( name, "^([^:]+):(.*)$" )
|
|
|
172 scheme or error( "invalid Io.uri name '"..name.."', missing scheme" )
|
|
|
173 local opener = schemes[scheme] or error( "invalid scheme '"..scheme.."' in '"+name+"'" )
|
|
|
174 return opener(location,options)
|
|
|
175 end
|
|
|
176 Boot.uri = uri
|
|
|
177
|
|
|
178
|
|
|
179 function Boot.read(uri_str) -- for PackageLuan.java
|
|
|
180 local u = uri(uri_str)
|
|
|
181 if u==nil or not u.exists() then
|
|
|
182 return nil
|
|
|
183 end
|
|
|
184 return u.read_text()
|
|
|
185 end
|
|
|
186
|
|
|
187
|
|
|
188 return Boot
|
