diff options
| author | Hans Hagen <pragma@wxs.nl> | 2009-10-30 16:59:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2009-10-30 16:59:00 +0100 |
| commit | eab6a73597f38d58fc4d3cfc4fbddb7c3f6e1e8f (patch) | |
| tree | 40ee9ef8e5d2f59b455995e91a666cb07dbd66c5 /tex/context/base/lxml-tab.lua | |
| parent | 16fcd7eb3abb97077d17573838095b37a05fbcf0 (diff) | |
| download | context-eab6a73597f38d58fc4d3cfc4fbddb7c3f6e1e8f.tar.gz | |
beta 2009.10.30 16:59
Diffstat (limited to 'tex/context/base/lxml-tab.lua')
| -rw-r--r-- | tex/context/base/lxml-tab.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tex/context/base/lxml-tab.lua b/tex/context/base/lxml-tab.lua index 97716a1c0..ca22a7eec 100644 --- a/tex/context/base/lxml-tab.lua +++ b/tex/context/base/lxml-tab.lua @@ -428,15 +428,17 @@ local optionalspace = space^0 local value = (squote * C((1 - squote)^0) * squote) + (dquote * C((1 - dquote)^0) * dquote) -- ampersand and < also invalid in value +local endofattributes = slash * close + close -- recovery of flacky html local whatever = space * name * optionalspace * equal local wrongvalue = C(P(1-whatever-close)^1 + P(1-close)^1) / attribute_value_error +----- local wrongvalue = C(P(1-whatever-endofattributes)^1 + P(1-endofattributes)^1) / attribute_value_error +local wrongvalue = C(P(1-space-endofattributes)^1) / attribute_value_error local attributevalue = value + wrongvalue local attribute = (somespace * name * optionalspace * equal * optionalspace * attributevalue) / add_attribute ----- attributes = (attribute)^0 -local endofattributes = slash * close + close -- recovery of flacky html local attributes = (attribute + somespace^-1 * (((1-endofattributes)^1)/attribute_specification_error))^0 local parsedtext = text_parsed / add_text |