KeY/JML Parse Error

[nullpointer]

Hallo alle zusammen,

wir bekommen bei der Verwendung von KeY ständig Parse Errors beim öffnen von JML Dateien aus denen wir einfach nicht schlau werden. Ein Beispiel ist als Screenshot angehängt. Die betreffende Code Zeile sieht in etwa so aus:

Code: Alles auswählen

//@ ... (\forall ...; ...; arr[0].length == arr[y].length); */ 
                            ^
                            |
                    Spalte 86, erstes Zeichen des ArrayNamens

Leider kommen wir an dieser Stelle jetzt garnicht weiter. Kann jemand helfen?

Alex

[Nathan Wasser]

Anhand dieses Code-Fragments kann ich nur sagen, dass die schließende "*/" unnötig ist, wenn mit einem einzeiligen Kommentar "//" begonnen wird.

Es fehlt der Screenshot, es fehlt die Fehlermeldung und eventuell ist auch der Fehler in einem der abgekürzten Teile.

Aber wenn ich raten müsste, würde ich darauf tippen, dass der Array Namen falsch ist.

[nullpointer]

Oh stimmt der Screenshot ist verschluckt.
Wir sind inzwischen dahinter gekommen, das die Zeilen/Spalten Angaben für Fehler allgemein einfach nicht stimmen.

Danke trotzdem für die Hilfe.