entorno
Class Entorno

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      entorno.Entorno

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, MaudeEditorConstantes, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class Entorno

extends javax.swing.JFrame

implements MaudeEditorConstantes

Funcion: Es nuestro panel principal

See Also:

Serialized Form

Nested Class Summary

(package private) class	Entorno.ImageFileView Funcion: Permite asignarles imágenes a los archivos con extensiones Maude y FM.
class	Entorno.ImageFilter Funcion: Se encarga de mostrar el filtro en los cuadros de diálogos tales como el de abrir un fichero o salvar.
class	Entorno.ImageFilterFull Funcion: Se encarga de mostrar el filtro en los cuadros de diálogos tales como el de abrir un fichero o salvar.
(package private) class	Entorno.MiDocumentoListener Clase MiDocumentoListener Funcion: Recoge si hay algún cambio en el texto.
(package private) class	Entorno.VentanaPresentacion Funcion: Crea una presentación mientras carga el editor

Nested classes inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Nested classes inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

static javax.swing.text.SimpleAttributeSet[]	atributo Atributo para las palabras
private static java.lang.String	ayudaPath Ruta donde se encuentra la documentacion de Maude
BarraEstado	barraEstado La barra de estado
ClaseModulosOperadores	baseDatosMaude La base de datos local
private static int	bufferSizeColor Tamaño del buffer de coloreado
private static int	bufferSizeEmulator Tamaño del buffer del emulador
static int	CANCELAR_ACCION
private int	clave nº clave para los ClaseTexto para diferenciarlos los unos de los otros.
static java.util.Hashtable	colores Tabla con los colores disponibles para el coloreado del entorno en general.
private Dialogos.ConfigInterfaz	configuracion Ventana de configuración
ClaseDepurador	depuradorBar La barra del depurador
ClaseDialogoReescritura	dialRees La ventana de envio de comandos de reescritura a Maude
static java.util.Hashtable	estiloPalabra Contiene la tabla con las palabras reservadas y su atributo correspondiente
EventosPortapapeles	eventosPortapapeles Los eventos del portapapeles
private static int	ficherosSize Tamaño de los ficheros de salida en la traza
private static java.awt.Font	fuente La fuente actual del entorno
private static java.lang.String	fullMaudeFile Ruta donde se encuentra el fichero full-maude.maude
private static java.lang.String	idioma El idioma actual del entorno
static java.lang.String	idiomaTemp Para almacenar un posible cambio de idioma
private static java.net.InetAddress	iP Dirección Ip donde se encuentra Maude Server
static boolean	isWindows devuelve true si el sistema operativo en el que se esta ejecutando es windows
private static java.util.Hashtable	mapaJerarquiaPalabras Contiene el mapa con la jerarquía de palabras para la iluminación sintáctica.
ClaseBarraMenu	menuBar La barra de menus
MenuEmergente	menuEmergente Menu Emergente asociado a las áreas de texto
static int	NO_ACCION
private static java.lang.String	nombreFicheroSalida Nombre de los ficheros de salida en la traza
private int	num_doc es el nº q se pone tras crear un nuevo doc
static java.lang.String[]	palabrasAzul
static java.lang.String[]	palabrasBurdeo Palabras reconocidas por defecto en el caso de fallo
static java.lang.String[]	palabrasRojo
static java.lang.String[]	palabrasVerde
private javax.swing.JTabbedPane	panelPestana El panel de las pestañas
private static java.lang.String	pathAcrobatReader Dirección donde se encuentra Acrobat reader o cualquier programa que lea pdf
private static java.lang.String	pathMaude Ruta donde se encuentra Maude
private Entorno.VentanaPresentacion	presentacion La ventana de presentación mientras se crean los objetos del entorno
private java.awt.print.PageFormat	printerPageFormat El formato de la impresión de página.
private static int	puerto Puerto donde se encuentra Maude Server
private static java.lang.String	salidaFicherosPath Ruta de los ficheros de salida en la traza
private static boolean	salidaSelected True si esta activado la salida de Maude a memoria fisica durante la traza
private static boolean	servidor Nos indica si esta habilitado o no Maude Server
static int	SI_ACCION
private javax.swing.JSplitPane	splitPane La barra separadora entre panelPestana y ventanaLog.
ClaseSubBarraHerramientas	subToolBar La barra de herramientas inferior
(package private) static boolean	syntaxColor Indica que esta deshabilitada la coloracion de la sintaxis
ClaseBarraHerramientas	toolBar La barra de herramientas superior
ClaseTraza	trazaBar la barra de traza
private java.util.Vector	vectorTexto El vector que almacena los documentos
VentanaAyuda	ventanaAyuda La ventana de ayuda
javax.swing.JFileChooser	ventanaDialogo La ventana de diálogo de abrir y guardar
ClaseVentanaLog	ventanaLog La ventana del emulador
private static java.lang.String	workPath Ruta donde se encuentra el directorio de trabajo

