org.firej.dfa.automaton
Class DFAutomaton

java.lang.Object
  extended by org.firej.dfa.AbstractDFA
      extended by org.firej.dfa.automaton.DFAutomaton
All Implemented Interfaces:
DFA

public class DFAutomaton
extends AbstractDFA

DFA implementation class for Automaton library (dk.brics.automaton.*)

Author:
Vassilios Karakoidas (bkarak@aueb.gr)

Constructor Summary
DFAutomaton(Automaton automaton)
           
 
Method Summary
 void addState(State s)
           
 State getInitialState()
           
 State[] getStates()
           
 void saveDot(java.lang.String filename)
           
 java.lang.String toDot()
           
 
Methods inherited from class org.firej.dfa.AbstractDFA
toDot
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DFAutomaton

public DFAutomaton(Automaton automaton)
Method Detail

getStates

public State[] getStates()
Specified by:
getStates in interface DFA
Specified by:
getStates in class AbstractDFA

toDot

public java.lang.String toDot()
Specified by:
toDot in interface DFA
Specified by:
toDot in class AbstractDFA

saveDot

public void saveDot(java.lang.String filename)
Specified by:
saveDot in interface DFA
Overrides:
saveDot in class AbstractDFA

getInitialState

public State getInitialState()
Specified by:
getInitialState in interface DFA
Specified by:
getInitialState in class AbstractDFA

addState

public void addState(State s)
Specified by:
addState in interface DFA
Specified by:
addState in class AbstractDFA