C D E G M N P R T W
All Classes All Packages
All Classes All Packages
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
All Classes All Packages