metrics: fixe missing documentation warnings
[nit.git] / lib / io / push_back_reader.nit
index 257c662..2fa2d19 100644 (file)
@@ -12,8 +12,8 @@
 module io::push_back_reader
 
 # Input stream that permits to push bytes back to the stream.
-interface PushBackReader
-       super IStream
+class PushBackReader
+       super Reader
 
        # Push the specified byte back to the stream.
        #
@@ -35,7 +35,7 @@ class PushBackDecorator
        super PushBackReader
 
        # The parent stream.
-       var parent: IStream
+       var parent: Reader
 
        # The stack of the pushed-back bytes.
        #