是否存在用于描述源代码属性以强制执行编码指南的元语言？

Question

今天，编码有很多不同的指导方针和标准（内部和外部）。还有一些工具可以强制执行编码指南。

我想知道是否有任何语言有助于制定工具可以使用的编码指南？

我认为它们应该是针对特定语言的，并且基于其他元语言，例如Backus–Naur Form。因此规则“不允许goto语句”可以描述为：

rule_goto_statement_not_allowed ::= statement_delimiter + "goto" + 
                                    statement_delimiter + label + ";"

rule_goto_statement_not_allowed_error_message ::= line + "goto not allowed!"

Answer 1

为此目的，PMD有一种基于AST的规则语言。