@@ -60,7 +60,7 @@ class LocalModelContentBoundBidirectionallyToHtmlISinkControl extends DomBasedXs
6060 UI5Control getControlDeclaration ( ) { result = controlDeclaration }
6161}
6262
63- module UI5PathGraph< PathNodeSig ConfigPathNode, PathGraphSig< ConfigPathNode > ConfigModule > {
63+ module UI5PathGraph< PathNodeSig ConfigPathNode, PathGraphSig< ConfigPathNode > ConfigPathGraph > {
6464 private newtype TNode =
6565 TUI5BindingPathNode ( UI5BindingPath path ) or
6666 TDataFlowNode ( DataFlow:: Node node )
@@ -126,7 +126,7 @@ module UI5PathGraph<PathNodeSig ConfigPathNode, PathGraphSig<ConfigPathNode> Con
126126 or
127127 exists ( ConfigPathNode pathNode |
128128 pathNode .getNode ( ) = ui5PathNode .asDataFlowNode ( ) and
129- ConfigModule :: nodes ( pathNode , _, _)
129+ ConfigPathGraph :: nodes ( pathNode , _, _)
130130 )
131131 }
132132
@@ -185,7 +185,7 @@ module UI5PathGraph<PathNodeSig ConfigPathNode, PathGraphSig<ConfigPathNode> Con
185185 exists ( ConfigPathNode pathNodeFrom , ConfigPathNode pathNodeTo |
186186 pathNodeFrom .getNode ( ) = ui5PathNodePred .asDataFlowNode ( ) and
187187 pathNodeTo .getNode ( ) = ui5PathNodeSucc .asDataFlowNode ( ) and
188- ConfigModule :: edges ( pathNodeFrom , pathNodeTo , _, _)
188+ ConfigPathGraph :: edges ( pathNodeFrom , pathNodeTo , _, _)
189189 ) and
190190 /* ========= TODO: Legacy code ========= */
191191 /* Exclude duplicate edge from model to handler parameter */
0 commit comments