search

claeis / ilivalidator

INTERLIS validator
14 stars 20 forks source link

Validate VIEW in non-validation models #324

Closed edigonzales closed 3 weeks ago

edigonzales commented 2 years ago

Falls im Datenmodell (der zu prüfenden Daten) eine View definiert ist mit zusätzlichen Constraints, werden diese nicht validiert.

edigonzales commented 2 years ago

Ilivalidator wertet die Constraints in der View v_Dokument nicht aus (siehe Anhang), wenn die View innerhalt des Originalmodelles definiert ist. Es muss zwingend ein separates Modell erstellt werden.

Erwartung: View-Definitionen (im Originalmodell) mit ihren zusätzlichen Constraints werden von ilivaliadator ausgewertet identisch der Definition von Views und Constraints in Zusatzmodellen.

SO_Nutzungsplanung_20171118.ili.zip .

claeis commented 2 years ago

s.a. #127, #128

claeis commented 2 years ago

Dieses Issue umfasst nur ViewDef im Umfang wie sie schon implementiert sind (also ohne #127 und #128)

claeis commented 2 years ago

ValidatorTest.xtfFailWithAdditionalModel() ist ein Beisipiel-Test mit einem Zusatzmodell.

edigonzales commented 2 years ago

Im Validierungsmodell SO_Nutzungsplanung_20171118_Validierung_20211006.ili ist eine View mit zusätzlichen Constraints definiert. Diese prüfen z.B. ob das Attribut Rechtsvorschrift vorhanden ist:

java -jar ilivalidator.jar --config config.toml 2457.xtf

Ilivalidator findet einen Fehler (siehe Logoutput).

Wenn man diese View im Originalmodell definiert, findet ilivalidator den Fehler nicht:

java -jar ilivalidator.jar 2457.xtf

Der Fehler sollte bereits entdeckt werden, wenn die View im Originalmodell definiert ist. Archive.zip

olivergrimm commented 1 year ago

Wir haben dasselbe Problem nachvollziehen können in einem anderen Projekt / Modell.

olivergrimm commented 4 months ago

Die Umsetzung dieses Issues wurde gesponsert vom Kanton Solothurn