Fields inherited from class javax.swing.JFrame

accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface entorno.MaudeEditorConstantes

ARCHIVO_ACCION_CLOSE, ARCHIVO_ACCION_CLOSE_ALL, ARCHIVO_ACCION_CLOSE_ALL_E, ARCHIVO_ACCION_CLOSE_E, ARCHIVO_ACCION_EXIT, ARCHIVO_ACCION_EXIT_E, ARCHIVO_ACCION_NEW, ARCHIVO_ACCION_NEW_E, ARCHIVO_ACCION_OPEN, ARCHIVO_ACCION_OPEN_E, ARCHIVO_ACCION_PAGE_SETUP, ARCHIVO_ACCION_PAGE_SETUP_E, ARCHIVO_ACCION_PRINT, ARCHIVO_ACCION_PRINT_E, ARCHIVO_ACCION_SAVE, ARCHIVO_ACCION_SAVE_AS, ARCHIVO_ACCION_SAVE_AS_E, ARCHIVO_ACCION_SAVE_E, AREA_EDITOR, AREA_MAUDE, BUSCAR_ACCION_FIND, BUSCAR_ACCION_FIND_E, BUSCAR_ACCION_GO_LINE, BUSCAR_ACCION_GO_LINE_E, BUSCAR_ACCION_REPLACE, BUSCAR_ACCION_REPLACE_E, COLOR_COMENTARIOS, COLOR_CURSOR, COLOR_ECUACIONES, COLOR_FONDO, COLOR_FONDO_TEXTO_SELECCIONADO, COLOR_MODULOS, COLOR_PROPIEDADES, COLOR_TEXTO_NORMAL, COLOR_TEXTO_SELECCIONADO, COLOR_VARIABLES, DEPURADOR_ABORTAR, DEPURADOR_ABORTAR_E, DEPURADOR_ACTIVAR, DEPURADOR_ACTIVAR_E, DEPURADOR_DAR1PASO, DEPURADOR_DAR1PASO_E, DEPURADOR_DONDE, DEPURADOR_DONDE_E, DEPURADOR_PUNTOSRUPTURA, DEPURADOR_PUNTOSRUPTURA_E, DEPURADOR_RESUMIR, DEPURADOR_RESUMIR_E, DEPURADOR_TITULO, DEPURADOR_TITULO_E, EDICION_ACCION_COPY, EDICION_ACCION_COPY_E, EDICION_ACCION_CUT, EDICION_ACCION_CUT_E, EDICION_ACCION_DELETE, EDICION_ACCION_DELETE_E, EDICION_ACCION_PASTE, EDICION_ACCION_PASTE_E, EDICION_ACCION_REDO, EDICION_ACCION_REDO_E, EDICION_ACCION_SELECT_ALL, EDICION_ACCION_SELECT_ALL_E, EDICION_ACCION_UNDO, EDICION_ACCION_UNDO_E, EDICION_VER_BARRA_INF, EDICION_VER_BARRA_INF_E, EDICION_VER_BARRA_SUP, EDICION_VER_BARRA_SUP_E, EDICION_VER_BARRAS_HERR, EDICION_VER_BARRAS_HERR_E, EDITOR_ACCION_COMANDO, EDITOR_ACCION_COMANDO_E, EDITOR_ACCION_ENVIAR, EDITOR_ACCION_ENVIAR_E, ESTA_COLOREADO, ESTA_SELECT_SALIDA, ESTA_SELECT_SERVIDOR, ESTILO_LETRA, GRAFO_ESCALA, GRAFO_ESCALA_E, GRAFO_EXIT, GRAFO_EXIT_E, GRAFO_PAGE_SETUP, GRAFO_PAGE_SETUP_E, GRAFO_PRINT, GRAFO_PRINT_E, GRAFO_VIEW_CLASES, GRAFO_VIEW_CLASES_E, GRAFO_VIEW_MODS_PREDEF, GRAFO_VIEW_MODS_PREDEF_E, GRAFO_VIEW_MODS_PREDEF_FULL, GRAFO_VIEW_MODS_PREDEF_FULL_E, GRAFO_VIEW_REL, GRAFO_VIEW_REL_BOOL, GRAFO_VIEW_REL_BOOL_E, GRAFO_VIEW_REL_E, GRAFO_VIEW_REL_UP, GRAFO_VIEW_REL_UP_E, GRAFO_VIEW_TIPOS, GRAFO_VIEW_TIPOS_E, HELP_ACCION_ABOUT, HELP_ACCION_ABOUT_E, HELP_AYUDA_MAUDE_WORKSTATION, HELP_AYUDA_MAUDE_WORKSTATION_E, HELP_AYUDA_MAUDE2, HELP_AYUDA_MAUDE2_E, IDIOMA, IP_SERVIDOR, MAUDE_ACCION_CLEAR_ERRORS, MAUDE_ACCION_CLEAR_ERRORS_E, MAUDE_ACCION_DISPLAY_GRAFO, MAUDE_ACCION_DISPLAY_GRAFO_E, MAUDE_ACCION_DISPLAY_GRAFO_TIPOS, MAUDE_ACCION_DISPLAY_GRAFO_TIPOS_E, MAUDE_ACCION_INIT_FULL_MAUDE, MAUDE_ACCION_INIT_FULL_MAUDE_E, MAUDE_ACCION_INIT_MAUDE, MAUDE_ACCION_INIT_MAUDE_E, MAUDE_ACCION_LOOP_INIT, MAUDE_ACCION_LOOP_INIT_E, MAUDE_ACCION_OPEN, MAUDE_ACCION_OPEN_E, MAUDE_ACCION_QUIT_MAUDE, MAUDE_ACCION_QUIT_MAUDE_E, MAUDE_ACCION_REWRITE, MAUDE_ACCION_REWRITE_E, MAUDE_ACCION_SAVE_AS, MAUDE_ACCION_SAVE_AS_E, MAUDE_ACCION_SHOW, MAUDE_ACCION_SHOW_E, MAUDE_SHOW_ALL, MAUDE_SHOW_ALL_E, MAUDE_SHOW_CLASSES, MAUDE_SHOW_CLASSES_E, MAUDE_SHOW_EQ, MAUDE_SHOW_EQ_E, MAUDE_SHOW_LABELS, MAUDE_SHOW_LABELS_E, MAUDE_SHOW_MEMBERSHIPS, MAUDE_SHOW_MEMBERSHIPS_E, MAUDE_SHOW_MESSAGES, MAUDE_SHOW_MESSAGES_E, MAUDE_SHOW_MODULE, MAUDE_SHOW_MODULE_E, MAUDE_SHOW_OPERS, MAUDE_SHOW_OPERS_E, MAUDE_SHOW_RULES, MAUDE_SHOW_RULES_E, MAUDE_SHOW_SORTS, MAUDE_SHOW_SORTS_E, MODULO_ACTIVO, MODULO_ACTIVO_E, NOMBRE_FICH_SALIDA, PALABRAS_ECUACIONES, PALABRAS_MODULOS, PALABRAS_PROPIEDADES, PALABRAS_VARIABLES, PESTANA_EMULADOR, PESTANA_ERROR, PESTANA_RESULT, PREFERENCES, PREFERENCES_E, PROMPT_FULL_MAUDE, PUERTO_SERVIDOR, RUTA_ACROBAT_READER, RUTA_DOCUMENT_MAUDE, RUTA_FICH_SALIDA, RUTA_FULL_MAUDE, RUTA_MAUDE, RUTA_TRABAJO, SERVIDOR_EVENTO_CTRL_C, SERVIDOR_INSERTAR_FULL_MAUDE, TAMANO_BUFFER_COLOR, TAMANO_BUFFER_EMULADOR, TAMANO_FICH_SALIDA, TAMANO_LETRA, TIPO_LETRA, TITULO_NUEVO, TITULO_VENT_PRINC, TITULO_VENT_PRINC_CORE, TITULO_VENT_PRINC_FULL, TRAZA_ACTIVAR, TRAZA_ACTIVAR_E, TRAZA_CONDITION, TRAZA_CONDITION_E, TRAZA_EQ, TRAZA_EQ_E, TRAZA_ETIQUETAS, TRAZA_ETIQUETAS_E, TRAZA_MB, TRAZA_MB_E, TRAZA_MODULOS, TRAZA_MODULOS_E, TRAZA_OPERADORES, TRAZA_OPERADORES_E, TRAZA_RL, TRAZA_RL_E, TRAZA_SELECT, TRAZA_SELECT_E, TRAZA_SELECT_WHAT, TRAZA_SELECT_WHAT_E, TRAZA_SUBSTITUTION, TRAZA_SUBSTITUTION_E, TRAZA_TITULO, TRAZA_TITULO_E, TRAZA_WHOLE, TRAZA_WHOLE_E

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Entorno()
Constructor de la clase Entorno.

