Merge remote-tracking branch 'upstream/master' into init_auto

[nit.git] / tests / base_error_class_kind.nit

diff --git a/tests/base_error_class_kind.nit b/tests/base_error_class_kind.nit
index 43644b0..16d7137 100644 (file)
--- a/tests/base_error_class_kind.nit
+++ b/tests/base_error_class_kind.nit
@@ -37,6 +37,9 @@ end
 extern class ExC
 end
 
+subset SSet
+end
+
 ##
 
 interface SubI
@@ -45,6 +48,7 @@ interface SubI
        #alt2# super CC
        #alt3# super EnC
        #alt4# super ExC
+       #alt16# super SSet
 end
 
 abstract class SubA
@@ -53,6 +57,7 @@ abstract class SubA
        super CC
        #alt5# super EnC
        #alt6# super ExC
+       #alt17# super SSet
 end
 
 class SubC
@@ -61,6 +66,7 @@ class SubC
        super CC
        #alt7# super EnC
        #alt8# super ExC
+       #alt18# super SSet
 end
 
 enum SubEn
@@ -69,6 +75,7 @@ enum SubEn
        #alt10# super CC
        #alt11# super EnC
        #alt12# super ExC
+       #alt19# super SSet
 end
 
 extern class SubEx
@@ -77,4 +84,36 @@ extern class SubEx
        #alt14# super CC
        #alt15# super EnC
        super ExC
+       #alt20# super SSet
+end
+
+# A subset can inherit anything except a subset, and has only one direct parent.
+
+subset SSetI
+       super IC
+       # TODO: super AC
+       # TODO: super CC
+       # TODO: super EnC
+       # TODO: super ExC
+       # TODO: super SSet
+end
+
+subset SSetA
+       super AC
+end
+
+subset SSetC
+       super CC
+end
+
+subset SSetEn
+       super EnC
+end
+
+subset SSetEx
+       super ExC
 end
+
+#alt26# subset SubSSet
+#alt26#        super SSet
+#alt26# end