/jEdit/tags/jedit-4-0-pre3/bsh/commands/source.bsh
Unknown | 14 lines | 10 code | 4 blank | 0 comment | 0 complexity | 7c5b46e170e520d0a7c839406aacf267 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- bsh.help.source = "usage: source( filename | URL )";
- source( String filename ) {
- return this.interpreter.source( filename, this.caller.namespace );
- }
- source( URL url ) {
- return this.interpreter.eval(
- new InputStreamReader(url.openStream()), this.caller.namespace,
- "URL: "+url.toString()
- );
- }