KeY/JML Parse Error

nullpointer
Neuling
Neuling
Beiträge: 9
Registriert: 22. Mär 2010 18:51

KeY/JML Parse Error

Beitrag von 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
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: KeY/JML Parse Error

Beitrag von 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
Neuling
Neuling
Beiträge: 9
Registriert: 22. Mär 2010 18:51

Re: KeY/JML Parse Error

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

Antworten

Zurück zu „Archiv“