Dataflow: Rename signature to preempt name clash.

This commit is contained in:
Anders Schack-Mulligen
2025-01-29 11:18:25 +01:00
parent acd31dd701
commit 02a81a0897

View File

@@ -67,7 +67,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
/**
* Holds if `source` is a relevant data flow source.
*/
signature predicate sourceNode(Node source);
signature predicate sourceNodeSig(Node source);
/**
* EXPERIMENTAL: This API is subject to change without notice.
@@ -75,7 +75,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
* Given a source definition, this constructs a simple forward flow
* computation with an access path limit of 1.
*/
module SimpleGlobal<sourceNode/1 source> {
module SimpleGlobal<sourceNodeSig/1 source> {
import TypeTracking::TypeTrack<source/1>
}
}