Dataflow: Make two predicates private.

This commit is contained in:
Anders Schack-Mulligen 2024-05-02 13:48:05 +02:00
Родитель 52a232e91c
Коммит b83416f3a1
1 изменённых файлов: 2 добавлений и 2 удалений

Просмотреть файл

@ -462,7 +462,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
private import Input
pragma[nomagic]
DataFlowCallable viableImplInCallContextExtIn(DataFlowCall call, DataFlowCall ctx) {
private DataFlowCallable viableImplInCallContextExtIn(DataFlowCall call, DataFlowCall ctx) {
reducedViableImplInCallContextCand(call, _, ctx) and
result = viableImplInCallContextExt(call, ctx) and
relevantCallEdgeIn(call, result)
@ -495,7 +495,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
}
pragma[nomagic]
DataFlowCallable viableImplInCallContextExtOut(DataFlowCall call, DataFlowCall ctx) {
private DataFlowCallable viableImplInCallContextExtOut(DataFlowCall call, DataFlowCall ctx) {
exists(DataFlowCallable c |
reducedViableImplInReturnCand(result, call) and
result = viableImplInCallContextExt(call, ctx) and