Changes for page The Five Phases
Last modified by Alexander Schulz-Rosengarten on 2023/07/11 10:33
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -10,23 +10,22 @@ 10 10 11 11 |=((( 12 12 Preconditions 13 -)))|=(% class="nohighlight" %)(% class="nohighlight" %) 14 -((( 13 +)))|((( 15 15 * No node is assigned to a layer yet. 16 16 ))) 17 -|(% class="highlight" %)(% class="highlight" %) 16 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 18 18 ((( 19 19 Postconditions 20 20 )))|((( 21 21 * The graph is now cycle-free. Still, no node is assigned to a layer yet. 22 22 ))) 23 -|(% class="highlight" %)(% class="highlight" %) 22 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 24 24 ((( 25 25 Remarks 26 26 )))|((( 27 27 * All implementations of phase one must include a dependency on the {{code language="none"}}ReversedEdgeRestorer{{/code}}, to be included after phase five. 28 28 ))) 29 -|(% class="highlight" %)(% class="highlight" %) 28 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 30 30 ((( 31 31 Implementations 32 32 )))|((( ... ... @@ -45,24 +45,23 @@ 45 45 46 46 |=((( 47 47 Preconditions 48 -)))|=(% class="nohighlight" %)(% class="nohighlight" %) 49 -((( 47 +)))|((( 50 50 * The graph is cycle-free. 51 51 * The nodes have not been layered yet. 52 52 ))) 53 -|(% class="highlight" %)(% class="highlight" %) 51 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 54 54 ((( 55 55 Postconditions 56 56 )))|((( 57 57 * The graph has a layering. 58 58 ))) 59 -|(% class="highlight" %)(% class="highlight" %) 57 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 60 60 ((( 61 61 Remarks 62 62 )))|((( 63 63 * Implementations should usually include a dependency on the {{code language="none"}}LayerConstraintHandler{{/code}}, unless they already adhere to layer constraints themselves. 64 64 ))) 65 -|(% class="highlight" %)(% class="highlight" %) 63 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 66 66 ((( 67 67 Implementations 68 68 )))|((( ... ... @@ -82,13 +82,12 @@ 82 82 83 83 |=((( 84 84 Preconditions 85 -)))|=(% class="nohighlight" %)(% class="nohighlight" %) 86 -((( 83 +)))|((( 87 87 * The graph has a proper layering. (except for self-loops) 88 88 * An implementation may allow in-layer connections. 89 89 * Usually, all nodes are required to have a least fixed port sides. 90 90 ))) 91 -|(% class="highlight" %)(% class="highlight" %) 88 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 92 92 ((( 93 93 Postconditions 94 94 )))|((( ... ... @@ -95,7 +95,7 @@ 95 95 * The order of nodes in each layer is fixed. 96 96 * All nodes have a fixed port order. 97 97 ))) 98 -|(% class="highlight" %)(% class="highlight" %) 95 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 99 99 ((( 100 100 Remarks 101 101 )))|((( ... ... @@ -102,7 +102,7 @@ 102 102 * If fixed port sides are required, the {{code language="none"}}PortPositionProcessor{{/code}} may be of use. 103 103 * Support for in-layer connections may be required to be able to handle certain problems. (odd port sides, for instance) 104 104 ))) 105 -|(% class="highlight" %)(% class="highlight" %) 102 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 106 106 ((( 107 107 Implementations 108 108 )))|((( ... ... @@ -118,8 +118,7 @@ 118 118 119 119 |=((( 120 120 Preconditions 121 -)))|=(% class="nohighlight" %)(% class="nohighlight" %) 122 -((( 118 +)))|((( 123 123 * The graph has a proper layering. (except for self-loops) 124 124 * Node orders are fixed. 125 125 * Port positions are fixed. ... ... @@ -126,7 +126,7 @@ 126 126 * An implementation may allow in-layer connections. 127 127 * An implementation may require node margins to be set. 128 128 ))) 129 -|(% class="highlight" %)(% class="highlight" %) 125 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 130 130 ((( 131 131 Postconditions 132 132 )))|((( ... ... @@ -134,7 +134,7 @@ 134 134 * The height of each layer is set. 135 135 * The height of the graph is set to the maximal layer height. 136 136 ))) 137 -|(% class="highlight" %)(% class="highlight" %) 133 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 138 138 ((( 139 139 Remarks 140 140 )))|((( ... ... @@ -142,7 +142,7 @@ 142 142 * If node margins are supported, the {{code language="none"}}NodeMarginCalculator{{/code}} can compute them. 143 143 * Port positions can be fixed by using the {{code language="none"}}PortPositionProcessor{{/code}}. 144 144 ))) 145 -|(% class="highlight" %)(% class="highlight" %) 141 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 146 146 ((( 147 147 Implementations 148 148 )))|((( ... ... @@ -162,14 +162,13 @@ 162 162 163 163 |=((( 164 164 Preconditions 165 -)))|=(% class="nohighlight" %)(% class="nohighlight" %) 166 -((( 161 +)))|((( 167 167 * The graph has a proper layering. (except for self-loops) 168 168 * Nodes are assigned y coordinates. 169 169 * Layer heights are correctly set. 170 170 * An implementation may allow in-layer connections. 171 171 ))) 172 -|(% class="highlight" %)(% class="highlight" %) 167 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 173 173 ((( 174 174 Postconditions 175 175 )))|((( ... ... @@ -178,13 +178,13 @@ 178 178 * The graph's width is set. 179 179 * The bend points of all edges are set. 180 180 ))) 181 -|(% class="highlight" %)(% class="highlight" %) 176 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 182 182 ((( 183 183 Remarks 184 184 )))|((( 185 185 None. 186 186 ))) 187 -|(% class="highlight" %)(% class="highlight" %) 182 +|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) 188 188 ((( 189 189 Implementations 190 190 )))|(((
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -7110 8901 +7111008 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7110 890/The Five Phases1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7111008/The Five Phases