Difference between pages "Rodin Keyboard" and "Rodin Platform 1.2 Release Notes"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Nicolas
 
imported>Pascal
 
Line 1: Line 1:
The Rodin Keyboard is an extensible keyboard for inputing mathematical formula (in Unicode).  The Rodin keyboard provides the following facilities:
+
{{TOCright}}
* A ModifyListener (RodinModifyListener) that can be attached to a SWT widget. When the content of the widget is modified, the keyboard reacts and translate the content accordingly. Currently, RODIN Keyboard supports Text and StyledText widget.
 
* An utility class Text2MathTranslator with a static method translate(String) for manually translating any string (or sub-part of a string) into mathematical formula.
 
* An Eclipse View called Rodin Keyboard View which provides an text input area which will translate the input text into mathematical formula. This View can be found under category RODIN.
 
  
The Rodin Keyboard however does not contain any pre-defined translation rules for any mathematical symbols. Instead, this task is left for the developers who want to declare different "keyboards" corresponding to the mathematical language that they want to use. Moreover, different combinations can be used to enter the same mathematical symbols.
+
== What's New in Rodin 1.2? ==
 +
{{TODO | List here the new features and improvements.}}
  
Currently, there are two keyboards available:
+
* [[Generated elements | Generated elements]]
* Standard keyboard for Event-B.
 
* LaTeX-style keyboard for Event-B.
 
  
= Specification =
+
* Migration to Eclipse 3.5 (Galileo)
  
== Definitions ==
+
* Use SWT.UNDERLINE_LINK (@since 3.5) for StyledText links
* '''Translator''': mechanism that transforms a '''source chain''' into a '''target chain''' according to a set of '''transformation rules'''
 
* '''Token''': '''isolated''' character sequence in a chain
 
* '''Transformation Rule''': specification of the modification of a token sequence into another token sequence
 
* '''Combination''': specification of a transformation from a single input token into another single output token
 
* There are 3 kinds of lexical entities in a source chain:
 
** '''spacings''' (space, tabulation, end of line, ...)
 
** '''text symbols''' (identifier-like)
 
** '''math symbols''' (all other symbols)
 
  
 
== Requirements ==
 
== Requirements ==
 +
{{TODO | Inform here of some specific system requirements (version of Java, etc).}}
  
# The translator must be able to deal both with static translation of a whole chain and on the fly translation of a user input chain (characters being typed in continuously)
+
== External plug-ins ==
# The translator must help maintain a coherent caret position
+
{{TODO | Describe here the available plug-ins, and the supported versions for this release.}}
# The translator must keep spacing unchanged
 
# The translator must support contributed combinations
 
# The translator must avoid non-termination due to combination contributions
 
#: This will be enforced by a stronger requirement: the translation must be an idempotent operation for a given caret position, for whatever contributed combinations
 
# The translator must check that combination input tokens are either identifier-like or other symbols
 
# The translator must not process a token that has the caret over it
 
# Once a symbol has been translated, it can never be translated back into its original text form
 
  
 +
== Downloading ==
 +
{{TODO | Add here a link to download the platform.}}
  
[[Category:Design]]
+
== Fixed Bugs ==
 +
{{TODO | Add here a list of the fixed bugs.}}
 +
 
 +
== Known Issues ==
 +
{{TODO | Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).}}
 +
 
 +
[[Category:Rodin Platform]]

Revision as of 16:11, 14 September 2009

What's New in Rodin 1.2?

TODO: List here the new features and improvements.

  • Migration to Eclipse 3.5 (Galileo)
  • Use SWT.UNDERLINE_LINK (@since 3.5) for StyledText links

Requirements

TODO: Inform here of some specific system requirements (version of Java, etc).

External plug-ins

TODO: Describe here the available plug-ins, and the supported versions for this release.

Downloading

TODO: Add here a link to download the platform.

Fixed Bugs

TODO: Add here a list of the fixed bugs.

Known Issues

TODO: Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).