entorno
Class Entorno.ImageFileView

java.lang.Object
  javax.swing.filechooser.FileView
      entorno.Entorno.ImageFileView

Enclosing class:

Entorno

class Entorno.ImageFileView

extends javax.swing.filechooser.FileView

Funcion: Permite asignarles imágenes a los archivos con extensiones Maude y FM.

Field Summary

(package private) javax.swing.ImageIcon	javaIcon Icono de archivos .maude
(package private) javax.swing.ImageIcon	javaIconF Icono de archivos .fm

Constructor Summary

Entorno.ImageFileView()

Method Summary

java.lang.String	getDescription(java.io.File f)
private java.lang.String	getExtension(java.io.File f) Obtencion de la extencion de un fichero
javax.swing.Icon	getIcon(java.io.File f) Obtencion de la imagen asociada, si su extencion es .maude
java.lang.String	getName(java.io.File f)
java.lang.String	getTypeDescription(java.io.File f) Descripcion del fichero
java.lang.Boolean	isTraversable(java.io.File f)

Methods inherited from class java.lang.Object

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

Field Detail

javaIcon

javax.swing.ImageIcon javaIcon

Icono de archivos .maude

javaIconF

javax.swing.ImageIcon javaIconF

Icono de archivos .fm

Constructor Detail

Entorno.ImageFileView

Entorno.ImageFileView()

Method Detail

getName

public java.lang.String getName(java.io.File f)

Overrides:

getName in class javax.swing.filechooser.FileView

getDescription

public java.lang.String getDescription(java.io.File f)

Overrides:

getDescription in class javax.swing.filechooser.FileView

isTraversable

public java.lang.Boolean isTraversable(java.io.File f)

Overrides:

isTraversable in class javax.swing.filechooser.FileView

getTypeDescription

public java.lang.String getTypeDescription(java.io.File f)

Descripcion del fichero

Overrides:

getTypeDescription in class javax.swing.filechooser.FileView

getIcon

public javax.swing.Icon getIcon(java.io.File f)

Obtencion de la imagen asociada, si su extencion es .maude

Overrides:

getIcon in class javax.swing.filechooser.FileView

getExtension

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

Obtencion de la extencion de un fichero