AutoFuzzMain
Class GuiFASBuilder

java.lang.Object
  AutoFuzzMain.GuiFASBuilder

public class GuiFASBuilder
extends java.lang.Object

Constructor Summary

GuiFASBuilder()

Method Summary

void	drawFSA(FSAutomaton inputAutomaton, javax.swing.JPanel panel) Draws a finite automaton on the specified jpanel

Methods inherited from class java.lang.Object

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

Constructor Detail

GuiFASBuilder

public GuiFASBuilder()

Method Detail

drawFSA

public void drawFSA(FSAutomaton inputAutomaton,
                    javax.swing.JPanel panel)

Draws a finite automaton on the specified jpanel

Parameters:

inputAutomaton - The FSM to be drawn

panel - JPanel on which to draw