contracts: change the contract syntax
[nit.git] / tests / sav / base_attr3_alt3.res
index bda1613..1bbd1a2 100644 (file)
@@ -1,10 +1,17 @@
-alt/base_attr3_alt3.nit:80,2--9: Error: Method 'a1=' doesn't exists in A.
-alt/base_attr3_alt3.nit:82,2--9: Error: Method 'a2=' doesn't exists in A.
-alt/base_attr3_alt3.nit:83,2--5: Error: Method 'a3' doesn't exists in A.
-alt/base_attr3_alt3.nit:84,2--9: Error: Method 'a3=' doesn't exists in A.
-alt/base_attr3_alt3.nit:89,2--5: Error: Method 'a6' doesn't exists in A.
-alt/base_attr3_alt3.nit:95,2--5: Error: Method 'a9' doesn't exists in A.
-alt/base_attr3_alt3.nit:98,2--10: Error: Method 'a10=' doesn't exists in A.
-alt/base_attr3_alt3.nit:100,2--10: Error: Method 'a11=' doesn't exists in A.
-alt/base_attr3_alt3.nit:101,2--6: Error: Method 'a12' doesn't exists in A.
-alt/base_attr3_alt3.nit:102,2--10: Error: Method 'a12=' doesn't exists in A.
+alt/base_attr3_alt3.nit:80,4--5: Error: method `a1=` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:81,4--5: Error: method `a2` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:82,4--5: Error: method `a2=` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:83,4--5: Error: method `a3` does not exists in `A`.
+alt/base_attr3_alt3.nit:84,4--5: Error: method `a3=` does not exists in `A`.
+alt/base_attr3_alt3.nit:87,4--5: Error: method `a5` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:89,4--5: Error: method `a6` does not exists in `A`.
+alt/base_attr3_alt3.nit:92,4--5: Error: method `a7=` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:93,4--5: Error: method `a8` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:94,4--5: Error: method `a8=` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:95,4--5: Error: method `a9` does not exists in `A`.
+alt/base_attr3_alt3.nit:96,4--5: Error: method `a9=` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:98,4--6: Error: method `a10=` does not exists in `A`.
+alt/base_attr3_alt3.nit:99,4--6: Error: method `a11` is protected and can only accessed by `self`.
+alt/base_attr3_alt3.nit:100,4--6: Error: method `a11=` does not exists in `A`.
+alt/base_attr3_alt3.nit:101,4--6: Error: method `a12` does not exists in `A`.
+alt/base_attr3_alt3.nit:102,4--6: Error: method `a12=` does not exists in `A`.