adds tracing for names (#66)

adds tracing for chapter 12

language-reference-manual/lrm.trlc

@@ -1188,10 +1188,6 @@ section "Names" {
               the given integer to the exact same rational.'''
   }
 
-  Name_Resolution Case_Sensitive {
-    text = '''Name resolution is case sensitive.'''
-  }
-
   Example Name_Examples {
     hidden_rsl = '''
       package Example

tests-system/rbt-endswith-semantics/foo.rsl

@@ -0,0 +1,9 @@
+package Foo
+
+type T {
+    b String
+}
+
+checks T {
+    endswith(b, "en"), warning "b should end with en", b
+}

tests-system/rbt-endswith-semantics/foo.trlc

@@ -0,0 +1,5 @@
+package Foo
+
+T Bar {
+    b = "kitten"
+}

tests-system/rbt-endswith-semantics/output

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-endswith-semantics/output.json

@@ -0,0 +1,6 @@
+{
+  "Bar": {
+    "b": "kitten"
+  }
+}
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-endswith-semantics/output.smtlib

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-len-semantics/foo.rsl

@@ -0,0 +1,12 @@
+package Foo
+
+type T {
+    a String
+    b Integer
+    c Integer[1..*]
+}
+
+checks T {
+    len(a) == 6, "not true"
+    len(c) == 2, "not true"
+}

tests-system/rbt-len-semantics/foo.trlc

@@ -0,0 +1,7 @@
+package Foo
+
+T Bar {
+    a = "potato"
+    b = 1
+    c = [2,1]
+}

tests-system/rbt-len-semantics/output

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-len-semantics/output.json

@@ -0,0 +1,11 @@
+{
+  "Bar": {
+    "a": "potato",
+    "b": 1,
+    "c": [
+      2,
+      1
+    ]
+  }
+}
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-len-semantics/output.smtlib

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-matches-semantics/foo.rsl

@@ -0,0 +1,11 @@
+package Foo
+
+type T {
+    a String
+    b String
+    c Integer
+}
+
+checks T {
+    matches(a, "potato"), warning "a should match with potato", a
+}

tests-system/rbt-matches-semantics/foo.trlc

@@ -0,0 +1,7 @@
+package Foo
+
+T Bar {
+    a = "potato"
+    b = "kitten"
+    c = 1
+}

tests-system/rbt-matches-semantics/output

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-matches-semantics/output.json

@@ -0,0 +1,8 @@
+{
+  "Bar": {
+    "a": "potato",
+    "b": "kitten",
+    "c": 1
+  }
+}
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-matches-semantics/output.smtlib

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/rbt-names/foo.rsl

@@ -0,0 +1,25 @@
+package Foo
+
+enum E {
+    A
+    B
+    C
+}
+
+tuple T {
+    first Integer
+    separator @
+    second Integer
+}
+
+type Bar {
+    e E
+    b Integer[2..*]
+    t T
+}
+
+checks Bar {
+    len(b) < 5, warning "try to minimize the length", b
+    b[0]+b[1] != 0, error "sum of first two elements must not be zero", b
+    t.first + t.second != 0, error "the sum of the versions must not be zero", t
+}

tests-system/rbt-names/foo.trlc

@@ -0,0 +1,7 @@
+package Foo
+
+Bar potato {
+    e = E.A
+    t = 1@2
+    b = [1,2,3,4,5,6]
+}

tests-system/rbt-names/output

@@ -0,0 +1,3 @@
+b = [1,2,3,4,5,6]
+    ^ rbt-names/foo.trlc:6: check warning: try to minimize the length
+Processed 1 model and 1 requirement file and found 1 warning

tests-system/rbt-names/output.brief

@@ -0,0 +1 @@
+rbt-names/foo.trlc:6:9: trlc check warning: try to minimize the length

tests-system/rbt-names/output.json

@@ -0,0 +1,20 @@
+b = [1,2,3,4,5,6]
+    ^ rbt-names/foo.trlc:6: check warning: try to minimize the length
+{
+  "potato": {
+    "b": [
+      1,
+      2,
+      3,
+      4,
+      5,
+      6
+    ],
+    "e": "A",
+    "t": {
+      "first": 1,
+      "second": 2
+    }
+  }
+}
+Processed 1 model and 1 requirement file and found 1 warning

tests-system/rbt-names/output.smtlib

@@ -0,0 +1,3 @@
+b = [1,2,3,4,5,6]
+    ^ rbt-names/foo.trlc:6: check warning: try to minimize the length
+Processed 1 model and 1 requirement file and found 1 warning

tests-system/rbt-signature-len-1/foo.rsl

@@ -0,0 +1,12 @@
+package Foo
+
+type T {
+    a String
+    b Integer
+    c Integer[1..*]
+}
+
+checks T {
+    len(a) > 7, "a must be longer than 7"
+    len(b) > 7, "b must be longer than 7"
+}

tests-system/rbt-signature-len-1/output

@@ -0,0 +1,3 @@
+len(b) > 7, "b must be longer than 7"
+    ^ rbt-signature-len-1/foo.rsl:11: error: expected expression of type Array_Type, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-len-1/output.brief

@@ -0,0 +1 @@
+rbt-signature-len-1/foo.rsl:11:9: trlc error: expected expression of type Array_Type, got Builtin_Integer instead

tests-system/rbt-signature-len-1/output.json

@@ -0,0 +1,3 @@
+len(b) > 7, "b must be longer than 7"
+    ^ rbt-signature-len-1/foo.rsl:11: error: expected expression of type Array_Type, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-len-1/output.smtlib

@@ -0,0 +1,3 @@
+len(b) > 7, "b must be longer than 7"
+    ^ rbt-signature-len-1/foo.rsl:11: error: expected expression of type Array_Type, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-len-2/foo.rsl

@@ -0,0 +1,13 @@
+package Foo
+
+type T {
+    a String
+    b Integer
+    c Integer[1..*]
+}
+
+checks T {
+    len(a) > 7, "a must be longer than 7"
+    len(c) > 7, "b must be longer than 7"
+    len(a, c) > 7, "a and c must be longer than 7"
+}

tests-system/rbt-signature-len-2/foo.trlc

@@ -0,0 +1,7 @@
+package Foo
+
+T Bar {
+    a = "potato"
+    b = 1
+    c = [2,1]
+}

tests-system/rbt-signature-len-2/output

@@ -0,0 +1,3 @@
+len(a, c) > 7, "a and c must be longer than 7"
+^^^ rbt-signature-len-2/foo.rsl:12: error: function requires 1 parameters
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-len-2/output.brief

@@ -0,0 +1 @@
+rbt-signature-len-2/foo.rsl:12:5: trlc error: function requires 1 parameters

tests-system/rbt-signature-len-2/output.json

@@ -0,0 +1,3 @@
+len(a, c) > 7, "a and c must be longer than 7"
+^^^ rbt-signature-len-2/foo.rsl:12: error: function requires 1 parameters
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-len-2/output.smtlib

@@ -0,0 +1,3 @@
+len(a, c) > 7, "a and c must be longer than 7"
+^^^ rbt-signature-len-2/foo.rsl:12: error: function requires 1 parameters
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-matches-1/foo.rsl

@@ -0,0 +1,11 @@
+package Foo
+
+type T {
+    a String
+    b String
+    c Integer
+}
+
+checks T {
+    matches(c, "potato"), warning "a should match with potato", a
+}

tests-system/rbt-signature-matches-1/output

@@ -0,0 +1,3 @@
+matches(c, "potato"), warning "a should match with potato", a
+        ^ rbt-signature-matches-1/foo.rsl:10: error: expected expression of type Builtin_String, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-matches-1/output.brief

@@ -0,0 +1 @@
+rbt-signature-matches-1/foo.rsl:10:13: trlc error: expected expression of type Builtin_String, got Builtin_Integer instead

tests-system/rbt-signature-matches-1/output.json

@@ -0,0 +1,3 @@
+matches(c, "potato"), warning "a should match with potato", a
+        ^ rbt-signature-matches-1/foo.rsl:10: error: expected expression of type Builtin_String, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-matches-1/output.smtlib

@@ -0,0 +1,3 @@
+matches(c, "potato"), warning "a should match with potato", a
+        ^ rbt-signature-matches-1/foo.rsl:10: error: expected expression of type Builtin_String, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-matches-2/foo.rsl

@@ -0,0 +1,11 @@
+package Foo
+
+type T {
+    a String
+    b String
+    c Integer
+}
+
+checks T {
+    matches(a, b, "potato"), warning "a should match with potato", a
+}

tests-system/rbt-signature-matches-2/foo.trlc

@@ -0,0 +1,7 @@
+package Foo
+
+T Bar {
+    a = "potato"
+    b = "kitten"
+    c = 1
+}

tests-system/rbt-signature-matches-2/output

@@ -0,0 +1,3 @@
+matches(a, b, "potato"), warning "a should match with potato", a
+^^^^^^^ rbt-signature-matches-2/foo.rsl:10: error: function requires 2 parameters
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-matches-2/output.brief

@@ -0,0 +1 @@
+rbt-signature-matches-2/foo.rsl:10:5: trlc error: function requires 2 parameters

tests-system/rbt-signature-matches-2/output.json

@@ -0,0 +1,3 @@
+matches(a, b, "potato"), warning "a should match with potato", a
+^^^^^^^ rbt-signature-matches-2/foo.rsl:10: error: function requires 2 parameters
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-matches-2/output.smtlib

@@ -0,0 +1,3 @@
+matches(a, b, "potato"), warning "a should match with potato", a
+^^^^^^^ rbt-signature-matches-2/foo.rsl:10: error: function requires 2 parameters
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-matches-3/foo.rsl

@@ -0,0 +1,11 @@
+package Foo
+
+type T {
+    a String
+    b String
+    c Integer
+}
+
+checks T {
+    matches(a, "(abc(def)"), warning "a should match with potato", a
+}

tests-system/rbt-signature-matches-3/foo.trlc

@@ -0,0 +1,7 @@
+package Foo
+
+T Bar {
+    a = "(abc(def)"
+    b = "kitten"
+    c = 1
+}

tests-system/rbt-signature-matches-3/output

@@ -0,0 +1,3 @@
+matches(a, "(abc(def)"), warning "a should match with potato", a
+           ^^^^^^^^^^^ rbt-signature-matches-3/foo.rsl:10: error: missing ), unterminated subpattern at position 0
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-matches-3/output.brief

@@ -0,0 +1 @@
+rbt-signature-matches-3/foo.rsl:10:16: trlc error: missing ), unterminated subpattern at position 0

tests-system/rbt-signature-matches-3/output.json

@@ -0,0 +1,3 @@
+matches(a, "(abc(def)"), warning "a should match with potato", a
+           ^^^^^^^^^^^ rbt-signature-matches-3/foo.rsl:10: error: missing ), unterminated subpattern at position 0
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-matches-3/output.smtlib

@@ -0,0 +1,3 @@
+matches(a, "(abc(def)"), warning "a should match with potato", a
+           ^^^^^^^^^^^ rbt-signature-matches-3/foo.rsl:10: error: missing ), unterminated subpattern at position 0
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-string-end-functions-1/foo.rsl

@@ -0,0 +1,14 @@
+package Foo
+
+type T {
+    a String
+    b String
+    c Integer
+}
+
+checks T {
+    startswith(a, "po"), warning "a should start with po", a
+    startswith(b, "po"), warning "b should start with po", b
+    endswith(c, "en"), warning "a should end with en", c
+    endswith(b, "en"), warning "b should end with en", b
+}

tests-system/rbt-signature-string-end-functions-1/output

@@ -0,0 +1,3 @@
+endswith(c, "en"), warning "a should end with en", c
+         ^ rbt-signature-string-end-functions-1/foo.rsl:12: error: expected expression of type Builtin_String, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-string-end-functions-1/output.brief

