src/test/java/de/dfki/lt/loot/fsa/TestCharFsa.java
@Test
  public void testCharacterSets()
      throws IOException {

    String testRegExp = "[a-c]";
    // create automaton and determine it
    CharFsa automaton = CharFsa.compileRegex(testRegExp);
    CharFsa detAutomaton = automaton.determinize();
    // write automatons as .gif images
    //writeGraphs(automaton, detAutomaton, "04");
    // check automatons
    assertEquals(2, automaton.getNumberOfActiveVertices());
    assertEquals(2, detAutomaton.getNumberOfActiveVertices());
  }
/**
   * Tests automaton creation for a regular expression with character sets.
   *
   * @throws IOException
   *           if conversion to .gif images fails
   */
Tests automaton creation for a regular expression with character sets.

@throws IOException
if conversion to .gif images fails
Tests automaton creation for a regular expression with character sets . @throws IOException if conversion to . gif images fails
@Test
  public void testCharacterSets()
      throws IOException {
    String testRegExp = "[a-c]";
    CharFsa automaton = CharFsa.compileRegex(testRegExp);
    CharFsa detAutomaton = automaton.determinize();
    assertEquals(2, automaton.getNumberOfActiveVertices());
    assertEquals(2, detAutomaton.getNumberOfActiveVertices());
  }
@ Test public void testCharacterSets ( ) throws IOException { String testRegExp = "[a-c]" ; CharFsa automaton = CharFsa . compileRegex ( testRegExp ) ; CharFsa detAutomaton = automaton . determinize ( ) ; assertEquals ( 2 , automaton . getNumberOfActiveVertices ( ) ) ; assertEquals ( 2 , detAutomaton . getNumberOfActiveVertices ( ) ) ; }
Tests automaton creation for a regular expression with character sets.
Tests automaton creation for a regular expression with character sets .
// create automaton and determine it
 // write automatons as .gif images
 //writeGraphs(automaton, detAutomaton, "04");
 // check automatons
