Public Member Functions | |
| ExtensionFileFilter (String descriptioninit, String[] extensionsinit) | |
| ExtensionFileFilter (String descriptioninit, String extension0) | |
| ExtensionFileFilter (String descriptioninit, String extension0, String extension1) | |
| ExtensionFileFilter (String descriptioninit, String extension0, String extension1, String extension2) | |
| ExtensionFileFilter (String descriptioninit, String extension0, String extension1, String extension2, String extension3) | |
| ExtensionFileFilter (String descriptioninit, String extension0, String extension1, String extension2, String extension3, String extension4) | |
| boolean | accept (File file) |
| String | getDescription () |
Private Attributes | |
| String | description |
| List< String > | extensions |
| tit.gui.filter.ExtensionFileFilter.ExtensionFileFilter | ( | String | descriptioninit, | |
| String[] | extensionsinit | |||
| ) |
Creates a new ExtensionFileFilter.
| descriptioninit | The description. | |
| extensionsinit | The accepted extensions. |
| tit.gui.filter.ExtensionFileFilter.ExtensionFileFilter | ( | String | descriptioninit, | |
| String | extension0 | |||
| ) |
Creates a new ExtensionFileFilter.
| descriptioninit | The description. | |
| extension0 | An extension to accept. |
| tit.gui.filter.ExtensionFileFilter.ExtensionFileFilter | ( | String | descriptioninit, | |
| String | extension0, | |||
| String | extension1 | |||
| ) |
Creates a new ExtensionFileFilter.
| descriptioninit | The description. | |
| extension0 | An extension to accept. | |
| extension1 | An extension to accept. |
| tit.gui.filter.ExtensionFileFilter.ExtensionFileFilter | ( | String | descriptioninit, | |
| String | extension0, | |||
| String | extension1, | |||
| String | extension2 | |||
| ) |
Creates a new ExtensionFileFilter.
| descriptioninit | The description. | |
| extension0 | An extension to accept. | |
| extension1 | An extension to accept. | |
| extension2 | An extension to accept. |
| tit.gui.filter.ExtensionFileFilter.ExtensionFileFilter | ( | String | descriptioninit, | |
| String | extension0, | |||
| String | extension1, | |||
| String | extension2, | |||
| String | extension3 | |||
| ) |
Creates a new ExtensionFileFilter.
| descriptioninit | The description. | |
| extension0 | An extension to accept. | |
| extension1 | An extension to accept. | |
| extension2 | An extension to accept. | |
| extension3 | An extension to accept. |
| tit.gui.filter.ExtensionFileFilter.ExtensionFileFilter | ( | String | descriptioninit, | |
| String | extension0, | |||
| String | extension1, | |||
| String | extension2, | |||
| String | extension3, | |||
| String | extension4 | |||
| ) |
Creates a new ExtensionFileFilter.
| descriptioninit | The description. | |
| extension0 | An extension to accept. | |
| extension1 | An extension to accept. | |
| extension2 | An extension to accept. | |
| extension3 | An extension to accept. | |
| extension4 | An extension to accept. |
| boolean tit.gui.filter.ExtensionFileFilter.accept | ( | File | file | ) |
Checks wheter a file is accepted by the filter or not.
| file | The file to check |
true is the file is accepted, false otherwise. | String tit.gui.filter.ExtensionFileFilter.getDescription | ( | ) |
Returns the description.
String tit.gui.filter.ExtensionFileFilter.description [private] |
The description.
List<String> tit.gui.filter.ExtensionFileFilter.extensions [private] |
The extensions that are accepted.
1.5.1