Lines Matching defs:filename
35 * Holds value of property filename.
37 private String filename;
79 * @param filename The name of the file this hit represents
85 public Hit(String filename, String line, String lineno, boolean binary, boolean alt) {
86 if (filename != null) {
87 File file = new File(filename);
88 this.path = filename;
89 this.filename = file.getName();
102 * Getter for property filename.
104 * @return Value of property filename.
107 return this.filename;
129 * Setter for property filename.
131 * @param filename New value of property filename.
133 public void setFilename(String filename) {
134 this.filename = filename;
179 * @return the result of a toString().compareTo() of the filename
183 return filename.compareTo(o.filename);
236 * Check if two objects are equal. Only consider the {@code filename} field
251 return filename.hashCode();