annotate src/luan/modules/Boot.luan @ 1562:b89212fd04b5

remove table.luan
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 08 Nov 2020 16:50:59 -0700
parents d9a5405a3102
children adba594db0b4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1353
8d95711f6615 replace java() with require "java"
Franklin Schmidt <fschmidt@gmail.com>
parents: 1347
diff changeset
1 require "java"
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local System = require "java:java.lang.System"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local URL = require "java:java.net.URL"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local BasicLuan = require "java:luan.modules.BasicLuan"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local new_error = BasicLuan.new_error
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local ipairs = BasicLuan.ipairs
1283
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
7 local set_metatable = BasicLuan.set_metatable
1424
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
8 local load = BasicLuan.load
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
9 local type = BasicLuan.type
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local StringLuan = require "java:luan.modules.StringLuan"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local match = StringLuan.match -- String.match
1424
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
12 local matches = StringLuan.matches -- String.matches
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local IoLuan = require "java:luan.modules.IoLuan"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local LuanUrl = require "java:luan.modules.url.LuanUrl"
1330
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
15 local LuanJava = require "java:luan.Luan"
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
16 local LuanTable = require "java:luan.LuanTable"
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 local Boot = {}
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 local function error(message)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 new_error(message).throw()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 Boot.error = error
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26
1330
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
27 local function no_security(fn)
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
28 LuanJava.checkCallerSecurity("no_security")
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
29 return function(...)
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
30 local security = LuanJava.setSecurity(nil)
1520
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1497
diff changeset
31 try
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1497
diff changeset
32 return fn(...)
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1497
diff changeset
33 finally
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1497
diff changeset
34 security and LuanJava.setSecurity(security)
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1497
diff changeset
35 end
1330
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
36 end
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
37 end
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
38 Boot.no_security = no_security
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1321
diff changeset
39
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 local function new_LuanIn(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 local this = {}
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 this.java = io
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 this.to_string = io.to_string
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 this.read_text = io.read_text
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 this.read_binary = io.read_binary
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 this.read_lines = io.read_lines
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 this.read_blocks = io.read_blocks
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 this.exists = io.exists
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 this.checksum = io.checksum
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 this.charset = io.charset
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 this.set_charset = io.set_charset
1426
Franklin Schmidt <fschmidt@gmail.com>
parents: 1424
diff changeset
53 this.to_uri_string = io.to_uri_string
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 Boot.new_LuanIn = new_LuanIn
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 local function new_writer(writer)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 local this = {}
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 this.java = writer
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 this.write = writer.write
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 this.close = writer.close
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 function Boot.text_writer(out)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 return new_writer( IoLuan.luanWriter(out) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70 Boot.binary_writer = new_writer
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
71
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
72 local function new_LuanIO(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73 local this = new_LuanIn(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 this.write = io.write
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
75 this.write_text = io.write_text
1470
Franklin Schmidt <fschmidt@gmail.com>
parents: 1434
diff changeset
76 this.write_binary = io.write_binary
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
77
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
78 function this.text_writer()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
79 return new_writer( io.text_writer() )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
81
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
82 function this.binary_writer()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 return new_writer( io.binary_writer() )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
89 local schemes = {}
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1520
diff changeset
90 --LuanTable.setSecurity(schemes,"schemes")
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 function schemes.null(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93 return new_LuanIO( IoLuan.nullIO )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
95
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
96 function schemes.string(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
97 return new_LuanIO( IoLuan.LuanString.new(path) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
98 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100 function schemes.classpath(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101 local cp = IoLuan.classpath(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
102 return cp and new_LuanIn(cp)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
103 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
104
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
105 function schemes.luan(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
106 return schemes.classpath("luan/modules/"..path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
107 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
108
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
109 function schemes.stdin(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
110 local Io = require "luan:Io.luan"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
111 return Io.stdin
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
112 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
113
1364
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
114
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
115 local function new_LuanUrl(io)
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
116 local this = new_LuanIn(io)
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
117
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
118 local function check()
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
119 io.httpCon or error "must open first"
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
120 end
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
121
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
122 function this.get_header(name)
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
123 check()
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
124 return io.httpCon.getHeaderField(name)
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
125 end
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
126
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
127 function this.get_response_code()
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
128 check()
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
129 return io.httpCon.getResponseCode()
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
130 end
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
131
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
132 function this.get_response_message()
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
133 check()
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
134 return io.httpCon.getResponseMessage()
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
135 end
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
136
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
137 return this
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
138 end
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
139
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
140 local function url(path,options)
1364
45363886f256 add url methods
Franklin Schmidt <fschmidt@gmail.com>
parents: 1353
diff changeset
141 return new_LuanUrl( LuanUrl.new(URL.new(path),options) )
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
142 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
143
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
144 function schemes.http(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
145 return url( "http:"..path, options )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
146 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
147
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
148 function schemes.https(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
149 return url( "https:"..path, options )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
150 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
151
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
152 local function new_BaseOs(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
153 local this = new_LuanIO(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
154 this.wait_for = io.wait_for
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
155 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
156 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
157
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
158 function schemes.os(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
159 return new_BaseOs( IoLuan.LuanOs.new(path,options) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
160 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
161
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
162 function schemes.bash(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
163 return new_BaseOs( IoLuan.LuanBash.new(path,options) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
164 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
165
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
166 local function new_LuanFile(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
167 local this = new_LuanIO(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
168 this.name = io.file.getName
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
169 this.is_directory = io.file.isDirectory
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
170 this.is_file = io.file.isFile
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
171 this.delete = io.delete
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
172 this.delete_on_exit = io.file.deleteOnExit
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
173 this.mkdir = io.mkdir
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
174 this.last_modified = io.file.lastModified
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
175 this.set_last_modified = io.set_last_modified
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
176 this.length = io.file.length
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
177 this.rename_to = io.rename_to
1497
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1470
diff changeset
178 this.link_from = io.link_from
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1470
diff changeset
179 this.symlink_from = io.symlink_from
1311
ca742d51b31f don't delete into symbolic links
Franklin Schmidt <fschmidt@gmail.com>
parents: 1286
diff changeset
180 this.is_symbolic_link = io.is_symbolic_link
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
181
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
182 function this.child(name)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
183 return new_LuanFile( io.child(name) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
184 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
185
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
186 function this.children()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
187 local raw = io.children()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
188 if raw == nil then
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
189 return nil
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
190 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
191 local rtn = {}
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
192 for _, child in ipairs(raw) do
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
193 rtn[#rtn+1] = new_LuanFile(child)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
194 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
195 return rtn
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
196 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
197
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
198 function this.parent()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
199 return new_LuanFile( io.parent() )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
200 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
201
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
202 function this.canonical()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
203 return new_LuanFile( io.canonical() )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
204 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
205
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
206 function this.create_temp_file(prefix,suffix)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
207 return new_LuanFile( io.create_temp_file(prefix,suffix) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
208 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
209
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
210 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
211 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
212
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
213 function schemes.file(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
214 return new_LuanFile( IoLuan.LuanFile.new(path) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
215 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
216
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
217 Boot.schemes = schemes
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
218
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
219
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
220 local function uri(name,options)
1286
9eb3a9724853 uri bug fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1283
diff changeset
221 local scheme, location = match( name, "(?s)^([^:]+):(.*)$" )
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
222 scheme or error( "invalid Io.uri name '"..name.."', missing scheme" )
1286
9eb3a9724853 uri bug fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1283
diff changeset
223 local opener = schemes[scheme] or error( "invalid scheme '"..scheme.."' in '"..name.."'" )
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
224 return opener(location,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
225 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
226 Boot.uri = uri
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
227
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
228
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
229 function Boot.read(uri_str) -- for PackageLuan.java
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
230 local u = uri(uri_str)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
231 if u==nil or not u.exists() then
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
232 return nil
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
233 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
234 return u.read_text()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
235 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
236
1424
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
237 function Boot.load_file(file)
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
238 if type(file) == "string" then
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
239 if not matches(file,":") then
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
240 file = "file:"..file
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
241 end
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
242 local u = uri(file)
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
243 if u==nil or not u.exists() then
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
244 return nil
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
245 end
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
246 local src = u.read_text()
1434
56fb5cd8228d cache compiled code in temp files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1426
diff changeset
247 return load(src,file,true)
1424
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
248 elseif type(file) == "table" and file.read_text ~= nil then
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
249 local src = file.read_text()
1426
Franklin Schmidt <fschmidt@gmail.com>
parents: 1424
diff changeset
250 local src_file = file.uri_string or file.to_uri_string()
1434
56fb5cd8228d cache compiled code in temp files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1426
diff changeset
251 return load(src,src_file,true)
1424
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
252 else
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
253 error("bad argument, expected string or uri table but got "..type(file))
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
254 end
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
255 end
9ab267b9427c better load_file()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
256
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
257
1283
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
258 local error_mt = {}
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
259
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
260 function error_mt.__to_string(t)
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
261 return t.java.getLuanStackTraceString()
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
262 end
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
263
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
264 function Boot.new_error_table(ex) -- for LuanException.java
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
265 local this = {}
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
266 set_metatable(this,error_mt)
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
267 this.java = ex
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
268 this.get_message = ex.getMessage
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
269 this.throw = ex.throwThis
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
270 this.get_stack_trace_string = ex.getLuanStackTraceString
1347
643cf1c37723 move webserver to lib and bug fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
271 this.get_java_stack_trace_string = ex.getJavaStackTraceString
1283
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
272 return this
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
273 end
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
274
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
275
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
276 return Boot