de.cau.cs.kieler.kies.test
Class TestEsterelGrammar

java.lang.Object
  extended by de.cau.cs.kieler.kies.test.TestEsterelGrammar

public class TestEsterelGrammar
extends Object

JUnit test for the esterel grammar. Test all available files in the test/ folder. Mark tests that are supposed to succeed with a leading "test-", those that are supposed to fail with a "fail-". For those which should fail give information about the expected failure reason in a ".out" file with the same name.

Rating red

Constructor Summary
TestEsterelGrammar()
           
 
Method Summary
static void main(String[] args)
           
 void setup()
          Set up.
 void testFailFiles()
          tests all available files that are supposed to fail.
 void testSuccFiles()
          test all available files which are supposed to be successful.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TestEsterelGrammar

public TestEsterelGrammar()
Method Detail

setup

public void setup()
Set up. Create injector, read all available testfiles.


testSuccFiles

public void testSuccFiles()
                   throws Exception
test all available files which are supposed to be successful.

Throws:
Exception - if at least one test failed.

testFailFiles

public void testFailFiles()
                   throws Exception
tests all available files that are supposed to fail. If they do not fail the expected error is printed. (stored in .out files)

Throws:
Exception - if at least one test succeeds.

main

public static void main(String[] args)