Refactoring Framework - Revision history

Guillaume: Release 1.4.0

2025-02-27T10:47:31Z

Release 1.4.0

← Older revision		Revision as of 10:47, 27 February 2025
Line 4:		Line 4:

	==News ==		==News ==
			* ''27th February 2025'' : [[#Version_1.4.0\|Version 1.4.0]] released. It is based on Rodin 3.8.x.
	* ''6th May 2014'' : [[#Version_1.3.0\|Version 1.3.0]] released. It is based on Rodin 3.0.x.		* ''6th May 2014'' : [[#Version_1.3.0\|Version 1.3.0]] released. It is based on Rodin 3.0.x.
	* ''25th June 2012'' : [[#Version_1.2.2\|Version 1.2.2]] released. It is based on Rodin 2.5.x.		* ''25th June 2012'' : [[#Version_1.2.2\|Version 1.2.2]] released. It is based on Rodin 2.5.x.
Line 83:		Line 84:

	== Releases ==		== Releases ==

			=====Version 1.4.0 =====

			''27th February 2025''

			This new release fixes compatibility issues with Rodin. It requires Java 11+ and Rodin 3.8+.

	=====Version 1.3.0 =====		=====Version 1.3.0 =====

imported>Andy: /* Initial Work */

2016-01-12T07:41:24Z

Initial Work

← Older revision		Revision as of 07:41, 12 January 2016
Line 39:		Line 39:
	==Initial Work ==		==Initial Work ==

	Initial work towards implementation of this framework is described in [http://~~www.~~stups.~~uni-duesseldorf~~.de/~~thesis_detail~~.~~php?id=9~~ Sonja Holl's Bachelor thesis]		Initial work towards implementation of this framework is described in [http://stups.hhu.de/mediawiki/images/9/94/Holl2007_Bachelorarbeit.pdf Sonja Holl's Bachelor thesis]

	==Installing/Updating ==		==Installing/Updating ==

imported>Nicolas: version 1.3.0

2014-05-06T17:01:31Z

version 1.3.0

← Older revision		Revision as of 17:01, 6 May 2014
Line 4:		Line 4:

	==News ==		==News ==
			* ''6th May 2014'' : [[#Version_1.3.0\|Version 1.3.0]] released. It is based on Rodin 3.0.x.
	* ''25th June 2012'' : [[#Version_1.2.2\|Version 1.2.2]] released. It is based on Rodin 2.5.x.		* ''25th June 2012'' : [[#Version_1.2.2\|Version 1.2.2]] released. It is based on Rodin 2.5.x.
	* ''29th June 2011'' : [[#Version_1.2.0\|Version 1.2.0]] released. It is based on Rodin 2.2.x.		* ''29th June 2011'' : [[#Version_1.2.0\|Version 1.2.0]] released. It is based on Rodin 2.2.x.
Line 82:		Line 83:

	== Releases ==		== Releases ==

			=====Version 1.3.0 =====

			''6th May 2014''

			This new release is a port to Rodin 3.x.

	=====Version 1.2.2 =====		=====Version 1.2.2 =====

imported>Asiehsalehi: /* The Rename Refactoring Plug-in */

2013-07-04T15:40:13Z

The Rename Refactoring Plug-in

← Older revision		Revision as of 15:40, 4 July 2013
Line 17:		Line 17:

	==The Rename Refactoring Plug-in ==		==The Rename Refactoring Plug-in ==

	~~[[User:Renato]] at [[Southampton]] is in charge of the [[Refactoring Framework]].~~

	One of the most recurring requirement from users of the Rodin platform is to have simple means for renaming modeling elements. Users want to have a unique operation that will rename an element both at its declaration and all its occurrences. Moreover, they require that renaming an element doesn't modify their existing proof state (no loss of proof).		One of the most recurring requirement from users of the Rodin platform is to have simple means for renaming modeling elements. Users want to have a unique operation that will rename an element both at its declaration and all its occurrences. Moreover, they require that renaming an element doesn't modify their existing proof state (no loss of proof).

imported>Renato: /* Bugs, Features and Comments */

2012-06-25T12:33:00Z

Bugs, Features and Comments

← Older revision		Revision as of 12:33, 25 June 2012
Line 75:		Line 75:
	== Bugs, Features and Comments ==		== Bugs, Features and Comments ==

	''Any reports of bugs, features or comments are welcome. ~~You can add any of them here.~~''		''Any reports of bugs, features or comments are welcome. Please, use the SourceForge trackers to report a bug on existing features, or to request new features:''

	====Bugs ====		* [https://sourceforge.net/tracker/?atid=651669&group_id=108850&category=1259297 Bugs]
	* Renaming fails when renaming an event whose machine is refined (fixed in v0.0.7)		* [https://sourceforge.net/tracker/?atid=651672&group_id=108850&category=1259298 Feature Requests]
	* Renaming all proofs after renaming (fixed in v0.0.6)
	* Renaming does not work when renamed element is in variant (fixed in v0.0.5)
	* Renaming proofs did not propagate over related files (fixed in v0.0.5)

	====Features Request====		====Features Request====
	* Support for Records plug-in (fixed in v1.0.0)
	* Implement UNDO for renaming		* Implement UNDO for renaming

	~~====Comments ====~~
	* -

	== Releases ==		== Releases ==

imported>Renato: /* Steps of usage */

2012-06-25T11:39:12Z

Steps of usage

← Older revision		Revision as of 11:39, 25 June 2012
Line 66:		Line 66:
	# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]		# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]
	# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard2.png\|400x350px]]		# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard2.png\|400x350px]]
	# If the option '''Wait for Indexer to update ~~is selected~~''', then '''if the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later~~. Otherwise it will use the previous version of the indexer and rename accordingly~~. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]		# If the option '''Wait for Indexer to update''' is selected, then '''if the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]. If the option '''Wait for Indexer to update''' is not selected, the tool will use the previous version of the indexer and rename accordingly.
	# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]		# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]
	# A list of related files is created and the plug-in check for possible clashes and returns a report		# A list of related files is created and the plug-in check for possible clashes and returns a report

imported>Renato: /* Usage */

2012-06-25T11:37:42Z

Usage

← Older revision		Revision as of 11:37, 25 June 2012
Line 65:		Line 65:
	# User selects element to be renamed at the Event-B Explorer		# User selects element to be renamed at the Event-B Explorer
	# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]		# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]
	# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:~~new_name_wizard~~.png\|400x350px]]		# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard2.png\|400x350px]]
	# If the option 'Wait for Indexer to update is selected', then '''if the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]		# If the option '''Wait for Indexer to update is selected''', then '''if the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later. Otherwise it will use the previous version of the indexer and rename accordingly. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]
	# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]		# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]
	# A list of related files is created and the plug-in check for possible clashes and returns a report		# A list of related files is created and the plug-in check for possible clashes and returns a report

imported>Renato: /* Steps of usage */

2012-06-25T11:35:24Z

Steps of usage

← Older revision		Revision as of 11:35, 25 June 2012
Line 66:		Line 66:
	# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]		# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]
	# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard.png\|400x350px]]		# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard.png\|400x350px]]
	# '''If the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]		# If the option 'Wait for Indexer to update is selected', then '''if the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]
	# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]		# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]
	# A list of related files is created and the plug-in check for possible clashes and returns a report		# A list of related files is created and the plug-in check for possible clashes and returns a report

imported>Renato: /* Releases */

2012-06-25T11:14:26Z

Releases

← Older revision		Revision as of 11:14, 25 June 2012
Line 91:		Line 91:

	== Releases ==		== Releases ==

			=====Version 1.2.2 =====

			''25th June 2012''

			A release of renaming/refactory (v1.2.2) compatible with Rodin v2.5 is available in the main Rodin update site (Utilities category).
			*Bug fix
			** Fixed bug related with waiting for the rodin indexer to update

			*Feature Request:
			** Added option to rename without having to wait for the rodin indexer to update.

	=====Version 1.2.0 =====		=====Version 1.2.0 =====
Line 96:		Line 107:
	''29th June 2011''		''29th June 2011''

	A release of renaming/refactory (v1.0.0) compatible with Rodin v2.2.x is available in the main Rodin update site.		A release of renaming/refactory (v1.2.0) compatible with Rodin v2.2.x is available in the main Rodin update site.
	*Bug fix		*Bug fix
	** Before renaming, ignore unsaved files that finish with 'tmp'.		** Before renaming, ignore unsaved files that finish with 'tmp'.

imported>Renato: /* News */

2012-06-25T11:11:36Z

News

← Older revision		Revision as of 11:11, 25 June 2012
Line 4:		Line 4:

	==News ==		==News ==
			* ''25th June 2012'' : [[#Version_1.2.2\|Version 1.2.2]] released. It is based on Rodin 2.5.x.
	* ''29th June 2011'' : [[#Version_1.2.0\|Version 1.2.0]] released. It is based on Rodin 2.2.x.		* ''29th June 2011'' : [[#Version_1.2.0\|Version 1.2.0]] released. It is based on Rodin 2.2.x.
	* ''8th Nov 2010'' : [[#Version_1.0.0\|Version 1.0.0]] released. It is based on Rodin 2.0.x.		* ''8th Nov 2010'' : [[#Version_1.0.0\|Version 1.0.0]] released. It is based on Rodin 2.0.x.

← Older revision		Revision as of 11:39, 25 June 2012
Line 66:		Line 66:
	# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]		# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]
	# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard2.png\|400x350px]]		# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard2.png\|400x350px]]
	# If the option '''Wait for Indexer to update ~~is selected~~''', then '''if the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later~~. Otherwise it will use the previous version of the indexer and rename accordingly~~. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]		# If the option '''Wait for Indexer to update''' is selected, then '''if the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]. If the option '''Wait for Indexer to update''' is not selected, the tool will use the previous version of the indexer and rename accordingly.
	# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]		# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]
	# A list of related files is created and the plug-in check for possible clashes and returns a report		# A list of related files is created and the plug-in check for possible clashes and returns a report

← Older revision		Revision as of 11:35, 25 June 2012
Line 66:		Line 66:
	# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]		# By right clicking in the element, there should appear an option 'Refactory...'. Selecting that option should open a wizard [[Image:refactory menu.png\|300x300px]]
	# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard.png\|400x350px]]		# User introduces new element name in the first page of the wizard. Then click in 'Next'. [[Image:new_name_wizard.png\|400x350px]]
	# '''If the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]		# If the option 'Wait for Indexer to update is selected', then '''if the rodin indexer is not up to date, the user has to wait for it. Otherwise, the user can cancel the operation and try later. ''' [[Image:Refactory_progress_updating_rodin_indexer.png\| middle \|300x300px]]
	# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]		# Once the indexer is up to date, the user can proceed with the operation.[[Image:refactory_rodin_indexer_updated.png\|350x300px]]
	# A list of related files is created and the plug-in check for possible clashes and returns a report		# A list of related files is created and the plug-in check for possible clashes and returns a report