adds tracing for names

[christophkloeffel]

adds tracing for chapter 11 ("Names")

[phiwuu]

c is not needed

[phiwuu]

Note: The matches function uses a regex. Here the regex is potato, which is equal to startswith(a, "potato").
In order to make this clear (for any future developer looking at the tests), and to make sure the matches function really uses a regex implementation (and not just redirects to startswith), I recommend to refactor the test like this:

package Foo

type T {
    a String
    b String
    c String
    d String
}

checks T {
    matches(a, "/^[a-zA-Z0-9]{6,12}$/"), warning "a should match with 6 to 12 letters or digits", a
    matches(b, "\w+"), warning "b should match only letters, digits, or underscores.", b
    matches(c, "potato"), warning "b should start with 'potato'.", c
    matches(d, "^D.*"), warning "d should start with D", d
}

Then please update the foo.trlc as follows:

package Foo

T No_Regex_Matches {
    a = "123456789 abcdefghijklmn"
    b = "??...kitten_...??"
    c = "not potato"
    d = "not Diego"
}

T All_Regex_Matches {
    a = "123abc"
    b = "3_kitten_"
    c = "potato and tomato sauce"
    d = "Diego"
}

Expected output:

a = "123456789 abcdefghijklmn"
    ^^^^^^^^^^^^^^^^^^^^^^^^^^ .\test.trlc:4: check warning: a should match with 6 to 12 letters or digits
b = "??...kitten_...??"
    ^^^^^^^^^^^^^^^^^^^ .\test.trlc:5: check warning: b should match only letters, digits, or underscores.
c = "not potato"
    ^^^^^^^^^^^^ .\test.trlc:6: check warning: b should start with 'potato'.
d = "not Diego"
    ^^^^^^^^^^^ .\test.trlc:7: check warning: d should start with D
Processed 1 model(s), 0 check(s) and 1 requirement file(s) and found 6 warning(s)

As we will then see, the test is failing. The reason could be a parsing issue of the regex. Maybe the slashes are not escaped well.

[christophkloeffel]

I could not reproduce this with the given samples, so I removed the "/" delimiter in your matches(a, "/^[a-zA-Z0-9]{6,12}$/") check to matches(a, "^[a-zA-Z0-9]{6,12}$")