Package monq.jfa

Class FaToDot

java.lang.Object

monq.jfa.FaToDot

public final class FaToDot
extends Object

Contains a static function to output a finite automaton as a graph to be printed by the dot utility.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] argv)	Each command line argument is taken to be a regular expression which is added to a an NFA build up with NfaBuilder with a unique value.
static <T> void	print(String filename, NfaState<T> start, Set<NfaState<T>> lastStates)
static <T> void	xprint(String filename, Dfa<T> dfa)
static <T> void	xprint(String filename, NfaState<T> start, Set<NfaState<T>> lastStates)	Calls print(java.lang.String, monq.jfa.NfaState<T>, java.util.Set<monq.jfa.NfaState<T>>) and converts any IOException into a RuntimeException/

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

xprint

public static <T> void xprint(String filename,
 NfaState<T> start,
 Set<NfaState<T>> lastStates)

Calls print(java.lang.String, monq.jfa.NfaState<T>, java.util.Set<monq.jfa.NfaState<T>>) and converts any IOException into a RuntimeException/

xprint

public static <T> void xprint(String filename,
 Dfa<T> dfa)

print

public static <T> void print(String filename,
 NfaState<T> start,
 Set<NfaState<T>> lastStates)
                      throws IOException

Throws:

IOException

main

public static void main(String[] argv)
                 throws ReSyntaxException,
CompileDfaException

Each command line argument is taken to be a regular expression which is added to a an NFA build up with NfaBuilder with a unique value. The resulting NFA as well as the compiled Dfa are printed to standard output in the format suitable for dot.

Throws:

ReSyntaxException

CompileDfaException