changeset 22163 | 3651128c74eb |
parent 14258 | 8d2148961366 |
child 25287 | d2440361b323 |
22162:3b3e23e67329 | 22163:3651128c74eb |
---|---|
79 public final String extension; |
79 public final String extension; |
80 private Kind(String extension) { |
80 private Kind(String extension) { |
81 extension.getClass(); // null check |
81 extension.getClass(); // null check |
82 this.extension = extension; |
82 this.extension = extension; |
83 } |
83 } |
84 }; |
84 } |
85 |
85 |
86 /** |
86 /** |
87 * Gets the kind of this file object. |
87 * Gets the kind of this file object. |
88 * |
88 * |
89 * @return the kind |
89 * @return the kind |