de.cau.cs.kieler.kies.transformation.test
Class TransformationRulesTest
java.lang.Object
de.cau.cs.kieler.kies.transformation.test.TransformationRulesTest
public class TransformationRulesTest
- extends Object
This JUnit tests serves as a kind of regression test for Esterel to SyncChart transformations. It
executes several tests taking an esterel file and an expected synccharts sematic model (kixs).
The esterel file is transformed and the resulting syncchart is compared to the expected one using
EMFCompare.
Keep in mind that this is a JUnit plugin test, hence it has its own workspace but the test files
are kept in the original workspace. For this reason you currently have to define your workspace
location relative to the junit workspace.
- Rating

Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TransformationRulesTest
public TransformationRulesTest()
setup
public void setup()
throws CoreException
- get the workspace root and open a project to work with.
- Throws:
CoreException
- if anything goes wrong creating the project.
testNothing
public void testNothing()
throws Exception
- Throws:
Exception
testHalt
public void testHalt()
throws Exception
- Throws:
Exception
testPause
public void testPause()
throws Exception
- Throws:
Exception
testAbort
public void testAbort()
throws Exception
- Throws:
Exception
testAssign
public void testAssign()
throws Exception
- Throws:
Exception
testDoupto
public void testDoupto()
throws Exception
- Throws:
Exception
testDowatching
public void testDowatching()
throws Exception
- Throws:
Exception
testEmit
public void testEmit()
throws Exception
- Throws:
Exception
testEvery
public void testEvery()
throws Exception
- Throws:
Exception
testIf
public void testIf()
throws Exception
- Throws:
Exception
testLocalsignal
public void testLocalsignal()
throws Exception
- Throws:
Exception
testLocalvariable
public void testLocalvariable()
throws Exception
- Throws:
Exception
testLoop
public void testLoop()
throws Exception
- Throws:
Exception
testLoopeach
public void testLoopeach()
throws Exception
- Throws:
Exception
testParallel
public void testParallel()
throws Exception
- Throws:
Exception
testPresent
public void testPresent()
throws Exception
- Throws:
Exception
testCall
public void testCall()
throws Exception
- Throws:
Exception
testSequence
public void testSequence()
throws Exception
- Throws:
Exception
testSuspend
public void testSuspend()
throws Exception
- Throws:
Exception
testSustain
public void testSustain()
throws Exception
- Throws:
Exception
testTrap
public void testTrap()
throws Exception
- Throws:
Exception
testExit
public void testExit()
throws Exception
- Throws:
Exception
testOptRule1
public void testOptRule1()
throws Exception
- Throws:
Exception
testOptRule2
public void testOptRule2()
throws Exception
- Throws:
Exception
testOptRule3
public void testOptRule3()
throws Exception
- Throws:
Exception
testOptRule4
public void testOptRule4()
throws Exception
- Throws:
Exception
testOptRule5
public void testOptRule5()
throws Exception
- Throws:
Exception
testOptRule6
public void testOptRule6()
throws Exception
- Throws:
Exception
testOptRule7
public void testOptRule7()
throws Exception
- Throws:
Exception
testOptRule8
public void testOptRule8()
throws Exception
- Throws:
Exception