JBool.cc File Reference

#include <iostream>
#include <iomanip>
#include "JLang/JBool.hh"
#include "JLang/JConversion.hh"
#include "Jeep/JParser.hh"
#include "Jeep/JMessage.hh"

Go to the source code of this file.

Macros
#define	C_OPERAND(OP, A, B)   OP< JBool<A>, JBool<B> >::value
	Operand macro. More...
#define	C_SWITCH(VALUE, A, B)   VALUE.c_switch<A,B>()
	Switch macro. More...

Functions
int	main (int argc, char **argv)

Detailed Description

Example program to test JLANG::JBool class. .

Author

mdejong

Definition in file JBool.cc.

Macro Definition Documentation

C_OPERAND

#define C_OPERAND	(		OP,
			A,
			B
	)		OP< JBool<A>, JBool<B> >::value

Operand macro.

Parameters

OP	logical operator
A	first value
B	second value

Returns

result

Definition at line 62 of file JBool.cc.

C_SWITCH

#define C_SWITCH	(		VALUE,
			A,
			B
	)		VALUE.c_switch<A,B>()

Switch macro.

The result equals first option if value true; else second option.

Parameters

VALUE	value
A	first option
B	second option

Returns

result

Definition at line 73 of file JBool.cc.

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 82 of file JBool.cc.

{
  using namespace std;
 
  int debug;
 
  try {
 
    JParser<> zap("Example program to test boolean algebra at compile time.");
 
    zap['d'] = make_field(debug)     = 3;
 
    zap(argc, argv);
  }
  catch(const exception &error) {
    FATAL(error.what() << endl);
  }
 
  using namespace JPP;
  
  const bool X = true;
  const bool Y = false;
 
  ASSERT(JBool<X>::value == true);
  ASSERT(JBool<Y>::value == false);
  
  ASSERT(C_OPERAND(AND, X, X) == true);
  ASSERT(C_OPERAND(AND, X, Y) == false);
  ASSERT(C_OPERAND(OR,  X, X) == true);
  ASSERT(C_OPERAND(OR,  Y, Y) == false);
  ASSERT(C_OPERAND(OR,  X, Y) == true);
  ASSERT(C_OPERAND(XOR, X, X) == false);
  ASSERT(C_OPERAND(XOR, X, Y) == true);
  
  ASSERT(invert(JBool<true>())  == false);
  ASSERT(invert(JBool<false>()) == true);
 
  JBool<true> option;
  
  ASSERT(C_SWITCH(option,X,Y));
  ASSERT(!C_SWITCH(option,Y,X));
 
  ASSERT(!C_SWITCH(option.c_not(),X,Y));
  ASSERT(C_SWITCH(option.c_not(),Y,X));
 
  return 0;
}