|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--junit.framework.Assert | +--junit.framework.TestCase | +--gate.fsm.TestFSM
JUnit style test code for the gate.fsm package. Unfortunatley it doesn't actually do any testing because of the difficulty to test this kind of stuff. However the main() method runs a visual test that will print the graphs (deterministic and nod-~) resulted form parsing a Jape file. The real functionality of this package is tested in the jape package that make extensive use of the services provided by his package.
Constructor Summary | |
TestFSM(String name)
Construction |
Method Summary | |
void |
graphTest()
Will try to parse a .jape file and display the graphs resulted. |
static void |
main(String[] args)
runs the graphical test |
void |
setUp()
|
static void |
showGraph(String title,
String gml)
Opens anew window containing the visual representation of a FSM and having a given title |
static junit.framework.Test |
suite()
Test suite routine for the test runner |
void |
tearDown()
|
void |
testOne()
Does some kind of a test that verifies whether parsing the jape file results in a graph. |
Methods inherited from class junit.framework.TestCase |
countTestCases, name, run, run, runBare, toString |
Methods inherited from class junit.framework.Assert |
assert, assert, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertNotNull, assertNotNull, assertNull, assertNull, assertSame, assertSame, fail, fail |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public TestFSM(String name)
Method Detail |
public void setUp() throws JapeException, IOException, GateException
public void tearDown()
public void testOne()
public void graphTest() throws IOException, EDU.auburn.VGJ.graph.ParseError
public static void showGraph(String title, String gml) throws IOException, EDU.auburn.VGJ.graph.ParseError
public static void main(String[] args)
public static junit.framework.Test suite()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |