incremental static semantic analysis 增量静态语义分析
On top of that, we introduced the new Codan static analysis framework as optional component to provide semantic error reports ahead of compile time.
在此基础之上，我们引入新的Codan静态分析框架作为可选组件，在编译之前提供语义错误报告。
The ontology is applied to abstract the static quality knowledge. And semantic analysis is applied to process the quality disaccords .
利用本体方法对静态质量知识进行抽象表示，并用于对质量问题的语义处理。
应用推荐