3

我知道可以将参数传递给词法分析器：

rule tokenize scope = parse
  | whitespace       { tokenize scope lexbuf                       }
  | newline          { newline lexbuf; tokenize scope lexbuf       }

但我无法以类似的方式定义我的解析器开始符号。

我试图这样定义它：（感谢这个问题）

%type < (IScope, AST.Script) Fun > Script

// with the following definition in the head section of the parser:
type ('a,'b) Fun = 'a -> 'b

但是我必须像这样定义每个非终端符号，它们都会返回 lambdas。不过，这不是我想要实现的目标，我希望能够scope在几个非终端中访问参数并在解析期间执行它们的操作。

我注意到IParseStateParserLocalStore类型中有一个，它只包含（仅通过调试检查）。由于我可以通过每个非终端访问它，我是否可以在其中存储参数，或者这是一个坏主意？LexBufferparseState

我曾考虑在解析器的头部使用可变变量，但它们将是静态的（我认为？），这将阻止我同时解析多个输入......

编辑：

目前我将scope参数存储在特定的令牌中：

%token <string * IScope> IDENT

我传递scope给 Lexer，他在创建相关标记时将其嵌入到相关标记中......我真的不喜欢这个解决方案，但我无法想出更好的东西。

4

1 回答 1

0

中有一个Dictionary<string, obj>，LexBuffer也可以通过 获得parseState。没有找到更好的解决方案，我最终将我的参数存储在那里。

我知道这很可能不打算以这种方式使用，并且可能在 fsyacc 的未来版本中不可用，但我现在坚持使用它。如果有人需要做同样的事情，我会在此处留下我创建的两个扩展方法，以便以更简洁的方式访问我的参数：

type IParseState with
    member x.LexBuffer() = x.ParserLocalStore.["LexBuffer"] :?> LexBuffer<char>

type LexBuffer<'a> with
    member x.SomeParameter
        with get() = x.BufferLocalStore.["SomeParameter"] :?> SomeParamType
        and set(v) = x.BufferLocalStore.["SomeParameter"] <- v

由于还没有任何答案，我暂时接受这个。随意提出一个更好的解决方案，我会改变接受的答案。

于 2012-10-24T06:55:03.723 回答