Serialized Form

Package de.stups.probkodkod

Class de.stups.probkodkod.EOFLexer.AbortException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

4042645224685292559L

Package de.stups.probkodkod.parser.lexer

Class de.stups.probkodkod.parser.lexer.LexerException extends java.lang.Exception implements Serializable

Package de.stups.probkodkod.parser.parser

Class de.stups.probkodkod.parser.parser.ParserException extends java.lang.Exception implements Serializable

Serialized Fields

token

Token token

realMsg

java.lang.String realMsg