de.cau.cs.kieler.synccharts.text.actions.bridge.test
Class ParserSerializerTest

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.text.actions.bridge.test.ParserSerializerTest

public class ParserSerializerTest
extends Object

JUnit Test Case for the SyncCharts Editor Transition label parser and its serializer.

Rating yellow
(2010-01-19) proposed by haf

Constructor Summary
ParserSerializerTest()
           
 
Method Summary
 void setUpParserAndSerializer()
          Initialize the parser and serializer.
 void setUpSyncChart()
          Create a simple SyncChart, one root state machine and two states connected by one transition.
 void testParser1()
          A JUnit test for the Labelparser.
 void testParser2()
          A JUnit test for the Labelparser.
 void testParser3()
           
 void testParserFloat()
          A JUnit test for the Labelparser.
 void testParserInvalid()
          A JUnit test for the Labelparser.
 void testSerializerA1()
          A JUnit test for the Labelparser.
 void testSerializerA2()
          A JUnit test for the Labelparser.
 void testSerializerA3()
          A JUnit test for the Labelparser.
 void testSerializerAndNot()
          A JUnit test for the Labelparser.
 void testSerializerAndNot2()
          A JUnit test for the Labelparser.
 void testSerializerAndOr()
          A JUnit test for the Labelparser.
 void testSerializerAndOr2()
          A JUnit test for the Labelparser.
 void testSerializerAssignment()
          A JUnit test for the Labelparser.
 void testSerializerAssignmentBoolean()
          A JUnit test for the Labelparser.
 void testSerializerBoolean()
          A JUnit test for the Labelparser.
 void testSerializerBoolExpressionAllEffects()
          A JUnit test for the Labelparser.
 void testSerializerComparison()
          A JUnit test for the Labelparser.
 void testSerializerComparison2()
          A JUnit test for the Labelparser.
 void testSerializerComparison3()
          A JUnit test for the Labelparser.
 void testSerializerComparisonValue()
          A JUnit test for the Labelparser.
 void testSerializerCtr1()
          A JUnit test for the Labelparser.
 void testSerializerCtr2()
          A JUnit test for the Labelparser.
 void testSerializerCtr3()
          A JUnit test for the Labelparser.
 void testSerializerCtr4()
          A JUnit test for the Labelparser.
 void testSerializerDelayComparison()
          A JUnit test for the Labelparser.
 void testSerializerDelayedBoth()
          A JUnit test for the Labelparser.
 void testSerializerDelayedConst()
          A JUnit test for the Labelparser.
 void testSerializerDelayedEffect()
          A JUnit test for the Labelparser.
 void testSerializerDelayedPlain()
          A JUnit test for the Labelparser.
 void testSerializerDelayedTrigger()
          A JUnit test for the Labelparser.
 void testSerializerDiv()
          A JUnit test for the Labelparser.
 void testSerializerEmission()
          A JUnit test for the Labelparser.
 void testSerializerEmissionBoolean()
          A JUnit test for the Labelparser.
 void testSerializerEmissionComplexValue()
           
 void testSerializerEmissionValue()
          A JUnit test for the Labelparser.
 void testSerializerFloat()
          A JUnit test for the Labelparser.
 void testSerializerHostCode()
          A JUnit test for the Labelparser.
 void testSerializerHostCodeEverywhere()
          A JUnit test for the Labelparser.
 void testSerializerHostCodeType()
          A JUnit test for the Labelparser.
 void testSerializerImmediate()
          A JUnit test for the Labelparser.
 void testSerializerImmediateSimple()
          A JUnit test for the Labelparser.
 void testSerializerMult()
          A JUnit test for the Labelparser.
 void testSerializerMultDiv()
          A JUnit test for the Labelparser.
 void testSerializerNotNot()
          A JUnit test for the Labelparser.
 void testSerializerNotPre()
          A JUnit test for the Labelparser.
 void testSerializerPlus()
          A JUnit test for the Labelparser.
 void testSerializerPlusDiv()
          A JUnit test for the Labelparser.
 void testSerializerPlusMult()
          A JUnit test for the Labelparser.
 void testSerializerPre()
          A JUnit test for the Labelparser.
 void testSerializerValue()
          A JUnit test for the Labelparser.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ParserSerializerTest

public ParserSerializerTest()
Method Detail

setUpSyncChart

public void setUpSyncChart()
                    throws Exception
