问题标签 [syntax-checking]

我们得到了一个项目，我们必须接受一组具有非常具体要求的大型文本文件，大约 150-200 条规则。每个规则都可以通过、失败、不适用。通过失败可以是存在或缺少匹配的正则表达式。一些规则是多行的（即如果“X”存在，那么以下三行也应该存在并且它们应该包含1、2和3）。

虽然整个事情可以用非常难以阅读的正则表达式代码编写......并且每条规则都必须重新读取整个文件，但我想我会问社区是否还有其他选择？

我查看了 openrules、drools 等。没有一个比在列表中编写大量正则表达式并将每个正则表达式应用于文本文件更容易。

在一个小程序中，用户插入多个键入的公式并将它们连接在一起，以创建一个联立方程系统。并且我想引入运行时类型检查，以便在尺寸不匹配时报告错误

基本类型可以是任何东西，例如Persons, Money, Money/Period, m^2/s^2等，并在运行时作为字符串输入

我阅读了有关 Hindley-Milner 类型推断的信息，但认为它有点夸大了。

我的想法是依赖两个规则：

先分词，然后

如果 a*b 则维度是“扩展”或“收缩”，因为您跟踪单个维度的计数，例如

然后减去单个计数，从而Money(2) Person(1) Year(1)留下final type

这可以实现为 tree walker，其中每个 (+/-) 节点测试维度约束，然后简化以产生最终答案

这是解决这个问题的好方法吗？

我正在尝试在我的应用程序中构建一个审核功能，以检查各种代码质量问题。

我想做的一件事是检查某些 PHP 文件的语法错误。我打算使用php_check_syntax()但它已在 PHP 5.0.5 中被删除。

我试过使用exec()语句，但它没有输出任何东西。我添加了一个date以确保exec()正常工作：

输出：

如何检查 PHP 文件中的 PHP 语法错误？

在 MySQL Workbench 中编写查询时，有没有办法关闭语法/错误检查？当我输入时它几乎总是滞后（大概是为了检查语法，因为它会通知我错误），如果我连接到远程服务器，它会变得更糟。

有什么办法可以关闭它吗？我检查了首选项和可用的文档，但找不到任何东西。

我在 OSX Mavericks 上使用 6.0 社区版。

我在网上没有找到这个问题的答案，所以我先说出来；这不是关于 SublimeLinter 的问题，我不想根据 PEP8 标准格式化我的 python 代码。

如何禁用Python Checker包中的警告“缩进包含标签”？

在 Gedit 中，我可以在当前文档上添加一个“php -l”的外部工具，如果我安装了 PHP 命令行，它将对文档进行语法检查。有没有办法用 Sublime Text Editor 做到这一点？（注意，我有一台 Mac，它安装了 PHP CLI。）

我想我必须将代码片段粘贴到 Sublime 插件中，对吧？

使用 gcc 或 g++ 时，告诉 GCC 只编译文件而不是链接 (-S) 与告诉它不生成输出文件 (-o "nul") 有什么区别：

...并告诉它只检查语法（-fsyntax-only）？

这两个选项都不会产生输出，只运行编译阶段，运行时间大致相同。

我正在使用 GCC 的 Windows 端口，它将“nul”视为吃掉所有输出的空设备（如 /dev/null）。

编辑：正如 Mike Seymour 指出的那样，当将 -fsyntax-only 传递给 GCC 时，即使被告知这样做，它也不会尝试执行优化，而 -S 不是这种情况。换句话说，这比较慢（我已经进行了测量）：

... 比这个：

Qt Creator 可以通过一些语法检查来定位 C++ 代码中的错误。但是它并没有阻止我按下编译按钮。如果我的代码中有错误，有什么方法可以将其配置为不开始编译。

例如，如果我写std:.cout了或错过了结束分号等，它会给我一个红色下划线警告。但是我仍然可以按下编译按钮，并且必须等待几秒钟，然后编译器才会意识到代码中有问题。我可以让它停止并告诉我基于语法检查的某处有错误吗？

我的 Mac 上有 emacs24（由 homebrew 安装）、flycheck（由 MELPA 安装）和 pylint（由 pip 安装），并且我有以下代码

在我的 .emacs 文件中。但是，当我键入 python 脚本时仍然没有语法检查。从 emacs 下拉菜单中，语法检查实际上是灰色的。

我知道 flycheck 正在工作，因为当我编辑 .emacs 文件时语法检查正在工作，所以我认为这是 pylint 的问题。知道我在这里缺少什么吗？

我想使用 Komodo IDE 来构建一个 Django 项目。我想使用 flycheck 语法检查器，以便它即时指示语法错误。如果 fly-check 无法与 Komodo 集成，是否还有其他可能进行语法检查的可能性飞？