RSS 1.0 XML Feed available

Tags: c++, qt, testing

But First, Some Philosophy...

hoist::codeplace

void myFunction() {
   codeplace cp = HERE;
   cout << "file is " << cp.getFilename() << endl;
   cout << "line is " << cp.getLine() << endl;
   cout << "uuid is " << cp.getUuid().toString() << endl;
}

void myFunction() {
   codeplace cp = PLACE("cRBhRW1wQ+ZJk+22SUv4Lg");
   cout << "file is " << cp.getFilename() << endl;
   cout << "line is " << cp.getLine() << endl;
   cout << "uuid is " << cp.getUuid().toString() << endl;
}

hoist::hopefully

int x = 0;

bool wasZeroBeforeIncrement() {
   // returns if x is equal to zero
   // also increments x
   return x++ > 0;
}

int main() {
   assert(wasZeroBeforeIncrement());
   // ^^-- should be true
   
   float ratio = 42 / x;
   // ^^-- ratio is 42.0 in debug build
   // ...but divides by zero in release build!
   
   return 0;
}

int x = 5;
hopefully(x == 10, PLACE("cRBhRW1wQ+ZJk+22SUv4Lg"));
// ^^-- this will signal an alert

hoist::tracked< type >

tracked< int > trackMe (0, HERE); 
// ^^-- last assign line #11

trackMe.hopefullyEqualTo(0, HERE); 
// ^^-- akin to "hopefully(trackMe == 0, HERE)"
// since it is 0 this triggers no alert

trackMe.hopefullyNotEqualTo(5 - 5, HERE); 
// ^^-- uh, it is zero. indicates line 11 as culprit
 
trackMe.assign(1, HERE); 
// ^^-- resets last assignment to line 21

trackMe.guarantee(1, HERE); 
// ^^-- no need to update last assign location
// ...because it is already 1!

trackMe.hopefullyNotEqualTo(1, HERE);
// ^^-- indicates line #21

at line 18 in foo.cpp:
(temporary id: "cRBhRW1wQ+ZJk+22SUv4Lg")

did not expect value to be 0

last assignment was at line 11 in foo.cpp
(temporary id: "kgKowEAAZB+AAAAAAAASNw")

class Foo {
    private:
        int x;
    friend QTextStream& operator<< (QTextStream& o, const Foo& foo);
};

inline QTextStream& operator<< (QTextStream& o, const Foo& foo)
{
    o << "Foo(" << foo.x << ")";
    return o;
}

hoist::stacked< type >

stacked< int >::manager mgr;

void myFunction();

int main() {
   // at the beginning, nothing on stack...
   hopefully(mgr.getStack().empty(), HERE);

   // put ten on current thread's stack in mgr...
   stacked< int > ten (10, mgr, HERE);

   cout << "before: " << mgr.getStack().front() << endl;
   // ^^-- prints 10

   myFunction();

   cout << "after: " << mgr.getStack().front() << endl;
   // ^^-- prints 10 again!

   return 0;
}

void myFunction() {
   cout << "start: " << mgr.getStack().front() << endl;
   // ^^-- prints 10

   // put 20 on current thread's stack in mgr
   stacked< int > twenty (20, mgr, HERE);

   cout << "end: " << mgr.getStack().front() << endl;
   // ^^-- prints 20
}

hoist::listed< type >

listed< int >::manager mgr;
listed< int > five (mgr, 5, HERE);

if (true) {
    listed< int > ten (mgr, 10, HERE);

    cout << "Inner list" << endl;
    QList< tracked< int > > listInner (mgr.getList());
    foreach (tracked< int > trackMe, listInner) {
        trackMe.hopefullyInSet(5, 10, HERE);
        cout << ti << endl;
    }
    // ^^-- prints 5 and 10

    // now the ten instance goes out of scope
}

cout << "Outer list" << endl;
QList< tracked< int > > listOuter (mgr.getList());
foreach (tracked< int > trackMe, listOuter) {
    trackMe.hopefullyEqualTo(5, HERE);
    cout << ti << endl;
}
// ^^-- prints 5 only

hoist::mapped< type >

mapped< char, int >::manager mgr;
mapped< char, int > aToFive (mgr, 'a', 5, HERE);

if (true) {
    mapped< char, int > bToTen (mgr, 'b', 10, HERE);

    cout << "Inner map" << endl;
    QMap< char, tracked< int > > mapInner (mgr.getMap());
    QMapIterator< char, tracked< int > > iter;
    while (iter.hasNext()) {
        iter.next();
        cout << iter.key() << ", " << iter.value() << endl();
    }
    // ^^-- prints a, 5 and b, 10

    // now the bToTen instance goes out of scope
}

cout << "Outer map" << endl;
QMap< char, tracked< int > > mapOuter (mgr.getMap());
QMapIterator< char, tracked< int > > iter;
while (iter.hasNext()) {
    iter.next();
     cout << iter.key() << ", " << iter.value() << endl();
}
// ^^-- prints a, 5 only

hoist::hopefully_cast< type >(data)

int sv = -1;
unsigned uv = hopefully_cast< unsigned >(sv, HERE);
// ^^-- FAIL and indicate this codeplace

class A { int i; }
class B { bool b; }
A a;
B* b = hopefully_cast< B* >(&a, HERE);
// ^^-- FAIL and indicate this codeplace

tracked< bool > debugEvents (true, HERE);
unsigned numKeyPresses = 0;

void MyWidget::keyPressEvent(QKeyEvent* event) {
    chronicle(debugEvents, "Key press received", HERE);
    if (debugEvents) {
        numKeyPresses++;
    }
}