org.grinvin.gui
Class FileFilters
java.lang.Object
org.grinvin.gui.FileFilters
public final class FileFilters
extends java.lang.Object
Several file filters which are used throughout the system
static ExtensionFileFilter | G6_FILTER - Filter for graph6 graphs.
|
static ExtensionFileFilter | G6_LIST_FILTER - Filter for graph6 graph lists.
|
static ExtensionFileFilter | GPH_FILTER - Filter for Grinvin graphs.
|
static ExtensionFileFilter | GRAPHLIST_FILTER - Filter for Grinvin graphlists
|
static ExtensionFileFilter | GWS_FILTER - Filter for grinvin workspace files.
|
static ExtensionFileFilter | INVARIANT_FILTER - Filter for invariant computer class files.
|
static ExtensionFileFilter | SVG_FILTER - Filter for svg images.
|
static ExtensionFileFilter | WORKSPACE_FILTER - Filter for grinvin workspace folders.
|
G6_FILTER
public static final ExtensionFileFilter G6_FILTER
Filter for graph6 graphs.
G6_LIST_FILTER
public static final ExtensionFileFilter G6_LIST_FILTER
Filter for graph6 graph lists.
GPH_FILTER
public static final ExtensionFileFilter GPH_FILTER
Filter for Grinvin graphs.
GRAPHLIST_FILTER
public static final ExtensionFileFilter GRAPHLIST_FILTER
Filter for Grinvin graphlists
GWS_FILTER
public static final ExtensionFileFilter GWS_FILTER
Filter for grinvin workspace files.
INVARIANT_FILTER
public static final ExtensionFileFilter INVARIANT_FILTER
Filter for invariant computer class files.
SVG_FILTER
public static final ExtensionFileFilter SVG_FILTER
Filter for svg images.
WORKSPACE_FILTER
public static final ExtensionFileFilter WORKSPACE_FILTER
Filter for grinvin workspace folders.