Extending the Static Checker

From Event-B
Revision as of 09:47, 7 May 2010 by imported>Pascal (→‎Introduction)
Jump to navigationJump to search

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

Configuration

Declaration

Programmatic usage

Modules

Filter

Processor

Sequencing

Parent

Prerequisite

Example