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 ed4bd1d..5328935 100644 (file)
--- a/tests/sav/neo_doxygen_dump_args7.res
+++ b/tests/sav/neo_doxygen_dump_args7.res
@@ -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
@@ -388,7 +388,7 @@ Edge
 7:MEntity
 7:MModule
 =properties=JsonObject(2):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass"}
+{"location":"%SOURCE_DIRECTORY%/OuterClass.java:1,1--1,1","name":"OuterClass"}
 
 
 Edge
@@ -402,7 +402,7 @@ Edge
 7:MEntity
 7:MModule
 =properties=JsonObject(2):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass"}
+{"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
@@ -424,7 +424,7 @@ Edge
 7:MEntity
 7:MModule
 =properties=JsonObject(2):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass"}
+{"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
@@ -446,7 +446,7 @@ Edge
 7:MEntity
 7:MModule
 =properties=JsonObject(2):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass"}
+{"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
@@ -468,7 +468,7 @@ Edge
 7:MEntity
 7:MModule
 =properties=JsonObject(2):
-{"location":"%SOURCE_DIRECTORY%\/OuterClass.java:1,1--1,1","name":"OuterClass"}
+{"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===---