desmoj.extensions.experimentation.util

Class XMLFilter

java.lang.Object

javax.swing.filechooser.FileFilter

desmoj.extensions.experimentation.util.XMLFilter

public class XMLFilter
extends javax.swing.filechooser.FileFilter

Constructor Summary

Constructors

Constructor and Description
XMLFilter()

Method Summary

Modifier and Type	Method and Description
boolean	accept(java.io.File file) Accepts all directories and xml files.
java.lang.String	getDescription()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

XMLFilter

public XMLFilter()

Method Detail

accept

public boolean accept(java.io.File file)

Accepts all directories and xml files.

Specified by:

accept in class javax.swing.filechooser.FileFilter

Parameters:

file - file: file to be filtered

getDescription

public java.lang.String getDescription()

Specified by:

getDescription in class javax.swing.filechooser.FileFilter

Returns:

The description of this filter