Method Summary

void	AbrirAccion() Abre un fichero en el Editor abriendo una ventana de diálogo donde el usuario elige el fichero.
void	AcercadeEditorMaudeAccion() Abre un cuadro de diálogo mostrando información de la aplicación Maude Workstation.
static void	actualizaDesdeVectores(java.util.AbstractList[] vectorPalabras) Actualiza la tabla hash estiloPalabra a partir de un vector que contiene vectores de palabras reservadas para el coloreado
void	ActualizarBaseDeDatosAccion(java.lang.String contModulo, boolean isPredefinido, boolean ultimoModulo, boolean isPredefDefinFULL, boolean actualizarSub) Procedimiento que actualiza la base de datos
void	AyudaAccion() Muestra la ventana de ayuda del entorno.
void	BuscarAccion() Busca un texto en la ventana activa abriendo un cuadro de diálogo (DialogoBusqueda).
void	cambiarFuente(java.awt.Font f) Cambia la fuente de los documentos
private void	cargarFichero(java.io.File f, javax.swing.text.Document doc) inserta en doc el fichero dado por f.
private void	cargarPreferencias() lee desde el fich de configuración : localconfig.ini las preferencias del entorno
void	CerrarAccion() Cierra el documento activo mirando antes si debe ser salvado.
void	CerrarTodoAccion() Cierra todos los documentos abiertos mirando los que deben ser salvados.
void	ConfiguracionAccion() Muestra la ventana de Configuración en donde podremos configurar los paths del entorno, las fuentes de letras, el idioma, iluminación sintáctica, mostrando una ventana de diálogo (ConfigInterfaz.java).
private static javax.swing.text.SimpleAttributeSet[]	creaAtributos() Crea los distintos atributos para la representacion de las palabras en el TextPane
private static java.util.Hashtable	crearColores() Crea una tabla con los colores
private void	crearNuevaPestana() añade una nueva pestaña al panel de pestañas
private ClaseTexto	crearTexto() Crea un ClaseTexto, le pone sus atributos y eventos.
private static java.util.Hashtable	creaTablaHashDefecto() Crea la tabla por defecto
private static java.util.Hashtable	creaTablaHashDefecto2() Crea la tabla por defecto
static java.util.Vector[]	creaVectores() Crea un array de vectores.
void	enabledAntesMaude() Habilita y deshabilita los botones apropiados cuando aún no se ha iniciado Maude y arranca la base de datos local correspondiente
void	enabledTrasFinMaude() Habilita y deshabilita los botones apropiados cuando se haya salido de maude
void	EnviarDirectAccion() Envía el fichero actual directamente a Maude
static void	establecerColores() Cambia los colores de los atributos para las palabras
static java.lang.String	getAyudaPath()
static int	getBufferSizeColor()
static int	getBufferSizeEmulator()
static int	getFicherosSize()
static java.awt.Font	getFuenteActual()
static java.lang.String	getFullMaudeFile()
static java.net.InetAddress	getIpMaude()
static java.lang.String	getNombreFicheroSalida()
static java.lang.String	getPathAcrobatReader()
static java.lang.String	getPathMaude()
static int	getPuertoMaude()
java.net.URL	getRutaWeb(java.lang.String ruta) recoge la ruta via web
static java.lang.String	getSalidaFicherosPath()
static boolean	getSalidaSelected()
ClaseTexto	getTextoActual() Devuelve el componente area de texto actual.
ClaseTexto	getTextoAt(int indice) Devuelve el componente area de texto dado por el indice.
java.util.Vector	getVectorTexto()
static java.lang.String	getWorkPath()
void	GuardarAccion() Guarda el documento actual en un fichero.
private void	guardarADisco(ClaseTexto tex, java.io.File f) Pasa el texto a disco usando el fichero f.
void	GuardarComoAccion() Guarda el documento actual con otro nombre proporcionado por el usuario a través del cuadro de diálogo de salvar fichero.
void	GuardarComoMaudeAccion() Guarda lo que haya en la pestaña del emulador que esté activa: EMULADOR, o RESULT
private void	guardarPestanaADisco(int p, java.io.File f) Guarda el contenido de la pestaña que esté activa en ClaseVentanaLog.
private void	guardarPreferencias() Guarda las preferencias en el fichero localConfig.ini
void	ImprimirAccion() Inicializa la impresión
void	InitCoreMaudeAccion() Inicia Core Maude.
void	InitFullMaudeAccion() Inicia Full Maude.
void	irLineaAccion() Va a la linea indicada en la ventana activa
private static boolean	isDisponibleLookAndFeelWindows() Funcion que clase que devuelve true si la plataforma es Windows. falso en caso contrario
static boolean	isEspañol()
static boolean	isIngles()
static boolean	isPalabrasPorDefecto() Verifica si son las palabras por defecto para no tener que leer del fichero local de configuración
static boolean	isServidorEnabled()
void	NuevoAccion() Crea una nueva pestaña con un documento en blanco
void	priterSetupAccion() Configuración del formato de la pagina de impresión
private int	procesoCerrar(int indice, ClaseTexto tex) Cierra la pestaña numero indice que contiene el texto tex.
private int	procesoGuardar() Guarda el texto actual.
private int	procesoGuardarComo() Guardar como... .
void	QuitCoreMaudeAccion() Quita Maude
void	ReemplazarAccion() Reemplaza un texto por otro en la ventana activa.
void	reescrituraAccion() Muestra el dialogo que envía comandos de reescritura
private void	removerPestana(int indice) Cierra la pestaña dada por el indice.
void	SalirAccion() Sale del programa y comprueba si hay algo que salvar antes.
void	seleccionarTodoAccion() Selecciona todo el documento
static void	setAyudaPath(java.lang.String p)
static void	setBufferSizeColor(int p)
static void	setBufferSizeEmulator(int p)
static void	setFicherosSize(int p)
static void	setFuenteActual(java.awt.Font f)
static void	setFullMaudeFile(java.lang.String f)
void	SetIconoAccion() Establece el icono testigo sin movimiento
void	SetIconoCorriendoAccion() Establece el icono testigo con movimiento
void	SetIconoNormalAccion() Establece el icono testigo de color negro y sin movimiento
void	SetIconoRojoAccion() Establece el icono testigo de color rojo y sin movimiento
static void	setIdioma(java.lang.String i)
static void	setIpMaude(java.net.InetAddress p)
static void	setNombreFicheroSalida(java.lang.String p)
static void	setPathAcrobatReader(java.lang.String p)
static void	setPathMaude(java.lang.String p)
static void	setPuertoMaude(int p)
static void	setSalidaFicherosPath(java.lang.String p)
static void	setSalidaSelected(boolean p)
static void	setServidor(boolean b)
void	setTextoPorClave(int clave) Selecciona el texto dado por la clave.
static void	setWorkPath(java.lang.String p)
private void	updateBarraEstadoFecha() Actualizo la fecha de la barra de estado.

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.awt.Frame

addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

presentacion

private Entorno.VentanaPresentacion presentacion

La ventana de presentación mientras se crean los objetos del entorno

menuEmergente

public MenuEmergente menuEmergente

Menu Emergente asociado a las áreas de texto

menuBar

public ClaseBarraMenu menuBar

La barra de menus

depuradorBar

public ClaseDepurador depuradorBar

La barra del depurador

trazaBar

public ClaseTraza trazaBar

la barra de traza

toolBar

public ClaseBarraHerramientas toolBar

La barra de herramientas superior

subToolBar

public ClaseSubBarraHerramientas subToolBar

La barra de herramientas inferior

ventanaLog

public ClaseVentanaLog ventanaLog

La ventana del emulador

barraEstado

public BarraEstado barraEstado

La barra de estado

ventanaAyuda

public VentanaAyuda ventanaAyuda

La ventana de ayuda

configuracion

private Dialogos.ConfigInterfaz configuracion

Ventana de configuración

panelPestana

private javax.swing.JTabbedPane panelPestana

El panel de las pestañas

vectorTexto

private java.util.Vector vectorTexto

El vector que almacena los documentos

splitPane

private javax.swing.JSplitPane splitPane

La barra separadora entre panelPestana y ventanaLog.

printerPageFormat

private java.awt.print.PageFormat printerPageFormat

