Difference between revisions of "Extending the Static Checker"

From Event-B
Jump to navigationJump to search
imported>Pascal
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

Configuration

Declaration

Programmatic usage

Modules

Filter

Processor

Sequencing

Parent

Prerequisite

Example