static void searchFiles() {
try {
for (int i = 0; i < options.filenames.length; i++) {
Scanner input = new Scanner(new File(options.filenames[i]));
scanfile(input, options.filenames[i], options.pattern);
input.close();
}
} catch (IOException e) {
messages.warn(e.getMessage());
messages.exit_status = messages.EXIT_NOMATCH;
}
}
