contracts: change the contract syntax

[nit.git] / tests / test_deserialization.nit

diff --git a/tests/test_deserialization.nit b/tests/test_deserialization.nit
index d443795..c0f1045 100644 (file)
--- a/tests/test_deserialization.nit
+++ b/tests/test_deserialization.nit
@@ -15,30 +15,20 @@
 # limitations under the License.
 
 import serialization
-import json_serialization
 
 # Simple class
 class A
        auto_serializable
-       super Serializable
 
        var b: Bool
        var c: Char
        var f: Float
        var i: Int
-       var s: String
+       var s: String is serialize_as "serialization_specific_name"
        var n: nullable Int
+       var password = "p4ssw0rd" is lazy, noserialize
 
-       init(b: Bool, c: Char, f: Float, i: Int, s: String, n: nullable Int)
-       do
-               self.b = b
-               self.c = c
-               self.f = f
-               self.i = i
-               self.s = s
-       end
-
-       redef fun to_s do return "<A: {b} {c} {f} {i} {s} {n != null}>"
+       redef fun to_s do return "<A: {b} {c} {f} {i} {s} {n != null} {password}>"
 end
 
 # Sub-class of A
@@ -49,33 +39,17 @@ class B
        var ii: Int
        var ss: String
 
-       init(b: Bool, c: Char, f: Float, i: Int, s: String, n: nullable Int, ii: Int, ss: String)
-       do
-               super(b, c, f, i, s, n)
-
-               self.ii = ii
-               self.ss = ss
-       end
-
        redef fun to_s do return "<B: {super} {ii} {ss}>"
 end
 
 # Composed of an A and a B
 class C
        auto_serializable
-       super Serializable
 
        var a: A
        var b: B
        var aa: A
 
-       init(a: A, b: B)
-       do
-               self.a = a
-               self.b = b
-               self.aa = a
-       end
-
        redef fun to_s do return "<C: {a} {b}>"
 end
 
@@ -89,21 +63,67 @@ class D
        redef fun to_s do return "<D: {super} {d != null}>"
 end
 
-var a = new A(true, 'a', 0.1234, 1234, "asdf", null)
-var b = new B(false, 'b', 123.123, 2345, "hjkl", 12, 1111, "qwer")
-var c = new C(a, b)
-var d = new D(false, 'b', 123.123, 2345, "new line ->\n<-", null, 1111, "\t\f\"\r\\/")
-d.d = d
+# Class with generics
+class E
+       auto_serializable
+
+       var a = new Array[Object].with_items("hello", 1234, 123.4)
+       var b = new Array[nullable Serializable].with_items("hella", 2345, 234.5)
+
+       redef fun to_s do return "<E: a: {a.join(", ")}; b: {b.join(", ")}>"
+end
+
+# Parameterized class
+class F[N: Numeric]
+       auto_serializable
+
+       var n: N
 
-for o in new Array[nullable Serializable].with_items(a, b, c, d) do
-       var stream = new StringOStream
-       var serializer = new JsonSerializer(stream)
-       serializer.serialize(o)
+       redef fun to_s do return "<F: {n}>"
+end
+
+# Other collections
+class G
+       auto_serializable
 
-       var deserializer = new JsonDeserializer(stream.to_s)
-       var deserialized = deserializer.deserialize
+       var hs = new HashSet[Int]
+       var s: Set[String] = new ArraySet[String]
+       var hm = new HashMap[String, Int]
+       var am = new ArrayMap[String, String]
 
-       print "# Nit:\n{o}\n"
-       print "# Json:\n{stream}\n"
-       print "# Back in Nit:\n{deserialized}\n"
+       init
+       do
+               hs.add -1
+               hs.add 0
+               s.add "one"
+               s.add "two"
+               hm["one"] = 1
+               hm["two"] = 2
+               am["three"] = 3.to_s
+               am["four"] = 4.to_s
+       end
+
+       redef fun to_s do return "<G: hs: {hs.join(", ")}; s: {s.join(", ")}; "+
+               "hm: {hm.join(", ", ". ")}; am: {am.join(", ", ". ")}>"
 end
+
+class TestEntities
+       var a = new A(true, 'a', 0.1234, 1234, "asdf", null)
+       var b = new B(false, 'b', 123.123, 2345, "hjkl", 12, 1111, "qwer")
+       var c = new C(a, b, a)
+       var d = new D(false, 'b', 123.123, 2345, "new line ->\n<-", null, 1111, "\t\f\"\r\\/")
+       init do d.d = d
+       var e = new E
+       var fi = new F[Int](2222)
+       var ff = new F[Float](33.33)
+       var g = new G
+
+       # should work without nitserial
+       var without_generics: Array[Serializable] = [a, b, c, d: Serializable]
+
+       # Default works only with Nit serial
+       var with_generics: Array[Serializable] = [a, b, c, d, e, fi, ff, g: Serializable]
+end
+
+# We instantiate it here so that `nitserial` detects generic types as being alive
+var entities = new TestEntities