El formato de la impresión de página.

ventanaDialogo

public javax.swing.JFileChooser ventanaDialogo

La ventana de diálogo de abrir y guardar

baseDatosMaude

public ClaseModulosOperadores baseDatosMaude

La base de datos local

dialRees

public ClaseDialogoReescritura dialRees

La ventana de envio de comandos de reescritura a Maude

eventosPortapapeles

public EventosPortapapeles eventosPortapapeles

Los eventos del portapapeles

num_doc

private int num_doc

es el nº q se pone tras crear un nuevo doc

clave

private int clave

nº clave para los ClaseTexto para diferenciarlos los unos de los otros. esta clave se usa para saber de quien son los errores mostrados en la ventana de error.

SI_ACCION

public static final int SI_ACCION

See Also:

Constant Field Values

NO_ACCION

public static final int NO_ACCION

See Also:

Constant Field Values

CANCELAR_ACCION

public static final int CANCELAR_ACCION

See Also:

Constant Field Values

pathAcrobatReader

private static java.lang.String pathAcrobatReader

Dirección donde se encuentra Acrobat reader o cualquier programa que lea pdf

servidor

private static boolean servidor

Nos indica si esta habilitado o no Maude Server

puerto

private static int puerto

Puerto donde se encuentra Maude Server

iP

