C D E G M N P R T W

C

currentToken - Variable in exception net.automatalib.serialization.taf.parser.ParseException

This is the last token that has been consumed successfully.

D

dfaToString(DFA<?, I>, Collection<? extends I>) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter

E

eol - Variable in exception net.automatalib.serialization.taf.parser.ParseException

The end of line string for this machine.

error(int, int, String, Object...) - Method in class net.automatalib.serialization.taf.parser.PrintStreamDiagnosticListener

error(int, int, String, Object...) - Method in interface net.automatalib.serialization.taf.parser.TAFParseDiagnosticListener

Called when a non-fatal error is encountered during parsing.

expectedTokenSequences - Variable in exception net.automatalib.serialization.taf.parser.ParseException

Each entry in this array is an array of integers.

G

getInstance() - Static method in class net.automatalib.serialization.taf.TAFSerializationDFA

getInstance() - Static method in class net.automatalib.serialization.taf.TAFSerializationMealy

getStderrDiagnosticListener() - Static method in class net.automatalib.serialization.taf.parser.PrintStreamDiagnosticListener

M

mealyToString(MealyMachine<?, I, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter

N

net.automatalib.serialization.taf - package net.automatalib.serialization.taf

net.automatalib.serialization.taf.parser - package net.automatalib.serialization.taf.parser

net.automatalib.serialization.taf.writer - package net.automatalib.serialization.taf.writer

P

parseAny(InputStream, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseAny(Reader, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseAny(File, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseAny(String, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseDFA(InputStream, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseDFA(Reader, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseDFA(File, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseDFA(String, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

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

This exception is thrown when parse errors are encountered.

ParseException(Token, int[][], String[]) - Constructor for exception net.automatalib.serialization.taf.parser.ParseException

This constructor is used by the method "generateParseException" in the generated parser.

ParseException() - Constructor for exception net.automatalib.serialization.taf.parser.ParseException

The following constructors are for use by you for whatever purpose you can think of.

ParseException(String) - Constructor for exception net.automatalib.serialization.taf.parser.ParseException

Constructor with message.

parseMealy(InputStream, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseMealy(Reader, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseMealy(File, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

parseMealy(String, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser

PrintStreamDiagnosticListener - Class in net.automatalib.serialization.taf.parser

PrintStreamDiagnosticListener(PrintStream) - Constructor for class net.automatalib.serialization.taf.parser.PrintStreamDiagnosticListener

R

readModel(InputStream) - Method in class net.automatalib.serialization.taf.TAFSerializationDFA

readModel(InputStream) - Method in class net.automatalib.serialization.taf.TAFSerializationMealy

T

TAFParseDiagnosticListener - Interface in net.automatalib.serialization.taf.parser

Diagnostic listener for non-fatal errors and warnings during parsing of a TAF file.

TAFParseException - Exception in net.automatalib.serialization.taf.parser

Exception to signal fatal errors during parsing TAF inputs.

TAFParseException(String) - Constructor for exception net.automatalib.serialization.taf.parser.TAFParseException

TAFParseException(String, Throwable) - Constructor for exception net.automatalib.serialization.taf.parser.TAFParseException

TAFParseException(Throwable) - Constructor for exception net.automatalib.serialization.taf.parser.TAFParseException

TAFParser - Class in net.automatalib.serialization.taf.parser

Facade for TAF parsing.

TAFSerializationDFA - Class in net.automatalib.serialization.taf

TAFSerializationMealy - Class in net.automatalib.serialization.taf

TAFWriter - Class in net.automatalib.serialization.taf.writer

This class provides methods to write automata in the TAF format.

tokenImage - Variable in exception net.automatalib.serialization.taf.parser.ParseException

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

W

warning(int, int, String, Object...) - Method in class net.automatalib.serialization.taf.parser.PrintStreamDiagnosticListener

warning(int, int, String, Object...) - Method in interface net.automatalib.serialization.taf.parser.TAFParseDiagnosticListener

Called when a warning is raised during parsing.

writeAny(FiniteAlphabetAutomaton<?, I, ?>, Appendable) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter

writeAny(Automaton<?, I, ?>, Collection<? extends I>, Appendable) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter

writeDFA(DFA<S, I>, Collection<? extends I>, Appendable) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter

writeDFA(DFA<?, I>, Collection<? extends I>, File) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter

writeMealy(MealyMachine<?, I, ?, ?>, Collection<? extends I>, File) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter

writeMealy(MealyMachine<?, I, ?, ?>, Collection<? extends I>, Appendable) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter

writeModel(OutputStream, DFA<?, String>, Alphabet<String>) - Method in class net.automatalib.serialization.taf.TAFSerializationDFA

writeModel(OutputStream, MealyMachine<?, String, ?, ?>, Alphabet<String>) - Method in class net.automatalib.serialization.taf.TAFSerializationMealy

C D E G M N P R T W