2

我一直在开发一个使用 LPEG 实现语法高亮支持的文本编辑器。启动和运行非常简单，但我只完成了最低要求。

我已经定义了一堆这样的模式：

 -- Keywords
 local keyword = C(
    P"auto" +
    P"break" +
    P"case" +
    P"char" + 
    P"int" 
    -- more ..
  ) / function() add_syntax( RED, ... )

这可以正确处理输入，但不幸的是匹配太多。例如int，在 中间匹配printf，这是预期的，因为我使用 " P" 进行文字匹配。

显然，要执行“正确”突出显示，我需要匹配单词边界，例如“int”匹配“int”，但不匹配“printf”、“vsprintf”等。

我试图用它来限制匹配只发生在“ <[{ \n”之后，但这并没有达到我想要的效果：

  -- space, newline, comma, brackets followed by the keyword
  S(" \n(<{,")^1 * P"auto"  +

我在这里缺少一个简单、明显的解决方案来仅匹配由空格或您在 C 代码中期望的其他字符包围的关键字/标记吗？我确实需要捕获的令牌，以便我可以突出显示它，但除此之外，我不会接受任何特定的方法。

例如，这些应该匹配：

 int foo;
 void(int argc,std::list<int,int> ) { .. };

但这不应该：

 fprintf(stderr, "blah.  patterns are hard\n");
4

2 回答 2

3

LPeg 构造-pattern（或更具体-idchar地在以下示例中）可以很好地确保当前匹配项后面不跟( patternie idchar)。幸运的是，这也适用于输入末尾的空字符串，因此我们不需要对此进行特殊处理。为了确保匹配之前没有模式，LPeg 提供了lpeg.B(pattern). 不幸的是，这需要一个匹配固定长度字符串的模式，因此在输入的开头不起作用。为了解决这个问题，下面的代码分别尝试lpeg.B()在输入的开头不匹配，然后回退到检查字符串其余部分的后缀和前缀的模式：

local L = require( "lpeg" )

local function decorate( word )
  -- highlighting in UNIX terminals
  return "\27[32;1m"..word.."\27[0m"
end

-- matches characters that may be part of an identifier
local idchar = L.R( "az", "AZ", "09" ) + L.P"_"
-- list of keywords to be highlighted
local keywords = L.C( L.P"in" +
                      L.P"for" )

local function highlight( s )
  local p = L.P{
    (L.V"nosuffix" + "") * (L.V"exactmatch" + 1)^0,
    nosuffix = (keywords / decorate) * -idchar,
    exactmatch = L.B( 1 - idchar ) * L.V"nosuffix",
  }
  return L.match( L.Cs( p ), s )
end

-- tests:
print( highlight"" )
print( highlight"hello world" )
print( highlight"in 0in int for  xfor for_ |for| in" )
于 2016-08-04T12:54:28.290 回答
2

我认为您应该否定匹配模式，类似于文档中示例中的操作方式：

如果我们只想在单词边界处寻找模式，我们可以使用以下转换器：

local t = lpeg.locale()
function atwordboundary (p)
  return lpeg.P{
    [1] = p + t.alpha^0 * (1 - t.alpha)^1 * lpeg.V(1)
  }
end

这个SO answer也讨论了一些类似的解决方案，所以可能很有趣。

还有另一个编辑器组件使用 LPeg 进行语法高亮分析，因此您可能想看看他们如何处理这个问题（或者如果它适用于您的设计，请使用他们的词法分析器）。

于 2016-08-01T04:21:29.197 回答