public class FileTypes extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
DIRECTORY_TYPE
Tipo do arquivo que indica diretório.
|
static String |
UNKNOWN
Tipo do arquivo que indica "Arquivo Desconhecido"
|
| Constructor and Description |
|---|
FileTypes() |
| Modifier and Type | Method and Description |
|---|---|
static FileType |
createFileType(String typeName)
Cria um tipo de arquivo para o
Runner. |
static String[] |
getExtensionsFromFileType(String typeName)
Busca a extensão sugerida com base em um tipo de arquivo aplicável.
|
static FileType |
getFileType(String fileTypeName)
Indica se um tipo já existe.
|
static FileType |
getFileTypeFromExtension(String extension)
Busca um tipo de arquivo aplicável a extensão sugerida.
|
static boolean |
hasFileType(String typeName)
Indica se um tipo já existe.
|
static void |
loadFileTypes(InputStream input)
Carrega as propriedades que definem os tipos de arquivo.
|
public static final String UNKNOWN
public static final String DIRECTORY_TYPE
public static FileType createFileType(String typeName)
Runner.typeName - o nome do novo tipo.public static FileType getFileType(String fileTypeName)
fileTypeName - o tipopublic static boolean hasFileType(String typeName)
typeName - o tipopublic static FileType getFileTypeFromExtension(String extension)
extension - extensãopublic static String[] getExtensionsFromFileType(String typeName)
typeName - o tipopublic static void loadFileTypes(InputStream input)
input - o input stream das propriedades.Copyright © 2013–2015 Tecgraf/PUC-Rio. All rights reserved.