Changeset 6828
- Timestamp:
- 2004-02-18T13:12:08+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/util/Codec.java
r6539 r6828 48 48 static final public String TEXT_TO_DOM = "TEXT_TO_DOM"; 49 49 static final public String TEXT_TO_GREENSTONE = "TEXT_TO_GREENSTONE"; 50 static final public String TEXT_TO_REGEXP = "TEXT_TO_REGEXP"; 50 51 static final public String TEXT_TO_SHELL_UNIX = "TEXT_TO_SHELL_UNIX"; 51 52 static final public String TEXT_TO_SHELL_WINDOWS = "TEXT_TO_SHELL_WINDOWS"; … … 102 103 dom_to_text = null; 103 104 105 // Transform text into a regular expression that will match it 106 String[] text_to_regexp = { 107 "\\\\", "\\\\\\\\", 108 "\\(", "\\\\(", 109 "\\)", "\\\\)", 110 "\\[", "\\\\[", 111 "\\]", "\\\\]", 112 "\\{", "\\\\{", 113 "\\}", "\\\\}", 114 "\\.", "\\\\." 115 }; 116 TRANSFORMS.put(TEXT_TO_REGEXP, text_to_regexp); 117 text_to_regexp = null; 118 104 119 String[] encode_path = { 105 120 "\\|", "|", … … 191 206 } 192 207 193 194 195 196 197 // /ystem.err.println("Transforming by "+transform+":\n" + raw);208 static public String transform(String raw, String transform) { 209 if(raw == null) { 210 return raw; 211 } 212 // System.err.println("Transforming by "+transform+":\n" + raw); 198 213 String processed = (String) CACHE.get(transform, raw); 199 214 if(processed == null) { … … 207 222 } 208 223 } 209 //Gatherer.println("\n*** Transform: " + transform + " ***");210 //Gatherer.println("*** Raw : '" + raw + "'");211 //Gatherer.println("*** Processed: '" + processed + "'");224 Gatherer.println("\n*** Transform: " + transform + " ***"); 225 Gatherer.println("*** Raw : '" + raw + "'"); 226 Gatherer.println("*** Processed: '" + processed + "'"); 212 227 // If cache is at maximum size, empty it and start again 213 228 if(CACHE.size() == MAX_CACHE_SIZE) {
Note:
See TracChangeset
for help on using the changeset viewer.