entorno.emulador
Class ClaseModulosOperadores

java.lang.Object
  entorno.emulador.ClaseModulosOperadores

public class ClaseModulosOperadores

extends java.lang.Object

Funcion: almacenar la base de datos de Maude localmente

Field Summary

private java.util.Set	cjtoMFin cjto con las palabras clave del fin de un modulo
private java.util.Set	cjtoMInicio cjto con las palabras clave del inicio de un modulo
private java.util.SortedSet	cjtoModulos cjto con nodos nodoMODULO (nombre,esPredefinido,tipo,isFullMaude) usado como generador de claves
private java.util.Set	cjtoModuls
private java.util.Set	cjtoPalEstudio cjto de palabras clave a estudiar para la base de datos: ops sorts subsorts
private Entorno	entorno
private boolean	isCoreMaude cierto si es core maude o falso si es full maude
private java.util.Map	mapaAxiomasDeMiembro mapa con los axiomas de miembro que contiene el modulo
private java.util.Map	mapaDeClases mapa con clave el nomModulo y valor el cjtoOrd de nodoOPERS
private java.util.Map	mapaDeEcuaciones mapa con las ecuaciones que contiene el modulo
private java.util.Map	mapaDeJerarqClases mapa con clave la clase y valor el cjto de subclases
private java.util.Map	mapaDeMensajes mapa con clave el nomModulo y valor el cjtoOrd de nodoOPERS
private java.util.Map	mapaDeReglas mapa con las reglas que contiene el modulo
private java.util.Map	mapaEtiquetasModulo mapa con las etiquetas que contiene el modulo
private java.util.Map	mapaOrdIEP introducimos en el mapa como clave el nombre del modulo y como valor el cjtoOrdIEP de nodoIEP
private java.util.Map	mapaOrdOpers
private java.util.Map	mapaTipos mapa con clave el tipo y valor el cjto de subtipos
private java.util.Map	mapaTiposModulo mapa con clave el nomModulo y valor el cjto de tipos
private java.lang.String	nombreModulo

Constructor Summary

ClaseModulosOperadores(Entorno ent)
Constructor

Method Summary

