A C D I L M N R S T U

A

accepts(String) - Method in class DFA

Determines whether given string is accepted or rejected by this DFA.

acceptStates() - Method in class DFA

Retrieves the set of accept states.

alphabet() - Method in class DFA

Retrieves the alphabet of this DFA.

assignmentStatementDFATest() - Static method in class DFANonJUnitTest

Construct and test a simple assignment statement checker.

assignmentStatementDFATest() - Method in class DFATest

Construct and test a simple assignment statement checker.

astar_bDFATest() - Static method in class DFANonJUnitTest

Construct and test a string validator for regular expression a*b.

astar_bDFATest() - Method in class DFATest

Constructs and tests a string validator for regular expression a*b.

astar_c_abstar_c_cstarDFATest() - Static method in class DFANonJUnitTest

Construct and test a string validator for regular expression a*c(ab)*cc*.

astar_c_abstar_c_cstarDFATest() - Method in class DFATest

Construct and test a string validator for regular expression a*c(ab)*cc*.

astarDFATest() - Method in class DFATest

Constructs and tests a string validator for regular expression a* over the alphabet {a, b}.

C

constructAndAccessTests() - Method in class StateTest

Construction and accessor tests.

counter() - Method in class State

Retrieves the activity counter of this state.

counterTests() - Method in class StateTest

Activity counter tests.

D

DFA - Class in <Unnamed>

Java implementation of deterministic finite state automata.

DFA(Set<State>, Set<String>, Map<State, Map<String, State>>, State, Set<State>) - Constructor for class DFA

Fully parameterized constructor for DFA objects.

DFANonJUnitTest - Class in <Unnamed>

Standalone unit tests for the DFA class.

DFATest - Class in <Unnamed>

Tests for the DFA class using JUnit.

DFATest() - Constructor for class DFATest

I

increment() - Method in class State

Increments the activity counter of this state.

initialState() - Method in class DFA

Retrieves the initial state of this DFA, if any.

L

label() - Method in class State

Retrieves the label of this state.

M

main(String[]) - Static method in class DFANonJUnitTest

Driver for unit tests of DFA.

N

name() - Method in class State

Retrieves the name of this state.

nextState(State, String) - Method in class DFA

Lookup transition for specified state and input.

R

regexMatch(String, String) - Static method in class DFATest

Determines if java.util.regex identifies the entire input string as matching the given regular expression.

reset() - Method in class State

Resets the activity counter of this state to 0.

S

State - Class in <Unnamed>

State for a DFA.

State(String, String) - Constructor for class State

Constructs a state with the specified name and label.

states() - Method in class DFA

Retrieves the set of all states.

StateTest - Class in <Unnamed>

Basic tests for class State using JUnit.

StateTest() - Constructor for class StateTest

T

transitionFunction() - Method in class DFA

Retrieves the transition function of this DFA.

U

utilregexTests() - Method in class DFATest

Tests using java.util.regex for comparison.

A C D I L M N R S T U