From: Alexandre Terrasa <alexandre@moz-code.org>
Date: Thu, 20 Nov 2014 02:20:26 +0000 (-0500)
Subject: range: add some nitunit and examples
X-Git-Tag: v0.6.11~16^2~29
X-Git-Url: http://nitlanguage.org

range: add some nitunit and examples

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
---

diff --git a/lib/standard/collection/range.nit b/lib/standard/collection/range.nit
index d59c86e..d187cfb 100644
--- a/lib/standard/collection/range.nit
+++ b/lib/standard/collection/range.nit
@@ -27,10 +27,17 @@ class Range[E: Discrete]
 	# Get the element after the last one.
 	var after: E
 
+	#     assert [1..10].has(5)
+	#     assert [1..10].has(10)
+	#     assert not [1..10[.has(10)
 	redef fun has(item) do return item >= first and item <= last
 
+	#     assert [1..1].has_only(1)
+	#     assert not [1..10].has_only(1)
 	redef fun has_only(item) do return first == item and item == last or is_empty
 
+	#     assert [1..10].count(1)	== 1
+	#     assert [1..10].count(0)	== 0
 	redef fun count(item)
 	do
 		if has(item) then
@@ -52,10 +59,18 @@ class Range[E: Discrete]
 		end
 	end
 
+	#     assert not [1..10[.is_empty
+	#     assert not [1..1].is_empty
+	#     assert [1..-10].is_empty
 	redef fun is_empty do return first >= after
 
 	# Create a range [`from`, `to`].
 	# The syntax `[from..to]` is equivalent.
+	#
+	#     var a = [10..15]
+	#     var b = new Range[Int] (10,15)
+	#     assert a == b
+	#     assert a.to_a == [10, 11, 12, 13, 14, 15]
 	init(from: E, to: E) is old_style_init do
 		first = from
 		last = to
@@ -64,6 +79,11 @@ class Range[E: Discrete]
 
 	# Create a range [`from`, `to`[.
 	# The syntax `[from..to[` is equivalent.
+	#
+	#     var a = [10..15[
+	#     var b = new Range[Int].without_last(10,15)
+	#     assert a == b
+	#     assert a.to_a == [10, 11, 12, 13, 14]
 	init without_last(from: E, to: E)
 	do
 		first = from