annotate src/luan/modules/Boot.luan @ 1283:503bde9a7c80

add luan.require() and table.call()
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 21 Dec 2018 09:12:09 -0700
parents 781ec0a92bb5
children 9eb3a9724853
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 java()
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
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local StringLuan = require "java:luan.modules.StringLuan"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local match = StringLuan.match -- String.match
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local IoLuan = require "java:luan.modules.IoLuan"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local LuanUrl = require "java:luan.modules.url.LuanUrl"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local Boot = {}
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 local function error(message)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 new_error(message).throw()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 Boot.error = error
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
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 local function new_LuanIn(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 local this = {}
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 this.java = io
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 this.to_string = io.to_string
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 this.to_uri_string = io.to_uri_string
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 this.read_text = io.read_text
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 this.read_binary = io.read_binary
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 this.read_lines = io.read_lines
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 this.read_blocks = io.read_blocks
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 this.exists = io.exists
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 this.checksum = io.checksum
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 this.charset = io.charset
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 this.set_charset = io.set_charset
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 Boot.new_LuanIn = new_LuanIn
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 local function new_writer(writer)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 local this = {}
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 this.java = writer
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 this.write = writer.write
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 this.close = writer.close
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 function Boot.text_writer(out)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 return new_writer( IoLuan.luanWriter(out) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 Boot.binary_writer = new_writer
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 local function new_LuanIO(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 local this = new_LuanIn(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 this.write = io.write
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 this.write_text = io.write_text
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 function this.text_writer()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 return new_writer( io.text_writer() )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 function this.binary_writer()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 return new_writer( io.binary_writer() )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 return this
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 local schemes = {}
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 function schemes.null(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73 return new_LuanIO( IoLuan.nullIO )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
75
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
76 function schemes.string(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
77 return new_LuanIO( IoLuan.LuanString.new(path) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
78 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
79
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 function schemes.classpath(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
81 local cp = IoLuan.classpath(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
82 return cp and new_LuanIn(cp)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85 function schemes.luan(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 return schemes.classpath("luan/modules/"..path)
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 function schemes.stdin(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 local Io = require "luan:Io.luan"
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 return Io.stdin
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94 local function url(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
95 return new_LuanIn( LuanUrl.new(URL.new(path),options) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
96 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
97
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
98 function schemes.http(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99 return url( "http:"..path, options )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
102 function schemes.https(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
103 return url( "https:"..path, options )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
104 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
105
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
106 local function new_BaseOs(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
107 local this = new_LuanIO(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
108 this.wait_for = io.wait_for
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
109 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
110 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
111
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
112 function schemes.os(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
113 return new_BaseOs( IoLuan.LuanOs.new(path,options) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
114 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
115
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
116 function schemes.bash(path,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
117 return new_BaseOs( IoLuan.LuanBash.new(path,options) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
118 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
119
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
120 local function new_LuanFile(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
121 local this = new_LuanIO(io)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
122 this.name = io.file.getName
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
123 this.is_directory = io.file.isDirectory
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
124 this.is_file = io.file.isFile
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
125 this.delete = io.delete
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
126 this.delete_on_exit = io.file.deleteOnExit
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
127 this.mkdir = io.mkdir
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
128 this.last_modified = io.file.lastModified
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
129 this.set_last_modified = io.set_last_modified
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
130 this.length = io.file.length
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
131 this.rename_to = io.rename_to
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
132
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
133 function this.child(name)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
134 return new_LuanFile( io.child(name) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
135 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
136
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
137 function this.children()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
138 local raw = io.children()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
139 if raw == nil then
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
140 return nil
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
141 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
142 local rtn = {}
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
143 for _, child in ipairs(raw) do
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
144 rtn[#rtn+1] = new_LuanFile(child)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
145 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
146 return rtn
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
147 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
148
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
149 function this.parent()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
150 return new_LuanFile( io.parent() )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
151 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
152
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
153 function this.canonical()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
154 return new_LuanFile( io.canonical() )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
155 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
156
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
157 function this.create_temp_file(prefix,suffix)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
158 return new_LuanFile( io.create_temp_file(prefix,suffix) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
159 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
160
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
161 return this
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
162 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
163
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
164 function schemes.file(path)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
165 return new_LuanFile( IoLuan.LuanFile.new(path) )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
166 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
167
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
168 Boot.schemes = schemes
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
169
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
170
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
171 local function uri(name,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
172 local scheme, location = match( name, "^([^:]+):(.*)$" )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
173 scheme or error( "invalid Io.uri name '"..name.."', missing scheme" )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
174 local opener = schemes[scheme] or error( "invalid scheme '"..scheme.."' in '"+name+"'" )
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
175 return opener(location,options)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
176 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
177 Boot.uri = uri
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
178
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
179
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
180 function Boot.read(uri_str) -- for PackageLuan.java
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
181 local u = uri(uri_str)
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
182 if u==nil or not u.exists() then
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
183 return nil
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 return u.read_text()
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
186 end
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
187
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
188
1283
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
189 local error_mt = {}
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
190
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
191 function error_mt.__to_string(t)
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
192 return t.java.getLuanStackTraceString()
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
193 end
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
194
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
195 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
196 local this = {}
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
197 set_metatable(this,error_mt)
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
198 this.java = ex
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
199 this.get_message = ex.getMessage
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
200 this.throw = ex.throwThis
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
201 this.get_stack_trace_string = ex.getLuanStackTraceString
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
202 this.get_java_stack_trace_string = ex.getLuanStackTraceString
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
203 return this
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
204 end
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
205
503bde9a7c80 add luan.require() and table.call()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
206
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
207 return Boot