tests: update tests relying on the content of core
authorAlexis Laferrière <alexis.laf@xymus.net>
Tue, 3 Nov 2015 20:09:30 +0000 (15:09 -0500)
committerAlexis Laferrière <alexis.laf@xymus.net>
Tue, 3 Nov 2015 20:11:50 +0000 (15:11 -0500)
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

tests/sav/error_class_glob.res
tests/sav/nituml_args3.res
tests/sav/nituml_args4.res

index 3d8ae36..08a096b 100644 (file)
@@ -10,3 +10,4 @@
 ../lib/core/kernel.nit:704,1--890,3: Error: `kernel#Int` does not specialize `module_0#Object`. Possible duplication of the root class `Object`?
 ../lib/core/kernel.nit:892,1--1060,3: Error: `kernel#Char` does not specialize `module_0#Object`. Possible duplication of the root class `Object`?
 ../lib/core/kernel.nit:1062,1--1069,3: Error: `kernel#Pointer` does not specialize `module_0#Object`. Possible duplication of the root class `Object`?
+../lib/core/kernel.nit:1071,1--1080,3: Error: `kernel#Task` does not specialize `module_0#Object`. Possible duplication of the root class `Object`?
index 700f951..ec356da 100644 (file)
@@ -72,6 +72,11 @@ Pointer [
 ]
 Object -> Pointer [dir=back arrowtail=open style=dashed];
 
+Task [
+ label = "{interface\nTask||+ main()\l}"
+]
+Object -> Task [dir=back arrowtail=open style=dashed];
+
 A [
  label = "{A|- _vpubA: nullable A\l- _vproA: nullable A\l- _vpriA: nullable A\l- _vpubA2: A\l- _vproA2: A\l- _vpriA2: A\l- _vpriB: nullable B\l- _vpriB2: B\l|+ pubA(a: A)\l# proA(a: A)\l- priA(a: A)\l+ vpubA(): nullable A\l+ vpubA=(vpubA: nullable A)\l# vproA(): nullable A\l# vproA=(vproA: nullable A)\l- vpriA(): nullable A\l- vpriA=(vpriA: nullable A)\l+ vpubA2(): A\l+ vpubA2=(vpubA2: A)\l# vproA2(): A\l# vproA2=(vproA2: A)\l- vpriA2(): A\l- vpriA2=(vpriA2: A)\l- priB(a: B)\l- vpriB(): nullable B\l- vpriB=(vpriB: nullable B)\l- vpriB2(): B\l- vpriB2=(vpriB2: B)\l}"
 ]
index f01534c..a87d928 100644 (file)
@@ -72,6 +72,11 @@ Pointer [
 ]
 Object -> Pointer [dir=back arrowtail=open style=dashed];
 
+Task [
+ label = "{interface\nTask||+ main()\l}"
+]
+Object -> Task [dir=back arrowtail=open style=dashed];
+
 A [
  label = "{A||+ pubA(a: A)\l+ vpubA(): nullable A\l+ vpubA=(vpubA: nullable A)\l+ vpubA2(): A\l+ vpubA2=(vpubA2: A)\l}"
 ]