Searched refs:oldFilename (Results 1 - 5 of 5) sorted by relevance

/openjdk7/jdk/src/share/demo/scripting/jconsole-plugin/src/com/sun/demo/scripting/jconsole/
H A DScriptJConsolePlugin.java184 String oldFilename = (String) engine.get(ScriptEngine.FILENAME);
197 engine.put(ScriptEngine.FILENAME, oldFilename);
203 String oldFilename = (String) engine.get(ScriptEngine.FILENAME);
221 engine.put(ScriptEngine.FILENAME, oldFilename);
/openjdk7/jdk/src/share/classes/com/sun/tools/script/shell/
H A DMain.java330 String oldFilename = setScriptFilename(se, name);
341 setScriptFilename(se, oldFilename);
H A Dinit.js309 var oldFilename = engine.get(engine.FILENAME);
314 engine.put(engine.FILENAME, oldFilename);
/openjdk7/jdk/src/share/sample/scripting/scriptpad/src/resources/
H A Dscriptpad.js635 var oldFilename = engine.get(engine.FILENAME);
640 engine.put(engine.FILENAME, oldFilename);
/openjdk7/jdk/src/share/demo/scripting/jconsole-plugin/src/resources/
H A Djconsole.js371 var oldFilename = engine.get(engine.FILENAME);
376 engine.put(engine.FILENAME, oldFilename);

Completed in 57 milliseconds