source.bsh | searchcode

/jEdit/tags/jedit-4-0-pre5/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()
	);
}