filterLineNumberIntervalStart

var filterLineNumberIntervalStart: Int?
Content copied to clipboard

Angabe eines Liniennummer-Intervalls. Es wird nach Meldungen gefiltert, die Linien betreffen, deren Liniennummern (entspricht den letzten 3 Stellen der DIV-Linie) in dem Intervall liegen. Der Wert der Parameter muss größer als Null sein und kann maximal 999 sein, außerdem muss der Wert von filterLineNumberIntervalEnd größer sein als der von filterLineNumberIntervalStart.