Menhir：--外部令牌似乎找不到令牌模块
Menhir是一种用于语法分析的工具，它是一种LR(1)分析器生成器。Menhir可以根据给定的文法规则生成解析器，用于将输入的源代码转换为抽象语法树或其他数据结构。Menhir支持多种语言，包括OCaml和C。
外部令牌是指在语法分析过程中，由词法分析器生成的令牌。令牌是源代码中的一个词法单元，例如关键字、标识符、运算符等。在语法分析过程中，解析器会根据文法规则逐个读取和处理令牌，以构建语法树或执行其他操作。
在Menhir中，外部令牌是通过令牌模块进行管理的。令牌模块定义了令牌的类型和属性，并提供了将源代码转换为令牌的方法。通过定义适当的令牌模块，可以将源代码中的每个词法单元映射为相应的令牌，并将其传递给解析器进行处理。
使用外部令牌的好处是可以将词法分析和语法分析过程分离，使得代码更加模块化和可维护。此外，外部令牌还可以提供更多的灵活性和扩展性，例如可以定义自定义的令牌类型和属性，以满足特定的语法分析需求。
在腾讯云的相关产品中，可以使用腾讯云函数（SCF）来实现语法分析和解析器的部署和管理。腾讯云函数是一种无服务器计算服务，可以根据需要自动运行代码，并提供高可用性和弹性扩展。您可以使用腾讯云函数来部署和运行Menhir生成的解析器，以实现对源代码的语法分析和处理。
更多关于腾讯云函数的信息和产品介绍，请参考腾讯云函数官方文档：腾讯云函数
相关·内容
1回答
Menhir：--外部令牌似乎找不到令牌模块
ocaml、menhir
现在，我有了一个使用来自tokens.mly的令牌的parser.mly。我想把我的令牌放在tokens.ml/mli里，把解析器放在parser.mly里。因此，我尝试使用以下命令编译我的解析器 menhir parser.mly --table --explain --external-tokens Tokens 这会给我一个错误，说我的一个令牌不存在。所以，门希尔没有找到Tokens模块。我不知道如何让menhir看到它。我尝试创建一个tokens.cma库，但即使这样，
浏览 19提问于2019-07-03得票数 0
回答已采纳
1回答
可以调试门希尔词法分析器吗？
ocaml、menhir
可以调试由门希尔生成的解析器，例如menhir --interpret --interpret-show-cst parser.mly。还可以调试哪些令牌是由lexer创建的吗？例如，调试"1+2“会输出”int1+int2“令牌列表。 查看生成的parser.ml模块，有一个具有令牌类型的MenhirBasics模块，但没有string_of_token或类似的模块。哦，令牌类型在parser.mli文件中公开。如果门希尔能生成@@派生节目
浏览 16提问于2021-05-02得票数 2
2回答
通过门禁使包含标记的表对.mly和.mll均可见
parsing、ocaml、lexical-analysis、ocamllex、menhir
该表似乎必须在parser.mly中定义， open Utility (* where hash_table is defined to make a table from a list *= Parser.keyword_table (* doesn't work *)}
正如所建议的，menhir
浏览 9提问于2014-02-07得票数 3
2回答
节点内容中令牌替换的最佳方法是什么？
nodes、tokens
我是个新手，浏览过论坛(包括这个论坛)、书籍和文档，但找不到明确的答案：
什么是最好的方法(自定义模块？节点内容中的PHP？其他？)要用自定义用户配置文件字段的值替换节点正文中的令牌？用例:我需要用特定于当前用户的字符串替换外部URL中的文本。我希望可以将令牌字符串放入节点内容中的URL中，并将令牌替换为当前用户配置文件中指定的值。我没有创建任何自定义模块，但如果有人建议采取一种特定的方式，我愿意投入其中。
浏览 0提问于2011-05-30得票数 3
回答已采纳
1回答
如何使用预订模块发送确认预订电子邮件？
7、emails
我正在使用预约模块来控制某些资源。我想发送一封电子邮件给用户谁预订的资源，当它被确认。我还安装了预订电子邮件模块来处理这个问题。我找不到一个令牌来引用电子邮件正文中的用户。对于如何使用现有模块来实现这一点，有什么建议吗？
浏览 0提问于2016-06-29得票数 1
1回答
编译ocaml在opam库中找不到模块，Js.ml在js_from_ocaml中找不到
ocaml、js-of-ocaml
我在中输入的一些代码一起使用了menhir解析器和js_of_ocaml库。我已经用opam安装了它们。ocamlbuild -use-menhir -menhir "menhir --external-tokens Lexer我遇到的错误是编译器找不到JsClient使用的模块JsClient。代码似乎<
浏览 5提问于2015-09-24得票数 1
回答已采纳
1回答
连接html按钮访问google的people API
javascript、node.js、button、google-people-api
我的HTML正文中有一个按钮，当用户单击该按钮时，它应该加载用户的google联系人。我已通过Google平台注册了所需的凭据和授权，但由于某种原因，我的javascript代码无法工作，并且在Visual中单击演示模式的按钮不会打开一个新窗口，要求我登录我的gmail帐户，允许该网站访问我的联系人等等。任何帮助使API在我的网站上工作将不胜感激。
<button id="google-button" onclick="return auth()" style="color:white;background-color:royalblue;marg
浏览 0提问于2019-08-13得票数 0
回答已采纳
1回答
从ERC-20令牌地址获取有关令牌的详细信息
python、cryptocurrency、web3py
我对Web3的开发非常陌生，我想知道是否有办法从智能合约中找到的令牌地址中获得有关令牌的更多信息(即我有一个令牌地址，但在etherscan上查找交易哈希之前，我不知道它是哪种令牌)。这些信息是我可以直接从区块链/Web3模块获取的，还是需要使用外部API来收集这些信息？
浏览 49提问于2021-11-05得票数 0
回答已采纳
1回答
节点快速处理来自外部api的auth令牌
javascript、node.js、api、express、token
我正在制作我的第一个node + express应用程序，我使用的是一个npm模块，它调用外部api。我有一个带有表单的登录页面，用户在其中输入凭据，然后通过post (ajax客户端，app.post服务器端)传递凭证，并用于进行初始api调用(使用npm模块)，该调用返回一个auth令牌。所有后续api调用(使用npm模块)都是使用该令牌进行的。
我的问题是：(/are)处理该令牌的最佳方法是什么？将其保存在变量/对象中并导出它，然后在我需要<e
浏览 10提问于2016-12-12得票数 2
2回答
用于用户字段的D7 Webform令牌
7、webforms、tokens、users
在D6中，我们可以配置webform字段，通过使用像% profile 钥匙这样的令牌来提取概要文件数据，并将用户字段分配给表单(详见此)。
浏览 0提问于2011-10-13得票数 5
回答已采纳
1回答
如何为kubernetes创建承载令牌
azure、kubernetes、bearer-token
我在Azure上有一个Kubernetes集群，我需要将它连接到外部工具，这个工具需要api服务器地址和Bearer令牌，我能够获得API的url，但是承载令牌，我找不到。有人知道如何生成这个令牌吗？
浏览 5提问于2021-08-31得票数 1
回答已采纳
1回答
如何在wordpress中存储承载令牌？
php、wordpress、bearer-token
我有一个外部API，我将数据从我的Wordpress表单发送到注册用户。注册后，API将返回一个need令牌，我需要使用该令牌从另一个页面向API发出额外的请求。目前在我的functions.php中，我使用wp_remote_post从API中获取承载令牌。令牌在服务器端有一个过期时间，但是我似乎找不到正确的方法来存储它，所以我可以在另一个页面上提出额外的请求。将其存储在$_SESSION全局变量中是个好主意，还是有一种正确的方法来做到这一点？
谢谢
浏览 4提问于2022-07-13得票数 0
1回答
Google Cloud Functions (GCF)在本地使用Authentication header运行良好，但在部署时返回401
node.js、google-cloud-functions、gcloud
部署的函数不能读取id令牌的原因可能是什么？ ?
浏览 20提问于2020-11-23得票数 0
回答已采纳
3回答
使用java创建刷新和访问令牌jwt
java、android、oauth-2.0、jwt
我使用jjwt使用github 上的文档创建令牌。我在android上使用java，并使用api模块作为备份api
浏览 7提问于2017-10-03得票数 4
1回答
在模块中使用terraformrc文件中的凭据
terraform
它包含一个gitlab令牌，用于从实例中获取terraform模块。但是，对于，我还需要在实际的terraform模块中使用这个令牌。目前，我已经提到了terraformrc文件，此外，我还添加了访问令牌作为命令行参数，以便在terraform模块中使用它。在两个不同的位置管理令牌似乎很奇怪:是否可以在我的项目中引用terraformrc文件的内容？
浏览 18提问于2022-07-13得票数 0
4回答
查找节点修改作者令牌
7、tokens
根据http://drupal.org/node/252241，可以使用修订版作者令牌。然而，我没有看到任何参考修订:作者(变体？)在我的可用令牌列表中。有这样的东西吗？
浏览 0提问于2013-05-22得票数 0
回答已采纳
1回答
在Django中使用全局可访问的JWT令牌的安全方法
python、django、jwt
关于如何从Django向客户端发出JWT令牌，有很多方面，但是我正在寻找一种存储JWT令牌的方法，该令牌是分发给Django应用程序的，用于针对外部API进行身份验证。设置：
来自多个客户端的请求不应该每个都需要自己的令
浏览 0提问于2018-02-01得票数 0
回答已采纳
1回答
体系结构令牌认证: Web、Xamarin和外部身份验证
c#、authentication、asp.net-web-api、xamarin
该应用程序不实现自己的身份验证，并且使用外部身份验证(Google、Facebook、Twitter)。Xamarin有一些需要处理的外部身份验证，称为Xamarin.Auth。问题
我是否可以使用外部身份验证服务创建的相同令牌，并将其存储在数
浏览 3提问于2016-12-31得票数 0
2回答
用户凭据使用外部身份验证提供程序，令牌生成使用私有IdentityServer
.net、api、azure、authentication、identityserver4
我正在设计一个安全后端，它应该为多个客户端提供令牌，以保护许多API。用户数据库位于Azure B2C 中。我希望创建包含基于用户访问的不同声明的API令牌。用例：
IdentityServer4 ()，它调
浏览 4提问于2016-08-29得票数 1
回答已采纳
1回答
我可以从SuiteScript获得当前用户的访问/id令牌吗？
https、openid-connect、netsuite、suitescript
我正在使用NetSuite做一些发现，但我很难找到一种方法来获取当前登录的用户的NetSuite访问权限或id令牌。这个是可
浏览 9提问于2022-02-22得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
活动推荐
腾讯云开发者
