entorno
Class Entorno.ImageFilter

java.lang.Object
  javax.swing.filechooser.FileFilter
      entorno.Entorno.ImageFilter

Enclosing class:

Entorno

public class Entorno.ImageFilter

extends javax.swing.filechooser.FileFilter

Funcion: Se encarga de mostrar el filtro en los cuadros de diálogos tales como el de abrir un fichero o salvar. El filtro creado es para los ficheros Core Maude con extensión "maude".

Constructor Summary

Entorno.ImageFilter()

Method Summary

boolean	accept(java.io.File f) Acepta ficheros .maude
java.lang.String	getDescription() Descripción de los ficheros
private java.lang.String	getExtension(java.io.File f) Obtiene la extensión del fichero

Methods inherited from class java.lang.Object

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

Constructor Detail

Entorno.ImageFilter

public Entorno.ImageFilter()

Method Detail

getExtension

private java.lang.String getExtension(java.io.File f)

Obtiene la extensión del fichero

accept

public boolean accept(java.io.File f)

Acepta ficheros .maude

Specified by:

accept in class javax.swing.filechooser.FileFilter

getDescription

public java.lang.String getDescription()

Descripción de los ficheros

Specified by:

getDescription in class javax.swing.filechooser.FileFilter