remove deprecated feature: check files

tests-system/base-types/bar.rsl

@@ -13,3 +13,13 @@
 
 
             }
+
+             checks MyType {
+
+
+               int_ok == 42, error "int must be 42", int_ok
+               int_nok == 42, error "int must be 42", int_nok
+               int_null == null, error "int must be null", int_null
+
+
+               }

tests-system/check-wo-type/bar.rsl

@@ -11,3 +11,7 @@ type MyType {
    status  Status
 
  }
+  checks {
+      status == bar.Status.NEW , error "Status must be NEW"
+  }
+

tests-system/checks-1/foo.rsl

@@ -4,3 +4,7 @@ type T {
    a          Integer
    b optional Integer
 }
+checks T {
+   a < b, "a must be less than b"
+}
+

tests-system/checks-2/foo.rsl

@@ -4,3 +4,8 @@ type T {
    a          Integer
    b optional Integer
 }
+
+checks T {
+   b != null, fatal "please define b", b
+   a < b, "a must be less than b", a
+}

tests-system/checks-3/foo.rsl

@@ -4,3 +4,7 @@ type T {
    a          Integer
    b optional Integer
 }
+
+checks T {
+   b != null implies a < b, "a must be less than b", a
+}

tests-system/checks-4/foo.rsl

@@ -4,3 +4,6 @@ type T {
    foo optional String
    values optional String [2 .. 5]
 }
+checks T {
+   (forall v in values => v != foo), "value cannot be same as value of foo", values
+}

tests-system/empty-attributes/bar.rsl

@@ -7,6 +7,10 @@ enum ASIL {
 	C
 	D
 }
+ checks BaseRequirement {
+      asil != null, error "Asil must be set", asil
+
+  }
 
 
 

tests-system/enum-null/bar.rsl

@@ -11,3 +11,6 @@ type MyType {
     status optional Status
 
  }
+ checks MyType {
+      status != null , "Status must be not null"
+  }

tests-system/enum-ok/bar.rsl

@@ -12,3 +12,7 @@ type MyType {
     status Status
 
  }
+
+  checks MyType {
+      bar.Status.NEW == status , "Status must be NEW"
+  }

tests-system/enum/bar.rsl

@@ -11,3 +11,7 @@ type MyType {
     status Status
 
  }
+  checks MyType {
+      status == bar.Status.NEW , "Status must be NEW"
+      status != null , "Internal error when evaluating enum value"
+  }

tests-system/error-in-check/bar.rsl

@@ -5,3 +5,7 @@
             type MyType {
                name String
             }
+
+             checks MyType {
+              startsXwith(name, "Q"), error "name must start with Q", name
+                }

tests-system/inheritance-2/bar.rsl

@@ -6,6 +6,11 @@
                 name String
                 length Integer
             }
+             checks MyType {
+              name != null and len(name) == length, "name must have specific length" , name
+               }
+
+
 
 
             type Type2 extends MyType {

tests-system/inheritance/bar.rsl

@@ -8,4 +8,7 @@
 
     type Type2 extends bar.MyType {
     	length Integer
-    }
+    }
+     checks Type2 {
+     len(name) == length, error "name must have specific length" , name
+     }

tests-system/mult/bar.rsl

@@ -28,4 +28,8 @@ type MyType {
    name String
     mult String [3..5]
 
- }
+ }
+
+ checks MyType {
+      len(mult) == 3, "mult must have 3 elements"
+  }

tests-system/multiple-check-expressions/bar.rsl

@@ -5,3 +5,8 @@
             type MyType {
                name String
             }
+             checks MyType {
+              startswith(name, "Q"), "name must start with Q", name
+              endswith(name, "t"), "name must end with t", name
+               }
+

tests-system/multiple-models/bar.rsl

@@ -3,3 +3,6 @@ import Foo
 
 type T extends Foo.T {
 }
+checks T {
+   endswith(name, "kitten"), "also not a good name"
+}

tests-system/multiple-models/foo.rsl

@@ -3,3 +3,7 @@ package Foo
 type T {
    name String
 }
+
+checks T {
+   startswith(name, "potato"), "this is not a good name"
+}

tests-system/null-value/bar.rsl

@@ -4,3 +4,8 @@
                 name String
                 other MyType
             }
+            checks MyType {
+             other != null , "Other must not be null", other
+             other == null , "Other must be null", other
+              }
+

tests-system/redefined-attribute/bar.rsl

@@ -7,6 +7,9 @@ type MyType {
 type MyType2 extends MyType {
 	middle optional String
 }
+checks MyType {
+      startswith(name, "Q"), "name must start with Q", name
+  }
 
 type MyType3 extends MyType2 {
 

tests-system/simple-info-warn-error/bar.rsl

@@ -5,3 +5,9 @@
             type MyType {
                 name optional String
             }
+             checks MyType {
+                matches(name, "^D.*"), error "name must start with D", name
+                 matches(name, "^E.*"), error "name must start with E", name
+                 matches(name, "^W.*"), warning "name must start with W", name
+                 matches(name, "^I.*"),  warning "name must start with I", name
+                }

tests-system/simple-more-than-one/bar.rsl

@@ -5,3 +5,6 @@
             type MyType {
                name optional String
             }
+             checks MyType {
+               matches(name, "^Q.*"),  error "name must start with Q", name
+                   }

tests-system/simple/bar.rsl

@@ -3,3 +3,6 @@ package bar
 type MyType {
   name String
 }
+checks MyType {
+  len(name) > 1, "name must start with Q", name
+}

tests-system/strings/foo.rsl

@@ -4,3 +4,6 @@ type T {
    txt String
    len Integer
 }
+checks T {
+   len (txt) == len, warning "length is not as expected", len
+}

tests-system/tutorial-2/example.rsl

@@ -13,3 +13,11 @@ type Requirement {
   functional   Boolean
   integrity    optional ASIL
 }
+checks Requirement {
+  functional implies integrity != null,
+    error "a functional requirement requires an integrity"
+
+  integrity == ASIL.D implies len (description) > 10,
+    warning "this is not very descriptive",
+    description
+}

tests-system/value-exact/bar.rsl

@@ -4,3 +4,6 @@
             type MyType {
                name optional String
             }
+             checks MyType {
+                name != null and name == "Qbert", error "name must be 'Qbert'", name
+                   }