JspGUI.JspGUIFileFilter (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jmlspec
Class JspGUI.JspGUIFileFilter

java.lang.Object
  javax.swing.filechooser.FileFilter
      org.multijava.util.gui.GUI.GUIFileFilter
          org.jmlspecs.jmlspec.JspGUI.JspGUIFileFilter

Enclosing class:: JspGUI

protected class JspGUI.JspGUIFileFilter
extends org.multijava.util.gui.GUI.GUIFileFilter

Field Summary

(package private) String suffix


Constructor Summary

JspGUI.JspGUIFileFilter(String suffix)


Method Summary

String getDescription()


boolean hasActiveSuffix(String name)


Methods inherited from class org.multijava.util.gui.GUI.GUIFileFilter

accept

Methods inherited from class java.lang.Object

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

Field Detail

suffix

String suffix

Constructor Detail

JspGUI.JspGUIFileFilter

public JspGUI.JspGUIFileFilter(String suffix)

Method Detail

hasActiveSuffix

public boolean hasActiveSuffix(String name)

getDescription

public String getDescription()