170 },
171 __put__ : function(name, value) {
172 if (isValid(name)) {
173 list.set(name, value);
174 }
175 },
176 __getIds__: function() {
177 var res = new Array(list.size());
178 for (var i = 0; i < res.length; i++) {
179 res[i] = i;
180 }
181 return res;
182 },
183 toString: function() {
184 return list.toString();
185 }
186 });
187 }
188
189 /**
190 * This is java.lang.System properties wrapped by jmap.
191 * For eg. to access java.class.path property, you can use
192 * the syntax sysProps["java.class.path"]
193 */
194 var sysProps = jmap(java.lang.System.getProperties());
195
196 // stdout, stderr & stdin
197 var out = java.lang.System.out;
198 var err = java.lang.System.err;
199 // can't use 'in' because it is a JavaScript keyword :-(
200 var inp = java.lang.System["in"];
201
202 var BufferedInputStream = java.io.BufferedInputStream;
203 var BufferedOutputStream = java.io.BufferedOutputStream;
204 var BufferedReader = java.io.BufferedReader;
205 var DataInputStream = java.io.DataInputStream;
206 var File = java.io.File;
207 var FileInputStream = java.io.FileInputStream;
208 var FileOutputStream = java.io.FileOutputStream;
209 var InputStream = java.io.InputStream;
210 var InputStreamReader = java.io.InputStreamReader;
211 var OutputStream = java.io.OutputStream;
212 var Reader = java.io.Reader;
213 var URL = java.net.URL;
214
|
170 },
171 __put__ : function(name, value) {
172 if (isValid(name)) {
173 list.set(name, value);
174 }
175 },
176 __getIds__: function() {
177 var res = new Array(list.size());
178 for (var i = 0; i < res.length; i++) {
179 res[i] = i;
180 }
181 return res;
182 },
183 toString: function() {
184 return list.toString();
185 }
186 });
187 }
188
189 /**
190 * This is java.lang.System properties wrapped by JSAdapter.
191 * For eg. to access java.class.path property, you can use
192 * the syntax sysProps["java.class.path"]
193 */
194 var sysProps = new JSAdapter({
195 __get__ : function (name) {
196 return java.lang.System.getProperty(name);
197 },
198 __has__ : function (name) {
199 return java.lang.System.getProperty(name) != null;
200 },
201 __getIds__ : function() {
202 return java.lang.System.getProperties().keySet().toArray();
203 },
204 __delete__ : function(name) {
205 java.lang.System.clearProperty(name);
206 return true;
207 },
208 __put__ : function (name, value) {
209 java.lang.System.setProperty(name, value);
210 },
211 toString: function() {
212 return "<system properties>";
213 }
214 });
215
216 // stdout, stderr & stdin
217 var out = java.lang.System.out;
218 var err = java.lang.System.err;
219 // can't use 'in' because it is a JavaScript keyword :-(
220 var inp = java.lang.System["in"];
221
222 var BufferedInputStream = java.io.BufferedInputStream;
223 var BufferedOutputStream = java.io.BufferedOutputStream;
224 var BufferedReader = java.io.BufferedReader;
225 var DataInputStream = java.io.DataInputStream;
226 var File = java.io.File;
227 var FileInputStream = java.io.FileInputStream;
228 var FileOutputStream = java.io.FileOutputStream;
229 var InputStream = java.io.InputStream;
230 var InputStreamReader = java.io.InputStreamReader;
231 var OutputStream = java.io.OutputStream;
232 var Reader = java.io.Reader;
233 var URL = java.net.URL;
234
|