Serialized Form

Package net.automatalib.common.smartcollection

Exception net.automatalib.common.smartcollection.InvalidReferenceException

class InvalidReferenceException extends IllegalArgumentException implements Serializable

Package net.automatalib.common.util.lib

Exception net.automatalib.common.util.lib.LoadLibraryException

class LoadLibraryException extends RuntimeException implements Serializable

Package net.automatalib.exception

Exception net.automatalib.exception.FormatException

class FormatException extends Exception implements Serializable

Exception net.automatalib.exception.GrowingAlphabetNotSupportedException

class GrowingAlphabetNotSupportedException extends UnsupportedOperationException implements Serializable

Exception net.automatalib.exception.ModelCheckingException

class ModelCheckingException extends RuntimeException implements Serializable

Exception net.automatalib.exception.UndefinedPropertyAccessException

class UndefinedPropertyAccessException extends IllegalStateException implements Serializable

Package net.automatalib.incremental

Exception net.automatalib.incremental.ConflictException

class ConflictException extends IllegalArgumentException implements Serializable

Package net.automatalib.modelchecker.ltsmin

Exception net.automatalib.modelchecker.ltsmin.ParseException

class 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

Exception net.automatalib.modelchecker.m3c.formula.parser.ParseException

class 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.dot

Exception net.automatalib.serialization.dot.ParseException

class 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.mata.parser

Exception net.automatalib.serialization.mata.parser.ParseException

class ParseException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

currentToken

net.automatalib.serialization.mata.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.taf.parser

Exception net.automatalib.serialization.taf.parser.ParseException

class 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.

Package net.automatalib.util.ts.modal

Exception net.automatalib.util.ts.modal.IllegalConjunctionException

class IllegalConjunctionException extends IllegalArgumentException implements Serializable