From 5de618e9db491743cb1a07452f8c3ddb72d89b1b Mon Sep 17 00:00:00 2001
From: Alan Knowles <alan@akkbhome.com>
Date: Tue, 6 Jul 2010 21:39:12 +0800
Subject: [PATCH] JSDOC/PrettyPrint.js

---
 JSDOC/PrettyPrint.js | 80 --------------------------------------------
 1 file changed, 80 deletions(-)
 delete mode 100644 JSDOC/PrettyPrint.js

diff --git a/JSDOC/PrettyPrint.js b/JSDOC/PrettyPrint.js
deleted file mode 100644
index eb2d94c..0000000
--- a/JSDOC/PrettyPrint.js
+++ /dev/null
@@ -1,80 +0,0 @@
-
-// <script type="text/javascript">
-
-TokenReader = imports.TokenReader.TokenReader;
-ScopeParser= imports.ScopeParser.ScopeParser;
-TokenStream = imports.TokenStream.TokenStream;
-TextStream = imports.TextStream.TextStream;
- 
-
-function  escapeHTML(str) { 
-    return str.replace(/&/g,'&amp;').
-            replace(/>/g,'&gt;'). 
-            replace(/</g,'&lt;'). 
-            replace(/"/g,'&quot;');
-};
-
-function toPretty(str)
-{
-    
-    var txs = new TextStream(str);
-    var tr = new TokenReader({ keepComments : true, keepWhite : true });
-    var toks = tr.tokenize(txs)
-    
-    var sp = new ScopeParser(new TokenStream(toks));
-    sp.buildSymbolTree();
-   // sp.mungeSymboltree();
-    var r = '';
-    r += sp.warnings.join("<BR>");
-    r == "<BR>";
-    
-    
-    
-    
-    var cs = ''; // current style..
-    
-    function toStyle(tok)
-    {
-        if (tok.is("WHIT") || tok.is("COMM") ) {
-            if (tok.data.indexOf("/") > -1) {
-                return 'comment';
-            }
-            return cs; // keep the same..
-        }
-        if (tok.is('STRN')) {
-            return 'string';
-        }
-        // other 'vary things??
-        if (tok.is('NAME') || tok.data == '.' || tok.name == 'THIS') {
-            return 'var';
-        }
-        if (/^[a-z]+/i.test(tok.data)) {
-            return 'keyword';
-        }
-        return 'syntax'
-    }
-    // loop through and print it...?
-    
-    
-    for (var i = 0;i < toks.length; i++) {
-        var ns = toStyle(toks[i]);
-        if (ns != cs) {
-            // change of style
-            if (cs.length) r +='</span>';
-            r +='<span class="jsdoc-'+ns+'">';
-            cs = ns;
-        }
-        if (toks[i].identifier) {
-            
-            r += '<span class="with-ident2">' +
-                escapeHTML(toks[i].data) + '</span>';
-                continue;
-                
-        }
-        r += escapeHTML(toks[i].data).replace(/\n/g, "<BR/>\n");
-    }
-    if (cs.length) r +='</span>';
-    return '<code class="jsdoc-pretty">'+r+'</code>';
-    
-        
-}
-- 
2.39.2