/***************************************
	Auteur : Pierre Aubert
	Mail : aubertp7@gmail.com
	Licence : CeCILL-C
****************************************/

// To get the generated parser
#include "PTestOperatorParserFull.h"

using namespace std;

///Test the conversion of and add expression into a string
/**	@return true on success, false otherwise
*/
bool testExprAddToString(){
	PExpr varA = PExpr_default();
	PExpr_setType(varA, PExprType::VAR);
	PExpr_setVarName(varA, "a");
	
	PExpr varB = PExpr_default();
	PExpr_setType(varB, PExprType::VAR);
	PExpr_setVarName(varB, "b");
	
	PExpr exprAdd = PExpr_default();
	PExpr_setType(exprAdd, PExprType::ADD);
	
	PExpr_getVecOperand(exprAdd).push_back(varA);
	PExpr_getVecOperand(exprAdd).push_back(varB);
	
	std::string exprStr = gExprVarName(exprAdd);
	std::cout << "testExprAddToString : exprAdd = '"<<exprStr<<"'" << std::endl;
// 	std::cout << "testExprAddToString : exprAdd ok example :"<< std::endl;
// 	exprAdd.print();
	
	return exprStr == "(a+b)";
}

///Test the conversion of and add expression into a string
/**	@return true on success, false otherwise
*/
bool testExprAdd2ToString(){
	PExpr varA = PExpr_default();
	PExpr_setType(varA, PExprType::VAR);
	PExpr_setVarName(varA, "a");
	
	PExpr varB = PExpr_default();
	PExpr_setType(varB, PExprType::VAR);
	PExpr_setVarName(varB, "b");
	
	PExpr exprAddAB = PExpr_default();
	PExpr_setType(exprAddAB, PExprType::ADD);
	
	PExpr_getVecOperand(exprAddAB).push_back(varA);
	PExpr_getVecOperand(exprAddAB).push_back(varB);
	
	PExpr varC = PExpr_default();
	PExpr_setType(varC, PExprType::VAR);
	PExpr_setVarName(varC, "c");
	
	PExpr exprAdd = PExpr_default();
	PExpr_setType(exprAdd, PExprType::ADD);
	
	PExpr_getVecOperand(exprAdd).push_back(exprAddAB);
	PExpr_getVecOperand(exprAdd).push_back(varC);
	
	std::string exprStr = gExprVarName(exprAdd);
	std::cout << "testExprAdd2ToString : exprAdd = '"<<exprStr<<"'" << std::endl;
	
	return exprStr == "((a+b)+c)";
}

///Test the conversion of and add expression into a string
/**	@return true on success, false otherwise
*/
bool testExprAdd3ToString(){
	PExpr varA = PExpr_default();
	PExpr_setType(varA, PExprType::VAR);
	PExpr_setVarName(varA, "a");
	
	PExpr varB = PExpr_default();
	PExpr_setType(varB, PExprType::VAR);
	PExpr_setVarName(varB, "b");
	
	PExpr exprAddAB = PExpr_default();
	PExpr_setType(exprAddAB, PExprType::ADD);
	
	PExpr_getVecOperand(exprAddAB).push_back(varA);
	PExpr_getVecOperand(exprAddAB).push_back(varB);
	
	PExpr varC = PExpr_default();
	PExpr_setType(varC, PExprType::VAR);
	PExpr_setVarName(varC, "c");
	
	PExpr varD = PExpr_default();
	PExpr_setType(varD, PExprType::VAR);
	PExpr_setVarName(varD, "d");
	
	PExpr exprAddCD = PExpr_default();
	PExpr_setType(exprAddCD, PExprType::ADD);
	
	PExpr_getVecOperand(exprAddCD).push_back(varC);
	PExpr_getVecOperand(exprAddCD).push_back(varD);
	
	PExpr exprAdd = PExpr_default();
	PExpr_setType(exprAdd, PExprType::ADD);
	
	PExpr_getVecOperand(exprAdd).push_back(exprAddAB);
	PExpr_getVecOperand(exprAdd).push_back(exprAddCD);
	
	std::string exprStr = gExprVarName(exprAdd);
	std::cout << "testExprAdd3ToString : exprAdd = '"<<exprStr<<"'" << std::endl;
	
	return exprStr == "((a+b)+(c+d))";
}

int main(int argc, char** argv){
	bool b(testExprAddToString());
	b &= testExprAdd2ToString();
	b &= testExprAdd3ToString();
	
	if(b){return 0;}
	else{return -1;}
}