Lines Matching refs:file
122 * Updates the input modification time based on the given file or
125 public void updateInputModificationTime(File file)
127 if (file != null)
129 updateModificationTime(file, false);
135 * Updates the input modification time based on the given file or
138 public void updateOutputModificationTime(File file)
140 if (file != null && file.getName().length() > 0)
142 updateModificationTime(file, true);
148 * Updates the specified modification time based on the given file or
151 public void updateModificationTime(File file, boolean isOutput)
154 if (file.isDirectory())
158 File[] files = file.listFiles();
174 // Update with the file's modification time.
175 updateModificationTime(file.lastModified(), isOutput);