Extending the Static Checker
From Event-B
Revision as of 09:47, 7 May 2010 by imported>Pascal (→Introduction)
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