public enum FileType extends Enum<FileType>
| Enum Constant and Description |
|---|
algorithmConfiguration |
compressedWorkbench |
db4oWorkbench |
deviceConfiguration |
gestureSet |
igb |
pdf |
testSet |
xstreamWorkbench |
| Modifier and Type | Method and Description |
|---|---|
File |
addExtension(File file)
Adds the extension if it is not already there.
|
String |
getDescription()
Returns the file type description
|
String |
getExtension()
Returns the file type extension
|
ExtensionFileFilter |
getFilter()
Returns the extension file filter
|
static FileType |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static FileType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final FileType compressedWorkbench
public static final FileType xstreamWorkbench
public static final FileType db4oWorkbench
public static final FileType gestureSet
public static final FileType testSet
public static final FileType algorithmConfiguration
public static final FileType pdf
public static final FileType igb
public static final FileType deviceConfiguration
public static FileType[] values()
for (FileType c : FileType.values()) System.out.println(c);
public static FileType valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant
with the specified nameNullPointerException - if the argument is nullpublic String getExtension()
public String getDescription()
public ExtensionFileFilter getFilter()
Copyright © 2007-2012 Global Information Systems Group, ETH Zurich. All Rights Reserved.