void	actualizarSubtoolBar() Actualiza el menu desplegable de la barra del emulador
void	borrarBaseDatos() Borra la base de datos
private void	crearBaseDatos(java.lang.String datos, boolean isModuloPredefinido, boolean ultimoModulo, boolean isPredefDefinicFULL, boolean actualizarSubtool) Usado por el insertandoReconociendoFichero
java.util.SortedSet	getCjtoAxiomasModulo(java.lang.String nomMod) Devuelve el cjto de axiomas de el modulo dado por el argumento
java.util.Set	getCjtoClasesModulo(java.lang.String nomModulo) Devuelve el nombre de las clases que contiene un módulo concreto, además de la de los módulos importados por él
private void	getCjtoClasesModuloRecursivo(java.lang.String nomM)
java.util.Set	getCjtoClasesParaJerarquia(java.lang.String nomModulo) Devuelve el nombre de las clases para un modulo concreto
java.util.SortedSet	getCjtoEcuacionesModulo(java.lang.String nomMod) Devuelve el cjto de ecuaciones de el modulo dado por el argumento
java.util.SortedSet	getCjtoEtiquetasModulo(java.lang.String nomMod) Devuelve el cjto de etiquetas de un modulo dado
java.util.SortedSet	getCjtoExtendingModulo(java.lang.String nomMod) Devuelve un conjunto con cadenas de caracteres de todos los modulos que incluye el modulo dado
java.util.SortedSet	getCjtoIEPModulo(java.lang.String nomMod) Obtiene un cjto de modulos que incluye, extiende o prot un modulo concreto
java.util.Set	getCjtoIEPModuloR(java.lang.String nomModulo) Devuelve todos los modulos usados recursivamente
private void	getCjtoIEPModuloRRecursivo(java.lang.String nomM)
java.util.SortedSet	getCjtoIncludeModulo(java.lang.String nomMod) Devuelve un conjunto con cadenas de caracteres de todos los modulos que incluye el modulo dado
java.util.SortedSet	getCjtoMensajesModuloNodo(java.lang.String nomMod) Devuelve el cjto de mensajes con la estructura del nodo op
java.util.Set	getCjtoModulos() Devuelve el cjto de modulos que contiene la base de datos
java.util.SortedSet	getCjtoOpersModulo(java.lang.String nomMod) Devuelve el conjunto de operadores ordenados y separados en cabeza/cola por un caracter especial
java.util.SortedSet	getCjtoOpersModuloNodo(java.lang.String nomMod) Devuelve el cjto de operadores con la estructura del nodo op
java.util.SortedSet	getCjtoProtectingModulo(java.lang.String nomMod) Devuelve el cjto de modulos que prot un modulo concreto
java.util.SortedSet	getCjtoReglasModulo(java.lang.String nomMod) Devuelve el cjto de reglas de el modulo dado por el argumento
java.util.List	getListaModulosDefinenFMaude() Devuelve la lista de modulos usados para definir Full Maude
java.util.List	getListaModulosPredefinidosCore() Devuelve una lista con los modulos predefinidos de Core Maude
java.util.List	getListaModulosPredefinidosFull() Devuelve la lista de modulos predefinidos de Full Maude
java.util.List	getListaModulosPropiosCore() Devuelve la lista de los modulos de Core Maude definidos por el usuario
java.util.List	getListaModulosPropiosFull() Devuelve la lista de los modulos de Full Maude definidos por el usuario
nodoMODULO	getModulo(java.lang.String nomModulo) Obtiene el modulo de la base de datos a partir de su nombre
java.util.Set	getSubclasesDeLaClase(java.lang.String nomClase) Recupera ej cjto de clases hija de una clase padre dado por el argumento
java.util.Set	getSubtiposDelTipo(java.lang.String nomTipo) Recupera el cjto de tipos que incluye el tipo dado por el argumento
java.util.Set	getTiposModulos(java.lang.String nomModulo) Devuelve un cjto de string con los tipos de los modulos
private void	getTiposModulosRecursivo(java.lang.String nomM)
void	guardarBaseDatos(java.lang.String nomFich) almacena la base de datos en memoria fisica
void	habilitarModulosCoreMaude() Habilita la lectura de modulos tipo Core Maude en nuestra base de datos
void	habilitarModulosFullMaude() Habilita la lectura de modulos tipo Full Maude en nuestra base de datos
void	insertarReconociendoFichero(ClaseTexto text, boolean isModulosPredefinidos, boolean ultimoModulo, boolean isPredefDefFull, boolean actualizarSub) Inserta un modulo en la base de datos .
boolean	isCoreMaude()
private boolean	isInMapaTiposModulos(java.lang.String nomMod, java.lang.String tipo) Devuelve true si el modulo dado por el primer argumento contiene el tipo
boolean	isModuloDefinicionFull(java.lang.String nomModulo) Devuelve true si e modulo es un modulo usado para la definir Full Maude
boolean	isModuloFullMaude(java.lang.String nomModulo) Devuelve true si el modulo es predefinido
boolean	isModuloPredefinido(java.lang.String nomModulo) Devuelve true si el modulo es predefinido
int	isTextoFullMaudeModules(ClaseTexto text) Metodo que mira si el esto a introducir es full maude, si no lo es, devuelve la linea con el error
void	leerBaseDatos(java.lang.String nomFich) Rescata la base de datos
java.util.List	recuperarListaConNombreModulos(ClaseTexto text) Devuelve una lista con los nombres de modulos que contiene un texto dado por el argumento

Methods inherited from class java.lang.Object

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

Field Detail

entorno

private Entorno entorno

isCoreMaude

private boolean isCoreMaude

cierto si es core maude o falso si es full maude

mapaOrdIEP

private java.util.Map mapaOrdIEP

introducimos en el mapa como clave el nombre del modulo y como valor el cjtoOrdIEP de nodoIEP

mapaOrdOpers

private java.util.Map mapaOrdOpers

cjtoModulos

private java.util.SortedSet cjtoModulos

cjto con nodos nodoMODULO (nombre,esPredefinido,tipo,isFullMaude) usado como generador de claves

mapaTiposModulo

private java.util.Map mapaTiposModulo

mapa con clave el nomModulo y valor el cjto de tipos

mapaTipos

private java.util.Map mapaTipos

mapa con clave el tipo y valor el cjto de subtipos

mapaEtiquetasModulo

private java.util.Map mapaEtiquetasModulo

mapa con las etiquetas que contiene el modulo

mapaAxiomasDeMiembro

private java.util.Map mapaAxiomasDeMiembro

mapa con los axiomas de miembro que contiene el modulo

mapaDeEcuaciones

private java.util.Map mapaDeEcuaciones

