webmcp
annotate framework/env/parse/_pre_fold.lua @ 0:9fdfb27f8e67
Version 1.0.0
| author | jbe/bsw |
|---|---|
| date | Sun Oct 25 12:00:00 2009 +0100 (2009-10-25) |
| parents | |
| children |
| rev | line source |
|---|---|
| jbe/bsw@0 | 1 function parse._pre_fold(str) |
| jbe/bsw@0 | 2 local str = str |
| jbe/bsw@0 | 3 local special_chars = charset.get_data().special_chars |
| jbe/bsw@0 | 4 local function replace(name, dst) |
| jbe/bsw@0 | 5 local src = special_chars[name] |
| jbe/bsw@0 | 6 if src then |
| jbe/bsw@0 | 7 local pattern = string.gsub(src, "[][()^$%%]", "%%%1") |
| jbe/bsw@0 | 8 str = string.gsub(str, pattern, dst) |
| jbe/bsw@0 | 9 end |
| jbe/bsw@0 | 10 end |
| jbe/bsw@0 | 11 replace("nobreak_space", " ") |
| jbe/bsw@0 | 12 replace("minus_sign", "-") |
| jbe/bsw@0 | 13 replace("hyphen_sign", "-") |
| jbe/bsw@0 | 14 replace("nobreak_hyphen", "-") |
| jbe/bsw@0 | 15 replace("figure_dash", "-") |
| jbe/bsw@0 | 16 str = string.gsub(str, "\t+", " ") |
| jbe/bsw@0 | 17 str = string.gsub(str, "^ +", "") |
| jbe/bsw@0 | 18 str = string.gsub(str, " +$", "") |
| jbe/bsw@0 | 19 str = string.gsub(str, " +", " ") |
| jbe/bsw@0 | 20 return str |
| jbe/bsw@0 | 21 end |