FSYacc 生成的解析器线程安全吗？

Question

如果我使用 FSYacc 生成解析器，它是线程安全的吗？

我问的唯一原因是因为函数

Parsing.rhs_start_pos 和 Parsing.symbol_end_pos

似乎没有任何状态传递给它们，这会让我假设他们从共享位置获取当前的非终端/符号，这是正确的吗？

反映代码后，我看到他们从静态属性获取位置，

internal static IParseState parse_information
{
    get
    {
        return parse_information;
    }
    set
    {
        parse_information = value;
    }
}

这是正确的吗？ 如果是这样我该怎么办？

编辑：我还看到一个名为 set_parse_state 的静态方法，

public static void set_parse_state(IParseState x)
{
    parse_information = x;
}

但这仍然无法解决我的问题......

Answer 1

我真的不想回答我自己的问题，但是，因为这可以让别人免于悲伤，有一天我会的。

事实证明，解析模块中提供的函数不是线程安全的。
但是，您可以做的是在非终结符操作中访问 parseState “变量”，它的类型为 IParseState。

例如（粗糙但和我一起工作）：
如果您有一个像这样的非终端，则

%token<string> NAME
%%
Person:
       NAME NAME { $1 (* action *) }

生成的代码是：

(fun (parseState : Microsoft.FSharp.Text.Parsing.IParseState) ->
      let _1 = (let data = parseState.GetInput(1) in 
                           (Microsoft.FSharp.Core.Operators.unbox data : string)
                ) in
      Microsoft.FSharp.Core.Operators.box((_1) : 'Person)
);

因此您可以以相同的方式与该 parseState 对象进行交互。

%token<string> NAME
%%
Person:
       NAME NAME { parseState.DoStuff(); }

rhs_start_pos 方法基本上执行此操作：

let startPos,endPos = parseState.InputRange(n)

而 symbol_end_pos 执行此操作：

let startSymb,endSymb = parseState.ResultRange

我希望这会有所帮助