Extending the Static Checker
From Event-B
Introduction
The purpose of this page is to describe how to extend the static checker. It covers on the one hand, the definition of the extension, and on the other hand its implementation.
The useful extension points are listed below; they offer the possibility to contribute to the static checker:
- org.eventb.core.configurations
- org.eventb.core.scModuleTypes
