equal
deleted
inserted
replaced
115 * @param out a stream to which to write messages |
115 * @param out a stream to which to write messages |
116 */ |
116 */ |
117 public Main(String name, PrintWriter out) { |
117 public Main(String name, PrintWriter out) { |
118 this.ownName = name; |
118 this.ownName = name; |
119 this.stdOut = this.stdErr = out; |
119 this.stdOut = this.stdErr = out; |
|
120 } |
|
121 |
|
122 /** |
|
123 * Construct a compiler instance. |
|
124 * @param name the name of this tool |
|
125 * @param out a stream to which to write expected output |
|
126 * @param err a stream to which to write diagnostic output |
|
127 */ |
|
128 public Main(String name, PrintWriter out, PrintWriter err) { |
|
129 this.ownName = name; |
|
130 this.stdOut = out; |
|
131 this.stdErr = err; |
120 } |
132 } |
121 |
133 |
122 /** Report a usage error. |
134 /** Report a usage error. |
123 */ |
135 */ |
124 void error(String key, Object... args) { |
136 void error(String key, Object... args) { |