Difference between revisions of "Rodin File Types"
From Event-B
Jump to navigationJump to searchimported>Laurent m (→Core Platform: Remove title) |
imported>Colin |
||
| Line 20: | Line 20: | ||
|- | |- | ||
|<tt>.bps</tt> || {{class|IPSRoot}} || Event-B Proof Statuses || Event-B Core | |<tt>.bps</tt> || {{class|IPSRoot}} || Event-B Proof Statuses || Event-B Core | ||
| + | |- | ||
| + | |<tt>.xmb</tt> || {{class|IPSRoot}} || This is a Machine or Context stored in the standard EMF XMI format - used by the Teamwork plug-in to create a copy of the model that can be compared with the repository. || Event-B EMF Framework | ||
|} | |} | ||
Revision as of 11:36, 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 |
| .xmb | IPSRoot | This is a Machine or Context stored in the standard EMF XMI format - used by the Teamwork plug-in to create a copy of the model that can be compared with the repository. | Event-B EMF Framework |
