lib/file: some methods return a nullable Error on error
[nit.git] / lib / standard / queue.nit
index ceab407..5b4353e 100644 (file)
@@ -74,10 +74,13 @@ interface Queue[E]
        # `first` is made an alias of `peek` to avoid bad surprises
        redef fun first do return peek
 
-       # Take and return all elements until the queue is empty
-       # ensure `is_empty`
-       # ensure `result.length == old(length)`
-       # ensure `not old(is_empty) implies result.first == old(peek)`
+       # Take and return all elements until the queue is empty.
+       #
+       # Ensure:
+       # * `is_empty`
+       # * `result.length == old(length)`
+       # * `not old(is_empty) implies result.first == old(peek)`
+       #
        # ~~~
        # var a = (new Array[Int]).as_lifo
        # a.add 1
@@ -232,8 +235,6 @@ class MinHeap[E: Object]
                init(default_comparator)
        end
 
-       init(comparator: Comparator) do self.comparator = comparator
-
        redef fun is_empty do return items.is_empty
        redef fun length do return items.length
        redef fun iterator do return items.iterator