entorno
Class Entorno.ImageFilterFull

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

Enclosing class:

Entorno

public class Entorno.ImageFilterFull

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 Full Maude con extensión "fm".

Constructor Summary

Entorno.ImageFilterFull()

Method Summary

boolean	accept(java.io.File f) Acepta ficheros fm
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.ImageFilterFull

public Entorno.ImageFilterFull()

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 fm

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