@@ -746,7 +746,7 @@ module API {
746
746
/**
747
747
* Holds if `nd`, which is a use of an API-graph node, flows in zero or more potentially
748
748
* inter-procedural steps to some intermediate node, and then from that intermediate node to
749
- * `res` in one step described by the resulting TypeTracker.
749
+ * `res` in one step. The entire flow is described by the resulting ` TypeTracker` .
750
750
*
751
751
* This predicate exists solely to enforce a better join order in `trackUseNode` above.
752
752
*/
@@ -794,9 +794,9 @@ module API {
794
794
}
795
795
796
796
/**
797
- * Holds if `nd`, which is a def of an API-graph node, flows in zero or more potentially
798
- * inter-procedural steps from some intermediate node, and then to that intermediate node from
799
- * `prev` in one step described by the resulting TypeTracker.
797
+ * Holds if `nd`, which is a def of an API-graph node, can be reached in zero or more potentially
798
+ * inter-procedural steps from some intermediate node, and `prev` flows into that intermediate node
799
+ * in one step. The entire flow is described by the resulting ` TypeTracker` .
800
800
*
801
801
* This predicate exists solely to enforce a better join order in `trackDefNode` above.
802
802
*/
@@ -937,7 +937,7 @@ module API {
937
937
}
938
938
939
939
/**
940
- * Gets an API node where a RHS of the node if the `i`th argument to this call.
940
+ * Gets an API node where a RHS of the node is the `i`th argument to this call.
941
941
*/
942
942
private Node getAParameterCandidate ( int i ) { result .getARhs ( ) = getArgument ( i ) }
943
943
0 commit comments