trlc

trlc copied to clipboard

It occurred to me that it would be convenient to have a new function `one_of`. For example: ```trlc type T { a optional Integer b optional Integer c optional Integer...

florianschanda

Requirement "Name_resolution LRM.Sufficiently_Distinct" not met

2

the following requirement is not met https://github.com/bmw-software-engineering/trlc/blob/adc0cf448e8b4a933d6f2ee6916ad1cd2b5d0bb5/language-reference-manual/lrm.trlc#L1829-L1836 either remove the requirement from the LRM or implement the missing feature

christophkloeffel

AssertionError for empty 'imports' list in CU when 'is_visible' is called during parsing

2

rsl file to reproduce the AssertionError: ``` package Test3 import type T { x Common.Item } ```

markusrosskopf

Linter produces OS dependant output

1

div_by_zero.rsl: ``` package Div_By_Zero type T { x Integer y Integer } checks T { x > 2, fatal "x too small" y > 2, fatal "y too small" 100...

christophkloeffel

remove deprecated feature: check files

3

ankushsonare1

christophkloeffel

akashsurwase1

adds tracing for chapter 14

christophkloeffel

adds tracing for chapter 19

christophkloeffel

adds tracing for chapter 18 (Record object declarations) of the LRM

christophkloeffel