org.grinvin.gui

Class FileFilters


public final class FileFilters
extends java.lang.Object

Several file filters which are used throughout the system

Field Summary

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.

Field Details

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.