private static java.net.InetAddress iP

Dirección Ip donde se encuentra Maude Server

pathMaude

private static java.lang.String pathMaude

Ruta donde se encuentra Maude

fullMaudeFile

private static java.lang.String fullMaudeFile

Ruta donde se encuentra el fichero full-maude.maude

workPath

private static java.lang.String workPath

Ruta donde se encuentra el directorio de trabajo

ayudaPath

private static java.lang.String ayudaPath

Ruta donde se encuentra la documentacion de Maude

fuente

private static java.awt.Font fuente

La fuente actual del entorno

idioma

private static java.lang.String idioma

El idioma actual del entorno

idiomaTemp

public static java.lang.String idiomaTemp

Para almacenar un posible cambio de idioma

salidaFicherosPath

private static java.lang.String salidaFicherosPath

Ruta de los ficheros de salida en la traza

nombreFicheroSalida

private static java.lang.String nombreFicheroSalida

Nombre de los ficheros de salida en la traza

ficherosSize

private static int ficherosSize

Tamaño de los ficheros de salida en la traza

salidaSelected

private static boolean salidaSelected

True si esta activado la salida de Maude a memoria fisica durante la traza

bufferSizeColor

private static int bufferSizeColor

Tamaño del buffer de coloreado

bufferSizeEmulator

private static int bufferSizeEmulator

Tamaño del buffer del emulador

syntaxColor

static boolean syntaxColor

Indica que esta deshabilitada la coloracion de la sintaxis

colores

public static java.util.Hashtable colores

Tabla con los colores disponibles para el coloreado del entorno en general. Claves: "c1" texto normal,"c2" módulos o tipos de datos, "c3" variables y operaciones, "c4" ecuaciones y axiomas de miembro, "c5" propiedades, "c6" comentarios, "c7" fondo del texto, "c8" color del cursor del raton, "c9" texto seleccionado, "c10" fondo del texto seleccionado, "c11" para desactivar la coloración sintáctica (todo negro)

atributo

public static javax.swing.text.SimpleAttributeSet[] atributo

Atributo para las palabras

palabrasBurdeo

public static java.lang.String[] palabrasBurdeo

Palabras reconocidas por defecto en el caso de fallo

palabrasVerde

public static java.lang.String[] palabrasVerde

palabrasAzul

public static java.lang.String[] palabrasAzul

palabrasRojo

public static java.lang.String[] palabrasRojo

estiloPalabra

public static java.util.Hashtable estiloPalabra

Contiene la tabla con las palabras reservadas y su atributo correspondiente

mapaJerarquiaPalabras

private static java.util.Hashtable mapaJerarquiaPalabras

Contiene el mapa con la jerarquía de palabras para la iluminación sintáctica. Claves: modulos, variables, ecuaciones y propiedades. Valores: los cjtos de palabras de la jerarquia.

isWindows

public static boolean isWindows

devuelve true si el sistema operativo en el que se esta ejecutando es windows

Constructor Detail

Entorno

public Entorno()

Constructor de la clase Entorno.

Method Detail

getVectorTexto

public java.util.Vector getVectorTexto()

Returns:

Vector Devuelve el vector con cjto de Documentos

getPathAcrobatReader

public static java.lang.String getPathAcrobatReader()

setPathAcrobatReader

public static void setPathAcrobatReader(java.lang.String p)

isServidorEnabled

public static boolean isServidorEnabled()

setServidor

public static void setServidor(boolean b)

getPuertoMaude

public static int getPuertoMaude()

setPuertoMaude

public static void setPuertoMaude(int p)

getIpMaude

public static java.net.InetAddress getIpMaude()

setIpMaude

public static void setIpMaude(java.net.InetAddress p)

getPathMaude

public static java.lang.String getPathMaude()

setPathMaude

public static void setPathMaude(java.lang.String p)

getFullMaudeFile

public static java.lang.String getFullMaudeFile()

setFullMaudeFile

public static void setFullMaudeFile(java.lang.String f)

getWorkPath

public static java.lang.String getWorkPath()

setWorkPath

public static void setWorkPath(java.lang.String p)

getAyudaPath

public static java.lang.String getAyudaPath()

setAyudaPath

public static void setAyudaPath(java.lang.String p)

getFuenteActual

public static java.awt.Font getFuenteActual()

setFuenteActual

public static void setFuenteActual(java.awt.Font f)

isEspañol

public static boolean isEspañol()

isIngles

public static boolean isIngles()

setIdioma

public static void setIdioma(java.lang.String i)

getSalidaFicherosPath

public static java.lang.String getSalidaFicherosPath()

