Package monq.jfa
Class FaToDot
java.lang.Object
monq.jfa.FaToDot
Contains a static function to output a finite automaton as a graph
to be printed by the dot utility.
-
Method Summary
Modifier and TypeMethodDescriptionstatic voidEach command line argument is taken to be a regular expression which is added to a an NFA build up withNfaBuilderwith a unique value.static <T> voidstatic <T> voidstatic <T> voidCallsprint(java.lang.String, monq.jfa.NfaState<T>, java.util.Set<monq.jfa.NfaState<T>>)and converts anyIOExceptioninto aRuntimeException/
-
Method Details
-
xprint
Callsprint(java.lang.String, monq.jfa.NfaState<T>, java.util.Set<monq.jfa.NfaState<T>>)and converts anyIOExceptioninto aRuntimeException/ -
xprint
-
print
public static <T> void print(String filename, NfaState<T> start, Set<NfaState<T>> lastStates) throws IOException - Throws:
IOException
-
main
Each command line argument is taken to be a regular expression which is added to a an NFA build up withNfaBuilderwith a unique value. The resulting NFA as well as the compiled Dfa are printed to standard output in the format suitable fordot.- Throws:
ReSyntaxExceptionCompileDfaException
-