pthread/collection: Remove contracts

Signed-off-by: Florian Deljarry <[email protected]>

Author: Delja

lib/pthreads/redef_collections.nit

@@ -38,20 +38,26 @@ redef class Array
 	var mutex = new Mutex
 
 	redef fun add(e)
+	is
+		no_contract
 	do
 		mutex.lock
 		super
 		mutex.unlock
 	end
 
 	redef fun []=(index, e)
+	is
+		no_contract
 	do
 		mutex.lock
 		super
 		mutex.unlock
 	end
 
 	redef fun [](index)
+	is
+		no_contract
 	do
 		mutex.lock
 		var r = super
@@ -60,13 +66,17 @@ redef class Array
 	end
 
 	redef fun remove_at(index)
+	is
+		no_contract
 	do
 		mutex.lock
 		super
 		mutex.unlock
 	end
 
 	redef fun shift
+	is
+		no_contract
 	do
 		mutex.lock
 		var r = super
@@ -75,27 +85,35 @@ redef class Array
 	end
 
 	redef fun unshift(e)
+	is
+		no_contract
 	do
 		mutex.lock
 		super
 		mutex.unlock
 	end
 
 	redef fun insert_all(from, pos)
+	is
+		no_contract
 	do
 		mutex.lock
 		super
 		mutex.unlock
 	end
 
 	redef fun swap_at(a, b)
+	is
+		no_contract
 	do
 		mutex.lock
 		super
 		mutex.unlock
 	end
 
 	redef fun ==(o)
+	is
+		no_contract
 	do
 		mutex.lock
 		var r = super
@@ -104,6 +122,8 @@ redef class Array
 	end
 
 	redef fun enlarge(cap)
+	is
+		no_contract
 	do
 		mutex.lock
 		super