setSalidaFicherosPath

public static void setSalidaFicherosPath(java.lang.String p)

getNombreFicheroSalida

public static java.lang.String getNombreFicheroSalida()

setNombreFicheroSalida

public static void setNombreFicheroSalida(java.lang.String p)

getFicherosSize

public static int getFicherosSize()

setFicherosSize

public static void setFicherosSize(int p)

getSalidaSelected

public static boolean getSalidaSelected()

setSalidaSelected

public static void setSalidaSelected(boolean p)

getBufferSizeColor

public static int getBufferSizeColor()

setBufferSizeColor

public static void setBufferSizeColor(int p)

getBufferSizeEmulator

public static int getBufferSizeEmulator()

setBufferSizeEmulator

public static void setBufferSizeEmulator(int p)

crearColores

private static java.util.Hashtable crearColores()

Crea una tabla con los colores

establecerColores

public static void establecerColores()

Cambia los colores de los atributos para las palabras

creaAtributos

private static javax.swing.text.SimpleAttributeSet[] creaAtributos()

Crea los distintos atributos para la representacion de las palabras en el TextPane

creaTablaHashDefecto

private static java.util.Hashtable creaTablaHashDefecto()

Crea la tabla por defecto

creaTablaHashDefecto2

private static java.util.Hashtable creaTablaHashDefecto2()

Crea la tabla por defecto

creaVectores

public static java.util.Vector[] creaVectores()

Crea un array de vectores. Cada vector contiene un grupo de palabras. usado para el dialogo

Returns:

Vector [] Devuelve un array de vectores con las palabras para el realzado

actualizaDesdeVectores

public static void actualizaDesdeVectores(java.util.AbstractList[] vectorPalabras)

Actualiza la tabla hash estiloPalabra a partir de un vector que contiene vectores de palabras reservadas para el coloreado

Parameters:

vectorPalabras - el vector que contiene vectores de palabras reservadas

isPalabrasPorDefecto

public static boolean isPalabrasPorDefecto()

Verifica si son las palabras por defecto para no tener que leer del fichero local de configuración

Returns:

boolean True si son las palabras por defecto

getRutaWeb

public java.net.URL getRutaWeb(java.lang.String ruta)

recoge la ruta via web

cambiarFuente

public void cambiarFuente(java.awt.Font f)

Cambia la fuente de los documentos

cargarPreferencias

private void cargarPreferencias()

lee desde el fich de configuración : localconfig.ini las preferencias del entorno

guardarPreferencias

private void guardarPreferencias()

Guarda las preferencias en el fichero localConfig.ini

crearNuevaPestana

private void crearNuevaPestana()

añade una nueva pestaña al panel de pestañas

crearTexto

private ClaseTexto crearTexto()

Crea un ClaseTexto, le pone sus atributos y eventos.

getTextoActual

public ClaseTexto getTextoActual()

Devuelve el componente area de texto actual. Hay q controlar q el indice sea correcto

setTextoPorClave

public void setTextoPorClave(int clave)

Selecciona el texto dado por la clave.

Parameters:

clave - la clave del texto

getTextoAt

public ClaseTexto getTextoAt(int indice)

Devuelve el componente area de texto dado por el indice. El indice debe ser correcto.

Parameters:

indice - la clave del texto

NuevoAccion

public void NuevoAccion()

Crea una nueva pestaña con un documento en blanco

AbrirAccion

public void AbrirAccion()

Abre un fichero en el Editor abriendo una ventana de diálogo donde el usuario elige el fichero. Se crea un nuevo objeto ClaseTexto.class y se añade al panel de pestañas (panelPestana).

GuardarAccion

public void GuardarAccion()

Guarda el documento actual en un fichero.

GuardarComoAccion

public void GuardarComoAccion()

Guarda el documento actual con otro nombre proporcionado por el usuario a través del cuadro de diálogo de salvar fichero.

GuardarComoMaudeAccion

public void GuardarComoMaudeAccion()

Guarda lo que haya en la pestaña del emulador que esté activa: EMULADOR, o RESULT

priterSetupAccion

public void priterSetupAccion()

Configuración del formato de la pagina de impresión

ImprimirAccion

public void ImprimirAccion()

Inicializa la impresión

CerrarAccion

public void CerrarAccion()

Cierra el documento activo mirando antes si debe ser salvado.

CerrarTodoAccion

public void CerrarTodoAccion()

Cierra todos los documentos abiertos mirando los que deben ser salvados.

SalirAccion

public void SalirAccion()

Sale del programa y comprueba si hay algo que salvar antes.

seleccionarTodoAccion

public void seleccionarTodoAccion()

Selecciona todo el documento

BuscarAccion

public void BuscarAccion()

