test.argutia.logic
Class PropositionalVariableTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by test.argutia.logic.PropositionalVariableTest
All Implemented Interfaces:
Test
public class PropositionalVariableTest
extends TestCase

Test de la classe PropositionalVariable.

Author:
Geoffroy AUBRY
Constructor Summary
PropositionalVariableTest(String name)
          Construit un test de la classe PropositionalVariable.
 
Method Summary
protected void setUp()
          
 void testGetOppose()
          Test method for PropositionalVariable.getOppose().
 void testGetOrNew()
          Test method for PropositionalVariable.getOrNew(String).
 void testIsSyntaxValid()
          Test method for PropositionalVariable.isSyntaxValid(String).
 
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

PropositionalVariableTest

public PropositionalVariableTest(String name)
Construit un test de la classe PropositionalVariable.

Parameters:
name - nom du test.
Method Detail

setUp

protected void setUp()
              throws Exception

Overrides:
setUp in class TestCase
Throws:
Exception

testGetOppose

public void testGetOppose()
Test method for PropositionalVariable.getOppose().

testGetOrNew

public void testGetOrNew()
Test method for PropositionalVariable.getOrNew(String).

testIsSyntaxValid

public void testIsSyntaxValid()
Test method for PropositionalVariable.isSyntaxValid(String).

Argutia JavaDoc
23 décembre 2007