@@ -746,7 +746,7 @@ module API {
746746 /**
747747 * Holds if `nd`, which is a use of an API-graph node, flows in zero or more potentially
748748 * 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` .
750750 *
751751 * This predicate exists solely to enforce a better join order in `trackUseNode` above.
752752 */
@@ -794,9 +794,9 @@ module API {
794794 }
795795
796796 /**
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` .
800800 *
801801 * This predicate exists solely to enforce a better join order in `trackDefNode` above.
802802 */
@@ -937,7 +937,7 @@ module API {
937937 }
938938
939939 /**
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.
941941 */
942942 private Node getAParameterCandidate ( int i ) { result .getARhs ( ) = getArgument ( i ) }
943943
0 commit comments