Extending the Static Checker: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Pascal m →Plan |
imported>Pascal |
||
| Line 1: | Line 1: | ||
{{TOCright}} | {{TOCright}} | ||
= 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: | |||
* <tt>org.eventb.core.configurations</tt> | |||
* <tt>org.eventb.core.scModuleTypes</tt> | |||
= Configuration = | = Configuration = | ||
Revision as of 09:47, 7 May 2010
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
