Newer
Older
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!--
Documentation of the refinement functionality of AF3.
@author mou
@ConQAT.Rating GREEN Hash: CE126443570E8B101333C88A63B23B86
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>Refactorings in AutoFOCUS (AF3)</title>
<h1><u><font color="#336698">Refactorings in AutoFOCUS (AF3)</font></u></h1>
<h2><font color="#336699">Renaming</font>
AF3 offers the possibility to rename a type or a value, and to <i>propagate</i> the change to the rest of the model.
To do so, right-click on the element that you want to rename in the data dictionary, and select the "Rename refactoring..." option:
<br><br>
<img src="./pictures/refactoring_renaming_menu.png">
<br><br>
A dialog pops up requesting the new name:
<br><br>
<img src="./pictures/refactoring_renaming_dialog.png">
<br><br>
When pressing "OK", occurrences of the type or value will be replaced automatically:
typically in ports in the component architecture, or in transitions of state automata.
According to the remark displayed in the dialog, notice that AF3 will do its best to find all occurrences, but it is not guaranteed that all
of these are found.
<h2><font color="#336699">Pack components</font></h2>
The "Pack Component" feature allows the user to select several components in a component diagram editor and wrap them into a new component.
<br><br>
To use this feature, select a set of components (only the components: no ports or channels!), right-click, and select "Pack Component" in the context menu of the model navigator.
<img src="./pictures/refactoring_packing_unpacked.png">
<br><br>
A new component gathering all the selected components will then be created automatically by AF3.
Note however that the position and size of the new component need to be adjusted manually.
<br><br>
<img src="./pictures/refactoring_packing_packed.png">
<br><br>
</body>
</html>