cz.cuni.amis.fsm
Class FSMDotPrinter

java.lang.Object
  cz.cuni.amis.fsm.FSMDotPrinter

public class FSMDotPrinter
extends java.lang.Object

Printer creating a Graphviz .dot file from the instantiated FSM.

Constructor Summary

FSMDotPrinter()

Method Summary

static void	main(java.lang.String[] args)
static void	print(java.lang.Class<IFSMState> initialStateClass, java.io.OutputStream out, java.lang.String graphName)
static void	print(FSM fsm, java.io.OutputStream out, java.lang.String graphName) Print the FSM in a Graphviz .dot format.
protected static void	printUsage()

Methods inherited from class java.lang.Object

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

Constructor Detail

FSMDotPrinter

public FSMDotPrinter()

Method Detail

print

public static void print(FSM fsm,
                         java.io.OutputStream out,
                         java.lang.String graphName)

Print the FSM in a Graphviz .dot format.

Parameters:

fsm - FSM to print

out - output stream where the dot will be printed

graphName - name of the FSM graph

print

public static void print(java.lang.Class<IFSMState> initialStateClass,
                         java.io.OutputStream out,
                         java.lang.String graphName)

printUsage

protected static void printUsage()

main

public static void main(java.lang.String[] args)
                 throws java.io.FileNotFoundException,
                        java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException