JSDOC/ScopeParser.js
[gnome.introspection-doc-generator] / JSDOC / ScopeParser.js
index 7127967..fb57659 100644 (file)
@@ -1,11 +1,28 @@
 //<Script type="text/javascript">
 
-Scope = imports['JSDOC/Scope.js'].Scope;
-
+Scope = imports.Scope.Scope;
+TokenStream = imports.TokenStream.TokenStream;
 /**
 * Scope stuff
 * 
 * // FIXME - I need this to do next() without doccomments..
+* 
+* 
+* 
+* Need to make this alot simpler...
+* 
+* so debugging is possible.
+* 
+* 
+* at present it just runs along the stream and finds stuff then calls parseExpr .. etc,,
+* 
+* 
+* It would be better to parse blocks of code rather than the whole stream..
+* 
+* 
+* 
+* 
+* 
 */
 
 ScopeParser = function(ts) {
@@ -98,7 +115,7 @@ ScopeParser.prototype = {
         
     },
     warn: function(s) {
-        print('****************' + s);
+        //print('****************' + s);
         this.warnings.push(s);
         //println("WARNING:" + htmlescape(s) + "<BR>");
     },
@@ -133,7 +150,7 @@ ScopeParser.prototype = {
         this.mode = 'BUILDING_SYMBOL_TREE';
         this.parseScope(this.globalScope);
         
-        print("---------------END PASS 1 ---------------- ");
+        //print("---------------END PASS 1 ---------------- ");
         
     },
     mungeSymboltree : function()
@@ -178,57 +195,77 @@ ScopeParser.prototype = {
 
     log : function(str)
     {
-          //println("<B>LOG:</B>" + htmlescape(str) + "<BR/>\n");
+        print ("                    ".substring(0, this.braceNesting*2) + str);
+        
+        //println("<B>LOG:</B>" + htmlescape(str) + "<BR/>\n");
     },
     logR : function(str)
     {
             //println("<B>LOG:</B>" + str + "<BR/>");
     },
 
-
-
-
+     
+    
 
 
     parseScope : function(scope) // parse a token stream..
     {
         //this.timerPrint("parseScope EnterScope"); 
-        print(">>> ENTER SCOPE" + this.scopes.length);
+        //this.log(">>> ENTER SCOPE" + this.scopes.length);
         var symbol;
         var token;
         
         var identifier;
 
-        var expressionBraceNesting = this.braceNesting;
+        var expressionBraceNesting = this.braceNesting + 0;
         
         var parensNesting = 0;
         
         var isObjectLitAr = [ false ];
         var isInObjectLitAr;
         this.scopes.push(scope);
+       
+        //var scopeIndent = ''; 
+        //this.scopes.forEach(function() {
+        //    scopeIndent += '   '; 
+        //});
+        print(">> ENTER SCOPE");
+        
+        
+        
+        
         token = this.ts.lookTok(1);
         while (token) {
           //  this.timerPrint("parseScope AFTER lookT: " + token.toString()); 
-             
-            !this.debug|| print(token.type + '.' + token.name+ ":" + token.data);
+            //this.dumpToken(token , this.scopes, this.braceNesting);
+            print('SCOPE:' + token.toString());
+            //this.log(token.data);
+            if (token.type == 'NAME') {
+            //    print('*' + token.data);
+            }
             switch(token.type + '.' + token.name) {
                 case "KEYW.VAR":
                 case "KEYW.CONST": // not really relivant as it's only mozzy that does this.
+                    print('SCOPE-VAR:' + token.toString());
+                    var vstart = this.ts.cursor +1;
                     
                     //this.log("parseScope GOT VAR/CONST : " + token.toString()); 
                     while (true) {
                         token = this.ts.nextTok();
-                        !this.debug|| print( token.toString());
-                      
+                        //!this.debug|| print( token.toString());
+                        print('SCOPE-VAR:' + token.toString());
                         if (!token) { // can return false at EOF!
                             break;
                         }
-                        if (token.name == "VAR") { // kludge..
+                        if (token.name == "VAR" || token.data == ',') { // kludge..
                             continue;
                         }
                         //this.logR("parseScope GOT VAR  : <B>" + token.toString() + "</B>"); 
-                        if (token.type !="NAME") {
-                            print(token.toString());
+                        if (token.type != "NAME") {
+                            for(var i = Math.max(this.ts.cursor-10,0); i < this.ts.cursor+1; i++) {
+                                print(this.ts.tokens[i].toString());
+                            }
+                            
                             print( "var without ident");
                             Seed.quit()
                         }
@@ -256,7 +293,11 @@ ScopeParser.prototype = {
                         if (token.name == "IN") {
                             break;
                         } else {
+                            //var bn = this.braceNesting;
+                            var bn = this.braceNesting;
                             this.parseExpression();
+                            this.braceNesting = bn;
+                            //this.braceNesting = bn;
                             //this.logR("parseScope DONE  : <B>ParseExpression</B> - tok is:" + this.ts.lookT(0).toString()); 
                             
                             token = this.ts.lookTok(1);
@@ -266,35 +307,84 @@ ScopeParser.prototype = {
                             }
                         }
                     }
+                    
+                    //print("VAR:")
+                    //this.ts.dump(vstart , this.ts.cursor);
+                    
                     break;
                 case "KEYW.FUNCTION":
+                    print('SCOPE-FUNC:' + JSON.stringify(token,null,4));
                     //println("<i>"+token.data+"</i>");
+                     var bn = this.braceNesting;
                     this.parseFunctionDeclaration();
+                     this.braceNesting = bn;
                     break;
 
                 case "PUNC.LEFT_CURLY": // {
+                case "PUNC.LEFT_PAREN": // {    
                     //println("<i>"+token.data+"</i>");
-                    isObjectLitAr.push(false);
-                    print(">>>>>> OBJLIT PUSH(false)");
-                    this.braceNesting++;
+                    var curTS = this.ts;
+                    if (token.props) {
+                        
+                        for (var prop in token.props) {
+                            if (token.props[prop].val.data == 'function') {
+                                // parse a function..
+                                this.parseFunctProp(token.props[prop]);
+                                continue;
+                            }
+                            // key value..
+                            
+                            this.ts = new TokenStream(token.props[prop].val);
+                            this.parseScope(scope);
+                            
+                        }
+                        this.ts = curTS;
+                        
+                        // it's an object literal..
+                        // the values could be replaced..
+                        break;
+                    }
+                    
+                    print('SCOPE-CURLY:' + JSON.stringify(token,null,4));
+                    var _this = this;
+                    token.items.forEach(function(expr) {
+                          _this.ts = new TokenStream(expr);
+                          _this.parseExpression(scope)
+                    });
+                    this.ts = curTS;
+                    //print("NOT PROPS"); Seed.quit();
+                    
+                    //isObjectLitAr.push(false);
+                    //this.braceNesting++;
+                    
+                    //print(">>>>>> OBJLIT PUSH(false)" + this.braceNesting);
                     break;
 
                 case "PUNC.RIGHT_CURLY": // }
+                    print("<< EXIT SCOPE");
+                    return;
+                /*
                     //println("<i>"+token.data+"</i>");
                     this.braceNesting--;
                     isObjectLitAr.pop();
-                    print(">>>>>> OBJLIT POP"+ this.braceNesting);
+                    //print(">>>>>> OBJLIT POP"+ this.braceNesting);
                         //assert braceNesting >= scope.getBra ceNesting();
                     
-                    if (this.braceNesting < 0) {
+                    if (this.braceNesting < expressionBraceNesting) {
                         var ls = this.scopes.pop();
                         ls.getUsedSymbols();
+                        // eat symbol if we are currently at { 
+                        if (this.ts.look(0).data == '{') {
+                            this.ts.nextTok();
+                        }
+                        
                         print("<<<<<<<EXIT SCOPE" +this.scopes.length);
                         return;
                     }
                     break;
-
+*/
                 case "KEYW.WITH":
+                    print('SCOPE-WITH:' + token.toString());
                     //println("<i>"+token.data+"</i>");   
                     if (this.mode == "BUILDING_SYMBOL_TREE") {
                         // Inside a 'with' block, it is impossible to figure out
@@ -308,6 +398,7 @@ ScopeParser.prototype = {
                     break;
 
                 case "KEYW.CATCH":
+                    print('SCOPE-CATCH:' + token.toString());
                     //println("<i>"+token.data+"</i>");
                     this.parseCatch();
                     break;
@@ -322,12 +413,14 @@ ScopeParser.prototype = {
                 
                 case "STRN.DOUBLE_QUOTE": // used for object lit detection..
                 case "STRN.SINGLE_QUOTE":
+                    print('SCOPE-STRING:' + token.toString());
                     //println("<i>"+token.data+"</i>");
+
                     if (this.ts.lookTok(-1).data == '{' && this.ts.lookTok(1).data == ':') {
                         // then we are in an object lit.. -> we need to flag the brace as such...
                         isObjectLitAr.pop();
                         isObjectLitAr.push(true);
-                        print(">>>>>> OBJLIT PUSH(true)");
+                        //print(">>>>>> OBJLIT REPUSH(true)");
                     }
                     isInObjectLitAr = isObjectLitAr[isObjectLitAr.length-1];
                     
@@ -350,7 +443,7 @@ ScopeParser.prototype = {
                     break;
                 
                 case "NAME.NAME":
-                
+                    print('SCOPE-NAME:' + token.toString());
                     //print("DEAL WITH NAME:");
                     // got identifier..
                     
@@ -358,7 +451,7 @@ ScopeParser.prototype = {
                     if ((this.ts.lookTok(-1).data == "{") && (this.ts.lookTok(1).data == ":")) {
                         isObjectLitAr.pop();
                         isObjectLitAr.push(true);
-                        print(">>>>>> OBJLIT PUSH(true)");
+                        //print(">>>>>> OBJLIT REPUSH(true)");
                         //println("<i>"+token.data+"</i>");
                         break;
                     }
@@ -379,6 +472,8 @@ ScopeParser.prototype = {
                         //println("<i>"+token.data+"</i>");
                         break;
                     }
+                    //print("SYMBOL: " + token.toString());
+                    
                     symbol = token.data;
                     if (this.mode == 'PASS2_SYMBOL_TREE') {
                         
@@ -415,6 +510,7 @@ ScopeParser.prototype = {
                     if (token.type != 'KEYW') {
                         break;
                     }
+                    print('SCOPE-KEYW:' + token.toString());
                    // print("Check eval:");
                 
                     symbol = token.data;
@@ -454,15 +550,16 @@ ScopeParser.prototype = {
             } // end switch
             
             
-            //this.timerPrint("parseScope TOK : " + token.toString()); 
+            //print("parseScope TOK : " + token.toString()); 
             token = this.ts.nextTok();
             //if (this.ts.nextT()) break;
             
         }
-        print("<<<<<<<EXIT SCOPE ERR?" +this.scopes.length);
+        print("<<< EXIT SCOPE");
+        //print("<<<<<<<EXIT SCOPE ERR?" +this.scopes.length);
     },
 
-
+    expN : 0,
     parseExpression : function() {
 
         // Parse the expression until we encounter a comma or a semi-colon
@@ -470,26 +567,51 @@ ScopeParser.prototype = {
         // Parse functions if any...
         //println("<i>EXP</i><BR/>");
         !this.debug || print("PARSE EXPR");
+        this.expN++;
+         
+        // for printing stuff..
+       
+        
+        
         var symbol;
         var token;
         var currentScope;
         var identifier;
 
-        var expressionBraceNesting = this.braceNesting;
+        var expressionBraceNesting = this.braceNesting + 0;
         var bracketNesting = 0;
         var parensNesting = 0;
         var isInObjectLitAr;
         var isObjectLitAr = [ false ];
-        while (token = this.ts.lookTok()) {
+        
+        currentScope = this.scopes[this.scopes.length-1];
+            
+        
+        //print(scopeIndent + ">> ENTER EXPRESSION" + this.expN);
+        while (token = this.ts.nextTok()) {
      
-
+        
+            
+           /*
+            // moved out of loop?
+           currentScope = this.scopes[this.scopes.length-1];
+            
+            var scopeIndent = ''; 
+            this.scopes.forEach(function() {
+                scopeIndent += '   '; 
+            });
+           */ 
+           
+           //this.dumpToken(token,  this.scopes, this.braceNesting );
+           print('EXP' +  token.toString());
             
-            currentScope = this.scopes[this.scopes.length-1];
             
             //println("<i>"+token.data+"</i>");
-            !this.debug|| print ("EXP" + token.toString());
+            //this.log("EXP:" + token.data);
             switch (token.type) {
                 case 'PUNC':
+                    print("EXPR-PUNC:" + JSON.stringify(token, null, 4));
+                    
                     switch(token.data) {
                          
                         case ';':
@@ -497,7 +619,8 @@ ScopeParser.prototype = {
                             if (this.braceNesting == expressionBraceNesting &&
                                     bracketNesting == 0 &&
                                     parensNesting == 0) {
-                                
+                                print("<< EXIT EXPRESSION");
+                                this.expN--;
                                 return;
                             }
                             break;
@@ -508,24 +631,35 @@ ScopeParser.prototype = {
                             isObjectLitAr.push(false);
                             
                             this.braceNesting++;
-                            print(">>>>> EXP PUSH(false)"+this.braceNesting);
+                            ///print(">>>>> EXP PUSH(false)"+this.braceNesting);
                             break;
 
                         case '}': //Token.RC:
                             this.braceNesting--;
                             isObjectLitAr.pop();
-                            print(">>>>> EXP POP" + this.braceNesting);    
+                            //print(">>>>> EXP POP" + this.braceNesting);    
                            // assert braceNesting >= expressionBraceNesting;
                             break;
 
                         case '[': //Token.LB:
-                            bracketNesting++;
+                        
+                            var ts = this.ts;
+                            var _this = this;
+                            token.items.forEach(function(ns) {
+                                 print("EXPR-PUNC-MAKE:" + JSON.stringify(ns, null, 4));
+                                _this.ts = new TokenStream(ns);
+                                //_this.ts.cursor--;
+                                _this.parseExpression();
+                            });
+                            this.ts = ts;
+                            
                             break;
-
                         case ']': //Token.RB:
-                            bracketNesting--;
-                            break;
-
+                            print("<< EXIT EXPRESSION");
+                            return;
+                           
                         case '(': //Token.LP:
                             parensNesting++;
                             break;
@@ -537,11 +671,12 @@ ScopeParser.prototype = {
                     break;
                     
                 case 'STRN': // used for object lit detection..
+                    print("EXPR-STR:" + JSON.stringify(token, null, 4));
                     if (this.ts.lookTok(-1).data == "{" && this.ts.lookTok(1).data == ":" ) {
                         // then we are in an object lit.. -> we need to flag the brace as such...
                         isObjectLitAr.pop();
                         isObjectLitAr.push(true);
-                        print(">>>>> EXP PUSH(true)");
+                        //print(">>>>> EXP PUSH(true)");
                     }
                     
                     
@@ -565,21 +700,27 @@ ScopeParser.prototype = {
                       
              
                 case 'NAME':
-               
+                    print("EXPR-NAME:" + JSON.stringify(token, null, 4));
                     symbol = token.data;
-                    if (this.ts.lookTok(-1).data == "{"  && this.ts.lookTok(1).data == ":") {
+                    //print("in NAME = " + token.toString());
+                    //print("in NAME 0: " + this.ts.look(0).toString());
+                    //print("in NAME 2: " + this.ts.lookTok(2).toString());
+                    if (this.ts.look(0).data == "{"  && this.ts.lookTok(2).data == ":") {
                         // then we are in an object lit.. -> we need to flag the brace as such...
                         isObjectLitAr.pop();
                         isObjectLitAr.push(true);
-                         print(">>>>> EXP  PUSH(true)");
+                         //print(">>>>> EXP  PUSH(true)");
                         break;
                     }
+                    
                     isInObjectLitAr = isObjectLitAr[isObjectLitAr.length-1];
-                    if (isInObjectLitAr && this.ts.lookTok(-1).data == "," && this.ts.lookTok(1).data == ":") {
+                    //print ("isInObjectLitAr : " + isInObjectLitAr + ' ' + token.toString());
+                    
+                    if (isInObjectLitAr && this.ts.lookTok(0).data == "," && this.ts.lookTok(2).data == ":") {
                         break;
                     }
-                    
-                    if (this.ts.lookTok(-1).data == ".") {
+                    //print(this.ts.lookTok(0).data);
+                    if (this.ts.lookTok(0).data == ".") {
                         //skip '.'
                         break;
                     }
@@ -615,8 +756,8 @@ ScopeParser.prototype = {
                     
                     
                     //println("<B>EID</B>");
-                 case 'KEYW':   
-                 
+                case 'KEYW':   
+                    print("EXPR-KEYW:" + JSON.stringify(token, null, 4));
                     if (token.name == "FUNCTION") {
                         
                         this.parseFunctionDeclaration();
@@ -652,10 +793,14 @@ ScopeParser.prototype = {
                         }
                         break;
                     } 
-                   
+                default: 
+                    print("EXPR-SKIP:" + JSON.stringify(token, null, 4));
+                    break;
             }
-            if (!this.ts.nextTok()) break;
+            
         }
+        print("<< EXIT EXPRESSION");
+        this.expN--;
     },
 
 
@@ -693,12 +838,14 @@ ScopeParser.prototype = {
     
     parseFunctionDeclaration : function() 
     {
-       // print("PARSE FUNCTION");
+        //print("PARSE FUNCTION");
         var symbol;
         var token;
         var currentScope  = false; 
         var fnScope = false;
         var identifier;
+        var b4braceNesting = this.braceNesting + 0;
+        
         //this.logR("<B>PARSING FUNCTION</B>");
         currentScope = this.scopes[this.scopes.length-1];
 
@@ -724,15 +871,17 @@ ScopeParser.prototype = {
             this.indexedScopes[this.ts.cursor] = fnScope;
             
         } else {
-            //println("FETCHING SCOPE" + this.ts.cursor);
+            //qln("FETCHING SCOPE" + this.ts.cursor);
             fnScope = this.indexedScopes[this.ts.cursor];
           
         }
         
+        print('FUNC-PARSE:' + JSON.stringify(token,null,4));
         // Parse function arguments.
-        var argpos = 0;
-        while (this.ts.lookTok().data != ')') { //(token = consumeToken()).getType() != Token.RP) {
-            token = this.ts.nextTok();
+        var args = token.items;
+        for (var argpos =0; argpos < args.length; argpos++) {
+             
+            token = args[argpos][0];
            // print ("FUNC ARGS: " + token.toString())
             //assert token.getType() == Token.NAME ||
             //        token.getType() == Token.COMMA;
@@ -746,65 +895,33 @@ ScopeParser.prototype = {
                 argpos++;
             }
         }
-
+        
         token = this.ts.nextTok();
+        //print('FUNC-BODY:' + JSON.stringify(token.items,null,4));
+        //Seed.quit();
+        //print(token.toString());
         // assert token.getType() == Token.LC;
-        this.braceNesting++;
-
-        token = this.ts.nextTok();
-        if (token.type == "STRN" && this.ts.lookTok(1).data == ';') {
-            /*
-            
-            NOT SUPPORTED YET!?!!?!
+        //this.braceNesting++;
+        
+        //token = this.ts.nextTok();
+        //print(token.toString());
+        var outTS = this.ts;
+        var _this = this;
+        token.items.forEach(function(tar) {
+            _this.ts = new TokenStream(tar);
+            _this.parseScope(fnScope);
             
-            // This is a hint. Hints are empty statements that look like
-            // "localvar1:nomunge, localvar2:nomunge"; They allow developers
-            // to prevent specific symbols from getting obfuscated (some heretic
-            // implementations, such as Prototype 1.6, require specific variable
-            // names, such as $super for example, in order to work appropriately.
-            // Note: right now, only "nomunge" is supported in the right hand side
-            // of a hint. However, in the future, the right hand side may contain
-            // other values.
-            consumeToken();
-            String hints = token.getValue();
-            // Remove the leading and trailing quotes...
-            hints = hints.substring(1, hints.length() - 1).trim();
-            StringTokenizer st1 = new StringTokenizer(hints, ",");
-            while (st1.hasMoreTokens()) {
-                String hint = st1.nextToken();
-                int idx = hint.indexOf(':');
-                if (idx <= 0 || idx >= hint.length() - 1) {
-                    if (mode == BUILDING_SYMBOL_TREE) {
-                        // No need to report the error twice, hence the test...
-                        this.warn("Invalid hint syntax: " + hint, true);
-                    }
-                    break;
-                }
-                String variableName = hint.substring(0, idx).trim();
-                String variableType = hint.substring(idx + 1).trim();
-                if (mode == BUILDING_SYMBOL_TREE) {
-                    fnScope.addHint(variableName, variableType);
-                } else if (mode == CHECKING_SYMBOL_TREE) {
-                    identifier = fnScope.getIdentifier(variableName);
-                    if (identifier != null) {
-                        if (variableType.equals("nomunge")) {
-                            identifier.preventMunging();
-                        } else {
-                            this.warn("Unsupported hint value: " + hint, true);
-                        }
-                    } else {
-                        this.warn("Hint refers to an unknown identifier: " + hint, true);
-                    }
-                }
-            }
-            */
-        }
-
-        this.parseScope(fnScope);
+        });
+        
+        //print(JSON.stringify(this.ts,null,4));
+        //this.parseScope(fnScope);
+        this.ts = outTS;
         // now pop it off the stack!!!
        
-        
-        
+        //this.braceNesting = b4braceNesting;
+        //print("ENDFN -1: " + this.ts.lookTok(-1).toString());
+        //print("ENDFN 0: " + this.ts.lookTok(0).toString());
+        //print("ENDFN 1: " + this.ts.lookTok(1).toString());
     },
     
     protectScopeFromObfuscation : function(scope) {