) {
        Instrumented.directoryContentObserved(thisFile, consumer);
        return thisFile.list();
    }

    @InterceptCalls
    @InstanceMethod
    public static String[] intercept_list(
        @Receiver File thisFile,
        FilenameFilter filenameFilter,
        @CallerClassName String consumer
    ) {
        Instrumented.directoryContentObserved(thisFile, consumer);

    @Override
    public void fileObserved(File file, String consumer) {}

    @Override
    public void fileSystemEntryObserved(File file, String consumer) {}

    @Override
    public void directoryContentObserved(File file, String consumer) {}

        }
    }

    public static void tryReportDirectoryContentObserved(Path path, String consumer) {
        File file = toFileIfAvailable(path);
        if (file != null) {
            Instrumented.directoryContentObserved(file, consumer);
        }
    }

    public static void tryReportFileSystemEntryObserved(Path path, String consumer) {
        File file = toFileIfAvailable(path);
        if (file != null) {

        if (ignoredConfigurationInputs.isFileSystemCheckIgnoredFor(file)) {
            return
        }
        undeclaredInputBroadcast.fileSystemEntryObserved(file, consumer)
    }

    override fun directoryContentObserved(directory: File, consumer: String) {
        if (Workarounds.canReadFiles(consumer)) {
            return
        }
        undeclaredInputBroadcast.directoryChildrenObserved(directory, consumer)
    }

     */
    void fileOpened(File file, String consumer);

    void fileObserved(File file, String consumer);

    void fileSystemEntryObserved(File file, String consumer);

    void directoryContentObserved(File file, String consumer);