Search results

Create the page "Help templates" on this wiki! See also the search results found.

• TextEditor Screenshots
  This screenshot shows the content assist with code templates. The selected template would insert the structure for a new event which is
  1 KB (174 words) - 12:43, 12 August 2009
• Rodin Workshop 2016
  ...efining Domain Specific Languages.pdf|pdf]], [[Media:Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf|slides]])
  5 KB (664 words) - 18:29, 6 June 2016
• ADVANCE D3.3 Model Composition and Decomposition
  ...xing of problems before executing decomposition: building a set of problem templates and respective solutions to be suggested to the modeller before executing d * Build a list of architectures templates to be used for decomposition according to the number of sub-components to b
  5 KB (739 words) - 10:48, 23 September 2013
• ADVANCE D3.2 Model Composition and Decomposition
  ...xing of problems before executing decomposition: building a set of problem templates and respective solutions to be suggested to the modeller before executing d * Build a list of architectures templates to be used for decomposition according to the number of sub-components to b
  6 KB (891 words) - 17:21, 11 December 2012
• Documentation Overhaul DoW
  === WP1-1: Styles Guides and Templates (16mh) === ...we will create a style guide to ensure consistency. We will also provide templates as needed, to simplify the creation of the documentation.
  9 KB (1,421 words) - 12:41, 8 December 2011
• Camille Release History
  ...eported in a better way now. The real reason is shown in the UI. This will help when examining error reports in the future. ** '''Templates''' are now editable and extensible via a '''preference page'''.
  6 KB (800 words) - 08:50, 19 August 2014
• Camille Editor
  ## In the menu choose ''Help'' -> ''Install New Software...''. This section should help you to get started with the TextEditor.
  6 KB (945 words) - 12:22, 27 January 2015
• The Use of Theories in Code Generation
  Translator rules are templates. They are used in a pattern matching algorithm, in the Theory plug-in, invo
  4 KB (599 words) - 15:00, 14 June 2021
• Rodin Platform 3.5.0 External Plug-ins
  Please use one of the following templates for the Status column
  9 KB (1,244 words) - 13:52, 1 April 2022
• Extending the Rodin database (How to extend Rodin Tutorial)
  Click on the "class*:" link to open a wizard that will help us to create this class. ...created class, if you set them in "Preferences > Java > Code Style > Code Templates",<br>
  9 KB (1,496 words) - 17:44, 4 September 2013
• D23 TEXT
  ...he text editor supports syntax and semantic highlighting, code completion, templates, an outline view, quick navigation and many more.
  8 KB (1,257 words) - 15:56, 28 January 2010
• Code Generation Activity
  The templates feature. http://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/master/tree/Templates/ .
  17 KB (2,568 words) - 09:03, 19 October 2015
• EMF framework for Event-B
  ...nteraction is required. A compare and merge editor for Event-B models will help users to solve these conflicts. This editor will be based on the [http://wi ...ditor for the Event-B pattern plugin. The syntax of facets - Event-B model templates used to describe patterns - is an extension of the Event-B syntax.
  26 KB (3,961 words) - 13:04, 19 May 2020