monq.jfa

Class FaToDot

java.lang.Object

monq.jfa.FaToDot

public class FaToDot
extends java.lang.Object

contains a static function to output a finite automaton as a graph to be printed by the fine dot utility. The static print below could as well have gone into Nfa, but I did not want to clutter that class anymore.

Author:

© 2003,2004 Harald Kirsch

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] argv) each command line argument is taken to be a regular expression which is added to a Nfa with a unique action.
static void	print(java.io.PrintStream out, monq.jfa.FaState start, monq.jfa.FaState last) prints a finite automaton in a format suitable for dot.
static java.lang.String	printable(char ch)

Methods inherited from class java.lang.Object

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

Method Detail

printable

public static java.lang.String printable(char ch)

print

public static void print(java.io.PrintStream out,
                         monq.jfa.FaState start,
                         monq.jfa.FaState last)

prints a finite automaton in a format suitable for dot. This function is not really for public consumption as it is not easy to get hold of the start state of an Nfa or Dfa. Rather use Nfa.toDot(java.io.PrintStream) and Dfa.toDot(java.io.PrintStream) to call this function.

main

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

each command line argument is taken to be a regular expression which is added to a Nfa with a unique action. The resulting Nfa as well as the compiled Dfa are printed to standard output in the format suitable for dot.

Throws:

ReSyntaxException

CompileDfaException