Node * NodeBinaryOpCompare::buildOperatorOverloadFuncCallNode() { Token identTok; TokenType opTokType = Token::getTokenTypeFromString(getName()); assert(opTokType != TOK_LAST_ONE); Token opTok(opTokType, getNodeLocation(), 0); u32 opolId = Token::getOperatorOverloadFullNameId(opTok, &m_state); if(opolId == 0) { std::ostringstream msg; msg << "Overload for operator <" << getName(); msg << "> is not supported as operand for class: "; msg << m_state.getUlamTypeNameBriefByIndex(m_nodeLeft->getNodeType()).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), ERR); return NULL; } identTok.init(TOK_IDENTIFIER, getNodeLocation(), opolId); //may need to negate the opposite comparison, if this one isn't defined (t41109) UTI luti = m_nodeLeft->getNodeType(); SymbolClass * csym = NULL; AssertBool isDefined = m_state.alreadyDefinedSymbolClass(luti, csym); assert(isDefined); NodeBlockClass * memberClassNode = csym->getClassBlockNode(); assert(memberClassNode); //e.g. forgot the closing brace on quark definition assert(m_state.okUTItoContinue(memberClassNode->getNodeType())); //set up compiler state to use the member class block for symbol searches m_state.pushClassContextUsingMemberClassBlock(memberClassNode); Symbol * fnsymptr = NULL; bool hazyKin = false; //unused bool useInverseOp = false; if(!m_state.isFuncIdInClassScope(opolId, fnsymptr, hazyKin)) { //try inverse! const char * invopname = getInverseOpName(); if(!invopname) return NULL; //built-in error msg opTokType = Token::getTokenTypeFromString(invopname); assert(opTokType != TOK_LAST_ONE); opTok.init(opTokType, getNodeLocation(), 0); opolId = Token::getOperatorOverloadFullNameId(opTok, &m_state); assert(opolId != 0); if(!m_state.isFuncIdInClassScope(opolId, fnsymptr, hazyKin)) { std::ostringstream msg; msg << "Overload for operator <" << getName(); msg << "> and its inverse <" << invopname; msg << "> are not supported as operand for class: "; msg << m_state.getUlamTypeNameBriefByIndex(luti).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), ERR); return NULL; } else //continue with a bang { std::ostringstream msg; msg << "Using overload operator <" << getName(); msg << ">'s negated inverse <" << invopname; msg << "> operator for class: "; msg << m_state.getUlamTypeNameBriefByIndex(luti).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), DEBUG); useInverseOp = true; } } //else continue without a bang //clear up compiler state to no longer use the member class block for symbol searches m_state.popClassContext(); identTok.init(TOK_IDENTIFIER, getNodeLocation(), opolId); //fill in func symbol during type labeling; NodeFunctionCall * fcallNode = new NodeFunctionCall(identTok, NULL, m_state); assert(fcallNode); fcallNode->setNodeLocation(identTok.m_locator); fcallNode->addArgument(m_nodeRight); Node * rnode = fcallNode; if(useInverseOp) { rnode = new NodeUnaryOpBang(fcallNode, m_state); rnode->setNodeLocation(identTok.m_locator); } NodeMemberSelect * mselectNode = new NodeMemberSelect(m_nodeLeft, rnode, m_state); assert(mselectNode); mselectNode->setNodeLocation(identTok.m_locator); //redo check and type labeling done by caller!! return mselectNode; //replace right node with new branch } //buildOperatorOverloadFuncCallNode
// replaces NodeVarDecl:printPostfix to learn the values of Class' storage in center site void SymbolVariableDataMember::printPostfixValuesOfVariableDeclarations(File * fp, s32 slot, u32 startpos, ULAMCLASSTYPE classtype) { UTI vuti = getUlamTypeIdx(); UlamKeyTypeSignature vkey = m_state.getUlamKeyTypeSignatureByIndex(vuti); UlamType * vut = m_state.getUlamTypeByIndex(vuti); ULAMCLASSTYPE vclasstype = vut->getUlamClassType(); ULAMTYPE vetyp = vut->getUlamTypeEnum(); fp->write(" "); if(vclasstype == UC_NOTACLASS) fp->write(vkey.getUlamKeyTypeSignatureNameAndBitSize(&m_state).c_str()); else fp->write(vut->getUlamTypeNameBrief().c_str()); fp->write(" "); fp->write(m_state.m_pool.getDataAsString(getId()).c_str()); s32 arraysize = m_state.getArraySize(vuti); //scalar has 'size=1'; empty array [0] is still '0'. s32 size = (arraysize > NONARRAYSIZE ? arraysize : 1); //output the arraysize (optional), and open paren if(arraysize > NONARRAYSIZE) { fp->write("["); fp->write_decimal(arraysize); fp->write("]"); } else if(arraysize == UNKNOWNSIZE) { fp->write("[UNKNOWN]"); } fp->write("("); if(vclasstype == UC_QUARK) { //outputs the data members, not just the lump value (e.g. SWV::printPostfixValue()) UTI scalarquark = m_state.getUlamTypeAsScalar(vuti); //printPostfixValuesForClass: SymbolClass * csym = NULL; AssertBool isDefined = m_state.alreadyDefinedSymbolClass(scalarquark, csym); assert(isDefined); NodeBlockClass * classNode = csym->getClassBlockNode(); assert(classNode); u32 newstartpos = startpos + getPosOffset(); s32 len = vut->getBitSize(); for(s32 i = 0; i < size; i++) classNode->printPostfixDataMembersSymbols(fp, slot, newstartpos + len * i, vclasstype); } else { PACKFIT packFit = m_state.determinePackable(vuti); assert(WritePacked(packFit)); //has to be to fit in an atom/site; char * valstr = new char[size * 8 + MAXBITSPERLONG]; //was 32 if(size > 0) { //build the string of values (for both scalar and packed array) UlamValue arrayPtr = UlamValue::makePtr(slot, EVENTWINDOW, vuti, packFit, m_state, startpos + getPosOffset(), getId()); UlamValue nextPtr = UlamValue::makeScalarPtr(arrayPtr, m_state); UlamValue atval = m_state.getPtrTarget(nextPtr); s32 len = m_state.getBitSize(vuti); if(len == UNKNOWNSIZE) { sprintf(valstr,"unknown"); for(s32 i = 1; i < size; i++) { strcat(valstr,", unknown"); } } else if(len <= MAXBITSPERINT) { u32 data = atval.getDataFromAtom(nextPtr, m_state); vut->getDataAsString(data, valstr, 'z'); //'z' -> no preceeding ',' if(vetyp == Unsigned || vetyp == Unary) strcat(valstr, "u"); for(s32 i = 1; i < size; i++) { char tmpstr[8]; AssertBool isNext = nextPtr.incrementPtr(m_state); assert(isNext); atval = m_state.getPtrTarget(nextPtr); data = atval.getDataFromAtom(nextPtr, m_state); vut->getDataAsString(data, tmpstr, ','); if(vetyp == Unsigned || vetyp == Unary) strcat(tmpstr, "u"); strcat(valstr,tmpstr); } } else if(len <= MAXBITSPERLONG) { u64 data = atval.getDataLongFromAtom(nextPtr, m_state); vut->getDataLongAsString(data, valstr, 'z'); //'z' -> no preceeding ',' if(vetyp == Unsigned || vetyp == Unary) strcat(valstr, "u"); for(s32 i = 1; i < size; i++) { char tmpstr[8]; AssertBool isNext = nextPtr.incrementPtr(m_state); assert(isNext); atval = m_state.getPtrTarget(nextPtr); data = atval.getDataLongFromAtom(nextPtr, m_state); vut->getDataLongAsString(data, tmpstr, ','); if(vetyp == Unsigned || vetyp == Unary) strcat(tmpstr, "u"); strcat(valstr,tmpstr); } } else assert(0); } //end arrays > 0, and scalar else { sprintf(valstr," "); } fp->write(valstr); //results out here! delete [] valstr; } //not a quark fp->write("); "); } //printPostfixValuesOfVariableDeclarations
UTI NodeMemberSelect::checkAndLabelType() { assert(m_nodeLeft && m_nodeRight); UTI luti = m_nodeLeft->checkAndLabelType(); //side-effect TBOOL lstor = m_nodeLeft->getStoreIntoAble(); if(lstor != TBOOL_TRUE) { //e.g. funcCall is not storeintoable even if its return value is. std::ostringstream msg; msg << "Member selected must be a valid lefthand side: '"; msg << m_nodeLeft->getName(); msg << "' requires a variable; may be a casted function call"; if(lstor == TBOOL_HAZY) { MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), WAIT); setNodeType(Hzy); m_state.setGoAgain(); return Hzy; } else { MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), ERR); setNodeType(Nav); return Nav; } } //done if(!m_state.isComplete(luti)) { std::ostringstream msg; msg << "Member selected is incomplete class: "; msg << m_state.getUlamTypeNameBriefByIndex(luti).c_str(); msg << ", check and label fails this time around"; if(luti == Nav) { MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), ERR); setNodeType(Nav); } else { MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), WAIT); setNodeType(Hzy); m_state.setGoAgain(); //since no error msg } return getNodeType(); } //done UlamType * lut = m_state.getUlamTypeByIndex(luti); ULAMCLASSTYPE classtype = lut->getUlamClassType(); if(((classtype == UC_NOTACLASS) && (lut->getUlamTypeEnum() != Holder)) || !lut->isScalar()) { // must be a scalar 'Class' type, (e.g. error/t3815) // doesn't complete checkandlabel for rhs (e.g. funccall is NULL, no eval) std::ostringstream msg; msg << "Member selected must be a Class, not type: "; msg << m_state.getUlamTypeNameBriefByIndex(luti).c_str(); if(classtype != UC_NOTACLASS) msg << "[" << lut->getArraySize() << "]"; if(m_state.isAtom(luti)) msg << "; suggest using a Conditional-As"; MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), ERR); setNodeType(Nav); return Nav; } //done std::string className = m_state.getUlamTypeNameBriefByIndex(luti); //help me debug SymbolClass * csym = NULL; AssertBool isDefined = m_state.alreadyDefinedSymbolClass(luti, csym); assert(isDefined); NodeBlockClass * memberClassNode = csym->getClassBlockNode(); assert(memberClassNode); //e.g. forgot the closing brace on quark definition assert(m_state.okUTItoContinue(memberClassNode->getNodeType())); //t41010 //set up compiler state to use the member class block for symbol searches m_state.pushClassContextUsingMemberClassBlock(memberClassNode); UTI rightType = m_nodeRight->checkAndLabelType(); //clear up compiler state to no longer use the member class block for symbol searches m_state.popClassContext(); setNodeType(rightType); //set Nav if error (t3513) if(m_state.okUTItoContinue(rightType)) { //based on righthand side Node::setStoreIntoAble(m_nodeRight->getStoreIntoAble()); //base reference-ability on righthand side (t41085) Node::setReferenceAble(m_nodeRight->getReferenceAble()); } return getNodeType(); } //checkAndLabelType
bool NodeTypeDescriptorSelect::resolveType(UTI& rtnuti) { bool rtnb = false; if(isReadyType()) { rtnuti = getNodeType(); return true; } // we are in a "chain" of type selects.. assert(m_nodeSelect); UTI seluti = m_nodeSelect->checkAndLabelType(); if(m_nodeSelect->isReadyType()) { UlamType * selut = m_state.getUlamTypeByIndex(seluti); ULAMTYPE seletype = selut->getUlamTypeEnum(); if(seletype == Class) { SymbolClass * csym = NULL; assert(m_state.alreadyDefinedSymbolClass(seluti, csym)); m_state.pushClassContext(seluti, csym->getClassBlockNode(), csym->getClassBlockNode(), false, NULL); // find our id in the "selected" class, must be a typedef at top level Symbol * asymptr = NULL; if(m_state.alreadyDefinedSymbol(m_typeTok.m_dataindex, asymptr)) { if(asymptr->isTypedef()) { UTI auti = asymptr->getUlamTypeIdx(); if(m_state.isComplete(auti)) { rtnuti = auti; //should be mapped already, if necessary rtnb = true; } else if(m_state.isHolder(auti)) { UTI mappedUTI; if(m_state.mappedIncompleteUTI(seluti, auti, mappedUTI)) { std::ostringstream msg; msg << "Substituting Mapped UTI" << mappedUTI << ", "; msg << m_state.getUlamTypeNameBriefByIndex(mappedUTI).c_str(); msg << " for incomplete descriptor type: "; msg << m_state.getUlamTypeNameBriefByIndex(auti).c_str(); msg << "' UTI" << auti << " while labeling class: "; msg << m_state.getUlamTypeNameBriefByIndex(seluti).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), DEBUG); auti = mappedUTI; } } } else { //error id is not a typedef std::ostringstream msg; msg << "Not a typedef <" << m_state.getTokenDataAsString(&m_typeTok).c_str(); msg << "> in another class, " ;; msg << m_state.getUlamTypeNameBriefByIndex(seluti).c_str(); msg <<" while compiling: "; msg << m_state.getUlamTypeNameBriefByIndex(m_state.getCompileThisIdx()).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), WARN); } } else { //error! id not found std::ostringstream msg; msg << "Undefined Typedef <" << m_state.getTokenDataAsString(&m_typeTok).c_str(); msg << "> in another class, " ;; msg << m_state.getUlamTypeNameBriefByIndex(seluti).c_str(); msg <<" while compiling: "; msg << m_state.getUlamTypeNameBriefByIndex(m_state.getCompileThisIdx()).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), DEBUG); } m_state.popClassContext(); } else { //error has to be a class std::ostringstream msg; msg << "Type selected by <" << m_state.getTokenDataAsString(&m_typeTok).c_str(); msg << "> is NOT another class, " ; msg << m_state.getUlamTypeNameBriefByIndex(seluti).c_str(); msg << ", rather a " << UlamType::getUlamTypeEnumAsString(seletype) << " type,"; msg <<" while compiling: "; msg << m_state.getUlamTypeNameBriefByIndex(m_state.getCompileThisIdx()).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), ERR); } } //else select not ready, so neither are we!! return rtnb; } //resolveType
// replaces NodeVarDecl:printPostfix to learn the values of Class' storage in center site void SymbolVariableDataMember::printPostfixValuesOfVariableDeclarations(File * fp, s32 slot, u32 startpos, ULAMCLASSTYPE classtype) { UTI vuti = getUlamTypeIdx(); UlamKeyTypeSignature vkey = m_state.getUlamKeyTypeSignatureByIndex(vuti); UlamType * vut = m_state.getUlamTypeByIndex(vuti); ULAMCLASSTYPE vclasstype = vut->getUlamClass(); fp->write(" "); if(vclasstype == UC_NOTACLASS) fp->write(vkey.getUlamKeyTypeSignatureNameAndBitSize(&m_state).c_str()); else fp->write(vut->getUlamTypeNameBrief().c_str()); fp->write(" "); fp->write(m_state.m_pool.getDataAsString(getId()).c_str()); s32 arraysize = m_state.getArraySize(vuti); //scalar has 'size=1'; empty array [0] is still '0'. s32 size = (arraysize > NONARRAYSIZE ? arraysize : 1); //output the arraysize (optional), and open paren if(arraysize > NONARRAYSIZE) { fp->write("["); fp->write_decimal(arraysize); fp->write("]"); } else if(arraysize == UNKNOWNSIZE) { fp->write("[UNKNOWN]"); } fp->write("("); if(vclasstype == UC_QUARK) { //printPostfixValuesForClass: SymbolClass * csym = NULL; if(m_state.alreadyDefinedSymbolClass(vuti, csym)) { NodeBlockClass * classNode = csym->getClassBlockNode(); assert(classNode); SymbolTable * stptr = classNode->getSymbolTablePtr(); //ST of data members u32 newstartpos = startpos + getPosOffset(); s32 len = vut->getBitSize(); for(s32 i = 0; i < size; i++) stptr->printPostfixValuesForTableOfVariableDataMembers(fp, slot, newstartpos + len * i, vclasstype); } else { assert(0); //error! } } else { PACKFIT packFit = m_state.determinePackable(vuti); assert(WritePacked(packFit)); //has to be to fit in an atom/site; char * valstr = new char[size * 8 + MAXBITSPERLONG]; //was 32 if(size > 0) { //simplifying assumption for testing purposes: center site //Coord c0(0,0); //u32 slot = c0.convertCoordToIndex(); //build the string of values (for both scalar and packed array) UlamValue arrayPtr = UlamValue::makePtr(slot, EVENTWINDOW, vuti, packFit, m_state, startpos + getPosOffset(), getId()); UlamValue nextPtr = UlamValue::makeScalarPtr(arrayPtr, m_state); UlamValue atval = m_state.getPtrTarget(nextPtr); s32 len = nextPtr.getPtrLen(); assert(len != UNKNOWNSIZE); if(len <= MAXBITSPERINT) { u32 data = atval.getDataFromAtom(nextPtr, m_state); vut->getDataAsString(data, valstr, 'z'); //'z' -> no preceeding ',' for(s32 i = 1; i < size; i++) { char tmpstr[8]; assert(nextPtr.incrementPtr(m_state)); atval = m_state.getPtrTarget(nextPtr); data = atval.getDataFromAtom(nextPtr, m_state); vut->getDataAsString(data, tmpstr, ','); strcat(valstr,tmpstr); } } else if(len <= MAXBITSPERLONG) { u64 data = atval.getDataLongFromAtom(nextPtr, m_state); vut->getDataLongAsString(data, valstr, 'z'); //'z' -> no preceeding ',' for(s32 i = 1; i < size; i++) { char tmpstr[8]; assert(nextPtr.incrementPtr(m_state)); atval = m_state.getPtrTarget(nextPtr); data = atval.getDataLongFromAtom(nextPtr, m_state); vut->getDataLongAsString(data, tmpstr, ','); strcat(valstr,tmpstr); } } else assert(0); } //end arrays > 0, and scalar else { sprintf(valstr," "); } fp->write(valstr); //results out here! delete [] valstr; } //not a quark fp->write("); "); } //printPostfixValuesOfVariableDeclarations
bool NodeTypeDescriptorSelect::resolveType(UTI& rtnuti) { bool rtnb = false; if(isReadyType()) { rtnuti = getNodeType(); return true; } // we are in a "chain" of type selects.. assert(m_nodeSelect); UTI seluti = m_nodeSelect->checkAndLabelType(); if(m_nodeSelect->isReadyType()) { UlamType * selut = m_state.getUlamTypeByIndex(seluti); ULAMTYPE seletyp = selut->getUlamTypeEnum(); if(seletyp == Class) { SymbolClass * csym = NULL; AssertBool isDefined = m_state.alreadyDefinedSymbolClass(seluti, csym); assert(isDefined); m_state.pushClassContext(seluti, csym->getClassBlockNode(), csym->getClassBlockNode(), false, NULL); // find our id in the "selected" class, must be a typedef at top level Symbol * asymptr = NULL; bool hazyKin = false; if(m_state.alreadyDefinedSymbol(m_typeTok.m_dataindex, asymptr, hazyKin) && !hazyKin) { if(asymptr->isTypedef()) { UTI auti = asymptr->getUlamTypeIdx(); if(m_state.isComplete(auti)) { rtnuti = auti; //should be mapped already, if necessary rtnb = true; } else //t3862 { UTI mappedUTI; if(m_state.mappedIncompleteUTI(seluti, auti, mappedUTI)) { std::ostringstream msg; msg << "Substituting Mapped UTI" << mappedUTI << ", "; msg << m_state.getUlamTypeNameBriefByIndex(mappedUTI).c_str(); msg << " for incomplete descriptor type: '"; msg << m_state.getUlamTypeNameByIndex(auti).c_str(); msg << "' UTI" << auti << " while labeling class: "; msg << m_state.getUlamTypeNameBriefByIndex(seluti).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), DEBUG); rtnuti = mappedUTI; rtnb = true; } else if(m_state.alreadyDefinedSymbolByAncestor(m_typeTok.m_dataindex, asymptr, hazyKin) && !hazyKin) { if(asymptr->isTypedef()) { rtnuti = asymptr->getUlamTypeIdx(); rtnb = true; } else { //error id is not a typedef std::ostringstream msg; msg << "Not a typedef <" << m_state.getTokenDataAsString(m_typeTok).c_str(); msg << "> in another class ancester, " ;; msg << m_state.getUlamTypeNameBriefByIndex(seluti).c_str(); msg <<" while compiling: "; msg << m_state.getUlamTypeNameBriefByIndex(m_state.getCompileThisIdx()).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), WARN); rtnuti = Nav; //? } } else rtnuti = Hzy; if(rtnb) { if(m_state.hasUnknownTypeInThisClassResolver(auti)) { m_state.removeKnownTypeTokenFromThisClassResolver(auti); m_state.cleanupExistingHolder(auti, rtnuti); } else if(m_state.isHolder(rtnuti)) { rtnuti = Hzy; //not so fast!! rtnb = false; } } } //else // { // //incomplete, but not a holder!! yippee (alittle progress) // } } else { //error id is not a typedef std::ostringstream msg; msg << "Not a typedef <" << m_state.getTokenDataAsString(m_typeTok).c_str(); msg << "> in another class, " ;; msg << m_state.getUlamTypeNameBriefByIndex(seluti).c_str(); msg <<" while compiling: "; msg << m_state.getUlamTypeNameBriefByIndex(m_state.getCompileThisIdx()).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), WARN); rtnuti = Nav; //? } } else { //error! id not found std::ostringstream msg; msg << "Undefined Typedef <" << m_state.getTokenDataAsString(m_typeTok).c_str(); msg << "> in another class, " ;; msg << m_state.getUlamTypeNameByIndex(seluti).c_str(); msg <<" while compiling: "; msg << m_state.getUlamTypeNameBriefByIndex(m_state.getCompileThisIdx()).c_str(); if(!hazyKin) { MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), ERR); //new rtnuti = Nav; } else { MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), DEBUG); rtnuti = Hzy; } } m_state.popClassContext(); //restore } else { //error has to be a class std::ostringstream msg; msg << "Type selected by <" << m_state.getTokenDataAsString(m_typeTok).c_str(); msg << "> is NOT another class, " ; msg << m_state.getUlamTypeNameBriefByIndex(seluti).c_str(); msg << ", rather a " << UlamType::getUlamTypeEnumAsString(seletyp) << " type,"; msg <<" while compiling: "; msg << m_state.getUlamTypeNameBriefByIndex(m_state.getCompileThisIdx()).c_str(); MSG(getNodeLocationAsString().c_str(), msg.str().c_str(), ERR); rtnuti = Nav; } } else rtnuti = Hzy; //else select not ready, so neither are we!! return rtnb; } //resolveType