1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00

compilation warnings

This commit is contained in:
Andrew Gvozdev 2010-05-15 16:36:38 +00:00
parent a355f5145a
commit db9abf589f

View file

@ -53,6 +53,7 @@ public class StreamMonitor extends OutputStream {
/**
* @see java.io.OutputStream#close()
*/
@Override
public void close() throws IOException {
if (console != null) {
console.close();
@ -63,6 +64,7 @@ public class StreamMonitor extends OutputStream {
/**
* @see java.io.OutputStream#flush()
*/
@Override
public void flush() throws IOException {
if (console != null) {
console.flush();
@ -72,6 +74,7 @@ public class StreamMonitor extends OutputStream {
/**
* @see java.io.OutputStream#write(int)
*/
@Override
public synchronized void write(int b) throws IOException {
if (console != null) {
console.write(b);
@ -80,8 +83,9 @@ public class StreamMonitor extends OutputStream {
}
/**
* @see java.io.OutputStream#write(...)
* @see java.io.OutputStream#write(byte[], int, int)
*/
@Override
public synchronized void write(byte[] b, int off, int len) throws IOException {
if (b == null) {
throw new NullPointerException();