org.eclipse.ease.ui.launching

Class FileExtensionFilter

java.lang.Object

org.eclipse.jface.viewers.ViewerFilter

org.eclipse.ease.ui.launching.FileExtensionFilter

public class FileExtensionFilter
extends org.eclipse.jface.viewers.ViewerFilter

Constructor Summary

Constructors

Constructor and Description
FileExtensionFilter(java.lang.String[] extensions)

Method Summary

Modifier and Type	Method and Description
boolean	select(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object parent, java.lang.Object element)

Methods inherited from class org.eclipse.jface.viewers.ViewerFilter

filter, filter, isFilterProperty

Methods inherited from class java.lang.Object

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

Constructor Detail

FileExtensionFilter

public FileExtensionFilter(java.lang.String[] extensions)

Method Detail

select

public boolean select(org.eclipse.jface.viewers.Viewer viewer,
                      java.lang.Object parent,
                      java.lang.Object element)

Specified by:

select in class org.eclipse.jface.viewers.ViewerFilter