Python: Adjust to data flow refactor

This commit is contained in:
Tom Hvitved 2023-08-07 11:31:42 +02:00
Родитель 693970f243
Коммит 6c989b9c6b
3 изменённых файлов: 4 добавлений и 4 удалений

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

@ -1,3 +1,3 @@
private import DataFlowImplSpecific
private import codeql.dataflow.DataFlowImpl
private import codeql.dataflow.internal.DataFlowImpl
import MakeImpl<PythonDataFlow>

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

@ -1,3 +1,3 @@
private import DataFlowImplSpecific
private import codeql.dataflow.DataFlowImplCommon
private import codeql.dataflow.internal.DataFlowImplCommon
import MakeImplCommon<PythonDataFlow>

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

@ -2,7 +2,7 @@
* Provides Python-specific definitions for use in the data flow library.
*/
private import codeql.dataflow.DataFlowParameter
private import codeql.dataflow.DataFlow
// we need to export `Unit` for the DataFlowImpl* files
private import python as Python
@ -15,7 +15,7 @@ module Public {
import DataFlowUtil
}
module PythonDataFlow implements DataFlowParameter {
module PythonDataFlow implements InputSig {
import Private
import Public