#9 How to extend static checker

open
None
5
2008-02-29
2008-02-29
cmetayer
No

I've added some new elements to contexts and these elements require some specific checks.

How can I use the extension points "org.eventb.core.configuration" "org.eventb.core.scModuleTypes" and "org.eventb.core.scStateType".

It seems that the "configuration" mecanism is "hardcoded" and the "org.eventb.core.fwd" configuration is always used.

Discussion

  • cmetayer
    cmetayer
    2008-02-29

    • assigned_to: nobody --> halstefa