Alignment API and Server 4.10 (2228M)
- java.lang.Object
-
- java.io.OutputStream
-
- fr.inrialpes.exmo.align.util.NullStream
-
-
Constructor Summary
Constructors
Constructor and Description |
NullStream() |
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Constructor Detail
-
NullStream
public NullStream()
-
Method Detail
-
close
public void close()
- Specified by:
close
in interface java.io.Closeable
- Specified by:
close
in interface java.lang.AutoCloseable
- Overrides:
close
in class java.io.OutputStream
-
flush
public void flush()
- Specified by:
flush
in interface java.io.Flushable
- Overrides:
flush
in class java.io.OutputStream
-
write
public void write(int i)
- Specified by:
write
in class java.io.OutputStream
Alignment API and Server 4.10 (2228M)
(C) INRIA & friends, 2003-2020