fr.jussieu.gla.wasa.core.junit
Class InconsistencyDetectionTest

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--fr.jussieu.gla.wasa.core.junit.InconsistencyDetectionTest

All Implemented Interfaces:

junit.framework.Test

public class InconsistencyDetectionTest

extends junit.framework.TestCase

Tests for Engine's detection of incorrect states or inconsistencies.

Version:

$Revision: 1.4 $ $Date: 2002/03/29 18:46:33 $

Author:

Laurent Caillette

Constructor Summary

InconsistencyDetectionTest(java.lang.String name)

Method Summary

static void	main(java.lang.String[] args)
void	setUp()
static junit.framework.Test	suite()
void	testCrashDetection()
void	testCrashedAfterNoConstraintApplied()
void	testNoConstraint()
void	testNoConstraintApplied()
void	testNoVar()
void	testTabuListResizeAttempt()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, name, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assert, assert, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertNotNull, assertNotNull, 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

InconsistencyDetectionTest

public InconsistencyDetectionTest(java.lang.String name)

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testNoVar

public void testNoVar()

testNoConstraint

public void testNoConstraint()

testNoConstraintApplied

public void testNoConstraintApplied()

testCrashedAfterNoConstraintApplied

public void testCrashedAfterNoConstraintApplied()

testCrashDetection

public void testCrashDetection()

testTabuListResizeAttempt

public void testTabuListResizeAttempt()

suite

public static junit.framework.Test suite()

main

public static void main(java.lang.String[] args)