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

/openjdk7/jdk/src/share/classes/com/sun/tools/script/shell/
H A DMain.java215 String oldFile = setScriptFilename(se, "<string>");
219 setScriptFilename(se, oldFile);
330 String oldFilename = setScriptFilename(se, name);
341 setScriptFilename(se, oldFilename);
548 private static String setScriptFilename(ScriptEngine se, String name) { method in class:Main

Completed in 21 milliseconds