Mercurial Hosting > luan

annotate src/luan/modules/IoLuan.java @ 1280:781ec0a92bb5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Boot.luan
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 20 Dec 2018 13:38:16 -0700
parents d83f6cc558de
children ca742d51b31f
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;
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
19 import java.io.StringWriter;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
20 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
21 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
22 import java.net.URL;
701
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
23 import java.net.InetAddress;
735
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
24 import java.net.Inet4Address;
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
25 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
26 import java.net.MalformedURLException;
701
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
27 import java.net.UnknownHostException;
735
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
28 import java.util.Enumeration;
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
29 import java.util.Map;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
30 import luan.LuanState;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
31 import luan.LuanTable;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
32 import luan.LuanFunction;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
33 import luan.LuanException;
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
34 import luan.modules.url.LuanUrl;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
35
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
36
168
ebe9db183eb7 rename *Lib.java to *Luan.java
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 167
diff changeset
37 public final class IoLuan {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
38
118
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
39 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
40 if( prompt==null )
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
41 prompt = "> ";
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
42 return System.console().readLine(prompt);
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
43 }
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
44
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
45
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
46 public interface LuanWriter {
1257
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
47 public Object out();
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
48 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
49 public void close() throws IOException;
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
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
52 public static LuanWriter luanWriter(final PrintStream out) {
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
53 return new LuanWriter() {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
54
1257
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
55 public Object out() {
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
56 return out;
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
57 }
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
58
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
59 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
60 for( Object obj : args ) {
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
61 out.print( luan.toString(obj) );
115
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 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
64
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
65 public void close() {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
66 out.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
67 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
68 };
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
69 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
70
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
71 public static LuanWriter luanWriter(final Writer out) {
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
72 return new LuanWriter() {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
73
1257
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
74 public Object out() {
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
75 return out;
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
76 }
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
77
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
78 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
79 for( Object obj : args ) {
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
80 out.write( luan.toString(obj) );
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
81 }
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
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
84 public void close() throws IOException {
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
85 out.close();
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 };
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
88 }
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
89
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
90 static LuanFunction lines(final BufferedReader in) {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
91 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
92 @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
93 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
94 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
95 if( args.length > 1 || !"close".equals(args[0]) )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
96 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
97 in.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
98 return null;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
99 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
100 String rtn = in.readLine();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
101 if( rtn==null )
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
102 in.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
103 return rtn;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
104 } catch(IOException e) {
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
105 throw new LuanException(e);
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
106 }
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 };
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
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
111 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
112 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
113 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
114
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
115 @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
116 try {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
117 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
118 if( args.length > 1 || !"close".equals(args[0]) )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
119 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
120 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
121 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
122 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
123 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
124 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
125 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
126 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
127 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
128 } catch(IOException e) {
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
129 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
130 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
131 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
132 };
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
133 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
134
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
135
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
136 private static File objToFile(Object obj) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
137 if( obj instanceof String ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
138 return new File((String)obj);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
139 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
140 if( obj instanceof LuanTable ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
141 LuanTable t = (LuanTable)obj;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
142 Object java = t.rawGet("java");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
143 if( java instanceof LuanFile ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
144 LuanFile luanFile = (LuanFile)java;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
145 return luanFile.file;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
146 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
147 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
148 return null;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
149 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
150
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
151
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
152 public static abstract class LuanIn {
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
153 protected String charset = null;
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
154
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
155 public abstract InputStream inputStream(LuanState luan) throws IOException, LuanException;
147
cc3a0578edac fix Io.reverse_pickle
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 145
diff changeset
156 public abstract String to_string();
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
157 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
158
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
159 public Reader reader(LuanState luan) throws IOException, LuanException {
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
160 InputStream in = inputStream(luan);
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
161 return charset==null ? new InputStreamReader(in) : new InputStreamReader(in,charset);
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
162 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
163
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
164 public String read_text(LuanState luan) throws IOException, LuanException {
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
165 Reader in = reader(luan);
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
166 String s = Utils.readAll(in);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
167 in.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
168 return s;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
169 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
170
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
171 public byte[] read_binary(LuanState luan) throws IOException, LuanException {
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
172 InputStream in = inputStream(luan);
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
173 byte[] a = Utils.readAll(in);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
174 in.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
175 return a;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
176 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
177
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
178 public LuanFunction read_lines(LuanState luan) throws IOException, LuanException {
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
179 return lines(new BufferedReader(reader(luan)));
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
180 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
181
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
182 public LuanFunction read_blocks(LuanState luan,Integer blockSize) throws IOException, LuanException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
183 int n = blockSize!=null ? blockSize : Utils.bufSize;
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
184 return blocks(inputStream(luan),n);
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
185 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
186
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
187 public boolean exists(LuanState luan) 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
188 try {
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
189 inputStream(luan).close();
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
190 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
191 } 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
192 return false;
1251
Franklin Schmidt <fschmidt@gmail.com>
parents: 1204
diff changeset
193 } catch(UnknownHostException e) {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1204
diff changeset
194 return false;
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
195 }
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
196 }
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
197
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
198 public long checksum(LuanState luan) throws IOException, LuanException {
1083
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
199 long cs = 0;
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
200 InputStream in = new BufferedInputStream(inputStream(luan));
1083
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
201 int c;
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
202 while( (c=in.read()) != -1 ) {
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
203 cs = 31 * cs + c;
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
204 }
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
205 in.close();
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
206 return cs;
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
207 }
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
208
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
209 public String charset() {
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
210 return charset;
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
211 }
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
212
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
213 public void set_charset(String charset) {
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
214 this.charset = charset;
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
215 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
216 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
217
297
899253043270 remove PackageLuan.load_lib()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 296
diff changeset
218 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
219
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
220 @Override public InputStream inputStream(LuanState luan) {
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
221 return System.in;
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
222 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
223
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
224 @Override public String to_string() {
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
225 return "<stdin>";
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
226 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
227
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
228 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
229 return "stdin:";
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
230 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
231
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
232 @Override public String read_text(LuanState luan) throws IOException {
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
233 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
234 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
235
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
236 @Override public byte[] read_binary(LuanState luan) throws IOException {
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
237 return Utils.readAll(System.in);
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
238 }
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
239
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
240 @Override public boolean exists(LuanState luan) {
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
241 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
242 }
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
243 };
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
244
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
245 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
246 abstract OutputStream outputStream() throws IOException;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
247
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
248 private Writer writer() throws IOException {
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
249 OutputStream out = outputStream();
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
250 return charset==null ? new OutputStreamWriter(out) : new OutputStreamWriter(out,charset);
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
251 }
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
252
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
253 public void write(LuanState luan,Object obj) throws LuanException, IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
254 if( obj instanceof String ) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
255 String s = (String)obj;
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
256 Writer out = writer();
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
257 out.write(s);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
258 out.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
259 return;
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 if( obj instanceof byte[] ) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
262 byte[] a = (byte[])obj;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
263 OutputStream out = outputStream();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
264 Utils.copyAll(new ByteArrayInputStream(a),out);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
265 out.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
266 return;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
267 }
745
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
268 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
269 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
270 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
271 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
272 LuanIn luanIn = (LuanIn)java;
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
273 InputStream in = luanIn.inputStream(luan);
745
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
274 OutputStream out = outputStream();
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
275 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
276 out.close();
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
277 in.close();
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
278 return;
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
279 }
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
280 }
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
281 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
282 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
283
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
284 public LuanWriter text_writer() throws IOException {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
285 return luanWriter(new BufferedWriter(writer()));
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
286 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
287
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
288 public OutputStream binary_writer() throws IOException {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
289 return new BufferedOutputStream(outputStream());
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
290 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
291
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
292 public void write_text(LuanState luan,Object... args) throws LuanException, IOException {
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
293 LuanWriter luanWriter = luanWriter(new BufferedWriter(writer()));
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
294 luanWriter.write(luan,args);
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
295 luanWriter.close();
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
296 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
297 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
298
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
299 public static final LuanIO nullIO = new LuanIO() {
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
300 private final InputStream in = new InputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
301 @Override public int read() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
302 return -1;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
303 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
304 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
305 private final OutputStream out = new OutputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
306 @Override public void write(int b) {}
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
307 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
308
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
309 @Override public InputStream inputStream(LuanState luan) {
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
310 return in;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
311 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
312
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
313 @Override OutputStream outputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
314 return out;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
315 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
316
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
317 @Override public String to_string() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
318 return "<null>";
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
319 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
320
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
321 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
322 return "null:";
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
323 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
324
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
325 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
326
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
327 public static final class LuanString extends LuanIO {
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
328 private String s;
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
329
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
330 public LuanString(String s) throws LuanException {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
331 Utils.checkNotNull(s);
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
332 this.s = s;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
333 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
334
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
335 @Override public InputStream inputStream(LuanState luan) {
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
336 throw new UnsupportedOperationException();
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
337 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
338
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
339 @Override OutputStream outputStream() {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
340 throw new UnsupportedOperationException();
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
341 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
342
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
343 @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
344 return "<string>";
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
345 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
346
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
347 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
348 return "string:" + s;
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
349 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
350
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
351 @Override public Reader reader(LuanState luan) {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
352 return new StringReader(s);
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
353 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
354
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
355 @Override public String read_text(LuanState luan) {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
356 return s;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
357 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
358
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
359 @Override public boolean exists(LuanState luan) {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
360 return true;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
361 }
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
362
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
363 @Override public LuanWriter text_writer() {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
364 return new LuanWriter() {
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
365 private final Writer out = new StringWriter();
1257
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
366
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
367 public Object out() {
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
368 return out;
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
369 }
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
370
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
371 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
372 for( Object obj : args ) {
575
7c3ad6db8ac3 make LuanState.JAVA private
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
373 out.write( luan.toString(obj) );
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
374 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
375 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
376
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
377 public void close() throws IOException {
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
378 s = out.toString();
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
379 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
380 };
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
381 }
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
382 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
383
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
384 public static final class LuanFile extends LuanIO {
710
63cda9eec9a0 make LuanFile.file public
Franklin Schmidt <fschmidt@gmail.com>
parents: 706
diff changeset
385 public final File file;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
386
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
387 public LuanFile(LuanState luan,String path) throws LuanException {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
388 this(luan,new File(path));
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
389 }
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
390
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
391 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
392 this(file);
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
393 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
394 }
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
395
202
75750ceb45ee add LuanState.registry
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 171
diff changeset
396 private LuanFile(File file) {
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
397 this.file = file;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
398 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
399
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
400 @Override public InputStream inputStream(LuanState luan) throws IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
401 return new FileInputStream(file);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
402 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
403
144
2e92f0a6fcac add Reactionary.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 143
diff changeset
404 @Override OutputStream outputStream() throws IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
405 return new FileOutputStream(file);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
406 }
143
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
407
147
cc3a0578edac fix Io.reverse_pickle
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 145
diff changeset
408 @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
409 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
410 }
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
411
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
412 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
413 return "file:" + file.toString();
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
414 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
415
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
416 public LuanFile child(LuanState luan,String name) throws LuanException {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
417 return new LuanFile(luan,new File(file,name));
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
418 }
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
419
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
420 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
421 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
422 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
423 return null;
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
424 LuanTable list = new LuanTable(luan);
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
425 for( File f : files ) {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
426 list.rawPut(list.rawLength()+1,new LuanFile(luan,f));
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
427 }
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
428 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
429 }
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
430
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
431 public LuanFile parent(LuanState luan) throws LuanException, IOException {
323
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
432 File parent = file.getParentFile();
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
433 if( parent==null )
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
434 parent = file.getCanonicalFile().getParentFile();
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
435 return new LuanFile(luan,parent);
323
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
436 }
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
437
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
438 @Override public boolean exists(LuanState luan) {
237
97d175772fed implement mmake
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 221
diff changeset
439 return file.exists();
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
440 }
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
441
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
442 public void rename_to(Object destObj) throws LuanException {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
443 File dest = objToFile(destObj);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
444 if( dest==null )
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
445 throw new LuanException( "bad argument #1 to 'objToFile' (string or file table expected)" );
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
446 if( !file.renameTo(dest) )
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
447 throw new LuanException("couldn't rename file "+file+" to "+dest);
293
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
448 }
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
449
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
450 public LuanFile canonical(LuanState luan) throws LuanException, IOException {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
451 return new LuanFile(luan,file.getCanonicalFile());
310
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
452 }
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
453
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
454 public LuanFile create_temp_file(LuanState luan,String prefix,String suffix) throws LuanException, IOException {
749
85f5444fb7d4 add rcp lucene backup
Franklin Schmidt <fschmidt@gmail.com>
parents: 748
diff changeset
455 File tmp = File.createTempFile(prefix,suffix,file);
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
456 return new LuanFile(luan,tmp);
749
85f5444fb7d4 add rcp lucene backup
Franklin Schmidt <fschmidt@gmail.com>
parents: 748
diff changeset
457 }
85f5444fb7d4 add rcp lucene backup
Franklin Schmidt <fschmidt@gmail.com>
parents: 748
diff changeset
458
751
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
459 public void delete() throws LuanException {
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
460 if( file.exists() )
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
461 delete(file);
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
462 }
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
463
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
464 private static void delete(File file) throws LuanException {
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
465 File[] children = file.listFiles();
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
466 if( children != null ) {
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
467 for( File child : children ) {
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
468 delete(child);
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
469 }
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
470 }
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
471 if( !file.delete() )
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
472 throw new LuanException("couldn't delete file "+file);
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
473 }
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
474
752
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
475 public void mkdir() throws LuanException {
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
476 if( !file.isDirectory() ) {
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
477 if( !file.mkdirs() )
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
478 throw new LuanException("couldn't make directory "+file);
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
479 }
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
480 }
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
481
768
ef0fc9ad30c1 add file.set_last_modified()
Franklin Schmidt <fschmidt@gmail.com>
parents: 765
diff changeset
482 public void set_last_modified(long time) throws LuanException {
ef0fc9ad30c1 add file.set_last_modified()
Franklin Schmidt <fschmidt@gmail.com>
parents: 765
diff changeset
483 if( !file.setLastModified(time) )
ef0fc9ad30c1 add file.set_last_modified()
Franklin Schmidt <fschmidt@gmail.com>
parents: 765
diff changeset
484 throw new LuanException("couldn't set_last_modified on "+file);
ef0fc9ad30c1 add file.set_last_modified()
Franklin Schmidt <fschmidt@gmail.com>
parents: 765
diff changeset
485 }
125
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
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
488 public static LuanUrl 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
489 if( name.contains("//") )
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
490 return null;
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
491 String path = name;
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
492 check(luan,"classpath:"+path);
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
493 URL url;
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
494 if( !path.contains("#") ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
495 url = ClassLoader.getSystemResource(path);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
496 } else {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
497 String[] a = path.split("#");
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
498 url = ClassLoader.getSystemResource(a[0]);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
499 if( url==null ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
500 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
501 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
502 if( url != null ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
503 try {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
504 url = new URL(url,".");
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
505 } catch(MalformedURLException e) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
506 throw new RuntimeException(e);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
507 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
508 break;
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
509 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
510 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
511 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
512 }
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
513 if( url != null )
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
514 return new LuanUrl(url,null);
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
515
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
516 return null;
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
517 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
518
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
519
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
520 public static class BaseOs extends LuanIO {
761
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
521 private final String cmd;
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
522 final File dir;
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
523 Process proc;
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
524
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
525 private BaseOs(String cmd,LuanTable options) throws IOException, LuanException {
761
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
526 this.cmd = cmd;
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
527 File dir = null;
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
528 if( options != null ) {
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
529 Map map = options.asMap();
761
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
530 Object obj = map.remove("dir");
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
531 dir = objToFile(obj);
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
532 if( dir==null )
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
533 throw new LuanException( "bad option 'dir' (string or file table expected)" );
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
534 if( !map.isEmpty() )
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
535 throw new LuanException( "unrecognized options: "+map );
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
536 }
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
537 this.dir = dir;
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
538 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
539
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
540 @Override public InputStream inputStream(LuanState luan) throws IOException {
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
541 return proc.getInputStream();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
542 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
543
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
544 @Override OutputStream outputStream() throws IOException {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
545 return proc.getOutputStream();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
546 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
547
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
548 @Override public String to_string() {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
549 return proc.toString();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
550 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
551
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
552 @Override public String to_uri_string() {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
553 throw new UnsupportedOperationException();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
554 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
555
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
556 @Override public boolean exists(LuanState luan) {
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
557 return true;
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
558 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
559
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
560 public void wait_for()
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
561 throws IOException, LuanException
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
562 {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
563 try {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
564 proc.waitFor();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
565 } catch(InterruptedException e) {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
566 throw new RuntimeException(e);
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
567 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
568 int exitVal = proc.exitValue();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
569 if( exitVal != 0 ) {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
570 Reader err = new InputStreamReader(proc.getErrorStream());
1107
Franklin Schmidt <fschmidt@gmail.com>
parents: 1105
diff changeset
571 String error = "exit value "+exitVal+" in: "+cmd+"\n"+Utils.readAll(err);
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
572 err.close();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
573 throw new LuanException(error);
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
574 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
575 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
576
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
577 @Override public String read_text(LuanState luan) throws IOException, LuanException {
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
578 String s = super.read_text(luan);
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
579 wait_for();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
580 return s;
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
581 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
582 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
583
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
584 public static final class LuanOs extends BaseOs {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
585 public LuanOs(LuanState luan,String cmd,LuanTable options) throws IOException, LuanException {
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
586 super(cmd,options);
1128
34dfed3b5cb0 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1127
diff changeset
587 check(luan,"os:"+cmd);
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
588 this.proc = Runtime.getRuntime().exec(cmd,null,dir);
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
589 }
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
590 }
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
591
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
592 public static final class LuanBash extends BaseOs {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
593 public LuanBash(LuanState luan,String cmd,LuanTable options) throws IOException, LuanException {
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
594 super(cmd,options);
1128
34dfed3b5cb0 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1127
diff changeset
595 check(luan,"bash:"+cmd);
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
596 this.proc = Runtime.getRuntime().exec(new String[]{"bash","-c",cmd},null,dir);
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
597 }
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
598 }
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
599
1120
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
600
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
601 public static class LuanInput extends LuanIn {
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
602 private final InputStream in;
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
603
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
604 public LuanInput(InputStream in) {
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
605 this.in = in;
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
606 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
607
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
608 @Override public InputStream inputStream(LuanState luan) {
1120
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
609 return in;
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
610 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
611
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
612 @Override public String to_string() {
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
613 return "<input_stream>";
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
614 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
615
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
616 @Override public String to_uri_string() {
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
617 throw new UnsupportedOperationException();
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
618 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
619
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
620 @Override public boolean exists(LuanState luan) {
1120
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
621 return true;
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
622 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
623 };
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
624
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
625
701
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
626 public static String ip(String domain) {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
627 try {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
628 return InetAddress.getByName(domain).getHostAddress();
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
629 } catch(UnknownHostException e) {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
630 return null;
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
631 }
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
632 }
765
55983a476a21 add back Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 764
diff changeset
633
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
634 public static LuanTable my_ips(LuanState luan) throws IOException {
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
635 LuanTable tbl = new LuanTable(luan);
735
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
636 for( Enumeration<NetworkInterface> e1 = NetworkInterface.getNetworkInterfaces(); e1.hasMoreElements(); ) {
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
637 NetworkInterface ni = e1.nextElement();
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
638 for( Enumeration<InetAddress> e2 = ni.getInetAddresses(); e2.hasMoreElements(); ) {
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
639 InetAddress ia = e2.nextElement();
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
640 if( ia instanceof Inet4Address )
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
641 tbl.rawPut(ia.getHostAddress(),true);
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
642 }
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
643 }
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
644 return tbl;
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
645 }
765
55983a476a21 add back Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 764
diff changeset
646
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
647
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
648 // security
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
649
1134
e54ae41e9501 cleaner security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1133
diff changeset
650 public static void unrestricted(LuanState luan) throws LuanException {
e54ae41e9501 cleaner security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1133
diff changeset
651 JavaLuan.check(luan);
e54ae41e9501 cleaner security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1133
diff changeset
652 luan.javaOk.unrestrictedIo = true;
e54ae41e9501 cleaner security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1133
diff changeset
653 }
e54ae41e9501 cleaner security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1133
diff changeset
654
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
655 public interface Security {
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
656 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
657 }
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
658
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
659 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
660
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
661 private static void check(LuanState luan,String name) throws LuanException {
1134
e54ae41e9501 cleaner security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1133
diff changeset
662 if( luan.javaOk.unrestrictedIo )
1133
ba4daf107e07 fix security bug
Franklin Schmidt <fschmidt@gmail.com>
parents: 1128
diff changeset
663 return;
433
c6bcb8859b93 make LuanState.registry a Map;
Franklin Schmidt <fschmidt@gmail.com>
parents: 432
diff changeset
664 Security s = (Security)luan.registry().get(SECURITY_KEY);
204
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 203
diff changeset
665 if( s!=null )
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
666 s.check(luan,name);
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
667 }
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
668
204
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 203
diff changeset
669 public static void setSecurity(LuanState luan,Security s) {
433
c6bcb8859b93 make LuanState.registry a Map;
Franklin Schmidt <fschmidt@gmail.com>
parents: 432
diff changeset
670 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
671 }
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
672
168
ebe9db183eb7 rename *Lib.java to *Luan.java
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 167
diff changeset
673 private void IoLuan() {} // never
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
674 }