Question

相关的第二个问题

如果我有一个语法规则，例如：

qualifiedTableName  = (databaseName '.')? tableName (('INDEXED' 'BY' indexName) | ('NOT' 'INDEXED'))?;

假设在匹配规则之前不会调用操作是否正确？因此，在这种情况下，当向堆栈调用操作时可能如下所示：

possibly:
|'INDEXED'
|'NOT'
or:
|indexName (A custom object possibly)
|'BY'
|'INDEXED

|tableName (for sure will be here)

and possibly these
|'.'            (if this is here I know the database name must be here) if not push last one on?
|databaseName
--------------(perhaps more things from other rules)

这些正确的评估吗？有关于行动的其他文件吗？我知道它主要基于Antlr，但其微妙的差异可以让你遇到麻烦。

Answer 1

PEGKit的创作者。

在匹配前一个令牌后立即执行操作。

假设此输入：

mydb.mytable INDEXED BY 'foo'

您的示例规则未包含任何操作，因此我将添加一些操作。如果将规则分解为更小的子规则，则添加操作会更容易：

qualifiedTableName = name indexOpt
{
    // now stack contains 3 `NSString`s. 
    // ["mydb", "mytable", "foo"]
    NSString *indexName = POP();
    NSString *tableName = POP();
    NSString *dbName = POP();
    // do stuff here
};

databaseName = Word;
tableName = Word;
indexName = QuotedString;

name = (databaseName '.'!)? tableName 
{
    // now stack contains 2 `PKToken`s of type Word
    // [<Word «mydb»>, <Word «mytable»>]
    // pop their string values
    NSString *tableName = POP_STR();
    NSString *dbName = POP_STR();
    PUSH(dbName);
    PUSH(tableName);
};

indexOpt
    = index
    | Empty { PUSH(@""); }
    ;

index
    = ('INDEXED'! 'BY'! indexName)
    { 
        // now top of stack will be a Quoted String `PKToken`
        // […, <Quoted String «"foo"»>]
        // pop its string value
        NSString *indexName = POP_STR();
        // trim quotes
        indexName = [indexName substringWithRange:NSMakeRange(1, [indexName length]-2)];
        // leave it on the stack for later
        PUSH(indexName);
    }
    | ('NOT'! 'INDEXED'!) { PUSH(@""); }
    ;

请注意，我正在使用! discard指令丢弃所有文字标记。这些文字是纯语法，在您的操作中不需要进行进一步处理。

另请注意，在不存在INDEXED BY表达式或NOT INDEXED表达式的情况下，我将空字符串推入堆栈。这样您就可以统一处理qualifiedTableName Action中的指定索引。在该Action中，您将始终在堆栈顶部有一个字符串，用于指定索引。如果它是一个空字符串，那么就没有索引。

语法中的解析器堆栈管理与操作

1 个答案: