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

/openjdk7/jdk/src/share/classes/com/sun/tools/example/debug/gui/
H A DEnvironment.java49 private PrintWriter typeScript; field in class:Environment
111 typeScript = writer;
115 if (typeScript != null) {
116 typeScript.println(message);
123 if (typeScript != null) {
124 typeScript.println(message);
131 if (typeScript != null) {
132 typeScript.println(message);
139 return new OutputSink(typeScript);

Completed in 30 milliseconds