Serialized Form

Package net.automatalib.common.smartcollection

Class net.automatalib.common.smartcollection.InvalidReferenceException extends IllegalArgumentException implements Serializable

Package net.automatalib.common.util.lib

Class net.automatalib.common.util.lib.LoadLibraryException extends RuntimeException implements Serializable

Package net.automatalib.exception

Class net.automatalib.exception.GrowingAlphabetNotSupportedException extends UnsupportedOperationException implements Serializable

Class net.automatalib.exception.ModelCheckingException extends RuntimeException implements Serializable

Class net.automatalib.exception.UndefinedPropertyAccessException extends IllegalStateException implements Serializable

Package net.automatalib.incremental

Class net.automatalib.incremental.ConflictException extends IllegalArgumentException implements Serializable

Package net.automatalib.modelchecker.ltsmin

Class net.automatalib.modelchecker.ltsmin.ParseException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

currentToken

net.automatalib.modelchecker.ltsmin.Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token following this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

Package net.automatalib.modelchecker.m3c.formula.parser

Class net.automatalib.modelchecker.m3c.formula.parser.ParseException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

currentToken

net.automatalib.modelchecker.m3c.formula.parser.Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token following this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

Package net.automatalib.serialization

Class net.automatalib.serialization.FormatException extends IllegalArgumentException implements Serializable

Package net.automatalib.serialization.dot

Class net.automatalib.serialization.dot.ParseException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

currentToken

net.automatalib.serialization.dot.Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token following this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

Package net.automatalib.serialization.fsm.parser

Class net.automatalib.serialization.fsm.parser.FSMFormatException extends FormatException implements Serializable

Package net.automatalib.serialization.taf.parser

Class net.automatalib.serialization.taf.parser.ParseException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

currentToken

net.automatalib.serialization.taf.parser.Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token following this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

Class net.automatalib.serialization.taf.parser.TAFFormatException extends FormatException implements Serializable

Package net.automatalib.util.ts.modal

Class net.automatalib.util.ts.modal.IllegalConjunctionException extends IllegalArgumentException implements Serializable