Camille Editor: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Fabian
imported>Leuschel
No edit summary
 
(35 intermediate revisions by 9 users not shown)
Line 2: Line 2:
| __TOC__
| __TOC__
|}
|}
The first version of the Text Editor will be released in the next weeks, that means in second half of June and not before the Rodin release 1.0 has been published.


Until then we are going to release a few testing releases (beta) for interested users. You will find instructions how to install and use these beta releases on this page.
Camille 3.0.2 for Rodin 3.0.1 released on 19th August 2014


A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-duesseldorf.de/camille/  http://nightly.cobra.cs.uni-duesseldorf.de/camille/].


<span style="color:#8B4513">Make sure to install the latest Event-B EMF Framework (version 3.7.0 or greater)!</span>


 
See also: [[Camille_Release_History]]
==News ==
* ''19th June 2009'': [[#Version_0.0.5|Version 0.0.5]] released which fixed the known crucial bugs. It is based on Rodin 1.0.0 RC1.
* ''30th May 2009'': [[#Version_0.0.4|Version 0.0.4]]
* ''29th May 2009'': [[#Version_0.0.3|Version 0.0.3]]
* ''27th May 2009'': [[#Version_0.0.2|Version 0.0.2]]. Update the page due to syntax changes and new version on update-site. Announcement on the DEPLOY tooling mailing list.
* ''13th May 2009'': [[#Version_0.0.1|Version 0.0.1]]. Creation of this page and publishing the beta update-site for the first time. Presentation at refocus meeting in Southampton.
 


==Installing ==
==Installing ==
The TextEditor relies on features of the Rodin release 1.0 which is not yet released. Therefore you will have to use the release candidate 1 of Rodin 1.0.0. The following steps will guide you through this process:
The TextEditor relies on features of the Rodin release 1.0 or newer. The following steps will guide you through this process:


# Download Rodin_1.0.0_RC1 for your platform from [http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714&release_id=687381 Sourceforge]:
# Download the latest Rodin release for your platform from [http://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/ Sourceforge].
# Extract the downloaded zip file.
# Extract the downloaded zip file.
# Start Rodin from the folder where you extracted the zip file in the previous step.
# Start Rodin from the folder where you extracted the zip file in the previous step.
# Install the TextEditor:
# Install the TextEditor:
## In the menu choose ''Help'' -> ''Software Updates...''
## In the menu choose ''Help'' -> ''Install New Software...''.
## Select the tab ''Available Software'' and click ''Add Site...''
## Select the site ''Camille - http://www.stups.uni-duesseldorf.de/camille_updates'' in the drop-down list.
## Use the location URL: <tt>http://www.stups.uni-duesseldorf.de/update-beta/</tt>
## Check ''Camille Text Editor''.
## Back in ''Available Software'' open the update site you just added
## Click ''Next''.
## Select ''Event-B EMF Framework'' and ''Event-B TextEditor'' and click ''Install...''
## If you didn't install the ''Event-B EMF Framework'' yet it will be automatically added. Confirm by clicking ''Finish''.
# Restart Rodin as suggested.
# Restart Rodin as suggested.


Line 35: Line 29:


==Updating ==
==Updating ==
As often as possible we are going to publish updated beta releases. We recommend that you update your new Rodin installation with these updates for the TextEditor (and EMF Framework).
As often as possible we are going to publish updated releases. We recommend that you update your new Rodin installation with these updates for the TextEditor (and EMF Framework).


Although we will try to announce these updates on this site too, it is a lot easier if you setup Rodin to let you know when an update is available. The following steps guide you through this process:
Although we will try to announce these updates on this site too, it is a lot easier if you setup Rodin to let you know when an update is available. The following steps guide you through this process:
Line 92: Line 86:
* Also see the [[TextEditor_EBNF|EBNF page]] for some restrictions in the syntax.
* Also see the [[TextEditor_EBNF|EBNF page]] for some restrictions in the syntax.


==Bugs and Features ==
==Bugs and Feature Requests ==
Please use this section to report any bugs you find and let us know about features you would like to see in the TextEditor.
 
Regarding feature requests: Any feature request is welcome! But please keep in mind that we are preparing for a first stable release of the TextEditor. So we might not start working on your feature request in the next weeks. ''The focus until the first release is on stability!''


====Bugs ====
Please use the bug tracker at [https://github.com/hhu-stups/camille/issues GitHub] to report any bugs or send us feature requests.
* On Mac the relational override symbol is not displayed properly.
* Undo is behaving unexpectedly for formula symbols which are replaced. Reverting the replace is one undo step. But the symbol is replaced again if no second undo is invoked quickly enough.
* Bookmarks can be created, but they disappear when saving.
* <del>[Bosch] Ctrl+Space (Code Completion) produces a null pointer exeception if invoked in places where it should not be invoked (e.g. empty space in the editor etc.)</del> ''fixed in [[#Version_0.0.6|version 0.0.6]]''
* When a ''refines'' or ''sees'' references a not-existig machine/context the component is created on-the-fly without asking the user. Partly caused by a bug in the EMF persistence for Event-B.
 
====Feature Requests ====
* Add Auto-Formating (i.e., explicit call of the pretty-printer on CMD+SHIFT+F)
* Add other machines/contexts to code completion suggestions when completing after refines/sees
* Add hovers with additional information, such as the declaring machine/context
* Add jump-to-declaration action
* Select complete element (e.g. event) with double- or triple-click
* Lock keywords so they cannot be changed anymore
* Highlight matching paranthesis
* Make TextEditor an [http://en.wikipedia.org/wiki/Eierlegende_Wollmilchsau Eierlegende Wollmilchsau]... ;-)
* [Bosch] Provide folding for Event-B model elements (similar to folding of Java methods)
* [Bosch] Provide refactoring of Event-B model elements
* [Bosch, R1] Provide symbol table; see http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/d100429/DEPLOY_082_1th_ReportToolReq.pdf
* Due to the restriction that the editor only accepts labels without whitespaces some models do not parse in the text editor. Informing the user about this problem when opening such a file would be helpful. An alternative is to automatically change labels and replace a whitespace with a '_'. The latter is only reasonable if the user knows what happens (might lose proofs) or when a refactoring is available which preserves proofs.
* Add code completion for labels


====Comments ====
====Comments ====
Line 123: Line 94:


==Release Notes ==
==Release Notes ==
=====Version 0.0.6 =====
''not yet released''
* Bugfixes:
** [Bosch] Ctrl+Space (Code Completion) produces a null pointer exeception if invoked in places where it should not be invoked (e.g. empty space in the editor etc.)
** Problems when opening machines/contexts in projects with blank in name.
** Keywords in event names highlighted incorrectly.
* Improvements
** Adding new view '''Symbol table''' which offers click-and-insert for mathematical symbols.
=====Version 0.0.5 =====
''19th June 2009''
* Bugfixes:
** After undoing all changes the editor still has the dirty flag (* marker in editor tab)
** The list of code completion proposals sometimes doesn't show expected (matching) results because the context at the cursor position is not evaluated correctly.
** [Bosch] There seems to be a problem parsing witnesses. Error reported is: [...] with @P_Env_ControlSignals' P_Env_ControlSignals' [...] "Unknown token: '"
** [Bosch] It is not possible to extend contexts "extends" keyword is not parsed correctly
** When inserting a template the special editing mode for the template is left to quickly, i.e., without user interaction.
** Pretty-print putting comments before context header causes a parse error
** The token declaration for ''label'' is too strict.
** The token declaration for identifiers is too strict.
** Bug when pretty-printing refining events
** Refines attribute of events was not persisted to the RodinDB by the text editor
** Changing the order of events was not persisted into the RodinDB
** In an event name 'find_max' the 'max' part is highlighted as a formula keyword
* Improvements
** Generating better error messages for misplaced comments, i.e., explain error in understandable way.
** Problems when opening the editor are reported in a better way now. The real reason is shown in the UI. This will help when examining error reports in the future.
** Text editor's preference pages now show up in the preference entry of the editor's context menu.
** The left ruler column doesn't show a change hover anymore. It's not (yet) supported.
** '''Templates''' are now editable and extensible via a '''preference page'''.
** Saving is now wrapped into one commit to the RodinDB which causes less change notifications.
** Error message about missing @ signs now show @ sign and not 'at' any more.
** Added a lot '''more templates''' (40+), especially for expressions and predicates. ''Please let us know which templates you would like to have added.''
=====Version 0.0.4 =====
''30th May 2009''
* Fixing more bugs.
* Full integration with graphical editor (both open) now working.
=====Version 0.0.3 =====
''29th May 2009''
* Fixing first reported bugs.
* '''[[#Installing|Reinstalling]], i.e., including Rodin is recommended.'''
=====Version 0.0.2 =====
''27th May 2009''
* Fixing some bugs.
* Updating this page due to syntax changes and new version on update-site.
* Announcement on the DEPLOY tooling mailing list.


See [[Camille_Release_History]]


=====Version 0.0.1 =====
[[Category:Text editor]]
''13th May 2009''
[[Category:User manual]]
* Initial beta-release.
* Presentation at refocus meeting in Southampton.

Latest revision as of 12:22, 27 January 2015

Camille 3.0.2 for Rodin 3.0.1 released on 19th August 2014

A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: http://nightly.cobra.cs.uni-duesseldorf.de/camille/.

Make sure to install the latest Event-B EMF Framework (version 3.7.0 or greater)!

See also: Camille_Release_History

Installing

The TextEditor relies on features of the Rodin release 1.0 or newer. The following steps will guide you through this process:

  1. Download the latest Rodin release for your platform from Sourceforge.
  2. Extract the downloaded zip file.
  3. Start Rodin from the folder where you extracted the zip file in the previous step.
  4. Install the TextEditor:
    1. In the menu choose Help -> Install New Software....
    2. Select the site Camille - http://www.stups.uni-duesseldorf.de/camille_updates in the drop-down list.
    3. Check Camille Text Editor.
    4. Click Next.
    5. If you didn't install the Event-B EMF Framework yet it will be automatically added. Confirm by clicking Finish.
  5. Restart Rodin as suggested.


Now you are ready to use the TextEditor.

Updating

As often as possible we are going to publish updated releases. We recommend that you update your new Rodin installation with these updates for the TextEditor (and EMF Framework).

Although we will try to announce these updates on this site too, it is a lot easier if you setup Rodin to let you know when an update is available. The following steps guide you through this process:

  1. In Rodin open the preferences (Window -> Preferences or for Mac: Rodin -> Preferences)
  2. Find Install/Update -> Automatic Updates
  3. Select Automatically find new updates and notify me

As soon as Rodin finds a new update it will ask you if you would like to install it.

This is how it should work. Unfortunately the update doesn't always notify the user properly. So we recommend checking for updates regularly or watching this page for changes. We will announce updates on this page too.

Usage

This section should help you to get started with the TextEditor.

To get a first impression also visit the screenshot page.

Opening with the TextEditor

The TextEditor competes with the current graphical Event-B editor when it comes to the selection of a default editor for the double click action to open a model file. To explicitly select which editor should be used please select Open with... in the context menu of the component you want to open. In this menu you can select which editor is used. After opening a component with one editor this editor will be the default until you select another one.

Syntax

The text syntax for machines and contexts is closely related with the pretty-print you might know from the graphical Event-B editor. See the grammar's EBNF for details.

As you might notice in the grammar it only describes the structure of machines and contexts. For the terminals predicate, expression and action you can use the syntax for formulas which you already know from editing models with the graphical Event-B editor. You can use the ASCII representation of mathematical symbols or their unicode. See the Rodin help for details about the mathematical symbols and their ASCII counterparts.

Editing

The TextEditor currently offers the following features:

  • Syntax error marking: Syntactical errors are highlighted in the input text.
  • Mathmatical language: You can type formulas in ASCII syntax and the TextEditor will replace ASCII symbols with their unicode counterparts as soon as you stop typing for a short while.
  • Syntax highlighting: Keywords (structural and in formulas), labels and comments are highlighted. This happends directly when typing.
  • Semantic highlighting: Identifiers are highlighted based on their semantic meaning, i.e., as variables, constants, parameters, sets, local variables. This highlighting is updated when you stop typing for a short while.
  • Configuration of highlighting: In the Rodin preference pages you will find a page for the highlighting in the TextEditor. It allows you to change color and style of highlighted text.
  • Code completion: The following elements are available for code completion (invoked by Ctrl+Space on the most computers)
    • Keywords
    • Identifiers
    • Templates (very few so far, please let us know which templates you would like to add)
  • Outline View: An outline view gives you an overview of the model's structure.
  • Quick Navigation: The outline view allows clicking on an element to jump to its position within the text.


Of course the TextEditor offers the common features you know from other text editors, such as: copy, paste, moving of text (try Alt+Up or Alt+Down), undo, redo, ...

Restrictions

Due to some design decisions and its combination with the Rodin platform the TextEditor comes with a few restrictions:

  • Semantic analysis (for highlighting and code completion for example) can only performed if the overall structure of the input is parsable. Therefore you might experience situtions when the semantic highlighting or the code completion produces unexpected results because it is based on outdated parsing information.
  • Parsing for formulas, i.e., predicates, actions and expressions can only be performed if the overall structure of the input is parsable. If the structure is not parsable ascii symbols will not be replaced until you correct the overall structure.
  • Also see the EBNF page for some restrictions in the syntax.

Bugs and Feature Requests

Please use the bug tracker at GitHub to report any bugs or send us feature requests.

Comments

Of course any other feedback is welcome too! We appreciate when you let us now what you think about the TextEditor.

Release Notes

See Camille_Release_History