#include <db/DfaTest.h>
Definition at line 7 of file DfaTest.h.
Public Member Functions | |
int | countTestCases () const |
DfaTest (std::string name) | |
virtual void | registerTests (CppUnit::TestSuite *suite) |
void | setUp () |
void | tearDown () |
void | testMeetInt () |
void | testMeetPointer () |
void | testMeetSize () |
void | testMeetUnion () |
|
|
|
Definition at line 42 of file DfaTest.cpp. |
|
Definition at line 35 of file DfaTest.cpp. References MYTEST, testMeetInt(), testMeetPointer(), testMeetSize(), and testMeetUnion(). |
|
Definition at line 52 of file DfaTest.cpp. |
|
Definition at line 62 of file DfaTest.cpp. |
|
Definition at line 69 of file DfaTest.cpp. References IntegerType::meetWith(), and IntegerType::setSigned(). Referenced by registerTests(). |
|
Definition at line 207 of file DfaTest.cpp. References Type::getCtype(), PointerType::getCtype(), and PointerType::meetWith(). Referenced by registerTests(). |
|
Definition at line 159 of file DfaTest.cpp. References Boomerang::get(), SizeType::meetWith(), and Boomerang::setLogger(). Referenced by registerTests(). |
|
Definition at line 246 of file DfaTest.cpp. References UnionType::addType(), Type::getCtype(), UnionType::getCtype(), and UnionType::meetWith(). Referenced by registerTests(). |