ViewVC Help
View File | Revision Log | Show Annotations | View Changeset | Root Listing
root/OpenMD/trunk/src/selection/SelectionCompiler.cpp
(Generate patch)

Comparing trunk/src/selection/SelectionCompiler.cpp (file contents):
Revision 279 by tim, Wed Feb 2 12:51:25 2005 UTC vs.
Revision 452 by tim, Tue Apr 5 23:09:48 2005 UTC

# Line 40 | Line 40
40   */
41  
42   #include "selection/SelectionCompiler.hpp"
43 + #include "utils/StringUtils.hpp"
44   namespace oopse {
45  
46   bool SelectionCompiler::compile(const std::string& filename, const std::string& script) {
# Line 50 | Line 51 | bool SelectionCompiler::compile(const std::string& fil
51      lineIndices.clear();
52      aatokenCompiled.clear();
53          
54 <    if (internalcompile()) {
54 >    if (internalCompile()) {
55          return true;
56      }
57      
58      int icharEnd;
59 <    if ((icharEnd = script.find('\r', ichCurrentCommand)) == std::string:npos &&
60 <        (icharEnd = script.find('\n', ichCurrentCommand)) == std::string:npos) {
59 >    if ((icharEnd = script.find('\r', ichCurrentCommand)) == std::string::npos &&
60 >        (icharEnd = script.find('\n', ichCurrentCommand)) == std::string::npos) {
61          icharEnd = script.size();
62      }
63      errorLine = script.substr(ichCurrentCommand, icharEnd);
# Line 71 | Line 72 | bool SelectionCompiler::internalCompile(){
72  
73      error = false;
74  
75 <    std::vector<Token> lltoken;
75 >    //std::vector<Token> lltoken;
76 >    aatokenCompiled.clear();
77      std::vector<Token> ltoken;
78  
79 <    //Token tokenCommand = null;
80 <    int tokCommand = Token.nada;
79 >    Token tokenCommand;
80 >    int tokCommand = Token::nada;
81  
82      for ( ; true; ichToken += cchToken) {
83          if (lookingAtLeadingWhitespace())
84              continue;
85 <        if (lookingAtComment())
86 <            continue;
87 <        boolean endOfLine = lookingAtEndOfLine();
85 >        //if (lookingAtComment())
86 >        //    continue;
87 >        bool endOfLine = lookingAtEndOfLine();
88          if (endOfLine || lookingAtEndOfStatement()) {
89 <            if (tokCommand != Token.nada) {
89 >            if (tokCommand != Token::nada) {
90                  if (! compileCommand(ltoken)) {
91                      return false;
92                  }
93 <            lltoken.push_back(atokenCommand);
94 <            /** @todo*/
95 <            int iCommand = lltoken.size();
96 <            lineNumbers[iCommand] = lineCurrent;
97 <            lineIndices[iCommand] = (short) ichCurrentCommand;
96 <            ltoken.clear();
97 <            tokCommand = Token.nada;
93 >                aatokenCompiled.push_back(atokenCommand);
94 >                lineNumbers.push_back(lineCurrent);
95 >                lineIndices.push_back(ichCurrentCommand);
96 >                ltoken.clear();
97 >                tokCommand = Token::nada;
98              }
99              
100              if (ichToken < cchScript) {
# Line 105 | Line 105 | bool SelectionCompiler::internalCompile(){
105              break;
106          }
107  
108 <        if (tokCommand != Token.nada) {
108 >        if (tokCommand != Token::nada) {
109              if (lookingAtString()) {
110                  std::string str = getUnescapedStringLiteral();
111 <                ltoken.push_back(Token(Token.string, str));
111 >                ltoken.push_back(Token(Token::string, str));
112                  continue;
113              }
114 <            if ((tokCommand & Token.specialstring) != 0 &&
115 <                lookingAtSpecialString()) {
116 <                std::string str = script.substr(ichToken, ichToken + cchToken);
117 <                ltoken.push_back(Token(Token.string, str));
114 >            //if ((tokCommand & Token::specialstring) != 0 &&
115 >            //    lookingAtSpecialString()) {
116 >            //    std::string str = script.substr(ichToken, ichToken + cchToken);
117 >            //    ltoken.push_back(Token(Token::string, str));
118 >            //    continue;
119 >            //}
120 >            if (lookingAtDecimal((tokCommand & Token::negnums) != 0)) {
121 >                float value = lexi_cast<float>(script.substr(ichToken, cchToken));        
122 >                ltoken.push_back(Token(Token::decimal, boost::any(value)));
123                  continue;
124              }
125 <            if (lookingAtDecimal((tokCommand & Token.negnums) != 0)) {
126 <                float value = lexi_cast<float>((script.substr(ichToken, ichToken + cchToken));          
127 <                ltoken.push_back(Token(Token.decimal, new Float(value)));/**@todo*/
125 >            if (lookingAtInteger((tokCommand & Token::negnums) != 0)) {
126 >
127 >                int val = lexi_cast<int>(script.substr(ichToken, cchToken));
128 >                ltoken.push_back(Token(Token::integer,   boost::any(val)));
129                  continue;
130              }
125 –            if (lookingAtInteger((tokCommand & Token.negnums) != 0)) {
126 –                std::string intString = script.substr(ichToken, ichToken + cchToken);
127 –                int val = lexi_cast<int>(intString);
128 –                ltoken.push_back(new Token(Token.integer, val, intString));/**@todo*/
129 –                continue;
130 –            }
131          }
132        
133          if (lookingAtLookupToken()) {
134 <            std::string ident = script.subst(ichToken, ichToken + cchToken);
135 <
136 <            /**@todo */
137 <            Token token = (Token) Token.map.get(ident);
138 <            if (token == NULL) {
139 <
134 >            std::string ident = script.substr(ichToken, cchToken);
135 >            Token token;            
136 >            Token* pToken = TokenMap::getInstance()->getToken(ident);
137 >            if (pToken != NULL) {
138 >                token = *pToken;
139 >            } else {
140 >                token = Token(Token::identifier, ident);
141              }
141 –            Token token(Token.identifier, ident);
142 –
142              
143              int tok = token.tok;
144              
145              switch (tokCommand) {
146 <                case Token.nada:
146 >                case Token::nada:
147                      ichCurrentCommand = ichToken;
148                      //tokenCommand = token;
149                      tokCommand = tok;
150 <                    if ((tokCommand & Token.command) == 0)
150 >                    if ((tokCommand & Token::command) == 0)
151                      return commandExpected();
152                      break;
153  
154 <                case Token.define:
154 >                case Token::define:
155                      if (ltoken.size() == 1) {
156                          // we are looking at the variable name
157 <                        if (tok != Token.identifier &&
158 <                        (tok & Token.predefinedset) != Token.predefinedset)
157 >                        if (tok != Token::identifier &&
158 >                        (tok & Token::predefinedset) != Token::predefinedset)
159                          return invalidExpressionToken(ident);
160                      } else {
161                      // we are looking at the expression
162 <                    if (tok != Token.identifier && tok != Token.set &&
163 <                        (tok & (Token.expression | Token.predefinedset)) == 0)
162 >                    if (tok != Token::identifier &&
163 >                        (tok & (Token::expression | Token::predefinedset)) == 0)
164                          return invalidExpressionToken(ident);
165                      }
166                      
167                      break;
168  
169 <                case Token.select:
170 <                    if (tok != Token.identifier && (tok & Token.expression) == 0)
169 >                case Token::select:
170 >                    if (tok != Token::identifier && (tok & Token::expression) == 0)
171                          return invalidExpressionToken(ident);
172                  break;
173              }
# Line 183 | Line 182 | bool SelectionCompiler::internalCompile(){
182          return unrecognizedToken();
183      }
184  
186 –    aatokenCompiled.push_back(lltoken);
185      return true;
186    }
187  
# Line 236 | Line 234 | bool SelectionCompiler::internalCompile(){
234      int ichT = ichToken + 1;
235      //    while (ichT < cchScript && script.charAt(ichT++) != chFirst)
236      char ch;
237 <    boolean previousCharBackslash = false;
237 >    bool previousCharBackslash = false;
238      while (ichT < cchScript) {
239 <      ch = script.[ichT++];
239 >      ch = script[ichT++];
240        if (ch == '"' && !previousCharBackslash)
241          break;
242        previousCharBackslash = ch == '\\' ? !previousCharBackslash : false;
243      }
244      cchToken = ichT - ichToken;
245 +
246      return true;
247    }
248  
249    
250   std::string SelectionCompiler::getUnescapedStringLiteral() {
251 <    StringBuffer sb = new StringBuffer(cchToken - 2);
251 >    /** @todo */
252 >    std::string sb(cchToken - 2, ' ');
253 >    
254      int ichMax = ichToken + cchToken - 1;
255      int ich = ichToken + 1;
256  
# Line 292 | Line 293 | std::string SelectionCompiler::getUnescapedStringLiter
293                      }
294              }
295          }
296 <        sb.append(ch);
296 >        sb.append(1, ch);
297      }
298  
299 <    return "" + sb;
299 >    return sb;
300   }
301  
302 < static int SelectionCompiler::getHexitValue(char ch) {
302 > int SelectionCompiler::getHexitValue(char ch) {
303      if (ch >= '0' && ch <= '9')
304          return ch - '0';
305      else if (ch >= 'a' && ch <= 'f')
# Line 319 | Line 320 | bool SelectionCompiler::lookingAtSpecialString() {
320      return cchToken > 0;
321   }
322  
323 < bool SelectionCompiler::lookingAtDecimal(boolean allowNegative) {
323 > bool SelectionCompiler::lookingAtDecimal(bool allowNegative) {
324      if (ichToken == cchScript) {
325          return false;
326      }
# Line 328 | Line 329 | bool SelectionCompiler::lookingAtDecimal(boolean allow
329      if (script[ichT] == '-') {
330          ++ichT;
331      }
332 <    boolean digitSeen = false;
332 >    bool digitSeen = false;
333      char ch = 'X';
334      while (ichT < cchScript && std::isdigit(ch = script[ichT])) {
335          ++ichT;
# Line 339 | Line 340 | bool SelectionCompiler::lookingAtDecimal(boolean allow
340          return false;
341      }
342  
343 <    // to support 1.ca, let's check the character after the dot
344 <    // to determine if it is an alpha
344 <    if (ch == '.' && (ichT + 1 < cchScript) && std::isalpha(script[ichT + 1])) {
343 >    // to support DMPC.1, let's check the character before the dot
344 >    if (ch == '.' && (ichT > 0) && std::isalpha(script[ichT - 1])) {
345          return false;
346      }
347  
# Line 354 | Line 354 | bool SelectionCompiler::lookingAtDecimal(boolean allow
354      return digitSeen;
355   }
356  
357 < bool SelectionCompiler::lookingAtInteger(boolean allowNegative) {
357 > bool SelectionCompiler::lookingAtInteger(bool allowNegative) {
358      if (ichToken == cchScript) {
359          return false;
360      }
# Line 384 | Line 384 | bool SelectionCompiler::lookingAtLookupToken() {
384          case '(':
385          case ')':
386          case ',':
387 –        case '*':
388 –        case '-':
387          case '[':
388          case ']':
391 –        case '+':
392 –        case ':':
393 –        case '@':
394 –        case '.':
395 –        case '%':
389          break;
390          case '&':
391          case '|':
# Line 417 | Line 410 | bool SelectionCompiler::lookingAtLookupToken() {
410              if ((ch < 'a' || ch > 'z') && (ch < 'A' && ch > 'Z') && ch != '_') {
411                  return false;
412              }
413 +        case '*':
414          case '?': // include question marks in identifier for atom expressions
415 <            while (ichT < cchScript && (std::isalpha(ch = script[ichT]) ||std::isdigit(ch) ||
416 <                ch == '_' || ch == '?') ||(ch == '^' && ichT > ichToken && std::isdigit(script[ichT - 1]))) {
417 <                // hack for insertion codes embedded in an atom expression :-(
424 <                // select c3^a
415 >            while (ichT < cchScript && !std::isspace(ch = script[ichT]) &&
416 >                    (std::isalpha(ch) ||std::isdigit(ch) || ch == '_' || ch == '.' || ch == '*' || ch == '?' || ch == '+' || ch == '-' || ch == '[' || ch == ']') ){
417 >
418                  ++ichT;
419              }
420          break;
421      }
422 +
423      cchToken = ichT - ichToken;
424 +
425      return true;
426   }
427  
428 < bool SelectionCompiler::compileCommand(Vector ltoken) {
429 <    /** todo */
435 <    Token tokenCommand = (Token)ltoken.firstElement();
428 > bool SelectionCompiler::compileCommand(const std::vector<Token>& ltoken) {
429 >    const Token& tokenCommand = ltoken[0];
430      int tokCommand = tokenCommand.tok;
431 <        
432 <    atokenCommand = new Token[ltoken.size()];
433 <    ltoken.copyInto(atokenCommand);
440 <    if ((tokCommand & Token.expressionCommand) != 0 && !compileExpression()) {
431 >
432 >    atokenCommand = ltoken;
433 >    if ((tokCommand & Token::expressionCommand) != 0 && !compileExpression()) {
434          return false;
435      }
436 +    
437      return true;
438   }
439  
# Line 447 | Line 441 | bool SelectionCompiler::compileExpression() {
441      /** todo */
442      int i = 1;
443      int tokCommand = atokenCommand[0].tok;
444 <    if (tokCommand == Token.define)
445 <      i = 2;
446 <    else if ((tokCommand & Token.embeddedExpression) != 0) {
447 <      // look for the open parenthesis
448 <      while (i < atokenCommand.length &&
449 <             atokenCommand[i].tok != Token.leftparen)
444 >    if (tokCommand == Token::define) {
445 >        i = 2;
446 >    } else if ((tokCommand & Token::embeddedExpression) != 0) {
447 >        // look for the open parenthesis
448 >        while (i < atokenCommand.size() &&
449 >         atokenCommand[i].tok != Token::leftparen)
450          ++i;
451      }
452 <    if (i >= atokenCommand.length)
453 <      return true;
452 >
453 >    if (i >= atokenCommand.size()) {
454 >        return true;
455 >    }
456      return compileExpression(i);
457    }
458  
459                    
460 < bool SelectionCompiler::addTokenToPostfix(Token token) {
460 > bool SelectionCompiler::addTokenToPostfix(const Token& token) {
461      ltokenPostfix.push_back(token);
462      return true;
463   }
464  
465   bool SelectionCompiler::compileExpression(int itoken) {
466 <    ltokenPostfix = new Vector();
467 <    for (int i = 0; i < itoken; ++i)
466 >    ltokenPostfix.clear();
467 >    for (int i = 0; i < itoken; ++i) {
468          addTokenToPostfix(atokenCommand[i]);
469 <
469 >    }
470 >    
471      atokenInfix = atokenCommand;
472      itokenInfix = itoken;
473  
474 <    addTokenToPostfix(Token.tokenExpressionBegin);
474 >    addTokenToPostfix(Token::tokenExpressionBegin);
475      if (!clauseOr()) {
476          return false;
477      }
478      
479 <    addTokenToPostfix(Token.tokenExpressionEnd);
480 <    if (itokenInfix != atokenInfix.length) {
479 >    addTokenToPostfix(Token::tokenExpressionEnd);
480 >    if (itokenInfix != atokenInfix.size()) {
481          return endOfExpressionExpected();
482      }
483  
# Line 489 | Line 486 | Token SelectionCompiler::tokenNext() {
486   }
487  
488   Token SelectionCompiler::tokenNext() {
489 < if (itokenInfix == atokenInfix.length)
490 < return null;
491 < return atokenInfix[itokenInfix++];
489 >    if (itokenInfix == atokenInfix.size()) {
490 >        return Token();
491 >    }
492 >    return atokenInfix[itokenInfix++];
493   }
494  
495 < Object SelectionCompiler::valuePeek() {
496 <    if (itokenInfix == atokenInfix.length) {
497 <        return null;
495 > boost::any SelectionCompiler::valuePeek() {
496 >    if (itokenInfix == atokenInfix.size()) {
497 >        return boost::any();
498      } else {
499          return atokenInfix[itokenInfix].value;
500      }
501   }
502  
503   int SelectionCompiler::tokPeek() {
504 <    if (itokenInfix == atokenInfix.length) {
504 >    if (itokenInfix == atokenInfix.size()) {
505          return 0;
506      }else {
507          return atokenInfix[itokenInfix].tok;
# Line 515 | Line 513 | bool SelectionCompiler::clauseOr() {
513          return false;
514      }
515      
516 <    while (tokPeek() == Token.opOr) {
516 >    while (tokPeek() == Token::opOr) {
517          Token tokenOr = tokenNext();
518          if (!clauseAnd()) {
519              return false;
# Line 530 | Line 528 | bool SelectionCompiler::clauseAnd() {
528          return false;
529      }
530  
531 <    while (tokPeek() == Token.opAnd) {
531 >    while (tokPeek() == Token::opAnd) {
532          Token tokenAnd = tokenNext();
533          if (!clauseNot()) {
534              return false;
# Line 541 | Line 539 | bool SelectionCompiler::clauseNot() {
539   }
540  
541   bool SelectionCompiler::clauseNot() {
542 <    if (tokPeek() == Token.opNot) {
542 >    if (tokPeek() == Token::opNot) {
543          Token tokenNot = tokenNext();
544          if (!clauseNot()) {
545              return false;
# Line 554 | Line 552 | bool SelectionCompiler::clausePrimitive() {
552   bool SelectionCompiler::clausePrimitive() {
553      int tok = tokPeek();
554      switch (tok) {
555 <        case Token.within:
555 >        case Token::within:
556              return clauseWithin();
557 <        case Token.hyphen: // selecting a negative residue spec
558 <        case Token.integer:
559 <        case Token.seqcode:
560 <        case Token.asterisk:
561 <        case Token.leftsquare:
562 <        case Token.identifier:
563 <        case Token.x:
566 <        case Token.y:
567 <        case Token.z:
568 <        case Token.colon:
569 <            return clauseResidueSpec();
557 >
558 >        case Token::asterisk:
559 >        case Token::identifier:
560 >            return clauseChemObjName();
561 >
562 >        case Token::integer :
563 >            return clauseIndex();
564          default:
565 <            if ((tok & Token.atomproperty) == Token.atomproperty) {
565 >            if ((tok & Token::atomproperty) == Token::atomproperty) {
566                  return clauseComparator();
567              }
568 <            if ((tok & Token.predefinedset) != Token.predefinedset) {
568 >            if ((tok & Token::predefinedset) != Token::predefinedset) {
569                  break;
570              }
571              // fall into the code and below and just add the token
572 <        case Token.all:
573 <        case Token.none:
572 >        case Token::all:
573 >        case Token::none:
574              return addTokenToPostfix(tokenNext());
575 <        case Token.leftparen:
575 >        case Token::leftparen:
576              tokenNext();
577              if (!clauseOr()) {
578                  return false;
579              }
580 <            if (tokenNext().tok != Token.rightparen) {
580 >            if (tokenNext().tok != Token::rightparen) {
581                  return rightParenthesisExpected();
582              }
583              return true;
# Line 594 | Line 588 | bool SelectionCompiler::clauseComparator() {
588   bool SelectionCompiler::clauseComparator() {
589      Token tokenAtomProperty = tokenNext();
590      Token tokenComparator = tokenNext();
591 <    if ((tokenComparator.tok & Token.comparator) == 0) {
591 >    if ((tokenComparator.tok & Token::comparator) == 0) {
592          return comparisonOperatorExpected();
593      }
594  
595      Token tokenValue = tokenNext();
596 <    if (tokenValue.tok != Token.integer) {
597 <        return integerExpected();
596 >    if (tokenValue.tok != Token::integer && tokenValue.tok != Token::decimal) {
597 >        return numberExpected();
598      }
599 <    int val = tokenValue.intValue;
600 <    // note that a comparator instruction is a complicated instruction
601 <    // int intValue is the tok of the property you are comparing
602 <    // the value against which you are comparing is stored as an Integer
603 <    // in the object value
604 <    return addTokenToPostfix(new Token(tokenComparator.tok,
605 <                       tokenAtomProperty.tok,
606 <                       new Integer(val)));
599 >    
600 >    float val;
601 >    if (tokenValue.value.type() == typeid(int)) {
602 >        val = boost::any_cast<int>(tokenValue.value);
603 >    } else if (tokenValue.value.type() == typeid(float)) {
604 >        val = boost::any_cast<float>(tokenValue.value);
605 >    } else {
606 >        return false;
607 >    }
608 >
609 >    boost::any floatVal;
610 >    floatVal = val;
611 >    return addTokenToPostfix(Token(tokenComparator.tok,
612 >                       tokenAtomProperty.tok, floatVal));
613   }
614  
615   bool SelectionCompiler::clauseWithin() {
616      tokenNext();                             // WITHIN
617 <    if (tokenNext().tok != Token.leftparen) {  // (
617 >    if (tokenNext().tok != Token::leftparen) {  // (
618          return leftParenthesisExpected();
619      }
620      
621 <    Object distance;
621 >    boost::any distance;
622      Token tokenDistance = tokenNext();       // distance
623      switch(tokenDistance.tok) {
624 <        case Token.integer:
625 <            distance = new Float((tokenDistance.intValue * 4) / 1000f);
626 <            break;
627 <        case Token.decimal:
624 >        case Token::integer:
625 >        case Token::decimal:
626              distance = tokenDistance.value;
627              break;
628          default:
629              return numberOrKeywordExpected();
630      }
631  
632 <    if (tokenNext().tok != Token.opOr) {       // ,
632 >    if (tokenNext().tok != Token::opOr) {       // ,
633          return commaExpected();
634      }
635      
# Line 639 | Line 637 | bool SelectionCompiler::clauseWithin() {
637          return false;
638      }
639      
640 <    if (tokenNext().tok != Token.rightparen) { // )T
640 >    if (tokenNext().tok != Token::rightparen) { // )T
641          return rightParenthesisExpected();
642      }
643      
644 <    return addTokenToPostfix(new Token(Token.within, distance));
644 >    return addTokenToPostfix(Token(Token::within, distance));
645   }
646  
647 < bool SelectionCompiler:: clauseChemObject() {
648 < }
647 > bool SelectionCompiler::clauseChemObjName() {
648 >    Token token = tokenNext();
649 >    if (token.tok == Token::identifier && token.value.type() == typeid(std::string)) {
650  
651 < bool SelectionCompiler:: clauseMolecule() {
652 < }
651 >        std::string name = boost::any_cast<std::string>(token.value);
652 >        if (isNameValid(name)) {
653 >            return addTokenToPostfix(Token(Token::name, name));
654 >        } else {
655 >            return compileError("invalid name: " + name);
656 >        }
657 >    }
658  
659 < bool SelectionCompiler:: clauseMolName() {
659 >    return false;
660 >        
661   }
662  
663 < bool SelectionCompiler:: clauseMolIndex() {
664 < }
663 > bool SelectionCompiler::isNameValid(const std::string& name) {
664 >          int nbracket = 0;
665 >    int ndot = 0;
666 >    for (int i =0 ; i < name.size(); ++i) {
667 >        switch(name[i]) {
668  
669 < bool SelectionCompiler:: clauseName() {
670 < }
669 >          case '[' :
670 >              ++nbracket;
671 >              break;
672 >          case ']' :
673 >              --nbracket;
674 >              break;
675 >          case '.' :
676 >              ++ndot;
677 >              break;      
678 >        }
679 >    }
680  
681 < bool SelectionCompiler:: clauseIndex() {
681 >    //only allow 3 dots at most
682 >    return (ndot <=3 && nbracket == 0) ? true : false;
683   }
684  
685 < bool SelectionCompiler:: clauseStuntDoubleName() {
686 < }
685 > bool SelectionCompiler::clauseIndex(){
686 >    Token token = tokenNext();
687 >    if (token.tok == Token::integer) {
688 >        int index = boost::any_cast<int>(token.value);
689 >        int tok = tokPeek();
690 >        std::cout << "Token::to is " << Token::to << ", tok = " << tok << std::endl;
691 >        if (tok == Token::to) {
692 >            tokenNext();
693 >            tok = tokPeek();
694 >            if (tok != Token::integer) {
695 >                return numberExpected();
696 >            }
697 >            
698 >            boost::any intVal = tokenNext().value;
699 >            int first = index;
700 >            if (intVal.type() != typeid(int)){
701 >                return false;
702 >            }
703 >            int second = boost::any_cast<int>(intVal);
704  
705 < bool SelectionCompiler:: clauseStuntDoubleIndex() {
705 >            return addTokenToPostfix(Token(Token::index, boost::any(std::make_pair(first, second))));
706 >            
707 >        }else {
708 >            return addTokenToPostfix(Token(Token::index, boost::any(index)));
709 >        }
710 >    } else {
711 >        return numberExpected();
712 >    }
713   }
714  
715   }

Diff Legend

– Removed lines
+ Added lines
< Changed lines
> Changed lines