@@ -0,0 +1 @@
+rbt-signature-string-end-functions-1/foo.rsl:12:14: trlc error: expected expression of type Builtin_String, got Builtin_Integer instead

tests-system/rbt-signature-string-end-functions-1/output.json

@@ -0,0 +1,3 @@
+endswith(c, "en"), warning "a should end with en", c
+         ^ rbt-signature-string-end-functions-1/foo.rsl:12: error: expected expression of type Builtin_String, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-string-end-functions-1/output.smtlib

@@ -0,0 +1,3 @@
+endswith(c, "en"), warning "a should end with en", c
+         ^ rbt-signature-string-end-functions-1/foo.rsl:12: error: expected expression of type Builtin_String, got Builtin_Integer instead
+Processed 1 model and 0 requirement files and found 1 error

tests-system/rbt-signature-string-end-functions-2/foo.rsl

@@ -0,0 +1,14 @@
+package Foo
+
+type T {
+    a String
+    b String
+    c Integer
+}
+
+checks T {
+    startswith(a, "po"), warning "a should start with po", a
+    startswith(b, "po"), warning "b should start with po", b
+    endswith(a, "en"), warning "a should end with en", a
+    endswith(a, b, "en"), warning "b should end with en", b
+}

tests-system/rbt-signature-string-end-functions-2/foo.trlc

@@ -0,0 +1,7 @@
+package Foo
+
+T Bar {
+    a = "potato"
+    b = "kitten"
+    c = 1
+}

tests-system/rbt-signature-string-end-functions-2/output

@@ -0,0 +1,3 @@
+endswith(a, b, "en"), warning "b should end with en", b
+^^^^^^^^ rbt-signature-string-end-functions-2/foo.rsl:13: error: function requires 2 parameters
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-string-end-functions-2/output.brief

@@ -0,0 +1 @@
+rbt-signature-string-end-functions-2/foo.rsl:13:5: trlc error: function requires 2 parameters

tests-system/rbt-signature-string-end-functions-2/output.json

@@ -0,0 +1,3 @@
+endswith(a, b, "en"), warning "b should end with en", b
+^^^^^^^^ rbt-signature-string-end-functions-2/foo.rsl:13: error: function requires 2 parameters
+Processed 1 model and 1 requirement file and found 1 error

tests-system/rbt-signature-string-end-functions-2/output.smtlib

@@ -0,0 +1,3 @@
+endswith(a, b, "en"), warning "b should end with en", b
+^^^^^^^^ rbt-signature-string-end-functions-2/foo.rsl:13: error: function requires 2 parameters
+Processed 1 model and 1 requirement file and found 1 error