Mercurial Hosting > luan

annotate core/src/luan/modules/IoLuan.java @ 747:d3a1e9a48a94

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add unzip
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 14 Jul 2016 20:03:01 -0600
parents 293c397e8dee
children de2418d11786
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
167
4c0131c2b650 merge luan/lib into modules
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 164
diff changeset
1 package luan.modules;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
2
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
3 import java.io.InputStream;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
4 import java.io.OutputStream;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
5 import java.io.PrintStream;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
6 import java.io.Reader;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
7 import java.io.Writer;
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
8 import java.io.StringReader;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
9 import java.io.BufferedReader;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
10 import java.io.BufferedWriter;
129
486a0641bca4 add pickle client/server;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 125
diff changeset
11 import java.io.BufferedInputStream;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
12 import java.io.BufferedOutputStream;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
13 import java.io.File;
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
14 import java.io.FileInputStream;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
15 import java.io.FileOutputStream;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
16 import java.io.InputStreamReader;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
17 import java.io.OutputStreamWriter;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
18 import java.io.ByteArrayInputStream;
129
486a0641bca4 add pickle client/server;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 125
diff changeset
19 import java.io.DataInputStream;
486a0641bca4 add pickle client/server;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 125
diff changeset
20 import java.io.DataOutputStream;
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
21 import java.io.StringWriter;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
22 import java.io.IOException;
265
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
23 import java.io.FileNotFoundException;
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
24 import java.net.URL;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
25 import java.net.Socket;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
26 import java.net.ServerSocket;
701
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
27 import java.net.InetAddress;
735
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
28 import java.net.Inet4Address;
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
29 import java.net.NetworkInterface;
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
30 import java.net.MalformedURLException;
701
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
31 import java.net.UnknownHostException;
735
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
32 import java.util.Enumeration;
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
33 import java.util.Map;
747
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
34 import java.util.zip.ZipEntry;
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
35 import java.util.zip.ZipInputStream;
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
36 import java.util.zip.ZipOutputStream;
221
ec016471c6eb make LuanTable an interface
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 220
diff changeset
37 import luan.Luan;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
38 import luan.LuanState;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
39 import luan.LuanTable;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
40 import luan.LuanFunction;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
41 import luan.LuanJavaFunction;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
42 import luan.LuanException;
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
43 import luan.modules.url.LuanUrl;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
44
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
45
168
ebe9db183eb7 rename *Lib.java to *Luan.java
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 167
diff changeset
46 public final class IoLuan {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
47
435
5b36f663a1b8 make members lower case
Franklin Schmidt <fschmidt@gmail.com>
parents: 433
diff changeset
48 private static void add(LuanTable t,String method,Class... parameterTypes) throws NoSuchMethodException {
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
49 t.rawPut( method, new LuanJavaFunction(IoLuan.class.getMethod(method,parameterTypes),null) );
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
50 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
51
118
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
52 public static String read_console_line(String prompt) throws IOException {
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
53 if( prompt==null )
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
54 prompt = "> ";
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
55 return System.console().readLine(prompt);
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
56 }
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
57
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
58
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
59 public interface LuanWriter {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
60 public void write(LuanState luan,Object... args) throws LuanException, IOException;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
61 public void close() throws IOException;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
62 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
63
122
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 118
diff changeset
64 public static LuanTable textWriter(final PrintStream out) {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
65 LuanWriter luanWriter = new LuanWriter() {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
66
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
67 public void write(LuanState luan,Object... args) throws LuanException {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
68 for( Object obj : args ) {
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
69 out.print( luan.toString(obj) );
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
70 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
71 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
72
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
73 public void close() {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
74 out.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
75 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
76 };
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
77 return writer(luanWriter);
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
78 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
79
122
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 118
diff changeset
80 public static LuanTable textWriter(final Writer out) {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
81 LuanWriter luanWriter = new LuanWriter() {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
82
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
83 public void write(LuanState luan,Object... args) throws LuanException, IOException {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
84 for( Object obj : args ) {
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
85 out.write( luan.toString(obj) );
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
86 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
87 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
88
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
89 public void close() throws IOException {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
90 out.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
91 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
92 };
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
93 return writer(luanWriter);
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
94 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
95
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
96 private static LuanTable writer(LuanWriter luanWriter) {
411
23b99a5039b5 remove Luan.newTable()
Franklin Schmidt <fschmidt@gmail.com>
parents: 323
diff changeset
97 LuanTable writer = new LuanTable();
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
98 try {
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
99 writer.rawPut( "write", new LuanJavaFunction(
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
100 LuanWriter.class.getMethod( "write", LuanState.class, new Object[0].getClass() ), luanWriter
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
101 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
102 writer.rawPut( "close", new LuanJavaFunction(
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
103 LuanWriter.class.getMethod( "close" ), luanWriter
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
104 ) );
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
105 } catch(NoSuchMethodException e) {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
106 throw new RuntimeException(e);
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
107 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
108 return writer;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
109 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
110
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
111
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
112 public static LuanTable binaryWriter(final OutputStream out) {
411
23b99a5039b5 remove Luan.newTable()
Franklin Schmidt <fschmidt@gmail.com>
parents: 323
diff changeset
113 LuanTable writer = new LuanTable();
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
114 try {
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
115 writer.rawPut( "write", new LuanJavaFunction(
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
116 OutputStream.class.getMethod( "write", new byte[0].getClass() ), out
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
117 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
118 writer.rawPut( "close", new LuanJavaFunction(
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
119 OutputStream.class.getMethod( "close" ), out
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
120 ) );
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
121 } catch(NoSuchMethodException e) {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
122 throw new RuntimeException(e);
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
123 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
124 return writer;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
125 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
126
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
127 static LuanFunction lines(final BufferedReader in) {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
128 return new LuanFunction() {
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
129 @Override public Object call(LuanState luan,Object[] args) throws LuanException {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
130 try {
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
131 if( args.length > 0 ) {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
132 if( args.length > 1 || !"close".equals(args[0]) )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
133 throw new LuanException( "the only argument allowed is 'close'" );
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
134 in.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
135 return null;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
136 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
137 String rtn = in.readLine();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
138 if( rtn==null )
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
139 in.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
140 return rtn;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
141 } catch(IOException e) {
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
142 throw new LuanException(e);
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
143 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
144 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
145 };
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
146 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
147
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
148 static LuanFunction blocks(final InputStream in,final int blockSize) {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
149 return new LuanFunction() {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
150 final byte[] a = new byte[blockSize];
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
151
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
152 @Override public Object call(LuanState luan,Object[] args) throws LuanException {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
153 try {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
154 if( args.length > 0 ) {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
155 if( args.length > 1 || !"close".equals(args[0]) )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
156 throw new LuanException( "the only argument allowed is 'close'" );
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
157 in.close();
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
158 return null;
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
159 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
160 if( in.read(a) == -1 ) {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
161 in.close();
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
162 return null;
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
163 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
164 return a;
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
165 } catch(IOException e) {
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
166 throw new LuanException(e);
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
167 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
168 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
169 };
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
170 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
171
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
172
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
173
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
174 public static abstract class LuanIn {
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
175 public abstract InputStream inputStream() throws IOException, LuanException;
147
cc3a0578edac fix Io.reverse_pickle
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 145
diff changeset
176 public abstract String to_string();
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
177 public abstract String to_uri_string();
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
178
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
179 public Reader reader() throws IOException, LuanException {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
180 return new InputStreamReader(inputStream());
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
181 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
182
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
183 public String read_text() throws IOException, LuanException {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
184 Reader in = reader();
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
185 String s = Utils.readAll(in);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
186 in.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
187 return s;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
188 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
189
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
190 public byte[] read_binary() throws IOException, LuanException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
191 InputStream in = inputStream();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
192 byte[] a = Utils.readAll(in);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
193 in.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
194 return a;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
195 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
196
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
197 public LuanFunction read_lines() throws IOException, LuanException {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
198 return lines(new BufferedReader(reader()));
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
199 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
200
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
201 public LuanFunction read_blocks(Integer blockSize) throws IOException, LuanException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
202 int n = blockSize!=null ? blockSize : Utils.bufSize;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
203 return blocks(inputStream(),n);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
204 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
205
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
206 public boolean exists() throws IOException, LuanException {
265
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
207 try {
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
208 inputStream().close();
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
209 return true;
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
210 } catch(FileNotFoundException e) {
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
211 return false;
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
212 }
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
213 }
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
214
747
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
215 public void unzip(String path) throws IOException, LuanException {
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
216 ZipInputStream in = new ZipInputStream(new BufferedInputStream(inputStream()));
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
217 ZipEntry entry;
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
218 while( (entry = in.getNextEntry()) != null ) {
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
219 if( entry.isDirectory() )
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
220 continue;
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
221 File file = new File(path,entry.getName());
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
222 file.getParentFile().mkdirs();
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
223 OutputStream out = new FileOutputStream(file);
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
224 Utils.copyAll(in,out);
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
225 out.close();
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
226 }
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
227 in.close();
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
228 }
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
229
297
899253043270 remove PackageLuan.load_lib()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 296
diff changeset
230 public LuanTable table() {
411
23b99a5039b5 remove Luan.newTable()
Franklin Schmidt <fschmidt@gmail.com>
parents: 323
diff changeset
231 LuanTable tbl = new LuanTable();
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
232 try {
610
b4f3dbe1c6e3 add Rpc and change Hosting to use Rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 590
diff changeset
233 tbl.rawPut( "java", this );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
234 tbl.rawPut( "to_string", new LuanJavaFunction(
147
cc3a0578edac fix Io.reverse_pickle
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 145
diff changeset
235 LuanIn.class.getMethod( "to_string" ), this
143
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
236 ) );
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
237 tbl.rawPut( "to_uri_string", new LuanJavaFunction(
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
238 LuanIn.class.getMethod( "to_uri_string" ), this
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
239 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
240 tbl.rawPut( "read_text", new LuanJavaFunction(
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
241 LuanIn.class.getMethod( "read_text" ), this
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
242 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
243 tbl.rawPut( "read_binary", new LuanJavaFunction(
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
244 LuanIn.class.getMethod( "read_binary" ), this
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
245 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
246 tbl.rawPut( "read_lines", new LuanJavaFunction(
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
247 LuanIn.class.getMethod( "read_lines" ), this
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
248 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
249 tbl.rawPut( "read_blocks", new LuanJavaFunction(
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
250 LuanIn.class.getMethod( "read_blocks", Integer.class ), this
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
251 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
252 tbl.rawPut( "exists", new LuanJavaFunction(
265
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
253 LuanIn.class.getMethod( "exists" ), this
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
254 ) );
747
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
255 tbl.rawPut( "unzip", new LuanJavaFunction(
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
256 LuanIn.class.getMethod( "unzip", String.class ), this
d3a1e9a48a94 add unzip
Franklin Schmidt <fschmidt@gmail.com>
parents: 746
diff changeset
257 ) );
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
258 } catch(NoSuchMethodException e) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
259 throw new RuntimeException(e);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
260 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
261 return tbl;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
262 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
263 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
264
297
899253043270 remove PackageLuan.load_lib()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 296
diff changeset
265 public static final LuanIn defaultStdin = new LuanIn() {
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
266
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
267 @Override public InputStream inputStream() {
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
268 return System.in;
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
269 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
270
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
271 @Override public String to_string() {
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
272 return "<stdin>";
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
273 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
274
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
275 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
276 return "stdin:";
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
277 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
278
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
279 @Override public String read_text() throws IOException {
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
280 return Utils.readAll(new InputStreamReader(System.in));
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
281 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
282
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
283 @Override public byte[] read_binary() throws IOException {
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
284 return Utils.readAll(System.in);
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
285 }
265
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
286
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
287 @Override public boolean exists() {
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
288 return true;
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
289 }
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
290 };
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
291
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
292 public static abstract class LuanIO extends LuanIn {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
293 abstract OutputStream outputStream() throws IOException;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
294
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
295 public void write(Object obj) throws LuanException, IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
296 if( obj instanceof String ) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
297 String s = (String)obj;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
298 Writer out = new OutputStreamWriter(outputStream());
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
299 out.write(s);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
300 out.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
301 return;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
302 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
303 if( obj instanceof byte[] ) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
304 byte[] a = (byte[])obj;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
305 OutputStream out = outputStream();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
306 Utils.copyAll(new ByteArrayInputStream(a),out);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
307 out.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
308 return;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
309 }
745
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
310 if( obj instanceof LuanTable ) {
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
311 LuanTable t = (LuanTable)obj;
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
312 Object java = t.rawGet("java");
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
313 if( java instanceof LuanIn ) {
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
314 LuanIn luanIn = (LuanIn)java;
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
315 InputStream in = luanIn.inputStream();
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
316 OutputStream out = outputStream();
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
317 Utils.copyAll(in,out);
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
318 out.close();
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
319 in.close();
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
320 return;
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
321 }
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
322 }
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
323 throw new LuanException( "bad argument #1 to 'write' (string or binary or Io.uri expected)" );
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
324 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
325
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
326 public LuanTable text_writer() throws IOException {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
327 return textWriter(new BufferedWriter(new OutputStreamWriter(outputStream())));
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
328 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
329
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
330 public LuanTable binary_writer() throws IOException {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
331 return binaryWriter(new BufferedOutputStream(outputStream()));
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
332 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
333
746
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
334 public void zip(LuanState luan,String basePath,String... filePaths) throws LuanException, IOException {
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
335 if( filePaths.length == 0 ) {
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
336 File file = new File(basePath).getCanonicalFile();
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
337 filePaths = new String[]{file.toString()};
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
338 basePath = file.getParent();
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
339 }
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
340 if( !basePath.endsWith("/") )
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
341 basePath += '/';
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
342 ZipOutputStream out = new ZipOutputStream(new BufferedOutputStream(outputStream()));
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
343 zip(out,basePath,filePaths);
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
344 out.close();
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
345 }
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
346
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
347 private static void zip(ZipOutputStream out,String basePath,String[] filePaths) throws LuanException, IOException {
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
348 for( String filePath : filePaths ) {
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
349 File file = new File(filePath);
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
350 if( file.isDirectory() ) {
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
351 String[] children = file.list();
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
352 for( int i=0; i<children.length; i++ ) {
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
353 children[i] = filePath + "/" + children[i];
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
354 }
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
355 zip(out,basePath,children);
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
356 } else {
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
357 if( !filePath.startsWith(basePath) )
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
358 throw new LuanException(filePath+" not in "+basePath);
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
359 String relPath = filePath.substring(basePath.length());
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
360 out.putNextEntry(new ZipEntry(relPath));
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
361 InputStream in = new FileInputStream(file);
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
362 Utils.copyAll(in,out);
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
363 in.close();
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
364 out.closeEntry();
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
365 }
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
366 }
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
367 }
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
368
297
899253043270 remove PackageLuan.load_lib()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 296
diff changeset
369 @Override public LuanTable table() {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
370 LuanTable tbl = super.table();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
371 try {
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
372 tbl.rawPut( "write", new LuanJavaFunction(
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
373 LuanIO.class.getMethod( "write", Object.class ), this
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
374 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
375 tbl.rawPut( "text_writer", new LuanJavaFunction(
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
376 LuanIO.class.getMethod( "text_writer" ), this
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
377 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
378 tbl.rawPut( "binary_writer", new LuanJavaFunction(
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
379 LuanIO.class.getMethod( "binary_writer" ), this
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
380 ) );
746
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
381 tbl.rawPut( "zip", new LuanJavaFunction(
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
382 LuanIO.class.getMethod( "zip", LuanState.class, String.class, new String[0].getClass() ), this
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
383 ) );
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
384 } catch(NoSuchMethodException e) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
385 throw new RuntimeException(e);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
386 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
387 return tbl;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
388 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
389 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
390
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
391 private static final LuanIO nullIO = new LuanIO() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
392 private final InputStream in = new InputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
393 @Override public int read() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
394 return -1;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
395 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
396 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
397 private final OutputStream out = new OutputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
398 @Override public void write(int b) {}
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
399 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
400
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
401 @Override public InputStream inputStream() {
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
402 return in;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
403 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
404
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
405 @Override OutputStream outputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
406 return out;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
407 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
408
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
409 @Override public String to_string() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
410 return "<null>";
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
411 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
412
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
413 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
414 return "null:";
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
415 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
416
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
417 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
418
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
419 public static final class LuanString extends LuanIO {
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
420 private String s;
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
421
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
422 private LuanString(String s) {
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
423 this.s = s;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
424 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
425
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
426 @Override public InputStream inputStream() {
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
427 throw new UnsupportedOperationException();
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
428 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
429
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
430 @Override OutputStream outputStream() {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
431 throw new UnsupportedOperationException();
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
432 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
433
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
434 @Override public String to_string() {
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
435 return "<string>";
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
436 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
437
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
438 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
439 return "string:" + s;
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
440 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
441
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
442 @Override public Reader reader() {
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
443 return new StringReader(s);
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
444 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
445
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
446 @Override public String read_text() {
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
447 return s;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
448 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
449
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
450 @Override public boolean exists() {
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
451 return true;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
452 }
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
453
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
454 @Override public LuanTable text_writer() throws IOException {
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
455 LuanWriter luanWriter = new LuanWriter() {
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
456 private final Writer out = new StringWriter();
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
457
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
458 public void write(LuanState luan,Object... args) throws LuanException, IOException {
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
459 for( Object obj : args ) {
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
460 out.write( luan.toString(obj) );
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
461 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
462 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
463
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
464 public void close() throws IOException {
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
465 s = out.toString();
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
466 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
467 };
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
468 return writer(luanWriter);
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
469 }
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
470 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
471
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
472 public static final class LuanFile extends LuanIO {
710
63cda9eec9a0 make LuanFile.file public
Franklin Schmidt <fschmidt@gmail.com>
parents: 706
diff changeset
473 public final File file;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
474
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
475 private LuanFile(LuanState luan,File file) throws LuanException {
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
476 this(file);
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
477 check(luan,"file:"+file.toString());
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
478 }
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
479
202
75750ceb45ee add LuanState.registry
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 171
diff changeset
480 private LuanFile(File file) {
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
481 this.file = file;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
482 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
483
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
484 @Override public InputStream inputStream() throws IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
485 return new FileInputStream(file);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
486 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
487
144
2e92f0a6fcac add Reactionary.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 143
diff changeset
488 @Override OutputStream outputStream() throws IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
489 return new FileOutputStream(file);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
490 }
143
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
491
147
cc3a0578edac fix Io.reverse_pickle
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 145
diff changeset
492 @Override public String to_string() {
143
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
493 return file.toString();
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
494 }
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
495
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
496 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
497 return "file:" + file.toString();
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
498 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
499
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
500 public LuanTable child(LuanState luan,String name) throws LuanException {
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
501 return new LuanFile(luan,new File(file,name)).table();
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
502 }
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
503
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
504 public LuanTable children(LuanState luan) throws LuanException {
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
505 File[] files = file.listFiles();
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
506 if( files==null )
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
507 return null;
411
23b99a5039b5 remove Luan.newTable()
Franklin Schmidt <fschmidt@gmail.com>
parents: 323
diff changeset
508 LuanTable list = new LuanTable();
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
509 for( File f : files ) {
432
d9df6d6cb927 finish fixing LuanTable to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 431
diff changeset
510 list.rawPut(list.rawLength()+1,new LuanFile(luan,f).table());
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
511 }
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
512 return list;
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
513 }
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
514
323
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
515 public LuanTable parent(LuanState luan) throws LuanException, IOException {
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
516 File parent = file.getParentFile();
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
517 if( parent==null )
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
518 parent = file.getCanonicalFile().getParentFile();
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
519 return new LuanFile(luan,parent).table();
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
520 }
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
521
265
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
522 @Override public boolean exists() {
237
97d175772fed implement mmake
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 221
diff changeset
523 return file.exists();
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
524 }
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
525
293
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
526 public boolean rename_to(String dest) {
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
527 return file.renameTo(new File(dest));
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
528 }
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
529
310
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
530 public LuanTable canonical(LuanState luan) throws LuanException, IOException {
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
531 return new LuanFile(luan,file.getCanonicalFile()).table();
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
532 }
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
533
297
899253043270 remove PackageLuan.load_lib()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 296
diff changeset
534 @Override public LuanTable table() {
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
535 LuanTable tbl = super.table();
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
536 try {
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
537 tbl.rawPut( "name", new LuanJavaFunction(
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
538 File.class.getMethod( "getName" ), file
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
539 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
540 tbl.rawPut( "is_directory", new LuanJavaFunction(
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
541 File.class.getMethod( "isDirectory" ), file
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
542 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
543 tbl.rawPut( "is_file", new LuanJavaFunction(
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
544 File.class.getMethod( "isFile" ), file
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
545 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
546 tbl.rawPut( "delete", new LuanJavaFunction(
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
547 File.class.getMethod( "delete" ), file
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
548 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
549 tbl.rawPut( "mkdir", new LuanJavaFunction(
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
550 File.class.getMethod( "mkdir" ), file
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
551 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
552 tbl.rawPut( "mkdirs", new LuanJavaFunction(
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
553 File.class.getMethod( "mkdirs" ), file
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
554 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
555 tbl.rawPut( "last_modified", new LuanJavaFunction(
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
556 File.class.getMethod( "lastModified" ), file
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
557 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
558 tbl.rawPut( "child", new LuanJavaFunction(
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
559 LuanFile.class.getMethod( "child", LuanState.class, String.class ), this
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
560 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
561 tbl.rawPut( "children", new LuanJavaFunction(
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
562 LuanFile.class.getMethod( "children", LuanState.class ), this
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
563 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
564 tbl.rawPut( "parent", new LuanJavaFunction(
323
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
565 LuanFile.class.getMethod( "parent", LuanState.class ), this
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
566 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
567 tbl.rawPut( "rename_to", new LuanJavaFunction(
293
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
568 LuanFile.class.getMethod( "rename_to", String.class ), this
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
569 ) );
427
dae264ad6a7b fix LuanTable.put() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 426
diff changeset
570 tbl.rawPut( "canonical", new LuanJavaFunction(
310
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
571 LuanFile.class.getMethod( "canonical", LuanState.class ), this
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
572 ) );
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
573 } catch(NoSuchMethodException e) {
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
574 throw new RuntimeException(e);
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
575 }
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
576 return tbl;
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
577 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
578 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
579
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
580 public static LuanTable null_() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
581 return nullIO.table();
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
582 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
583
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
584 public static LuanTable string(String s) throws LuanException {
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
585 Utils.checkNotNull(s);
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
586 return new LuanString(s).table();
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
587 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
588
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
589 public static LuanTable file(LuanState luan,String name) throws LuanException {
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
590 File file = new File(name);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
591 return new LuanFile(file).table();
143
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
592 }
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
593
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
594 public static LuanTable classpath(LuanState luan,String name) throws LuanException {
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
595 if( name.contains("//") )
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
596 return null;
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
597 String path = name;
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
598 check(luan,"classpath:"+path);
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
599 URL url;
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
600 if( !path.contains("#") ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
601 url = ClassLoader.getSystemResource(path);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
602 } else {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
603 String[] a = path.split("#");
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
604 url = ClassLoader.getSystemResource(a[0]);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
605 if( url==null ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
606 for( int i=1; i<a.length; i++ ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
607 url = ClassLoader.getSystemResource(a[0]+"/"+a[i]);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
608 if( url != null ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
609 try {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
610 url = new URL(url,".");
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
611 } catch(MalformedURLException e) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
612 throw new RuntimeException(e);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
613 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
614 break;
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
615 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
616 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
617 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
618 }
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
619 if( url != null )
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
620 return new LuanUrl(luan,url,null).table();
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
621
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
622 return null;
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
623 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
624
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
625 private static LuanTable url(LuanState luan,String url,LuanTable options) throws IOException, LuanException {
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
626 return new LuanUrl(luan,new URL(url),options).table();
263
54873a389f80 add "http" and "https" protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 262
diff changeset
627 }
54873a389f80 add "http" and "https" protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 262
diff changeset
628
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
629 public static LuanTable http(LuanState luan,String path,LuanTable options) throws IOException, LuanException {
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
630 return url(luan,"http:"+path,options);
263
54873a389f80 add "http" and "https" protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 262
diff changeset
631 }
54873a389f80 add "http" and "https" protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 262
diff changeset
632
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
633 public static LuanTable https(LuanState luan,String path,LuanTable options) throws IOException, LuanException {
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
634 return url(luan,"https:"+path,options);
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
635 }
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
636
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
637 public static LuanTable luan(LuanState luan,String path) throws LuanException {
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
638 return classpath( luan, "luan/modules/" + path );
263
54873a389f80 add "http" and "https" protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 262
diff changeset
639 }
54873a389f80 add "http" and "https" protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 262
diff changeset
640
265
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
641 public static LuanTable stdin(LuanState luan) throws LuanException {
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
642 LuanTable io = (LuanTable)PackageLuan.require(luan,"luan:Io.luan");
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
643 return (LuanTable)io.get(luan,"stdin");
265
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
644 }
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
645
297
899253043270 remove PackageLuan.load_lib()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 296
diff changeset
646 public static LuanTable newSchemes() {
411
23b99a5039b5 remove Luan.newTable()
Franklin Schmidt <fschmidt@gmail.com>
parents: 323
diff changeset
647 LuanTable schemes = new LuanTable();
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
648 try {
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
649 schemes.rawPut( "null", new LuanJavaFunction(IoLuan.class.getMethod("null_"),null) );
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
650 add( schemes, "string", String.class );
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
651 add( schemes, "file", LuanState.class, String.class );
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
652 add( schemes, "classpath", LuanState.class, String.class );
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
653 add( schemes, "socket", String.class );
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
654 add( schemes, "http", LuanState.class, String.class, LuanTable.class );
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
655 add( schemes, "https", LuanState.class, String.class, LuanTable.class );
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
656 add( schemes, "luan", LuanState.class, String.class );
272
eb27e765affb rename Io.protocols to Io.schemes and "class:" to "java:"
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 267
diff changeset
657 add( schemes, "stdin", LuanState.class );
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
658 add( schemes, "os", String.class );
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
659 } catch(NoSuchMethodException e) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
660 throw new RuntimeException(e);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
661 }
272
eb27e765affb rename Io.protocols to Io.schemes and "class:" to "java:"
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 267
diff changeset
662 return schemes;
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
663 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
664
426
23a93c118042 fix LuanTable.get() to use metatables
Franklin Schmidt <fschmidt@gmail.com>
parents: 421
diff changeset
665 private static LuanTable schemes(LuanState luan) throws LuanException {
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
666 LuanTable t = (LuanTable)PackageLuan.loaded(luan).rawGet("luan:Io.luan");
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
667 if( t == null )
272
eb27e765affb rename Io.protocols to Io.schemes and "class:" to "java:"
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 267
diff changeset
668 return newSchemes();
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
669 t = (LuanTable)t.get(luan,"schemes");
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
670 if( t == null )
272
eb27e765affb rename Io.protocols to Io.schemes and "class:" to "java:"
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 267
diff changeset
671 return newSchemes();
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
672 return t;
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
673 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
674
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
675 public static LuanTable uri(LuanState luan,String name,LuanTable options) throws LuanException {
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
676 int i = name.indexOf(':');
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
677 if( i == -1 )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
678 throw new LuanException( "invalid Io.uri name '"+name+"', missing scheme" );
272
eb27e765affb rename Io.protocols to Io.schemes and "class:" to "java:"
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 267
diff changeset
679 String scheme = name.substring(0,i);
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
680 String location = name.substring(i+1);
272
eb27e765affb rename Io.protocols to Io.schemes and "class:" to "java:"
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 267
diff changeset
681 LuanTable schemes = schemes(luan);
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
682 LuanFunction opener = (LuanFunction)schemes.get(luan,scheme);
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
683 if( opener == null )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
684 throw new LuanException( "invalid scheme '"+scheme+"' in '"+name+"'" );
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
685 return (LuanTable)Luan.first(opener.call(luan,new Object[]{location,options}));
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
686 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
687
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
688 public static final class LuanSocket extends LuanIO {
744
4b8695f1cfc4 add rpc IO type
Franklin Schmidt <fschmidt@gmail.com>
parents: 743
diff changeset
689 public final Socket socket;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
690
743
2c41f2aec92f improve Rpc and implement rpc call for local webserver
Franklin Schmidt <fschmidt@gmail.com>
parents: 739
diff changeset
691 private LuanSocket(String host,int port) throws LuanException {
2c41f2aec92f improve Rpc and implement rpc call for local webserver
Franklin Schmidt <fschmidt@gmail.com>
parents: 739
diff changeset
692 try {
2c41f2aec92f improve Rpc and implement rpc call for local webserver
Franklin Schmidt <fschmidt@gmail.com>
parents: 739
diff changeset
693 this.socket = new Socket(host,port);
2c41f2aec92f improve Rpc and implement rpc call for local webserver
Franklin Schmidt <fschmidt@gmail.com>
parents: 739
diff changeset
694 } catch(IOException e) {
2c41f2aec92f improve Rpc and implement rpc call for local webserver
Franklin Schmidt <fschmidt@gmail.com>
parents: 739
diff changeset
695 throw new LuanException(e.toString());
2c41f2aec92f improve Rpc and implement rpc call for local webserver
Franklin Schmidt <fschmidt@gmail.com>
parents: 739
diff changeset
696 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
697 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
698
743
2c41f2aec92f improve Rpc and implement rpc call for local webserver
Franklin Schmidt <fschmidt@gmail.com>
parents: 739
diff changeset
699 private LuanSocket(Socket socket) {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
700 this.socket = socket;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
701 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
702
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
703 @Override public InputStream inputStream() throws IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
704 return socket.getInputStream();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
705 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
706
144
2e92f0a6fcac add Reactionary.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 143
diff changeset
707 @Override OutputStream outputStream() throws IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
708 return socket.getOutputStream();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
709 }
129
486a0641bca4 add pickle client/server;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 125
diff changeset
710
147
cc3a0578edac fix Io.reverse_pickle
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 145
diff changeset
711 @Override public String to_string() {
143
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
712 return socket.toString();
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
713 }
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
714
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
715 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
716 throw new UnsupportedOperationException();
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
717 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
718 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
719
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
720 public static LuanTable socket(String name) throws LuanException, IOException {
262
3ccc5205d04d add "socket" protocol
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 261
diff changeset
721 int i = name.indexOf(':');
3ccc5205d04d add "socket" protocol
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 261
diff changeset
722 if( i == -1 )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
723 throw new LuanException( "invalid socket '"+name+"', format is: <host>:<port>" );
262
3ccc5205d04d add "socket" protocol
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 261
diff changeset
724 String host = name.substring(0,i);
3ccc5205d04d add "socket" protocol
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 261
diff changeset
725 String portStr = name.substring(i+1);
3ccc5205d04d add "socket" protocol
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 261
diff changeset
726 int port = Integer.parseInt(portStr);
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
727 return new LuanSocket(host,port).table();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
728 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
729
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
730 public static LuanFunction socket_server(int port) throws IOException {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
731 final ServerSocket ss = new ServerSocket(port);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
732 return new LuanFunction() {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
733 @Override public Object call(LuanState luan,Object[] args) throws LuanException {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
734 try {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
735 if( args.length > 0 ) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
736 if( args.length > 1 || !"close".equals(args[0]) )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
737 throw new LuanException( "the only argument allowed is 'close'" );
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
738 ss.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
739 return null;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
740 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
741 return new LuanSocket(ss.accept()).table();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
742 } catch(IOException e) {
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
743 throw new LuanException(e);
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
744 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
745 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
746 };
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
747 }
136
7e160d2f6d9c update HttpLib, untested
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 135
diff changeset
748
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
749
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
750 public static final class LuanOs extends LuanIO {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
751 private final Process proc;
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
752
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
753 private LuanOs(String cmd) throws IOException {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
754 this.proc = Runtime.getRuntime().exec(cmd);
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
755 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
756
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
757 @Override public InputStream inputStream() throws IOException {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
758 return proc.getInputStream();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
759 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
760
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
761 @Override OutputStream outputStream() throws IOException {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
762 return proc.getOutputStream();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
763 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
764
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
765 @Override public String to_string() {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
766 return proc.toString();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
767 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
768
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
769 @Override public String to_uri_string() {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
770 throw new UnsupportedOperationException();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
771 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
772
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
773 @Override public boolean exists() {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
774 return true;
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
775 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
776
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
777 public void wait_for()
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
778 throws IOException, LuanException
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
779 {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
780 try {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
781 proc.waitFor();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
782 } catch(InterruptedException e) {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
783 throw new RuntimeException(e);
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
784 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
785 int exitVal = proc.exitValue();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
786 if( exitVal != 0 ) {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
787 Reader err = new InputStreamReader(proc.getErrorStream());
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
788 String error = Utils.readAll(err);
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
789 err.close();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
790 throw new LuanException(error);
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
791 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
792 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
793
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
794 @Override public String read_text() throws IOException, LuanException {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
795 String s = super.read_text();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
796 wait_for();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
797 return s;
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
798 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
799
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
800 @Override public LuanTable table() {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
801 LuanTable tbl = super.table();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
802 try {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
803 tbl.rawPut( "wait_for", new LuanJavaFunction(
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
804 LuanOs.class.getMethod( "wait_for" ), this
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
805 ) );
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
806 } catch(NoSuchMethodException e) {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
807 throw new RuntimeException(e);
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
808 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
809 return tbl;
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
810 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
811 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
812
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
813 public static LuanTable os(String cmd) throws IOException {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
814 return new LuanOs(cmd).table();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
815 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
816
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
817
701
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
818 public static String ip(String domain) {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
819 try {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
820 return InetAddress.getByName(domain).getHostAddress();
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
821 } catch(UnknownHostException e) {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
822 return null;
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
823 }
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
824 }
739
f8a7cc1fd3f6 remove Io.my_ips() not needed
Franklin Schmidt <fschmidt@gmail.com>
parents: 735
diff changeset
825 /*
735
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
826 public static LuanTable my_ips() throws IOException {
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
827 LuanTable tbl = new LuanTable();
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
828 for( Enumeration<NetworkInterface> e1 = NetworkInterface.getNetworkInterfaces(); e1.hasMoreElements(); ) {
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
829 NetworkInterface ni = e1.nextElement();
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
830 for( Enumeration<InetAddress> e2 = ni.getInetAddresses(); e2.hasMoreElements(); ) {
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
831 InetAddress ia = e2.nextElement();
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
832 if( ia instanceof Inet4Address )
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
833 tbl.rawPut(ia.getHostAddress(),true);
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
834 }
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
835 }
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
836 return tbl;
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
837 }
739
f8a7cc1fd3f6 remove Io.my_ips() not needed
Franklin Schmidt <fschmidt@gmail.com>
parents: 735
diff changeset
838 */
746
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
839 /*
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
840 // files maps zip name to uri
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
841 public static void zip(LuanState luan,String zipUri,LuanTable files) throws LuanException, IOException {
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
842 Object obj = uri(luan,zipUri,null).rawGet("java");
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
843 if( !(obj instanceof LuanIO) )
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
844 throw new LuanException("invalid uri for zip");
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
845 LuanIO zipIo = (LuanIO)obj;
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
846 ZipOutputStream out = new ZipOutputStream(zipIo.outputStream());
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
847 for( Map.Entry<Object,Object> entry : files.iterable(luan) ) {
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
848 obj = entry.getKey();
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
849 if( !(obj instanceof String) )
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
850 throw new LuanException("zip file table keys must be strings");
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
851 String fileName = (String)obj;
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
852 obj = entry.getValue();
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
853 if( !(obj instanceof String) )
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
854 throw new LuanException("zip file table values must be strings");
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
855 String uriStr = (String)obj;
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
856 out.putNextEntry(new ZipEntry(fileName));
722
647602e8291a add url options
Franklin Schmidt <fschmidt@gmail.com>
parents: 710
diff changeset
857 obj = uri(luan,uriStr,null).rawGet("java");
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
858 if( !(obj instanceof LuanIn) )
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
859 throw new LuanException("invalid uri for zip");
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
860 LuanIn zipIn = (LuanIn)obj;
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
861 InputStream in = zipIn.inputStream();
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
862 Utils.copyAll(in,out);
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
863 in.close();
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
864 out.closeEntry();
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
865 }
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
866 out.close();
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
867 }
746
293c397e8dee improve zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 745
diff changeset
868 */
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
869
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
870 // security
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
871
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
872 public interface Security {
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
873 public void check(LuanState luan,String name) throws LuanException;
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
874 }
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
875
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
876 private static String SECURITY_KEY = "Io.Security";
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
877
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
878 private static void check(LuanState luan,String name) throws LuanException {
433
c6bcb8859b93 make LuanState.registry a Map;
Franklin Schmidt <fschmidt@gmail.com>
parents: 432
diff changeset
879 Security s = (Security)luan.registry().get(SECURITY_KEY);
204
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 203
diff changeset
880 if( s!=null )
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
881 s.check(luan,name);
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
882 }
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
883
204
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 203
diff changeset
884 public static void setSecurity(LuanState luan,Security s) {
433
c6bcb8859b93 make LuanState.registry a Map;
Franklin Schmidt <fschmidt@gmail.com>
parents: 432
diff changeset
885 luan.registry().put(SECURITY_KEY,s);
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
886 }
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
887
168
ebe9db183eb7 rename *Lib.java to *Luan.java
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 167
diff changeset
888 private void IoLuan() {} // never
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
889 }