Clasp::Test::LiteralTest Class Reference

List of all members.

Public Member Functions
	LiteralTest ()
void	testAntecedentAssumptions ()
void	testAntecedentBin ()
void	testAntecedentNullPointer ()
void	testAntecedentPointer ()
void	testAntecedentTern ()
void	testComplement ()
void	testComplementIsNotWatched ()
void	testCtor ()
void	testEquality ()
void	testFromIndex ()
void	testIndex ()
void	testIndexIgnoresWatchedFlag ()
void	testLess ()
void	testValue ()
void	testWatchedFlag ()
void	testWatchedFlagCopy ()
Private Member Functions
	CPPUNIT_TEST (testCtor)
	CPPUNIT_TEST (testIndex)
	CPPUNIT_TEST (testIndexIgnoresWatchedFlag)
	CPPUNIT_TEST (testFromIndex)
	CPPUNIT_TEST (testWatchedFlag)
	CPPUNIT_TEST (testWatchedFlagCopy)
	CPPUNIT_TEST (testComplement)
	CPPUNIT_TEST (testComplementIsNotWatched)
	CPPUNIT_TEST (testEquality)
	CPPUNIT_TEST (testValue)
	CPPUNIT_TEST (testLess)
	CPPUNIT_TEST (testAntecedentAssumptions)
	CPPUNIT_TEST (testAntecedentNullPointer)
	CPPUNIT_TEST (testAntecedentPointer)
	CPPUNIT_TEST (testAntecedentBin)
	CPPUNIT_TEST (testAntecedentTern)
	CPPUNIT_TEST_SUITE (LiteralTest)
	CPPUNIT_TEST_SUITE_END ()
bool	testBin (const Literal &p)
bool	testTern (const Literal &p, const Literal &q)
Private Attributes
Literal	max
Literal	mid
Literal	min

---

Detailed Description

Definition at line 25 of file literal_test.cpp.

---

Constructor & Destructor Documentation

Clasp::Test::LiteralTest::LiteralTest

(

)

[inline]

Definition at line 46 of file literal_test.cpp.

---

Member Function Documentation

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testCtor

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testIndex

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testIndexIgnoresWatchedFlag

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testFromIndex

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testWatchedFlag

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testWatchedFlagCopy

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testComplement

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testComplementIsNotWatched

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testEquality

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testValue

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testLess

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testAntecedentAssumptions

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testAntecedentNullPointer

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testAntecedentPointer

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testAntecedentBin

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST

(

testAntecedentTern

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST_SUITE

(

LiteralTest

)

[private]

Clasp::Test::LiteralTest::CPPUNIT_TEST_SUITE_END

(

)

[private]

void Clasp::Test::LiteralTest::testAntecedentAssumptions

(

)

[inline]

Definition at line 151 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testAntecedentBin

(

)

[inline]

Definition at line 177 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testAntecedentNullPointer

(

)

[inline]

Definition at line 155 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testAntecedentPointer

(

)

[inline]

Definition at line 162 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testAntecedentTern

(

)

[inline]

Definition at line 183 of file literal_test.cpp.

bool Clasp::Test::LiteralTest::testBin

(

const Literal &

p

)

[inline, private]

Definition at line 196 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testComplement

(

)

[inline]

Definition at line 106 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testComplementIsNotWatched

(

)

[inline]

Definition at line 114 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testCtor

(

)

[inline]

Definition at line 49 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testEquality

(

)

[inline]

Definition at line 121 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testFromIndex

(

)

[inline]

Definition at line 88 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testIndex

(

)

[inline]

Definition at line 65 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testIndexIgnoresWatchedFlag

(

)

[inline]

Definition at line 83 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testLess

(

)

[inline]

Definition at line 137 of file literal_test.cpp.

bool Clasp::Test::LiteralTest::testTern	(	const Literal &	p,
		const Literal &	q
	)		[inline, private]

Definition at line 208 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testValue

(

)

[inline]

Definition at line 130 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testWatchedFlag

(

)

[inline]

Definition at line 93 of file literal_test.cpp.

void Clasp::Test::LiteralTest::testWatchedFlagCopy

(

)

[inline]

Definition at line 100 of file literal_test.cpp.

---

Member Data Documentation

Literal Clasp::Test::LiteralTest::max [private]

Definition at line 195 of file literal_test.cpp.

Literal Clasp::Test::LiteralTest::mid [private]

Definition at line 195 of file literal_test.cpp.

Literal Clasp::Test::LiteralTest::min [private]

Definition at line 195 of file literal_test.cpp.

---

The documentation for this class was generated from the following file:

• literal_test.cpp