mapa con las ecuaciones que contiene el modulo

mapaDeReglas

private java.util.Map mapaDeReglas

mapa con las reglas que contiene el modulo

mapaDeMensajes

private java.util.Map mapaDeMensajes

mapa con clave el nomModulo y valor el cjtoOrd de nodoOPERS

mapaDeClases

private java.util.Map mapaDeClases

mapa con clave el nomModulo y valor el cjtoOrd de nodoOPERS

mapaDeJerarqClases

private java.util.Map mapaDeJerarqClases

mapa con clave la clase y valor el cjto de subclases

cjtoMInicio

private java.util.Set cjtoMInicio

cjto con las palabras clave del inicio de un modulo

cjtoMFin

private java.util.Set cjtoMFin

cjto con las palabras clave del fin de un modulo

cjtoPalEstudio

private java.util.Set cjtoPalEstudio

cjto de palabras clave a estudiar para la base de datos: ops sorts subsorts

nombreModulo

private java.lang.String nombreModulo

cjtoModuls

private java.util.Set cjtoModuls

Constructor Detail

ClaseModulosOperadores

public ClaseModulosOperadores(Entorno ent)

Constructor

Parameters:

ent - El JFrame al que se le inserta la base de datos

Method Detail

isCoreMaude

public boolean isCoreMaude()

leerBaseDatos

public void leerBaseDatos(java.lang.String nomFich)

Rescata la base de datos

actualizarSubtoolBar

public void actualizarSubtoolBar()

Actualiza el menu desplegable de la barra del emulador

guardarBaseDatos

public void guardarBaseDatos(java.lang.String nomFich)

almacena la base de datos en memoria fisica

habilitarModulosCoreMaude

public void habilitarModulosCoreMaude()

Habilita la lectura de modulos tipo Core Maude en nuestra base de datos

habilitarModulosFullMaude

public void habilitarModulosFullMaude()

Habilita la lectura de modulos tipo Full Maude en nuestra base de datos

getSubtiposDelTipo

public java.util.Set getSubtiposDelTipo(java.lang.String nomTipo)

Recupera el cjto de tipos que incluye el tipo dado por el argumento

Parameters:

nomTipo - El tipo al que queremos recuperar las inclusiones

getSubclasesDeLaClase

public java.util.Set getSubclasesDeLaClase(java.lang.String nomClase)

Recupera ej cjto de clases hija de una clase padre dado por el argumento

Parameters:

nomClase - La clase a la que queremos recuperar sus hijos

getModulo

public nodoMODULO getModulo(java.lang.String nomModulo)

Obtiene el modulo de la base de datos a partir de su nombre

isModuloPredefinido

public boolean isModuloPredefinido(java.lang.String nomModulo)

Devuelve true si el modulo es predefinido

isModuloFullMaude

public boolean isModuloFullMaude(java.lang.String nomModulo)

Devuelve true si el modulo es predefinido

isModuloDefinicionFull

public boolean isModuloDefinicionFull(java.lang.String nomModulo)

Devuelve true si e modulo es un modulo usado para la definir Full Maude

borrarBaseDatos

public void borrarBaseDatos()

Borra la base de datos

getCjtoIEPModulo

public java.util.SortedSet getCjtoIEPModulo(java.lang.String nomMod)

Obtiene un cjto de modulos que incluye, extiende o prot un modulo concreto

getCjtoMensajesModuloNodo

public java.util.SortedSet getCjtoMensajesModuloNodo(java.lang.String nomMod)

Devuelve el cjto de mensajes con la estructura del nodo op

getCjtoOpersModuloNodo

public java.util.SortedSet getCjtoOpersModuloNodo(java.lang.String nomMod)

Devuelve el cjto de operadores con la estructura del nodo op

getCjtoOpersModulo

public java.util.SortedSet getCjtoOpersModulo(java.lang.String nomMod)

Devuelve el conjunto de operadores ordenados y separados en cabeza/cola por un caracter especial

getCjtoIncludeModulo

public java.util.SortedSet getCjtoIncludeModulo(java.lang.String nomMod)

Devuelve un conjunto con cadenas de caracteres de todos los modulos que incluye el modulo dado

getCjtoExtendingModulo

public java.util.SortedSet getCjtoExtendingModulo(java.lang.String nomMod)

Devuelve un conjunto con cadenas de caracteres de todos los modulos que incluye el modulo dado

getCjtoProtectingModulo

public java.util.SortedSet getCjtoProtectingModulo(java.lang.String nomMod)

