DontCheckIntervals
ide.Java.DontCheckIntervals = …
LF‑ET interprets e.g. greater than/smaller than and from-to expressions in symbols or descriptions of condition and action values as interval specifications in simplified form:
| Expression | is interpreted as |
|---|---|
< 5.3 |
] –Inf : 5.3 [ |
<= 17.2 |
] –Inf : 17.2 ] |
>= 17.3 |
[ 17.3 : Inf [ |
> 17.2 |
] 17.2 : Inf [ |
2.5 – 8.3 |
[ 2.5 : 8.3 ] |
For conditions, all interval specifications are automatically checked for gaps and overlaps, whereby gaps are only evaluated as a warning, but overlaps as errors.
This key can be used to suppress the automatic consistency check of these greater-than/smaller-than or from-to interval specifications (also called SimplifiedNotation) when generating program code for a specific programming language.
ide.Java.DontCheckIntervals = SimplifiedNotation | sn
This can be a useful workaround as long as 'old' decision tables with such interval specifications are still in use, but they do not (yet) meet the current formal requirements for intervals.