Create a simple SyncChart, one root state machine and two states connected by one transition. The transition will then be tested.

Throws:
Exception - Something failed

setUpParserAndSerializer

public void setUpParserAndSerializer()
                              throws Exception
Initialize the parser and serializer.

Throws:
Exception - Something failed

testParser1

public void testParser1()
                 throws KielerModelException,
                        IOException
A JUnit test for the Labelparser.

Throws:
KielerException - if parsing failed
IOException - internal parser error
KielerModelException

testParser2

public void testParser2()
                 throws KielerModelException,
                        IOException
A JUnit test for the Labelparser.

Throws:
KielerException - if parsing failed
IOException - internal parser error
KielerModelException

testParser3

public void testParser3()
                 throws KielerModelException,
                        IOException
Throws:
KielerModelException
IOException

testParserInvalid

public void testParserInvalid()
                       throws KielerModelException,
                              IOException
A JUnit test for the Labelparser.

Throws:
KielerException - if parsing failed
IOException - internal parser error
KielerModelException

testSerializerA1

public void testSerializerA1()
                      throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerA2

public void testSerializerA2()
                      throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerA3

public void testSerializerA3()
                      throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerEmission

public void testSerializerEmission()
                            throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerComparison

public void testSerializerComparison()
                              throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerComparison2

public void testSerializerComparison2()
                               throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerComparison3

public void testSerializerComparison3()
                               throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerComparisonValue

public void testSerializerComparisonValue()
                                   throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerValue

public void testSerializerValue()
                         throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerEmissionValue

public void testSerializerEmissionValue()
                                 throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerEmissionComplexValue

public void testSerializerEmissionComplexValue()
                                        throws Exception
Throws:
Exception

testSerializerEmissionBoolean

public void testSerializerEmissionBoolean()
                                   throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerHostCode

public void testSerializerHostCode()
                            throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerHostCodeType

public void testSerializerHostCodeType()
                                throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerHostCodeEverywhere

public void testSerializerHostCodeEverywhere()
                                      throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerAssignment

public void testSerializerAssignment()
                              throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerAssignmentBoolean

public void testSerializerAssignmentBoolean()
                                     throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerBoolExpressionAllEffects

public void testSerializerBoolExpressionAllEffects()
                                            throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerImmediate

public void testSerializerImmediate()
                             throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerImmediateSimple

public void testSerializerImmediateSimple()
                                   throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerDelayedPlain

public void testSerializerDelayedPlain()
                                throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerDelayedConst

public void testSerializerDelayedConst()
                                throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerDelayedTrigger

public void testSerializerDelayedTrigger()
                                  throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerDelayedEffect

public void testSerializerDelayedEffect()
                                 throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerDelayedBoth

public void testSerializerDelayedBoth()
                               throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerDelayComparison

public void testSerializerDelayComparison()
                                   throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerAndOr

public void testSerializerAndOr()
                         throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerAndOr2

public void testSerializerAndOr2()
                          throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerAndNot

public void testSerializerAndNot()
                          throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerAndNot2

public void testSerializerAndNot2()
                           throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerPlus

public void testSerializerPlus()
                        throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerMult

public void testSerializerMult()
                        throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerDiv

public void testSerializerDiv()
                       throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerPlusMult

public void testSerializerPlusMult()
                            throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerPlusDiv

public void testSerializerPlusDiv()
                           throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerMultDiv

public void testSerializerMultDiv()
                           throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerPre

public void testSerializerPre()
                       throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerNotPre

public void testSerializerNotPre()
                          throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerNotNot

public void testSerializerNotNot()
                          throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerCtr1

public void testSerializerCtr1()
                        throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerCtr2

public void testSerializerCtr2()
                        throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerCtr3

public void testSerializerCtr3()
                        throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerCtr4

public void testSerializerCtr4()
                        throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testParserFloat

public void testParserFloat()
                     throws Exception
A JUnit test for the Labelparser. Parses only as floats will be transformed into a normal form internally. (see next test case)

Throws:
Exception - if parsing fails

testSerializerFloat

public void testSerializerFloat()
                         throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails

testSerializerBoolean

public void testSerializerBoolean()
                           throws Exception
A JUnit test for the Labelparser.

Throws:
Exception - if parsing fails