nit: Added link to `CONTRIBUTING.md` from the README

[nit.git] / tests / sav / nituml_args4.res

diff --git a/tests/sav/nituml_args4.res b/tests/sav/nituml_args4.res
index f01534c..181046e 100644 (file)
--- a/tests/sav/nituml_args4.res
+++ b/tests/sav/nituml_args4.res
@@ -72,8 +72,13 @@ 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}"
+ label = "{A||+ pubA(a: A)\l# proA(a: A)\l+ pubA2(): A\l# proA2(): A\l+ vpubA(): nullable A\l+ vpubA=(vpubA: nullable A)\l# vproA(): nullable A\l# vproA=(vproA: nullable A)\l+ vpubA2(): A\l+ vpubA2=(vpubA2: A)\l# vproA2(): A\l# vproA2=(vproA2: A)\l}"
 ]
 Object -> A [dir=back arrowtail=open style=dashed];