C++ (Cpp) TypeChecker::getDTable Examples

Example #1

File: QueryParser.cpp Project: ptryfon/loxim-stats

	/** TypeChecker testing... */
	int QueryParser::testTypeCheck(TreeNode *qTree) {
		Signature *lSig = new SigAtomType("string");
		Signature *rSig = new SigAtomType("string");
		TypeChecker *tc = new TypeCheck::TypeChecker(qTree);
		DecisionTable *dt = tc->getDTable(DTable::ALG, AlgOpNode::plus);

		cout << "gotDTable(alg, plus);" << endl;
		TypeCheckResult tcRes;
		int intTCRes = dt->getResult(tcRes, lSig, rSig);
		cout << "getResult int res: " << intTCRes << endl;
		cout << "tcres:\n" << tcRes.printAllInfo() << endl;

		return 0;
	}