Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
<!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 AF3</title>
</head>
<body>
<h1><u><font color="#336698">Refactorings in AF3</font></u></h1>
<h2><font color="#336699">Renaming</font>
</h2>
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.RenamingMenu.png">
<br><br>
A dialog pops up requesting the new name:
<br><br>
<img src="./pictures/Refactoring.RenamingDialog.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.
<br><br>
<img src="./pictures/Refactoring.PackComponents.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.PackComponents.Result.png">
<br><br>
</body>
</html>