webmcp
view framework/env/parse/_pre_fold.lua @ 23:3a6fe8663b26
Code cleanup and documentation added; Year in copyright notice changed to 2009-2010
Details:
- Changed quoting style in auth.openid.xrds_document{...}
- Fixed documentation for auth.openid.initiate{...}
- Added documentation for mondelefant
- Code-cleanup in mondelefant:
-- removed unneccessary lines "rows = PQntuples(res); cols = PQnfields(res);"
-- avoided extra copy of first argument (self) in mondelefant_conn_query
-- no rawget in meta-method "__index" of database result lists and objects
-- removed unreachable "return 0;" in meta-method "__newindex" of database result lists and objects
- Year in copyright notice changed to 2009-2010
- Version string changed to "1.1.1"
Details:
- Changed quoting style in auth.openid.xrds_document{...}
- Fixed documentation for auth.openid.initiate{...}
- Added documentation for mondelefant
- Code-cleanup in mondelefant:
-- removed unneccessary lines "rows = PQntuples(res); cols = PQnfields(res);"
-- avoided extra copy of first argument (self) in mondelefant_conn_query
-- no rawget in meta-method "__index" of database result lists and objects
-- removed unreachable "return 0;" in meta-method "__newindex" of database result lists and objects
- Year in copyright notice changed to 2009-2010
- Version string changed to "1.1.1"
| author | jbe |
|---|---|
| date | Fri Jun 04 19:00:34 2010 +0200 (2010-06-04) |
| parents | 9fdfb27f8e67 |
| children |
line source
1 function parse._pre_fold(str)
2 local str = str
3 local special_chars = charset.get_data().special_chars
4 local function replace(name, dst)
5 local src = special_chars[name]
6 if src then
7 local pattern = string.gsub(src, "[][()^$%%]", "%%%1")
8 str = string.gsub(str, pattern, dst)
9 end
10 end
11 replace("nobreak_space", " ")
12 replace("minus_sign", "-")
13 replace("hyphen_sign", "-")
14 replace("nobreak_hyphen", "-")
15 replace("figure_dash", "-")
16 str = string.gsub(str, "\t+", " ")
17 str = string.gsub(str, "^ +", "")
18 str = string.gsub(str, " +$", "")
19 str = string.gsub(str, " +", " ")
20 return str
21 end