Christoph Klöffel issues

Repositories
Issues
Comments

Results 8 issues of


                                            Christoph Klöffel

Requirement "Name_resolution LRM.Sufficiently_Distinct" not met

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

bug

topic: LRM

topic: core

Linter produces OS dependant output

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...

topic: analysis

adds iter_record_objects_by_file

adds tracing for quantification

adds tracing for chapter 14

adds tracing for markup strings

adds tracing for chapter 19

adds tracing for record object declarations

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

adds tracing for names

adds tracing for chapter 11 ("Names")