Mercurial Hosting > luan

annotate src/luan/modules/IoLuan.java @ 2012:72e9624a21d3 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix flush
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 06 Sep 2025 14:47:09 -0600
parents bba3e529e346
children
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;
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
25 import java.net.MalformedURLException;
701
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
26 import java.net.UnknownHostException;
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
27 import java.util.Map;
1444
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
28 import javax.naming.NamingException;
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
29 import javax.naming.NameNotFoundException;
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
30 import javax.naming.directory.Attribute;
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
31 import javax.naming.directory.InitialDirContext;
1473
6c6ce14db6a8 add goodjava.io
Franklin Schmidt <fschmidt@gmail.com>
parents: 1470
diff changeset
32 import goodjava.io.IoUtils;
1330
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1313
diff changeset
33 import luan.Luan;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
34 import luan.LuanTable;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
35 import luan.LuanFunction;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
36 import luan.LuanException;
725
a741a3a33423 add url support for multipart/form-data
Franklin Schmidt <fschmidt@gmail.com>
parents: 722
diff changeset
37 import luan.modules.url.LuanUrl;
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
38 import goodjava.logging.Logger;
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
39 import goodjava.logging.LoggerFactory;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
40
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
41
168
ebe9db183eb7 rename *Lib.java to *Luan.java
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 167
diff changeset
42 public final class IoLuan {
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
43 private static final Logger logger = LoggerFactory.getLogger(IoLuan.class);
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
44
118
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
45 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
46 if( prompt==null )
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
47 prompt = "> ";
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
48 return System.console().readLine(prompt);
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
49 }
735708619119 add Debug.debug()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 116
diff changeset
50
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
51
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
52 public interface LuanWriter {
1257
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
53 public Object out();
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
54 public void write(Luan luan,Object... args) throws LuanException, IOException;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
55 public void close() throws IOException;
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
56 public void flush() throws IOException;
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
57 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
58
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
59 public static LuanWriter luanWriter(final PrintStream out) {
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
60 return new LuanWriter() {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
61
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
62 @Override public Object out() {
1257
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
63 return out;
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
64 }
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
65
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
66 @Override public void write(Luan luan,Object... args) throws LuanException {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
67 for( Object obj : args ) {
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
68 out.print( luan.luanToString(obj) );
115
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 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
71
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
72 @Override public void flush() {
2008
bba3e529e346 chunked encoding
Franklin Schmidt <fschmidt@gmail.com>
parents: 2003
diff changeset
73 out.flush();
bba3e529e346 chunked encoding
Franklin Schmidt <fschmidt@gmail.com>
parents: 2003
diff changeset
74 }
bba3e529e346 chunked encoding
Franklin Schmidt <fschmidt@gmail.com>
parents: 2003
diff changeset
75
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
76 @Override public void close() {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
77 out.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
78 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
79 };
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
80 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
81
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
82 public static LuanWriter luanWriter(final Writer out) {
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
83 return new LuanWriter() {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
84
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
85 @Override public Object out() {
1257
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
86 return out;
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
87 }
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
88
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
89 @Override public void write(Luan luan,Object... args) throws LuanException, IOException {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
90 for( Object obj : args ) {
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
91 out.write( luan.luanToString(obj) );
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
92 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
93 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
94
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
95 @Override public void flush() throws IOException {
2008
bba3e529e346 chunked encoding
Franklin Schmidt <fschmidt@gmail.com>
parents: 2003
diff changeset
96 out.flush();
bba3e529e346 chunked encoding
Franklin Schmidt <fschmidt@gmail.com>
parents: 2003
diff changeset
97 }
bba3e529e346 chunked encoding
Franklin Schmidt <fschmidt@gmail.com>
parents: 2003
diff changeset
98
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
99 @Override public void close() throws IOException {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
100 out.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
101 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
102 };
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
103 }
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
104
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
105 static LuanFunction lines(final BufferedReader in) {
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
106 return new LuanFunction() {
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
107 @Override public Object call(Luan luan,Object[] args) throws LuanException {
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
108 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
109 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
110 if( args.length > 1 || !"close".equals(args[0]) )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
111 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
112 in.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
113 return null;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
114 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
115 String rtn = in.readLine();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
116 if( rtn==null )
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
117 in.close();
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
118 return rtn;
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
119 } catch(IOException e) {
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
120 throw new LuanException(e);
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
121 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
122 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
123 };
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
124 }
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
125
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
126 static LuanFunction blocks(final InputStream in,final int blockSize) {
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
127 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
128 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
129
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
130 @Override public Object call(Luan luan,Object[] args) throws LuanException {
116
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
131 try {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
132 if( args.length > 0 ) {
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
133 if( args.length > 1 || !"close".equals(args[0]) )
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
134 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
135 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
136 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
137 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
138 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
139 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
140 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
141 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
142 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
143 } catch(IOException e) {
646
cdc70de628b5 simplify LuanException
Franklin Schmidt <fschmidt@gmail.com>
parents: 611
diff changeset
144 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
145 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
146 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
147 };
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
148 }
1ff1c32417eb more IoLib work and added init.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 115
diff changeset
149
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
150
1842
22f73129eb4a add load_jar
Franklin Schmidt <fschmidt@gmail.com>
parents: 1795
diff changeset
151 static File objToFile(Luan luan,Object obj) throws LuanException {
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
152 if( obj instanceof String ) {
1367
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
153 String fileName = (String)obj;
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
154 check(luan,"file:"+fileName);
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
155 return new File(fileName);
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
156 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
157 if( obj instanceof LuanTable ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
158 LuanTable t = (LuanTable)obj;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
159 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
160 if( java instanceof LuanFile ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
161 LuanFile luanFile = (LuanFile)java;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
162 return luanFile.file;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
163 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
164 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
165 return null;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
166 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
167
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
168
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
169 public static abstract class LuanIn {
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
170 protected String charset = null;
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
171
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
172 public abstract InputStream inputStream() throws IOException, LuanException;
147
cc3a0578edac fix Io.reverse_pickle
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 145
diff changeset
173 public abstract String to_string();
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
174 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
175
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
176 public Reader reader() throws IOException, LuanException {
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
177 InputStream in = inputStream();
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
178 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
179 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
180
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
181 public String read_text() throws IOException, LuanException {
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
182 Reader in = reader();
1509
0ba144491a42 lucene.backup zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 1508
diff changeset
183 String s = IoUtils.readAll(in);
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
184 return s;
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
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
187 public byte[] read_binary() throws IOException, LuanException {
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
188 InputStream in = inputStream();
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
189 byte[] a = Utils.readAll(in);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
190 return a;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
191 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
192
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
193 public LuanFunction read_lines() throws IOException, LuanException {
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
194 return lines(new BufferedReader(reader()));
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
195 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
196
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
197 public LuanFunction read_blocks(Integer blockSize) throws IOException, LuanException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
198 int n = blockSize!=null ? blockSize : Utils.bufSize;
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
199 return blocks(inputStream(),n);
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
200 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
201
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
202 public boolean exists() throws IOException, LuanException {
265
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
203 try {
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
204 inputStream().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
205 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
206 } 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
207 return false;
1251
Franklin Schmidt <fschmidt@gmail.com>
parents: 1204
diff changeset
208 } catch(UnknownHostException e) {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1204
diff changeset
209 return false;
1349
0cceff521abb IO error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
210 } catch(LuanException e) {
0cceff521abb IO error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
211 if( e.getCause() instanceof FileNotFoundException )
0cceff521abb IO error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
212 return false;
0cceff521abb IO error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
213 throw e;
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
214 }
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
215 }
454a486d9c19 allow IO on files that don't exist
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 264
diff changeset
216
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
217 public long checksum() throws IOException, LuanException {
1508
86c5e7000ecf lucene.backup checksum
Franklin Schmidt <fschmidt@gmail.com>
parents: 1501
diff changeset
218 return IoUtils.checksum( new BufferedInputStream(inputStream()) );
1083
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
219 }
e7fb974e0c26 add Io checksum and use it for push
Franklin Schmidt <fschmidt@gmail.com>
parents: 799
diff changeset
220
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
221 public String charset() {
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
222 return charset;
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
223 }
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
224
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
225 public void set_charset(String charset) {
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
226 this.charset = charset;
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
227 }
2003
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
228
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
229 public void writeTo(Object obj) throws IOException, LuanException {
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
230 if( obj instanceof OutputStream ) {
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
231 OutputStream out = (OutputStream)obj;
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
232 InputStream in = inputStream();
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
233 IoUtils.copyAll(in,out);
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
234 in.close();
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
235 } else if( obj instanceof Writer ) {
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
236 Writer out = (Writer)obj;
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
237 Reader in = reader();
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
238 IoUtils.copyAll(in,out);
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
239 in.close();
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
240 } else
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
241 throw new LuanException("invalid type: "+obj);
f777348734b6 add write_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1997
diff changeset
242 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
243 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
244
297
899253043270 remove PackageLuan.load_lib()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 296
diff changeset
245 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
246
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
247 @Override public InputStream inputStream() {
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
248 return System.in;
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
249 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
250
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
251 @Override public String to_string() {
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
252 return "<stdin>";
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
253 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
254
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
255 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
256 return "stdin:";
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
257 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
258
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
259 @Override public String read_text() throws IOException {
1509
0ba144491a42 lucene.backup zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 1508
diff changeset
260 return IoUtils.readAll(new InputStreamReader(System.in));
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
261 }
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
262
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
263 @Override public byte[] read_binary() throws IOException {
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
264 return Utils.readAll(System.in);
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
265 }
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
266
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
267 @Override public boolean exists() {
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
268 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
269 }
261
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
270 };
715c4a6e1169 simplify Io.stdin
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 260
diff changeset
271
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
272 public static abstract class LuanIO extends LuanIn {
1936
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
273 abstract OutputStream outputStream() throws IOException, LuanException;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
274
1936
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
275 private Writer writer() throws IOException, LuanException {
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
276 OutputStream out = outputStream();
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
277 return charset==null ? new OutputStreamWriter(out) : new OutputStreamWriter(out,charset);
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
278 }
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
279
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
280 public void write(Object obj) throws LuanException, IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
281 if( obj instanceof String ) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
282 String s = (String)obj;
1278
d83f6cc558de add charset support
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
283 Writer out = writer();
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
284 out.write(s);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
285 out.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
286 return;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
287 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
288 if( obj instanceof byte[] ) {
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
289 byte[] a = (byte[])obj;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
290 OutputStream out = outputStream();
1493
471ef3e6a84e more io
Franklin Schmidt <fschmidt@gmail.com>
parents: 1475
diff changeset
291 out.write(a);
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
292 out.close();
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
293 return;
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
294 }
745
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
295 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
296 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
297 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
298 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
299 LuanIn luanIn = (LuanIn)java;
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
300 InputStream in = luanIn.inputStream();
745
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
301 OutputStream out = outputStream();
1493
471ef3e6a84e more io
Franklin Schmidt <fschmidt@gmail.com>
parents: 1475
diff changeset
302 IoUtils.copyAll(in,out);
745
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
303 out.close();
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
304 return;
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
305 }
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
306 }
9c1f28b26395 a uri can now write another uri which copies the content
Franklin Schmidt <fschmidt@gmail.com>
parents: 744
diff changeset
307 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
308 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
309
1936
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
310 public LuanWriter text_writer() throws IOException, LuanException {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
311 return luanWriter(new BufferedWriter(writer()));
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
312 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
313
1936
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
314 public OutputStream binary_writer() throws IOException, LuanException {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
315 return new BufferedOutputStream(outputStream());
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
316 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
317
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
318 public void write_text(Luan luan,Object... args) throws LuanException, IOException {
1470
Franklin Schmidt <fschmidt@gmail.com>
parents: 1444
diff changeset
319 LuanWriter luanWriter = text_writer();
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
320 luanWriter.write(luan,args);
1181
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
321 luanWriter.close();
51d1342e25ad luanhost password handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1134
diff changeset
322 }
1470
Franklin Schmidt <fschmidt@gmail.com>
parents: 1444
diff changeset
323
Franklin Schmidt <fschmidt@gmail.com>
parents: 1444
diff changeset
324 public void write_binary(byte[] bytes) throws LuanException, IOException {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1444
diff changeset
325 OutputStream out = binary_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 1444
diff changeset
326 out.write(bytes);
Franklin Schmidt <fschmidt@gmail.com>
parents: 1444
diff changeset
327 out.close();
Franklin Schmidt <fschmidt@gmail.com>
parents: 1444
diff changeset
328 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
329 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
330
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
331 public static final LuanIO nullIO = new LuanIO() {
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
332 private final InputStream in = new InputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
333 @Override public int read() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
334 return -1;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
335 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
336 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
337 private final OutputStream out = new OutputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
338 @Override public void write(int b) {}
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
339 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
340
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
341 @Override public InputStream inputStream() {
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
342 return in;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
343 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
344
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
345 @Override OutputStream outputStream() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
346 return out;
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
347 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
348
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
349 @Override public String to_string() {
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
350 return "<null>";
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
351 }
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
352
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
353 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
354 return "null:";
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
355 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
356
590
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
357 };
f050c30952c0 add Io.schemes.null
Franklin Schmidt <fschmidt@gmail.com>
parents: 578
diff changeset
358
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
359 public static final class LuanString extends LuanIO {
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
360 private String s;
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
361
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
362 public LuanString(String s) throws LuanException {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
363 Utils.checkNotNull(s);
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
364 this.s = s;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
365 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
366
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
367 @Override public InputStream inputStream() {
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
368 throw new UnsupportedOperationException();
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
369 }
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 @Override OutputStream outputStream() {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
372 throw new UnsupportedOperationException();
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
373 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
374
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
375 @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
376 return "<string>";
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
377 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
378
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
379 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
380 return "string:" + s;
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
381 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
382
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
383 @Override public Reader reader() {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
384 return new StringReader(s);
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
385 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
386
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
387 @Override public String read_text() {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
388 return s;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
389 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
390
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
391 @Override public boolean exists() {
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
392 return true;
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
393 }
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
394
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
395 @Override public LuanWriter text_writer() {
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
396 return new LuanWriter() {
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
397 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
398
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
399 @Override public Object out() {
1257
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
400 return out;
e38f5869e9df don't reset in send_redirect and other improvements
Franklin Schmidt <fschmidt@gmail.com>
parents: 1251
diff changeset
401 }
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
402
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
403 @Override public void write(Luan luan,Object... args) throws LuanException, IOException {
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
404 for( Object obj : args ) {
1563
8fbcc4747091 remove LuanFunction.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1562
diff changeset
405 out.write( luan.luanToString(obj) );
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
406 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
407 }
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
408
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
409 @Override public void close() throws IOException {
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
410 s = out.toString();
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
411 }
2012
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
412
72e9624a21d3 fix flush
Franklin Schmidt <fschmidt@gmail.com>
parents: 2008
diff changeset
413 @Override public void flush() {}
421
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
414 };
b31d614343e8 add Io.LuanString.text_writer();
Franklin Schmidt <fschmidt@gmail.com>
parents: 411
diff changeset
415 }
314
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
416 }
7c4f52262213 add Io.schemes.string
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 310
diff changeset
417
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
418 public static final class LuanFile extends LuanIO {
710
63cda9eec9a0 make LuanFile.file public
Franklin Schmidt <fschmidt@gmail.com>
parents: 706
diff changeset
419 public final File file;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
420
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
421 public LuanFile(Luan luan,String path) throws LuanException {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
422 this(luan,new File(path));
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
423 }
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
424
1863
928e73bfe7ea swing work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1858
diff changeset
425 public LuanFile(Luan luan,File file) throws LuanException {
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
426 this(file);
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
427 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
428 }
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
429
202
75750ceb45ee add LuanState.registry
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 171
diff changeset
430 private LuanFile(File file) {
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
431 this.file = file;
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
432 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
433
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
434 @Override public InputStream inputStream() throws IOException {
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
435 return new FileInputStream(file);
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
436 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
437
1936
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
438 @Override OutputStream outputStream() throws LuanException {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
439 try {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
440 return new FileOutputStream(file);
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
441 } catch(FileNotFoundException e) {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
442 throw new LuanException(e.getMessage(),e);
Franklin Schmidt <fschmidt@gmail.com>
parents: 1863
diff changeset
443 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
444 }
143
fcb81fa2df0d handle urls and java resources as files
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
445
147
cc3a0578edac fix Io.reverse_pickle
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 145
diff changeset
446 @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
447 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
448 }
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
449
705
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
450 @Override public String to_uri_string() {
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
451 return "file:" + file.toString();
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
452 }
52ecb629a634 add to_uri_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 701
diff changeset
453
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
454 public LuanFile child(Luan luan,String name) throws LuanException {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
455 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
456 }
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
457
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
458 public LuanTable children(Luan 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
459 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
460 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
461 return null;
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1509
diff changeset
462 LuanTable list = new LuanTable();
164
78ba371ea1e9 merge Os.File into Io.File and remove Os
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 147
diff changeset
463 for( File f : files ) {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
464 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
465 }
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
466 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
467 }
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
468
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
469 public LuanFile parent(Luan luan) throws LuanException, IOException {
323
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
470 File parent = file.getParentFile();
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
471 if( parent==null )
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
472 parent = file.getCanonicalFile().getParentFile();
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
473 return new LuanFile(luan,parent);
323
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
474 }
cd2924a1052c improve testing
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 314
diff changeset
475
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
476 @Override public boolean exists() {
237
97d175772fed implement mmake
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 221
diff changeset
477 return file.exists();
145
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
478 }
90f38a5d0e0a add Os.File
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 144
diff changeset
479
1858
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
480 @Override public long checksum() throws IOException, LuanException {
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
481 long rtn = super.checksum();
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
482 if( file.canExecute() )
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
483 rtn *= 31;
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
484 return rtn;
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
485 }
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
486
1662
d6a50ed9604f file.move_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1661
diff changeset
487 public void move_to(Luan luan,Object destObj) throws LuanException, IOException {
1367
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
488 File dest = objToFile(luan,destObj);
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 755
diff changeset
489 if( dest==null )
1662
d6a50ed9604f file.move_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1661
diff changeset
490 throw new LuanException( "bad argument #1 to 'move_to' (string or file table expected)" );
1473
6c6ce14db6a8 add goodjava.io
Franklin Schmidt <fschmidt@gmail.com>
parents: 1470
diff changeset
491 IoUtils.move(file,dest);
293
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
492 }
a50e88d3547c add Web_server.init();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
493
1661
08177ced7fa0 add file.copy_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1578
diff changeset
494 public void copy_to(Luan luan,Object destObj) throws LuanException, IOException {
08177ced7fa0 add file.copy_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1578
diff changeset
495 File dest = objToFile(luan,destObj);
08177ced7fa0 add file.copy_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1578
diff changeset
496 if( dest==null )
1662
d6a50ed9604f file.move_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1661
diff changeset
497 throw new LuanException( "bad argument #1 to 'copy_to' (string or file table expected)" );
1795
745f756e719b make copy_to recursive
Franklin Schmidt <fschmidt@gmail.com>
parents: 1698
diff changeset
498 IoUtils.copyRecursively(file,dest);
1661
08177ced7fa0 add file.copy_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1578
diff changeset
499 }
08177ced7fa0 add file.copy_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1578
diff changeset
500
1497
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
501 public void link_from(Luan luan,Object linkObj) throws LuanException, IOException {
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
502 File link = objToFile(luan,linkObj);
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
503 if( link==null )
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
504 throw new LuanException( "bad argument #1 to 'link_from' (string or file table expected)" );
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
505 IoUtils.link(file,link);
1367
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
506 }
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
507
1497
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
508 public void symlink_from(Luan luan,Object linkObj) throws LuanException, IOException {
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
509 File link = objToFile(luan,linkObj);
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
510 if( link==null )
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
511 throw new LuanException( "bad argument #1 to 'symlink_from' (string or file table expected)" );
f04bfbb08721 link_from
Franklin Schmidt <fschmidt@gmail.com>
parents: 1493
diff changeset
512 IoUtils.symlink(file,link);
1367
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
513 }
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
514
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
515 public LuanFile canonical(Luan luan) throws LuanException, IOException {
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
516 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
517 }
9e9bb358b2df add File.canonical()
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 301
diff changeset
518
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
519 public LuanFile create_temp_file(Luan luan,String prefix,String suffix) throws LuanException, IOException {
749
85f5444fb7d4 add rcp lucene backup
Franklin Schmidt <fschmidt@gmail.com>
parents: 748
diff changeset
520 File tmp = File.createTempFile(prefix,suffix,file);
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
521 return new LuanFile(luan,tmp);
749
85f5444fb7d4 add rcp lucene backup
Franklin Schmidt <fschmidt@gmail.com>
parents: 748
diff changeset
522 }
85f5444fb7d4 add rcp lucene backup
Franklin Schmidt <fschmidt@gmail.com>
parents: 748
diff changeset
523
1473
6c6ce14db6a8 add goodjava.io
Franklin Schmidt <fschmidt@gmail.com>
parents: 1470
diff changeset
524 public void delete() throws IOException {
1475
c7b86342857f more IoUtils
Franklin Schmidt <fschmidt@gmail.com>
parents: 1473
diff changeset
525 IoUtils.deleteRecursively(file);
751
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
526 }
558740169005 improve file delete()
Franklin Schmidt <fschmidt@gmail.com>
parents: 749
diff changeset
527
1501
Franklin Schmidt <fschmidt@gmail.com>
parents: 1499
diff changeset
528 public void mkdir() throws IOException {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1499
diff changeset
529 IoUtils.mkdirs(file);
752
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
530 }
ea5f3a254b76 improve file mkdir()
Franklin Schmidt <fschmidt@gmail.com>
parents: 751
diff changeset
531
768
ef0fc9ad30c1 add file.set_last_modified()
Franklin Schmidt <fschmidt@gmail.com>
parents: 765
diff changeset
532 public void set_last_modified(long time) throws LuanException {
ef0fc9ad30c1 add file.set_last_modified()
Franklin Schmidt <fschmidt@gmail.com>
parents: 765
diff changeset
533 if( !file.setLastModified(time) )
ef0fc9ad30c1 add file.set_last_modified()
Franklin Schmidt <fschmidt@gmail.com>
parents: 765
diff changeset
534 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
535 }
1311
ca742d51b31f don't delete into symbolic links
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
536
ca742d51b31f don't delete into symbolic links
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
537 public boolean is_symbolic_link() {
1475
c7b86342857f more IoUtils
Franklin Schmidt <fschmidt@gmail.com>
parents: 1473
diff changeset
538 return IoUtils.isSymbolicLink(file);
1311
ca742d51b31f don't delete into symbolic links
Franklin Schmidt <fschmidt@gmail.com>
parents: 1280
diff changeset
539 }
1858
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
540
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
541 public void set_executable(boolean executable) throws LuanException {
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
542 if( !file.setExecutable(executable) )
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
543 throw new LuanException("couldn't set_executable on "+file);
5257f78d8c83 push is_executable
Franklin Schmidt <fschmidt@gmail.com>
parents: 1849
diff changeset
544 }
125
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
545 }
0cd559a16758 add sockets
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 124
diff changeset
546
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
547 public static LuanUrl classpath(Luan 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
548 if( name.contains("//") )
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
549 return null;
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
550 String path = name;
301
a6bf8ff720f8 add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 299
diff changeset
551 check(luan,"classpath:"+path);
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
552 URL url;
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
553 if( !path.contains("#") ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
554 url = ClassLoader.getSystemResource(path);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
555 } else {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
556 String[] a = path.split("#");
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
557 url = ClassLoader.getSystemResource(a[0]);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
558 if( url==null ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
559 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
560 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
561 if( url != null ) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
562 try {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
563 url = new URL(url,".");
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
564 } catch(MalformedURLException e) {
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
565 throw new RuntimeException(e);
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
566 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
567 break;
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
568 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
569 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
570 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
571 }
264
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
572 if( url != null )
1280
781ec0a92bb5 add Boot.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1278
diff changeset
573 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
574
9e0d4452e649 implement URL style module names
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 263
diff changeset
575 return null;
260
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
576 }
f1f7d8c7e94e add Io.protocols
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 237
diff changeset
577
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
578
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
579 public static abstract class BaseOs extends LuanIO {
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
580 final String cmd;
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
581 final File dir;
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
582 Process proc = null;
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
583
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
584 private BaseOs(Luan luan,String cmd,LuanTable options) throws IOException, LuanException {
761
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
585 this.cmd = cmd;
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
586 File dir = null;
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
587 if( options != null ) {
1267
9fa8b8389578 add LuanTable.luan;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1257
diff changeset
588 Map map = options.asMap();
761
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
589 Object obj = map.remove("dir");
1367
836e00bf7ce2 add Lucene backup_to
Franklin Schmidt <fschmidt@gmail.com>
parents: 1349
diff changeset
590 dir = objToFile(luan,obj);
761
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
591 if( dir==null )
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
592 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
593 if( !map.isEmpty() )
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
594 throw new LuanException( "unrecognized options: "+map );
99356cfde2f0 remove horrible java zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 759
diff changeset
595 }
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
596 this.dir = dir;
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
597 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
598
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
599 abstract void setProc() throws IOException;
1849
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
600
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
601 private Process proc() throws IOException {
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
602 if( proc == null ) {
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
603 setProc();
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
604 } else {
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
605 try {
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
606 proc.getInputStream().available();
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
607 } catch(IOException e) {
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
608 if( !e.getMessage().equals("Stream closed") )
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
609 throw e;
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
610 setProc();
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
611 }
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
612 }
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
613 return proc;
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
614 }
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
615
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
616 @Override public InputStream inputStream() throws IOException {
1849
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
617 return proc().getInputStream();
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
618 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
619
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
620 @Override OutputStream outputStream() throws IOException {
1849
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
621 return proc().getOutputStream();
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
622 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
623
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
624 @Override public String to_string() {
1849
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
625 return proc==null ? "null-proc" : proc.toString();
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
626 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
627
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
628 @Override public String to_uri_string() {
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
629 throw new UnsupportedOperationException();
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
630 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
631
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
632 @Override public boolean exists() {
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
633 return true;
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
634 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
635
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
636 public void wait_for()
1509
0ba144491a42 lucene.backup zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 1508
diff changeset
637 throws IOException
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
638 {
1849
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
639 if( proc == null )
9f2680fe532b better proc handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1842
diff changeset
640 setProc();
1509
0ba144491a42 lucene.backup zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 1508
diff changeset
641 IoUtils.waitFor(proc);
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
642 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
643
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
644 @Override public String read_text() throws IOException, LuanException {
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
645 String s = super.read_text();
1666
8f38abaf779f process error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1662
diff changeset
646 try {
8f38abaf779f process error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1662
diff changeset
647 wait_for();
8f38abaf779f process error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1662
diff changeset
648 } catch(IoUtils.ProcException e) {
8f38abaf779f process error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1662
diff changeset
649 throw new LuanException(s+e.getMessage(),e);
8f38abaf779f process error handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1662
diff changeset
650 }
734
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
651 return s;
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
652 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
653 }
e44e98fe9de8 add scheme "os:..."
Franklin Schmidt <fschmidt@gmail.com>
parents: 725
diff changeset
654
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
655 public static final class LuanOs extends BaseOs {
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
656 public LuanOs(Luan luan,String cmd,LuanTable options) throws IOException, LuanException {
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
657 super(luan,cmd,options);
1128
34dfed3b5cb0 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1127
diff changeset
658 check(luan,"os:"+cmd);
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
659 }
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
660
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
661 @Override void setProc() throws IOException {
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
662 proc = Runtime.getRuntime().exec(cmd,null,dir);
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
663 }
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
664 }
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
665
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
666 public static final class LuanBash extends BaseOs {
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
667 public LuanBash(Luan luan,String cmd,LuanTable options) throws IOException, LuanException {
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
668 super(luan,cmd,options);
1128
34dfed3b5cb0 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1127
diff changeset
669 check(luan,"bash:"+cmd);
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
670 }
1997
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
671
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
672 @Override void setProc() throws IOException {
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
673 String[] a = new String[]{"bash","-c",cmd};
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
674 proc = Runtime.getRuntime().exec(a,null,dir);
e88181fe095d fix os scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1936
diff changeset
675 }
1105
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
676 }
27bf094f0ae3 add "bash" Io scheme
Franklin Schmidt <fschmidt@gmail.com>
parents: 1083
diff changeset
677
1120
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
678
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
679 public static class LuanInput extends LuanIn {
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
680 private final InputStream in;
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
681
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
682 public LuanInput(InputStream in) {
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
683 this.in = in;
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
684 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
685
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
686 @Override public InputStream inputStream() {
1120
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
687 return in;
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
688 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
689
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
690 @Override public String to_string() {
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
691 return "<input_stream>";
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
692 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
693
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
694 @Override public String to_uri_string() {
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
695 throw new UnsupportedOperationException();
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
696 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
697
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1334
diff changeset
698 @Override public boolean exists() {
1120
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
699 return true;
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
700 }
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
701 };
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
702
e8fc6712b468 luan Rpc uses luan.lib.rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 1107
diff changeset
703
701
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
704 public static String ip(String domain) {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
705 try {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
706 return InetAddress.getByName(domain).getHostAddress();
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
707 } catch(UnknownHostException e) {
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
708 return null;
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
709 }
d0280c7fdc3a add Io.ip()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
710 }
765
55983a476a21 add back Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 764
diff changeset
711
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
712 public static LuanTable my_ips(Luan luan) throws IOException, LuanException {
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1509
diff changeset
713 LuanTable tbl = new LuanTable();
1698
2dbcc8360a3e backup security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1666
diff changeset
714 for( InetAddress ia : IoUtils.getInetAddresses() ) {
2dbcc8360a3e backup security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1666
diff changeset
715 if( ia instanceof Inet4Address )
2dbcc8360a3e backup security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1666
diff changeset
716 tbl.put(luan,ia.getHostAddress(),true);
735
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
717 }
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
718 return tbl;
2486fa6490c6 add Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 734
diff changeset
719 }
765
55983a476a21 add back Io.my_ips()
Franklin Schmidt <fschmidt@gmail.com>
parents: 764
diff changeset
720
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1509
diff changeset
721 public static LuanTable dns_lookup(String domain,String type)
1578
c922446f53aa immutable threading
Franklin Schmidt <fschmidt@gmail.com>
parents: 1563
diff changeset
722 throws NamingException, LuanException
1444
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
723 {
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1509
diff changeset
724 LuanTable tbl = new LuanTable();
1444
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
725 InitialDirContext idc = new InitialDirContext();
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
726 Attribute attribute;
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
727 try {
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
728 attribute = idc.getAttributes("dns:/" + domain, new String[] {type}).get(type);
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
729 } catch(NameNotFoundException e) {
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
730 return tbl;
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
731 }
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
732 if( attribute==null )
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
733 return tbl;
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
734 final int n = attribute.size();
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
735 for( int i=0; i<n; i++ ) {
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
736 Object obj = attribute.get(i);
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
737 tbl.rawInsert(i+1,obj);
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
738 }
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
739 return tbl;
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
740 }
b765f146f4dc add dns_lookup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1367
diff changeset
741
706
30c87c859277 add Io.zip
Franklin Schmidt <fschmidt@gmail.com>
parents: 705
diff changeset
742
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
743 private static void check(Luan luan,String name) throws LuanException {
1330
f41919741100 fix security
Franklin Schmidt <fschmidt@gmail.com>
parents: 1313
diff changeset
744 Luan.checkSecurity(luan,"uri",name);
203
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
745 }
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
746
99eef1d0e706 IO security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 202
diff changeset
747
168
ebe9db183eb7 rename *Lib.java to *Luan.java
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 167
diff changeset
748 private void IoLuan() {} // never
115
eacf6ce1b47d add IoLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
749 }