Index (AutomataLib :: Serialization

C D E G M N P R T W
All Classes All Packages

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 - Static 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(File, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
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(String, 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(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(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() - 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.
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.
parseMealy(File, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
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(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

TAFFormatException - Exception in net.automatalib.serialization.taf.parser: Exception to signal fatal errors during parsing TAF inputs.
TAFFormatException(String) - Constructor for exception net.automatalib.serialization.taf.parser.TAFFormatException
TAFFormatException(String, Throwable) - Constructor for exception net.automatalib.serialization.taf.parser.TAFFormatException
TAFFormatException(Throwable) - Constructor for exception net.automatalib.serialization.taf.parser.TAFFormatException
TAFParseDiagnosticListener - Interface in net.automatalib.serialization.taf.parser: Diagnostic listener for non-fatal errors and warnings during parsing of a TAF file.
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(Automaton<?, I, ?>, Collection<? extends I>, Appendable) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter
writeAny(FiniteAlphabetAutomaton<?, 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
writeDFA(DFA<S, I>, Collection<? extends I>, Appendable) - 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
All Classes All Packages