是否存在用於描述源代碼屬性以強制執行編碼準則的元語言？

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的規則語言。