merged from devel branch.

removed:
  Scruf.java
  todo
added:
  Run.java
  TODO
  parsers/SymbolMap.java
modified:
  conversion/ConvertDirectory.java
  parsers/BackButton.java
  parsers/CodeBlocks.java
  parsers/WordDecoration.java
  styling/StyleChecker.java
  styling/style.css
pending merges:
  rsiddharth 2012-12-21 [bug-fix]: when the default style sheet is newer than the style sheet
    rsiddharth 2012-12-21 Scruf.java has been renamed to Run.java
    rsiddharth 2012-12-21 [method named changed]: The method named 'resolve()' in styling/StyleChecker.java is changed ...
    rsiddharth 2012-12-21 [bug-fix]: Each directory is checked if it contains the style.css, if
    rsiddharth 2012-12-21 added license text to parsers/SymbolMap.java.
    rsiddharth 2012-12-21 updated TODO
    rsiddharth 2012-12-20 [bug-fix]: From now on, all the special characters in the string
    rsiddharth 2012-12-20 SymbolMap class which was in CodeBlock.java is shifted to a dedicated
    rsiddharth 2012-12-20 [bug-fix]: Back Buttons were not put in webpages that were present in
    rsiddharth 2012-12-15 bunch of new todos; 'todo' renamed to 'TODO'.

1 files changed, 1 insertions, 56 deletions

diff --git a/parsers/CodeBlocks.java b/parsers/CodeBlocks.java
index 251c4de..75efa27 100644
--- a/parsers/CodeBlocks.java
+++ b/parsers/CodeBlocks.java
@@ -36,71 +36,16 @@ public class CodeBlocks implements Parser {
 	while(matcher.find()) {
 	    replacement.delete(0,replacement.length());
 	    replacement.append("<div class=\"code\">");
-		replacement.append(lbreak.parse(quote(matcher.group(3))));
+		replacement.append(lbreak.parse(symbolMap.quote(matcher.group(3))));
 	    replacement.append("</div>");
 	    matcher.appendReplacement(sbuffer,replacement.toString());
 	}
 	matcher.appendTail(sbuffer);
 	return sbuffer.toString();
     }
-    /**
-     * this method quotes symbols to a HTML number.
-     */
-    private String quote(String string) {
-	Pattern pattern = Pattern.compile("(\\&(amp|lt|gt|(\\#35))\\;)|(\\p{Punct})");
-	Matcher matcher = pattern.matcher(string);
-	StringBuffer sbuffer = new StringBuffer();
-	while(matcher.find()) {
-		if(matcher.group(4)!=null) {
-			matcher.appendReplacement(sbuffer,
-									  symbolMap.get(matcher.group()));
-		}
-	}
-	matcher.appendTail(sbuffer);
-	return sbuffer.toString();
-    }
 }
 
 /**
- * Map of Symbols & their HTML equivalent numbers.
- */
-class SymbolMap extends HashMap<String, String> {
-	public SymbolMap() {
-		put("!","&#33;");
-		put("\"","&#34;");
-		put("#","&#35;");
-		put("$","&#36;");
-		put("%","&#37;");
-		put("&","&#38;");
-		put("'","&#39;");
-		put("(","&#40;");
-		put(")","&#41;");
-		put("*","&#42;");
-		put("+","&#43;");
-		put(",","&#44;");
-		put("-","&#45;");
-		put(".","&#46;");
-		put("/","&#47;");
-		put(":","&#58;");
-		put(";","&#59;");
-		put("<","&#60;");
-		put("=","&#61;");
-		put(">","&#62;");
-		put("?","&#63;");
-		put("@","&#64;");
-		put("[","&#91;");
-		put("\\","&#92;");
-		put("]","&#93;");
-		put("^","&#94;");
-		put("_","&#95;");
-		put("`","&#96;");
-		put("{","&#123;");
-		put("|","&#124;");
-		put("}","&#125;");
-		put("~","&#126;");
-	}
-}
-/**
 
 Special Case: