On top of that, we introduced the new Codan static analysis framework as optional component to provide semantic error reports ahead of compile time.

The ontology is applied to abstract the static quality knowledge. And semantic analysis is applied to process the quality disaccords .