void ParserTest::testMultipleProcedures()
{
Parser p;
std::string src;
src = "procedure main{\n"
" a = a + 2;}\n"
"procedure text1{\n"
" b = a * (2 + c);\n"
" c = c - 2;}"
"procedure text2{\n"
" while a{\n"
" d = d - 2;}\n"
" e = e + 1;\n"
" if a then {\n"
" h = h * (a * b);\n"
" b = b + 1;}\n"
" else{\n"
" c = b;\n"
" while z{\n"
" abc = xyz;\n"
" abc1 = xyz2 * xyz + h - y;}\n"
" a=abc1*2;}}";
p.setSource(src);
CPPUNIT_ASSERT_EQUAL(1, p.startParse());
PKB *pkb = p.getPKB();
// AST Test
AST *ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()) == PROCEDURE);
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()->getRightSibling()) == PROCEDURE);
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()->getRightSibling()->getFirstDescendant()->getFirstDescendant()) == WHILE);
// Parent Test to ensure insertion is correct.
CPPUNIT_ASSERT(!pkb->isParent(1, 9));
CPPUNIT_ASSERT(pkb->isParent(4, 5));
// Follow Test
CPPUNIT_ASSERT(!pkb->isFollows(1, 2));
CPPUNIT_ASSERT(!pkb->isFollows(3, 4));
CPPUNIT_ASSERT(pkb->isFollows(4, 6));
}
void TestAffects::TestgetAffecting() {
PKB pkb;
//bool insert1 = pkb.inserNext(1, 2);
//bool insert2 = pkb.inserNext(2, 3); //branch
//bool insert3 = pkb.inserNext(2, 4);
//bool insert4 = pkb.inserNext(3, 6);
//bool insert5 = pkb.inserNext(4, 5);
//bool insert6 = pkb.inserNext(6, 7);//join branch
//bool insert7 = pkb.inserNext(5, 7);
//test for isAffects (1, 4)
bool insertMod1 = pkb.insertModifies(1, 2);
bool insertUse1 = pkb.insertUses(4, 2);
//test for isAffects (2, 5)
insertMod1 = pkb.insertModifies(2, 2);
insertUse1 = pkb.insertUses(5, 2);
/*CPPUNIT_ASSERT(pkb.getAffecting(4, 4, true).empty());
CPPUNIT_ASSERT(pkb.getAffecting(5, 5, true).empty());*/
}
void SystemTest2::processUsesBasicTest(){
string source = "..\\..\\Tests\\TestAllSources1.txt";
Parser parser;
PKB pkb;
DesignExtractor designextractor;
parser.parse(source);
parser.buildPKB();
designextractor.buildPKB();
//int p = pkb.getProcIndex("p").at(0);
//int a = pkb.getProcIndex("a").at(0);
//int q = pkb.getProcIndex("q").at(0);
//int d = pkb.getProcIndex("d").at(0);
cout << "---------USE CHECK-----------";
//vector<int> usedvars = pkb.getUsedVarAtProc(p);
//for (int i = 0; i < usedvars.size(); i++){
// cout << pkb.getVarName(usedvars[i]);
//}
int Example = pkb.getProcIndex("Example").front();
cout << Example;
vector<int> usedProc = pkb.getUsedVarAtProc(Example);
cout << "size of usedProc";
cout << usedProc.size();
for (int i = 0; i < usedProc.size(); i++){
cout << pkb.getVarName(usedProc[i]);
}
}
void ParserTest::testCall(){
Parser p;
std::string src;
src = "procedure main{\n"
/*1*/ "a = c;"
/*2*/ "call test2;"
/*3*/ "a = d;}"
/**/ "procedure test2{\n"
/*4*/ "b = 1;}";
p.setSource(src);
CPPUNIT_ASSERT_EQUAL(1, p.startParse());
PKB *pkb = p.getPKB();
AST *ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()) == PROCEDURE);
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == CALL);
}
void TestAffects::TestisAffect() {
PKB pkb;
//bool insert1 = pkb.inserNext(1, 2);
//bool insert2 = pkb.inserNext(2, 3); //branch
//bool insert3 = pkb.inserNext(2, 4);
//bool insert4 = pkb.inserNext(3, 6);
//bool insert5 = pkb.inserNext(4, 5);
//bool insert6 = pkb.inserNext(6, 7);//join branch
//bool insert7 = pkb.inserNext(5, 7);
//test for isAffects (1, 4)
bool insertMod1 = pkb.insertModifies(1, 2);
bool insertUse1 = pkb.insertUses(4, 2);
//test for isAffects (2, 5)
insertMod1 = pkb.insertModifies(2, 2);
insertUse1 = pkb.insertUses(5, 2);
CPPUNIT_ASSERT(pkb.isAffect(1, 4));
CPPUNIT_ASSERT(pkb.isAffect(2, 5));
}
void SystemTest2::processUses() {
string source = "..\\..\\Tests\\TestDesignExtractorSource.txt";
Parser parser;
PKB pkb;
DesignExtractor designextractor;
parser.parse(source);
parser.buildPKB();
designextractor.buildPKB();
int A = pkb.getProcIndex("A").at(0);
int B = pkb.getProcIndex("B").at(0);
int C = pkb.getProcIndex("C").at(0);
int D = pkb.getProcIndex("D").at(0);
int E = pkb.getProcIndex("E").at(0);
int x = pkb.getVarIndex("x");
int a = pkb.getVarIndex("a");
int w = pkb.getVarIndex("w");
int c = pkb.getVarIndex("c");
int b = pkb.getVarIndex("b");
int k = pkb.getVarIndex("k");
int loops = pkb.getVarIndex("loops");
int newvar = pkb.getVarIndex("new");
int yes = pkb.getVarIndex("yes");
vector<int> usedvars = pkb.getUsedVarAtProc(A);
sort(usedvars.begin(), usedvars.end());
int vars[] = {x, a, w, c, b, k, loops, newvar, yes};
vector<int> expectedvars(vars, vars + sizeof(vars) / sizeof(int) );
sort(expectedvars.begin(), expectedvars.end());
CPPUNIT_ASSERT_EQUAL(expectedvars.at(0), usedvars.at(0));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(1), usedvars.at(1));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(2), usedvars.at(2));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(3), usedvars.at(3));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(4), usedvars.at(4));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(5), usedvars.at(5));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(6), usedvars.at(6));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(7), usedvars.at(7));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(8), usedvars.at(8));
usedvars = pkb.getUsedVarAtProc(B);
sort(usedvars.begin(), usedvars.end());
int vars2[] = { a, c, b, k, loops, newvar, yes};
vector<int> expectedvars2(vars2, vars2 + sizeof(vars2) / sizeof(int) );
sort(expectedvars2.begin(), expectedvars2.end());
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(0), usedvars.at(0));
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(1), usedvars.at(1));
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(2), usedvars.at(2));
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(3), usedvars.at(3));
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(4), usedvars.at(4));
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(5), usedvars.at(5));
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(6), usedvars.at(6));
usedvars = pkb.getUsedVarAtProc(C);
sort(usedvars.begin(), usedvars.end());
int vars3[] = { a, c, k, loops, yes};
vector<int> expectedvars3(vars3, vars3 + sizeof(vars3) / sizeof(int) );
sort(expectedvars3.begin(), expectedvars3.end());
CPPUNIT_ASSERT_EQUAL(expectedvars3.at(0), usedvars.at(0));
CPPUNIT_ASSERT_EQUAL(expectedvars3.at(1), usedvars.at(1));
CPPUNIT_ASSERT_EQUAL(expectedvars3.at(2), usedvars.at(2));
CPPUNIT_ASSERT_EQUAL(expectedvars3.at(3), usedvars.at(3));
CPPUNIT_ASSERT_EQUAL(expectedvars3.at(4), usedvars.at(4));
}
void SystemTest2::processModifyLoopProc() {
string source = "..\\..\\Tests\\TestDesignExtractorSource2.txt";
Parser parser;
PKB pkb;
DesignExtractor designextractor;
parser.parse(source);
parser.buildPKB();
designextractor.buildPKB();
int A = pkb.getProcIndex("A").at(0);
int B = pkb.getProcIndex("B").at(0);
int C = pkb.getProcIndex("C").at(0);
int D = pkb.getProcIndex("D").at(0);
int x = pkb.getVarIndex("x");
int a = pkb.getVarIndex("a");
int c = pkb.getVarIndex("c");
int k = pkb.getVarIndex("k");
int loops = pkb.getVarIndex("loops");
int j = pkb.getVarIndex("j");
int b = pkb.getVarIndex("b");
int fruit = pkb.getVarIndex("fruit");
CPPUNIT_ASSERT(pkb.isCalls(C, D));
CPPUNIT_ASSERT(pkb.isCalls(A, B));
CPPUNIT_ASSERT(pkb.isCalls(B, C));
CPPUNIT_ASSERT(pkb.isCalls(C, A));
CPPUNIT_ASSERT(pkb.isCallStar(A, B));
CPPUNIT_ASSERT(pkb.isCallStar(A, A));
CPPUNIT_ASSERT(pkb.isCallStar(A, D));
CPPUNIT_ASSERT(pkb.isCallStar(B, A));
vector<int> modifiedvars = pkb.getModifiedVarAtProc(A);
sort(modifiedvars.begin(), modifiedvars.end());
int vars[] = {x, a, c, k, loops, j, b, fruit};
vector<int> expectedvars(vars, vars + sizeof(vars) / sizeof(int) );
sort(expectedvars.begin(), expectedvars.end());
CPPUNIT_ASSERT_EQUAL(expectedvars.at(0), modifiedvars.at(0));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(1), modifiedvars.at(1));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(2), modifiedvars.at(2));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(3), modifiedvars.at(3));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(4), modifiedvars.at(4));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(5), modifiedvars.at(5));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(6), modifiedvars.at(6));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(7), modifiedvars.at(7));
modifiedvars = pkb.getModifiedVarAtProc(B);
sort(modifiedvars.begin(), modifiedvars.end());
CPPUNIT_ASSERT_EQUAL(expectedvars.at(0), modifiedvars.at(0));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(1), modifiedvars.at(1));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(2), modifiedvars.at(2));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(3), modifiedvars.at(3));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(4), modifiedvars.at(4));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(5), modifiedvars.at(5));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(6), modifiedvars.at(6));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(7), modifiedvars.at(7));
modifiedvars = pkb.getModifiedVarAtProc(C);
sort(modifiedvars.begin(), modifiedvars.end());
CPPUNIT_ASSERT_EQUAL(expectedvars.at(0), modifiedvars.at(0));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(1), modifiedvars.at(1));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(2), modifiedvars.at(2));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(3), modifiedvars.at(3));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(4), modifiedvars.at(4));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(5), modifiedvars.at(5));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(6), modifiedvars.at(6));
CPPUNIT_ASSERT_EQUAL(expectedvars.at(7), modifiedvars.at(7));
modifiedvars = pkb.getModifiedVarAtProc(D);
sort(modifiedvars.begin(), modifiedvars.end());
int vars2[] = {b, fruit};
vector<int> expectedvars2(vars2, vars2 + sizeof(vars2) / sizeof(int) );
sort(expectedvars2.begin(), expectedvars2.end());
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(0), modifiedvars.at(0));
CPPUNIT_ASSERT_EQUAL(expectedvars2.at(1), modifiedvars.at(1));
}
void ParserTest::testGetPKB(){
Parser p;
std::string src;
src = "procedure main{\n"
"a = y + 1 + 0 + x + b + a;\n"
"b = y;\n"
"b = x + y + 1 + u;\n"
"while a {\n"
"x = y; \n"
"hhhhh = 2;\n"
"while b { \n"
"k = 1; } }}\n";
p.setSource(src);
p.startParse();
PKB *pkb = p.getPKB();
// Test Procedure/ProcTable
CPPUNIT_ASSERT(pkb->getProcedure(1)->getProcName() == "main");
CPPUNIT_ASSERT_EQUAL(1,pkb->getProcedure(1)->getStartProgLine());
CPPUNIT_ASSERT_EQUAL(9,pkb->getProcedure(1)->getEndProgLine());
//Test Parent
PARENT_LIST parentList = pkb->getParent(0, 5);
PARENT_LIST::iterator parentItr = parentList.begin();
CPPUNIT_ASSERT(parentItr->first == 4);
parentList = pkb->getParent(0, 7);
parentItr = parentList.begin();
CPPUNIT_ASSERT(parentItr->first == 4);
//Test Follow
CPPUNIT_ASSERT_EQUAL(6, pkb->getFollows(0, 7).begin()->first);
CPPUNIT_ASSERT_EQUAL(1, pkb->getFollows(0, 2).begin()->first);
CPPUNIT_ASSERT_EQUAL(3, pkb->getFollows(2, 0).begin()->second);
CPPUNIT_ASSERT(pkb->getFollows(4, 0).empty() == true);
//Test VarTable
VAR_LIST varList = *pkb->getAllVar();
VAR_LIST::iterator varTableItr = varList.begin();
CPPUNIT_ASSERT(*(varTableItr++) == "a");
CPPUNIT_ASSERT(*(varTableItr++) == "y");
CPPUNIT_ASSERT(*(varTableItr++) == "hhhhh");
CPPUNIT_ASSERT(*(varTableItr++) == "x");
//Test Modifies
MODIFIES_LIST modifiesList = pkb->getModifies(PROCEDURE, 1, 0);
MODIFIES_LIST::iterator modifiesListItr = modifiesList.begin();
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "a");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "x");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "b");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "hhhhh");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "k");
//Test Modifies While LOOP
modifiesList = pkb->getModifies(WHILE, 4, 0);
modifiesListItr = modifiesList.begin();
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "x");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "hhhhh");
//Test Uses
USES_LIST useList = pkb->getUses(PROCEDURE, 1, 0);
CPPUNIT_ASSERT(useList.size() == 5);
//Test Uses WHILE LOOP
useList = pkb->getUses(WHILE, 4, 0);
CPPUNIT_ASSERT(useList.size() == 3);
// Test AST
AST *ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == PLUS);
ast = ast->getFirstDescendant()->getFirstDescendant()->getRightSibling();
CPPUNIT_ASSERT(pkb->getType(ast) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()->getRightSibling()) == WHILE);
ast = ast->getRightSibling()->getRightSibling();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getRightSibling()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == ASSIGNMENT);
ast = ast->getFirstDescendant()->getRightSibling()->getFirstDescendant();
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getRightSibling()->getRightSibling()) == WHILE);
}
void ParserTest::testOperators(){
Parser p;
std::string src;
src = "procedure main{\n"
"a = y;}\n";
p.setSource(src);
p.startParse();
PKB *pkb = p.getPKB();
AST *ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == VARIABLE);
src = "procedure main{\n"
"a = 1;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == CONSTANT);
src = "procedure main{\n"
"a = y*1;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == MULTIPLY);
src = "procedure main{\n"
"a = y+1;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == PLUS);
src = "procedure main{\n"
"a = y-1;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == MINUS);
src = "procedure main{\n"
"a = (y+1);}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == PLUS);
src = "procedure main{\n"
"a = (y-1);}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == MINUS);
src = "procedure main{\n"
"a = (y*1);}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == MULTIPLY);
src = "procedure main{\n"
"a = b + c * d;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == PLUS);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getVarName(pkb->getData(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()))=="b");
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == MULTIPLY);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getVarName(pkb->getData(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()))=="c");
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getVarName(pkb->getData(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()))=="d");
src = "procedure main{\n"
"a = b - c * d;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == MINUS);
src = "procedure main{\n"
"a = b * c + d;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == PLUS);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == MULTIPLY);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == VARIABLE);
src = "procedure main{\n"
"a = b * c - d;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == MINUS);
src = "procedure main{\n"
"a = (b + c) * d;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == MULTIPLY);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == PLUS);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == VARIABLE);
src = "procedure main{\n"
"a = (c + d) * (d * e) ;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == MULTIPLY);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == PLUS);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == MULTIPLY);
src = "procedure main{\n"
"a = b + c + d;}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == PLUS);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == PLUS);
src = "procedure main{\n"
"a = (b * c - d) * a + (t + e * f * e * g);}\n";
p.setSource(src);
p.startParse();
pkb = p.getPKB();
ast = pkb->getRootAST();
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == PLUS);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == MULTIPLY);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getFirstDescendant()) == MINUS);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()) == MULTIPLY);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == PLUS);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == MULTIPLY);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == MULTIPLY);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getFirstDescendant()) == MULTIPLY);
}
void ParserTest::testComplex(){
Parser p;
std::string src,src2;
src = " procedure xylo{\n"
/*1*/ " apple=apple + 1 + 3;\n"
/*2*/ " banana=apple+1-1;\n"
/*3*/ " carrot=apple;\n"
/*4*/ " banana=carrot*(egg+fish-apple);\n"
/*5*/ " donut=0;\n"
/*6*/ " egg=1;\n"
/*7*/ " fish=egg;\n"
/*8*/ " call yellow;\n"
/*9*/ " while apple{\n"
/*10*/ " while egg{\n"
/*11*/ " innard = 0;\n"
/*12*/ " while donut{\n"
/*13*/ " gummy=egg+1;}\n"
/*14*/ " while fish{\n"
/*15*/ " gummy=0;\n"
/*16*/ " while innard{\n"
/*17*/ " fish=innard;}}\n"
/*18*/ " ham=gummy;}\n"
/*19*/ " gummy=apple+9;}\n"
/*20*/ " apple=11;\n"
/*21*/ " if innard then{\n"
/*22*/ " jam=apple;}\n"
/**/ " else{\n"
/*23*/ " jam=gummy;\n"
/*24*/ " if egg then{\n"
/*25*/ " gummy=33;}\n"
" else{\n"
/*26*/ " gummy=99;}}}\n"
/**/ "procedure yellow{\n"
/*27*/ " kimchi = 88;\n"
/*28*/ " leek=0;\n"
/*29*/ " while leek{\n"
/*30*/ " kimchi=kimchi+1-3;}\n"
/*31*/ " call zebra;\n"
/*32*/ " apple=kimchi;\n"
/*33*/ " jam=egg+2;}"
/**/ " procedure zebra{\n"
/*34*/ " meat=1;\n"
/*35*/ " banana=meat+10;\n"
/*36*/ " if meat then{\n"
/*37*/ " carrot=banana+22;}\n"
/**/ " else{\n"
/*38*/ " carrot=banana;}\n"
/*39*/ " apple=1;\n"
/*40*/ " kimchi=apple+10;\n"
/*41*/ " call extra;}";
/*string line;
ifstream file("simple30.txt");
if(file.is_open()){
while(file.good()){
getline(file, line);
src2+= line + "\n";
}
file.close();
}*/
p.setSource(src);
CPPUNIT_ASSERT_EQUAL(1, p.startParse());
PKB *pkb = p.getPKB();
AST *ast = pkb->getRootAST();
DesignExtractor *de = new DesignExtractor(pkb);
// Test Expected Result Size
CPPUNIT_ASSERT(de->getParentStarResult(STATEMENT, STATEMENT).size() == 33);
CPPUNIT_ASSERT(de->getFollowsStarResult(STATEMENT, STATEMENT).size() == 94);
CPPUNIT_ASSERT(de->getNextStarResult(STATEMENT, STATEMENT).size() == 21);
CPPUNIT_ASSERT(de->getAffectStarResult(STATEMENT, STATEMENT).size() == 0);
CPPUNIT_ASSERT(pkb->getVarTableSize() == 13);
CPPUNIT_ASSERT(pkb->getProceTableSize() == 3);
CPPUNIT_ASSERT(pkb->getConstantTableSize() == 11);
CPPUNIT_ASSERT(pkb->getIfSize() == 3);
CPPUNIT_ASSERT(pkb->getWhileTableSize() == 6);
}
void ParserTest::testIf()
{
Parser p;
std::string src;
// Follows(2, 3), Follows(4, 5)
//cout << "Start=====\n";
src = "procedure test1{\n"
/*1*/ "if b then {"
/*2*/ "a = c;"
/*3*/ "a = d;}"
/**/ "else{"
/*4*/ "c = d;"
/*5*/ "e = d;}}";
p.setSource(src);
CPPUNIT_ASSERT_EQUAL(1, p.startParse());
PKB *pkb = p.getPKB();
CPPUNIT_ASSERT(pkb->isFollows(1, 2) == false);
CPPUNIT_ASSERT(pkb->isFollows(1, 3) == false);
CPPUNIT_ASSERT(pkb->isFollows(2, 3) == true);
CPPUNIT_ASSERT(pkb->isFollows(4, 5) == true);
CPPUNIT_ASSERT(pkb->isFollows(2, 4) == false);
CPPUNIT_ASSERT(pkb->isFollows(2, 5) == false);
CPPUNIT_ASSERT(pkb->isFollows(2, 6) == false);
CPPUNIT_ASSERT(pkb->isFollows(3, 4) == false);
CPPUNIT_ASSERT(pkb->isFollows(4, 6) == false);
// Test Uses and Modifies for if
MODIFIES_LIST modifiesList = pkb->getModifies(IF, 1, 0);
MODIFIES_LIST::iterator modifiesListItr = modifiesList.begin();
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "a");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "c");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "e");
USES_LIST useList = pkb->getUses(IF, 1, 0);
USES_LIST::iterator usesListItr = useList.begin();
CPPUNIT_ASSERT( pkb->getVarName((usesListItr++->second)) == "b");
CPPUNIT_ASSERT( pkb->getVarName((usesListItr++->second)) == "c");
CPPUNIT_ASSERT( pkb->getVarName((usesListItr++->second)) == "d");
// Follows(2, 3), Follows(3, 4), Follows(7, 8), Follows(1, 9)
// Parent(1, 2) (1, 3), (1, 4), (4, 5), (4, 6), (1, 7), (1, 8)
src = "procedure test2{\n"
/*1*/ "if b then {"
/*2*/ "a = c;"
/*3*/ "a = d;"
/*4*/ "if b then{"
/*5*/ "a = 1;}"
/**/ "else{"
/*6*/ "b = 1;}}"
/**/ "else{"
/*7*/ "c = d;"
/*8*/ "e = d;}"
/*9*/ "z = y;}";
p.setSource(src);
CPPUNIT_ASSERT_EQUAL(1, p.startParse());
pkb = p.getPKB();
CPPUNIT_ASSERT(pkb->isFollows(2, 3) == true);
CPPUNIT_ASSERT(pkb->isFollows(3, 4) == true);
CPPUNIT_ASSERT(pkb->isFollows(7, 8) == true);
CPPUNIT_ASSERT(pkb->isFollows(1, 9) == true);
CPPUNIT_ASSERT(pkb->isFollows(1, 8) == false);
CPPUNIT_ASSERT(pkb->isFollows(1, 2) == false);
CPPUNIT_ASSERT(pkb->isFollows(1, 4) == false);
CPPUNIT_ASSERT(pkb->isParent(1, 2) == true);
CPPUNIT_ASSERT(pkb->isParent(1, 3) == true);
CPPUNIT_ASSERT(pkb->isParent(1, 4) == true);
CPPUNIT_ASSERT(pkb->isParent(4, 5) == true);
CPPUNIT_ASSERT(pkb->isParent(4, 6) == true);
CPPUNIT_ASSERT(pkb->isParent(1, 7) == true);
CPPUNIT_ASSERT(pkb->isParent(1, 8) == true);
CPPUNIT_ASSERT(pkb->isParent(1, 9) == false);
// Test Uses and Modifies for if
modifiesList = pkb->getModifies(IF, 1, 0);
modifiesListItr = modifiesList.begin();
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "b");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "a");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "c");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "e");
modifiesList = pkb->getModifies(IF, 4, 0);
modifiesListItr = modifiesList.begin();
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "b");
CPPUNIT_ASSERT( pkb->getVarName((modifiesListItr++->second)) == "a");
useList = pkb->getUses(IF, 1, 0);
usesListItr = useList.begin();
CPPUNIT_ASSERT( pkb->getVarName((usesListItr++->second)) == "b");
CPPUNIT_ASSERT( pkb->getVarName((usesListItr++->second)) == "c");
CPPUNIT_ASSERT( pkb->getVarName((usesListItr++->second)) == "d");
// varindex 7 is variable y
CPPUNIT_ASSERT(pkb->isUses(IF, 1, 7) == false);
// Follows(1, 2), Follows(3, 4), Follows(5, 6), Follows(2, 7)
src = "procedure test3{\n"
"a = y;"
"if b then {"
"a = c;"
"a = d;}"
"else{"
"c = d;"
"e = d;}"
"a = 1;}";
p.setSource(src);
CPPUNIT_ASSERT_EQUAL(1, p.startParse());
pkb = p.getPKB();
// Test Follows, Parent
CPPUNIT_ASSERT(pkb->isFollows(1, 2) == true);
CPPUNIT_ASSERT(pkb->isFollows(3, 4) == true);
CPPUNIT_ASSERT(pkb->isFollows(5, 6) == true);
CPPUNIT_ASSERT(pkb->isFollows(2, 7) == true);
CPPUNIT_ASSERT(pkb->isFollows(1, 3) == false);
CPPUNIT_ASSERT(pkb->isFollows(1, 4) == false);
CPPUNIT_ASSERT(pkb->isFollows(1, 5) == false);
CPPUNIT_ASSERT(pkb->isFollows(1, 6) == false);
CPPUNIT_ASSERT(pkb->isParent(2, 3) == true);
CPPUNIT_ASSERT(pkb->isParent(2, 4) == true);
CPPUNIT_ASSERT(pkb->isParent(2, 5) == true);
CPPUNIT_ASSERT(pkb->isParent(2, 6) == true);
CPPUNIT_ASSERT(pkb->isParent(2, 7) == false);
// Test AST
AST *ast = pkb->getRootAST();
CPPUNIT_ASSERT(ast->getRootData() == 1);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getRightSibling()) == IF);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == VARIABLE);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getFirstDescendant()) == ASSIGNMENT);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getRightSibling()) == STMT_LIST);
CPPUNIT_ASSERT(pkb->getType(ast->getFirstDescendant()->getFirstDescendant()->getRightSibling()->getFirstDescendant()->getRightSibling()->getRightSibling()->getFirstDescendant()) == ASSIGNMENT);
}
