tests: Add invariant contract tests

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

tests/contracts_invariant_1.nit

@@ -0,0 +1,29 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Test the creation and usage of simple invariant contract.
+
+class Test
+	invariant(bar >= 10)
+
+	var bar: Int
+
+	fun set_bar(x: Int) do
+		print x
+		bar = x
+	end
+end
+
+var test = new Test(10)
+test.set_bar(10)# Fail broke the invariant

tests/contracts_invariant_attr.nit

@@ -0,0 +1,29 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Test the creation and usage of simple invariant contract with attribute.
+
+class Test
+	invariant(bar >= 10)
+
+	var bar: Int
+
+	fun set_bar(x: Int) do
+		print x
+		bar = x
+	end
+end
+
+var test = new Test(10)
+test.bar = 9 # Fail broke the invariant

tests/contracts_invariant_defaultinit.nit

@@ -0,0 +1,27 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+class A
+	invariant(i > 0)
+
+	var i: Int
+
+	init
+	do
+
+	end
+
+end
+
+var a = new A(0)

tests/contracts_invariant_diamond.nit

@@ -0,0 +1,42 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+class A
+	invariant(bar >= 10)
+
+	var bar: Int
+end
+
+class B
+	invariant(bar > 10)
+	super A
+
+	fun set_bar(x: Int) do
+		print x
+		bar = x
+	end
+end
+
+class C
+	invariant(bar > 12)
+	super A
+end
+
+class D
+	super B
+	super C
+end
+
+var test = new D(13)
+test.set_bar(11)

tests/contracts_invariant_in_redef.nit

@@ -0,0 +1,23 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+import contracts_abstract
+
+# Test if the invariant contract is added to old method definitions.
+
+redef class MySubClass
+	invariant(false)
+end
+
+var test = new MySubClass
+test.foo(11, 2.5)

tests/contracts_invariant_inheritance.nit

@@ -0,0 +1,34 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Test the creation and usage of invariant contracts with inheritance.
+
+class A
+	invariant(bar >= 10)
+
+	var bar: Int
+end
+
+class B
+	super A
+
+	fun set_bar(x: Int) do
+		print x
+		bar = x
+	end
+end
+
+var test = new B(10)
+test.set_bar(11) # OK
+test.set_bar(2) # Fail broke invariant bar >= 10

tests/contracts_invariant_inheritance_multi.nit

@@ -0,0 +1,47 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+module contracts_invariant_inheritance_multi
+
+# Test the creation and usage of invariant contracts with multiple inheritance.
+
+class A
+	invariant(bar >= 10)
+
+	var bar: Int
+end
+
+class B
+	invariant(baz <= 2.0)
+
+	var baz: Float
+end
+
+class C
+	super A
+	super B
+
+	autoinit bar=, baz=
+
+	fun set_bar_baz(x: Int, y: Float)
+	do
+		print x
+		bar = x
+		print y
+		baz = y
+	end
+end
+
+var test = new C(10, 2.0)
+test.set_bar_baz(16, 1.5)# Ok
+test.set_bar_baz(1, 3.8)# Fail

tests/contracts_invariant_inheritance_multi_2.nit

@@ -0,0 +1,35 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+import contracts_invariant_inheritance_multi
+
+# Test import a class with invariant and add a new one by new inheritance
+
+class E
+	invariant(bazz)
+
+	var bazz = true
+end
+
+redef class C
+	super E
+
+	redef fun set_bar_baz(x: Int, y: Float) do
+		super
+		self.bazz = false
+		print bazz
+	end
+end
+
+var test = new C(10, 2.0)
+test.set_bar_baz(10, 2.0)# The method broke the E invariant with the set bazz = false

tests/sav/contracts_invariant_1.res

@@ -0,0 +1 @@
+10

tests/sav/contracts_invariant_defaultinit.res

@@ -0,0 +1 @@
+Runtime error: Assert 'invariant(i > 0)' failed (contracts_invariant_defaultinit.nit:16)

tests/sav/contracts_invariant_diamond.res

@@ -0,0 +1,2 @@
+Runtime error: Assert 'invariant(bar > 12)' failed (contracts_invariant_diamond.nit:32)
+11

tests/sav/contracts_invariant_in_redef.res

@@ -0,0 +1 @@
+Runtime error: Assert 'invariant(false)' failed (contracts_invariant_in_redef.nit:19)

tests/sav/contracts_invariant_inheritance.res

@@ -0,0 +1,3 @@
+Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance.nit:18)
+11
+2

tests/sav/contracts_invariant_inheritance_multi.res

@@ -0,0 +1,5 @@
+Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance_multi.nit:19)
+16
+1.5
+1
+3.8

tests/sav/contracts_invariant_inheritance_multi_2.res

@@ -0,0 +1,4 @@
+Runtime error: Assert 'invariant(bazz)' failed (contracts_invariant_inheritance_multi_2.nit:19)
+10
+2.0
+false