Devuelve el cjto de modulos que prot un modulo concreto

getCjtoEtiquetasModulo

public java.util.SortedSet getCjtoEtiquetasModulo(java.lang.String nomMod)

Devuelve el cjto de etiquetas de un modulo dado

getTiposModulos

public java.util.Set getTiposModulos(java.lang.String nomModulo)

Devuelve un cjto de string con los tipos de los modulos

getTiposModulosRecursivo

private void getTiposModulosRecursivo(java.lang.String nomM)

getCjtoClasesModulo

public java.util.Set getCjtoClasesModulo(java.lang.String nomModulo)

Devuelve el nombre de las clases que contiene un módulo concreto, además de la de los módulos importados por él

getCjtoClasesModuloRecursivo

private void getCjtoClasesModuloRecursivo(java.lang.String nomM)

getCjtoIEPModuloR

public java.util.Set getCjtoIEPModuloR(java.lang.String nomModulo)

Devuelve todos los modulos usados recursivamente

getCjtoIEPModuloRRecursivo

private void getCjtoIEPModuloRRecursivo(java.lang.String nomM)

getCjtoClasesParaJerarquia

public java.util.Set getCjtoClasesParaJerarquia(java.lang.String nomModulo)

Devuelve el nombre de las clases para un modulo concreto

getCjtoAxiomasModulo

public java.util.SortedSet getCjtoAxiomasModulo(java.lang.String nomMod)

Devuelve el cjto de axiomas de el modulo dado por el argumento

getCjtoEcuacionesModulo

public java.util.SortedSet getCjtoEcuacionesModulo(java.lang.String nomMod)

Devuelve el cjto de ecuaciones de el modulo dado por el argumento

getCjtoReglasModulo

public java.util.SortedSet getCjtoReglasModulo(java.lang.String nomMod)

Devuelve el cjto de reglas de el modulo dado por el argumento

getCjtoModulos

public java.util.Set getCjtoModulos()

Devuelve el cjto de modulos que contiene la base de datos

getListaModulosPredefinidosCore

public java.util.List getListaModulosPredefinidosCore()

Devuelve una lista con los modulos predefinidos de Core Maude

getListaModulosPredefinidosFull

public java.util.List getListaModulosPredefinidosFull()

Devuelve la lista de modulos predefinidos de Full Maude

getListaModulosDefinenFMaude

public java.util.List getListaModulosDefinenFMaude()

Devuelve la lista de modulos usados para definir Full Maude

getListaModulosPropiosCore

public java.util.List getListaModulosPropiosCore()

Devuelve la lista de los modulos de Core Maude definidos por el usuario

getListaModulosPropiosFull

public java.util.List getListaModulosPropiosFull()

Devuelve la lista de los modulos de Full Maude definidos por el usuario

isInMapaTiposModulos

private boolean isInMapaTiposModulos(java.lang.String nomMod,
                                     java.lang.String tipo)

Devuelve true si el modulo dado por el primer argumento contiene el tipo

recuperarListaConNombreModulos

public java.util.List recuperarListaConNombreModulos(ClaseTexto text)

Devuelve una lista con los nombres de modulos que contiene un texto dado por el argumento

insertarReconociendoFichero

public void insertarReconociendoFichero(ClaseTexto text,
                                        boolean isModulosPredefinidos,
                                        boolean ultimoModulo,
                                        boolean isPredefDefFull,
                                        boolean actualizarSub)

Inserta un modulo en la base de datos . Nota: El modulo puede disponer de comentarios ya que el algoritmo los pasa por alto

Parameters:

text - el texto a insertar en la base de datos

isModulosPredefinidos - si el modulo que se esta insertando es predefinido o no

ultimoModulo - si queremos actulizar como ultimo modulo en el combobox del submenu

isPredefDefFull - si el modulo es usado para definir Full Maude

actualizarSub - si queremos insertar en el combobox del submenu con el nombre del modulo insertado en la base de datos

crearBaseDatos

private void crearBaseDatos(java.lang.String datos,
                            boolean isModuloPredefinido,
                            boolean ultimoModulo,
                            boolean isPredefDefinicFULL,
                            boolean actualizarSubtool)

Usado por el insertandoReconociendoFichero

isTextoFullMaudeModules

public int isTextoFullMaudeModules(ClaseTexto text)

Metodo que mira si el esto a introducir es full maude, si no lo es, devuelve la linea con el error