org.designwizard.test.design
Class RedBarTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.designwizard.test.design.RedBarTest
All Implemented Interfaces:
junit.framework.Test

public class RedBarTest
extends junit.framework.TestCase

This class is a test composition class. I made some tests that must be executed to show to programmers that their source code have some undesirable feature in Design.

Author:
Jo�o Arthur Brunet Monteiro - joaoarthur@gmail.com - Grupo de M�todos Formais (GMF)

Constructor Summary
RedBarTest()
           
 
Method Summary
protected  void setUp()
          Creates a new DesignWizard.
 void testDesign()
          Tests structural features from software source code.
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RedBarTest

public RedBarTest()
Method Detail

setUp

protected void setUp()
              throws java.io.IOException
Creates a new DesignWizard.

Overrides:
setUp in class junit.framework.TestCase
Throws:
java.io.IOException

testDesign

public void testDesign()
                throws InexistentEntityException
Tests structural features from software source code.

Throws:
InexistentEntityException