Technical facts

Application type(s)

Desktop application

Operating system(s) or programming environment(s)

Lubuntu 15.04 (vivid)

IDE(s):

Qt Creator 3.1.1

Project type:

GUI application

C++ standard:

C++11

Compiler(s):

G++ 4.9.2

Libraries used:

Qt: version 5.4.1 (32 bit)
STL: GNU ISO C++ Library, version 4.9.2

Qt project file: ./CppBoostTriboolExample1/CppBoostTriboolExample1.pro


exists (../../ConsoleApplication.pri) {

  include(../../ConsoleApplication.pri)

}

!exists (../../ConsoleApplication.pri) {

  QT += core

  QT += gui

  CONFIG   += console

  CONFIG   -= app_bundle

  TEMPLATE = app

  CONFIG(release, debug|release) {

    DEFINES += NDEBUG NTRACE_BILDERBIKKEL

  }



  QMAKE_CXXFLAGS += -std=c++11 -Wall -Wextra -Weffc++



  unix {

    QMAKE_CXXFLAGS += -Werror

  }

}



exists(../../Libraries/Boost.pri) {

  include(../../Libraries/Boost.pri)

}

!exists(../../Libraries/Boost.pri) {

  win32 {

    INCLUDEPATH += \

      ../../Libraries/boost_1_54_0

  }

}



SOURCES += main.cpp

./CppBoostTriboolExample1/main.cpp


#include <cassert>

#pragma GCC diagnostic push

#pragma GCC diagnostic ignored "-Weffc++"

#pragma GCC diagnostic ignored "-Wunused-but-set-parameter"

#pragma GCC diagnostic ignored "-Wunused-local-typedefs"

#include <boost/logic/tribool.hpp>

#pragma GCC diagnostic pop





int main()

{

  const boost::logic::tribool t { true };

  const boost::logic::tribool f { false };

  const boost::logic::tribool i { boost::logic::indeterminate };



  /* WILL FAIL

  assert(t);

  assert(!f);

  assert(t == t);

  assert(f == f);

  assert(i == i);

  assert(t != f);

  assert(f != i);

  assert(i != t);

  assert(t != i);

  assert(f != t);

  assert(i != f);

  assert(t == true);

  assert(f == false);

  assert(i == boost::logic::indeterminate);

  assert(t != false);

  assert(f != boost::logic::indeterminate);

  assert(i != true);

  assert(t != boost::logic::indeterminate);

  assert(f != true);

  assert(i != false);

  assert(t == boost::logic::tribool::true_value);

  assert(f == boost::logic::tribool::false_value);

  assert(i == boost::logic::tribool::indeterminate_value);

  */



  assert(boost::logic::indeterminate(i));

  if ( t) { /* OK */ } else { assert(!"Should not get here"); }

  if (!t) { assert(!"Should not get here"); } else { /* OK */ }

  if (!f) { /* OK */ } else { assert(!"Should not get here"); }

  if ( f) { assert(!"Should not get here"); } else { /* OK */ }

  if ( boost::logic::indeterminate(i)) { /* OK */ } else { assert(!"Should not get here"); }

  if (!boost::logic::indeterminate(t)) { /* OK */ } else { assert(!"Should not get here"); }

  if (!boost::logic::indeterminate(f)) { /* OK */ } else { assert(!"Should not get here"); }

}

Go back to Richel Bilderbeek's C++ page.

Go back to Richel Bilderbeek's homepage.

This page has been created by the tool CodeToHtml

(C++) BoostTriboolExample1

Technical facts

Qt project file: ./CppBoostTriboolExample1/CppBoostTriboolExample1.pro

./CppBoostTriboolExample1/main.cpp