Lines Matching refs:script
60 private TypeScript script;
73 script = new TypeScript(DEFAULT_CMD_PROMPT, false); //no echo
74 this.add(script);
81 script.addActionListener(new ActionListener() {
84 interpreter.executeCommand(script.readln());
91 new TypeScriptOutputListener(script, true);
96 env.setTypeScript(new PrintWriter(new TypeScriptWriter(script)));
203 script.setPrompt(DEFAULT_CMD_PROMPT);
209 script.setPrompt(DEFAULT_CMD_PROMPT);
215 script.setPrompt(DEFAULT_CMD_PROMPT);
228 script.setPrompt(DEFAULT_CMD_PROMPT);
234 script.setPrompt(DEFAULT_CMD_PROMPT);
312 script.setPrompt(promptString(thread, e.getIndex()));
327 script.setPrompt(promptString(e.getThread(), 0));