Busca un texto en la ventana activa abriendo un cuadro de diálogo (DialogoBusqueda).

ReemplazarAccion

public void ReemplazarAccion()

Reemplaza un texto por otro en la ventana activa.

irLineaAccion

public void irLineaAccion()

Va a la linea indicada en la ventana activa

AcercadeEditorMaudeAccion

public void AcercadeEditorMaudeAccion()

Abre un cuadro de diálogo mostrando información de la aplicación Maude Workstation.

InitCoreMaudeAccion

public void InitCoreMaudeAccion()

Inicia Core Maude.

InitFullMaudeAccion

public void InitFullMaudeAccion()

Inicia Full Maude.

QuitCoreMaudeAccion

public void QuitCoreMaudeAccion()

Quita Maude

EnviarDirectAccion

public void EnviarDirectAccion()

Envía el fichero actual directamente a Maude

enabledAntesMaude

public void enabledAntesMaude()

Habilita y deshabilita los botones apropiados cuando aún no se ha iniciado Maude y arranca la base de datos local correspondiente

enabledTrasFinMaude

public void enabledTrasFinMaude()

Habilita y deshabilita los botones apropiados cuando se haya salido de maude

ConfiguracionAccion

public void ConfiguracionAccion()

Muestra la ventana de Configuración en donde podremos configurar los paths del entorno, las fuentes de letras, el idioma, iluminación sintáctica, mostrando una ventana de diálogo (ConfigInterfaz.java).

AyudaAccion

public void AyudaAccion()

Muestra la ventana de ayuda del entorno.

updateBarraEstadoFecha

private void updateBarraEstadoFecha()

Actualizo la fecha de la barra de estado.

cargarFichero

private void cargarFichero(java.io.File f,
                           javax.swing.text.Document doc)

inserta en doc el fichero dado por f.

Parameters:

f - fichero a mostrar

doc - documento en el que se debe de cargar el fichero

procesoGuardar

private int procesoGuardar()

Guarda el texto actual. Devuelve la opción que eligió el usuario: SI_ACCION o CANCELAR_ACCION;

guardarADisco

private void guardarADisco(ClaseTexto tex,
                           java.io.File f)

Pasa el texto a disco usando el fichero f.

Parameters:

text - texto a guardar al disco

f - fichero en el que se guardara el texto

procesoGuardarComo

private int procesoGuardarComo()

Guardar como... . Devuelve la acción elegida por el usuario.

guardarPestanaADisco

private void guardarPestanaADisco(int p,
                                  java.io.File f)

Guarda el contenido de la pestaña que esté activa en ClaseVentanaLog.(EMULADOR o RESULT)

Parameters:

p - la pestaña : EMULATOR=0 RESULTADO=1 a almacenar el memoria fisica

f - fichero en el que se guardará el documento

procesoCerrar

private int procesoCerrar(int indice,
                          ClaseTexto tex)

Cierra la pestaña numero indice que contiene el texto tex. El indice debe estar dentro de rango.

Parameters:

indice - el indice con el texto a guardar

tex - texto que contiene la clave, la cual se cerrara

removerPestana

private void removerPestana(int indice)

Cierra la pestaña dada por el indice. Se supone que el indice esta dentro de los rangos.

Parameters:

indice - elimina la pestaña dada por el indice

isDisponibleLookAndFeelWindows

private static boolean isDisponibleLookAndFeelWindows()

Funcion que clase que devuelve true si la plataforma es Windows. falso en caso contrario

SetIconoAccion

public void SetIconoAccion()

Establece el icono testigo sin movimiento

SetIconoCorriendoAccion

public void SetIconoCorriendoAccion()

Establece el icono testigo con movimiento

SetIconoNormalAccion

public void SetIconoNormalAccion()

Establece el icono testigo de color negro y sin movimiento

SetIconoRojoAccion

public void SetIconoRojoAccion()

Establece el icono testigo de color rojo y sin movimiento

reescrituraAccion

public void reescrituraAccion()

Muestra el dialogo que envía comandos de reescritura

ActualizarBaseDeDatosAccion

public void ActualizarBaseDeDatosAccion(java.lang.String contModulo,
                                        boolean isPredefinido,
                                        boolean ultimoModulo,
                                        boolean isPredefDefinFULL,
                                        boolean actualizarSub)

Procedimiento que actualiza la base de datos

Parameters:

contModulo - el contenido del modulo

isPredefinido - si el modulo es predefinido o no

ultimoModulo - si es un modulo a mostrar

isPredefDefinFULL - si es un modulo de definicion de full maude

actualizarSub - si hay que actualizar el menú desplegable situado en la barra del emulador utilizado para seleccionar el módulo activo.