Difference between revisions of "Rodin File Types"
From Event-B
Jump to navigationJump to searchimported>Laurent (Initial version, contains only core plug-ins) |
imported>Laurent m (→Core Platform: Remove title) |
||
| Line 2: | Line 2: | ||
The purpose of this page is to inventory all file types used by the Rodin platform and plug-ins. | The purpose of this page is to inventory all file types used by the Rodin platform and plug-ins. | ||
| − | |||
| − | |||
{{SimpleHeader}} | {{SimpleHeader}} | ||
Revision as of 10:20, 8 March 2013
The Rodin platform manipulates several kind of files which are usually distinguished by their extension.
The purpose of this page is to inventory all file types used by the Rodin platform and plug-ins.
| File Extension | Root Element Type | Contents | Plug-in |
| .bum | IMachineRoot | Event-B Machine | Event-B Core |
| .buc | IContextRoot | Event-B Context | Event-B Core |
| .bcm | ISCMachineRoot | Event-B Statically Checked Machine | Event-B Core |
| .bcc | ISCContextRoot | Event-B Statically Checked Context | Event-B Core |
| .bpo | IPORoot | Event-B Proof Obligations | Event-B Core |
| .bpr | IPRRoot | Event-B Proofs | Event-B Core |
| .bps | IPSRoot | Event-B Proof Statuses | Event-B Core |
