contracts: change the contract syntax

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

diff --git a/tests/sav/neo_doxygen_dump_args7.res b/tests/sav/neo_doxygen_dump_args7.res
index 8f38f44..5328935 100644 (file)
--- a/tests/sav/neo_doxygen_dump_args7.res
+++ b/tests/sav/neo_doxygen_dump_args7.res
@@ -22,8 +22,8 @@ Edge
 11:inner-class
 7:MEntity
 6:MGroup
-=properties=JsonObject(2):
-{"full_name":"","name":"inner-class"}
+=properties=JsonObject(1):
+{"name":"inner-class"}
 
 
 Edge
@@ -36,8 +36,8 @@ Edge
 11:inner-class
 7:MEntity
 6:MGroup
-=properties=JsonObject(2):
-{"full_name":"","name":"inner-class"}
+=properties=JsonObject(1):
+{"name":"inner-class"}
 ----
 =to=Node
 =labels=Array(3):
@@ -59,7 +59,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","mdoc":["A class with an inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","mdoc":["A class with an inner class."]}
 ----
 =to=Entity#0:
 =labels=Array(4):
@@ -91,7 +91,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","mdoc":["A class with an inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","mdoc":["A class with an inner class."]}
 
 
 Edge
@@ -105,7 +105,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
 ----
 =to=Entity#0:
 =labels=Array(4):
@@ -128,7 +128,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
 ----
 =to=Entity#17:class_outer_class
 =labels=Array(3):
@@ -136,7 +136,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","mdoc":["A class with an inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","mdoc":["A class with an inner class."]}
 
 
 Edge
@@ -150,7 +150,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
 ----
 =to=Entity#0:
 =labels=Array(4):
@@ -182,7 +182,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
 
 
 Edge
@@ -196,7 +196,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
 ----
 =to=Entity#0:
 =labels=Array(4):
@@ -205,7 +205,7 @@ Edge
 8:MPropDef
 14:MInnerClassDef
 =properties=JsonObject(4):
-{"location":"\/dev\/null:1,1--1,1","name":"InnerClass","visibility":"public","is_intro":true}
+{"location":"/dev/null:1,1--1,1","name":"InnerClass","visibility":"public","is_intro":true}
 
 
 Edge
@@ -220,7 +220,7 @@ Edge
 8:MPropDef
 14:MInnerClassDef
 =properties=JsonObject(4):
-{"location":"\/dev\/null:1,1--1,1","name":"InnerClass","visibility":"public","is_intro":true}
+{"location":"/dev/null:1,1--1,1","name":"InnerClass","visibility":"public","is_intro":true}
 ----
 =to=Entity#0:
 =labels=Array(4):
@@ -244,7 +244,7 @@ Edge
 8:MPropDef
 14:MInnerClassDef
 =properties=JsonObject(4):
-{"location":"\/dev\/null:1,1--1,1","name":"InnerClass","visibility":"public","is_intro":true}
+{"location":"/dev/null:1,1--1,1","name":"InnerClass","visibility":"public","is_intro":true}
 ----
 =to=Entity#0:
 =labels=Array(3):
@@ -252,7 +252,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","is_intro":true,"name":"OuterClass::InnerClass","mdoc":["An instance (non-static) inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","is_intro":true,"name":"OuterClass::InnerClass","mdoc":["An instance (non-static) inner class."]}
 
 
 Edge
@@ -275,7 +275,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
 
 
 Edge
@@ -289,7 +289,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
 ----
 =to=Entity#0:
 =labels=Array(4):
@@ -321,7 +321,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
 
 
 Edge
@@ -335,7 +335,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","is_intro":true,"name":"OuterClass::InnerClass","mdoc":["An instance (non-static) inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","is_intro":true,"name":"OuterClass::InnerClass","mdoc":["An instance (non-static) inner class."]}
 ----
 =to=Entity#0:
 =labels=Array(4):
@@ -358,7 +358,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","is_intro":true,"name":"OuterClass::InnerClass","mdoc":["An instance (non-static) inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","is_intro":true,"name":"OuterClass::InnerClass","mdoc":["An instance (non-static) inner class."]}
 ----
 =to=Entity#33:class_outer_class_1_1_inner_class
 =labels=Array(3):
@@ -366,7 +366,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
 
 
 Edge
@@ -379,16 +379,16 @@ Edge
 11:inner-class
 7:MEntity
 6:MGroup
-=properties=JsonObject(2):
-{"full_name":"","name":"inner-class"}
+=properties=JsonObject(1):
+{"name":"inner-class"}
 ----
 =to=Entity#0:
 =labels=Array(3):
 11:inner-class
 7:MEntity
 7:MModule
-=properties=JsonObject(3):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass","full_name":"OuterClass"}
+=properties=JsonObject(2):
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:1,1--1,1","name":"OuterClass"}
 
 
 Edge
@@ -401,8 +401,8 @@ Edge
 11:inner-class
 7:MEntity
 7:MModule
-=properties=JsonObject(3):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass","full_name":"OuterClass"}
+=properties=JsonObject(2):
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:1,1--1,1","name":"OuterClass"}
 ----
 =to=Entity#17:class_outer_class
 =labels=Array(3):
@@ -410,7 +410,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","mdoc":["A class with an inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","mdoc":["A class with an inner class."]}
 
 
 Edge
@@ -423,8 +423,8 @@ Edge
 11:inner-class
 7:MEntity
 7:MModule
-=properties=JsonObject(3):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass","full_name":"OuterClass"}
+=properties=JsonObject(2):
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:1,1--1,1","name":"OuterClass"}
 ----
 =to=Entity#0:
 =labels=Array(3):
@@ -432,7 +432,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:19,1--24,1","is_intro":true,"name":"OuterClass","mdoc":["A class with an inner class."]}
 
 
 Edge
@@ -445,8 +445,8 @@ Edge
 11:inner-class
 7:MEntity
 7:MModule
-=properties=JsonObject(3):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass","full_name":"OuterClass"}
+=properties=JsonObject(2):
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:1,1--1,1","name":"OuterClass"}
 ----
 =to=Entity#33:class_outer_class_1_1_inner_class
 =labels=Array(3):
@@ -454,7 +454,7 @@ Edge
 7:MEntity
 6:MClass
 =properties=JsonObject(5):
-{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
+{"kind":"class","visibility":"public","name":"OuterClass::InnerClass","location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","mdoc":["An instance (non-static) inner class."]}
 
 
 Edge
@@ -467,8 +467,8 @@ Edge
 11:inner-class
 7:MEntity
 7:MModule
-=properties=JsonObject(3):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass","full_name":"OuterClass"}
+=properties=JsonObject(2):
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:1,1--1,1","name":"OuterClass"}
 ----
 =to=Entity#0:
 =labels=Array(3):
@@ -476,7 +476,7 @@ Edge
 7:MEntity
 9:MClassDef
 =properties=JsonObject(4):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:23,1--23,1","is_intro":true,"name":"OuterClass::InnerClass","mdoc":["An instance (non-static) inner class."]}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:23,1--23,1","is_intro":true,"name":"OuterClass::InnerClass","mdoc":["An instance (non-static) inner class."]}
 
 
 ---===DONE===---