Overview  Package  Class  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Constant Field Values

Contents
entorno.*

entorno.CImprimir
static final java.lang.String CONTINUED_LABEL "continuation..."
private final int FOOTER_SPACE 20
private final int HEADER_SPACE 30
private final int PADDING 1

entorno.Entorno
public static final int CANCELAR_ACCION 3
public static final int NO_ACCION 2
public static final int SI_ACCION 1

entorno.MaudeEditorConstantes
public static final java.lang.String ARCHIVO_ACCION_CLOSE "Close"
public static final java.lang.String ARCHIVO_ACCION_CLOSE_ALL "Close all"
public static final java.lang.String ARCHIVO_ACCION_CLOSE_ALL_E "Cerrar todo"
public static final java.lang.String ARCHIVO_ACCION_CLOSE_E "Cerrar"
public static final java.lang.String ARCHIVO_ACCION_EXIT "Exit"
public static final java.lang.String ARCHIVO_ACCION_EXIT_E "Salir"
public static final java.lang.String ARCHIVO_ACCION_NEW "New"
public static final java.lang.String ARCHIVO_ACCION_NEW_E "Nuevo"
public static final java.lang.String ARCHIVO_ACCION_OPEN "Open"
public static final java.lang.String ARCHIVO_ACCION_OPEN_E "Abrir"
public static final java.lang.String ARCHIVO_ACCION_PAGE_SETUP "Print setup"
public static final java.lang.String ARCHIVO_ACCION_PAGE_SETUP_E "Configurar impresi\u00f3n"
public static final java.lang.String ARCHIVO_ACCION_PRINT "Print"
public static final java.lang.String ARCHIVO_ACCION_PRINT_E "Imprimir"
public static final java.lang.String ARCHIVO_ACCION_SAVE "Save"
public static final java.lang.String ARCHIVO_ACCION_SAVE_AS "Save as ..."
public static final java.lang.String ARCHIVO_ACCION_SAVE_AS_E "Salvar como ..."
public static final java.lang.String ARCHIVO_ACCION_SAVE_E "Salvar"
public static final int AREA_EDITOR 0
public static final int AREA_MAUDE 1
public static final java.lang.String BUSCAR_ACCION_FIND "Find..."
public static final java.lang.String BUSCAR_ACCION_FIND_E "Buscar..."
public static final java.lang.String BUSCAR_ACCION_GO_LINE "Go to line..."
public static final java.lang.String BUSCAR_ACCION_GO_LINE_E "Ir a l\u00ednea..."
public static final java.lang.String BUSCAR_ACCION_REPLACE "Replace..."
public static final java.lang.String BUSCAR_ACCION_REPLACE_E "Reemplazar..."
public static final java.lang.String COLOR_COMENTARIOS "COLOR_COMMENTS"
public static final java.lang.String COLOR_CURSOR "COLOR_CURSOR"
public static final java.lang.String COLOR_ECUACIONES "COLOR_EQUATIONS"
public static final java.lang.String COLOR_FONDO "COLOR_BACKGROUND"
public static final java.lang.String COLOR_FONDO_TEXTO_SELECCIONADO "COLOR_B_SELECTED_TEXT"
public static final java.lang.String COLOR_MODULOS "COLOR_MODULES"
public static final java.lang.String COLOR_PROPIEDADES "COLOR_PROPERTIES"
public static final java.lang.String COLOR_TEXTO_NORMAL "COLOR_NORMAL_TEXT"
public static final java.lang.String COLOR_TEXTO_SELECCIONADO "COLOR_SELECTED_TEXT"
public static final java.lang.String COLOR_VARIABLES "COLOR_VARIABLES"
public static final java.lang.String DEPURADOR_ABORTAR "Abort"
public static final java.lang.String DEPURADOR_ABORTAR_E "Abortar"
public static final java.lang.String DEPURADOR_ACTIVAR "Debugger"
public static final java.lang.String DEPURADOR_ACTIVAR_E "Depurador"
public static final java.lang.String DEPURADOR_DAR1PASO "Step"
public static final java.lang.String DEPURADOR_DAR1PASO_E "Un paso"
public static final java.lang.String DEPURADOR_DONDE "Where"
public static final java.lang.String DEPURADOR_DONDE_E "D\u00f3nde"
public static final java.lang.String DEPURADOR_PUNTOSRUPTURA "Breakpoints"
public static final java.lang.String DEPURADOR_PUNTOSRUPTURA_E "Puntos de ruptura"
public static final java.lang.String DEPURADOR_RESUMIR "Resume"
public static final java.lang.String DEPURADOR_RESUMIR_E "Continuar"
public static final java.lang.String DEPURADOR_TITULO "DEBUGGER"
public static final java.lang.String DEPURADOR_TITULO_E "DEPURADOR"
public static final java.lang.String EDICION_ACCION_COPY "Copy"
public static final java.lang.String EDICION_ACCION_COPY_E "Copiar"
public static final java.lang.String EDICION_ACCION_CUT "Cut"
public static final java.lang.String EDICION_ACCION_CUT_E "Cortar"
public static final java.lang.String EDICION_ACCION_DELETE "Delete"
public static final java.lang.String EDICION_ACCION_DELETE_E "Eliminar"
public static final java.lang.String EDICION_ACCION_PASTE "Paste"
public static final java.lang.String EDICION_ACCION_PASTE_E "Pegar"
public static final java.lang.String EDICION_ACCION_REDO "Redo"
public static final java.lang.String EDICION_ACCION_REDO_E "Rehacer"
public static final java.lang.String EDICION_ACCION_SELECT_ALL "Select all"
public static final java.lang.String EDICION_ACCION_SELECT_ALL_E "Seleccionar todo"
public static final java.lang.String EDICION_ACCION_UNDO "Undo"
public static final java.lang.String EDICION_ACCION_UNDO_E "Deshacer"
public static final java.lang.String EDICION_VER_BARRA_INF "Emulator toolbar"
public static final java.lang.String EDICION_VER_BARRA_INF_E "Barra de emulaci\u00f3n"
public static final java.lang.String EDICION_VER_BARRA_SUP "Edition toolbar"
public static final java.lang.String EDICION_VER_BARRA_SUP_E "Barra de edici\u00f3n"
public static final java.lang.String EDICION_VER_BARRAS_HERR "Toolbars"
public static final java.lang.String EDICION_VER_BARRAS_HERR_E "Barra de herramientas"
public static final java.lang.String EDITOR_ACCION_COMANDO "Send a command"
public static final java.lang.String EDITOR_ACCION_COMANDO_E "Enviar comando"
public static final java.lang.String EDITOR_ACCION_ENVIAR "Send to Maude"
public static final java.lang.String EDITOR_ACCION_ENVIAR_E "Enviar a Maude"
public static final java.lang.String ESTA_COLOREADO "IS_COLOURFULL"
public static final java.lang.String ESTA_SELECT_SALIDA "IS_SALIDA_SELECT"
public static final java.lang.String ESTA_SELECT_SERVIDOR "IS_SELECT_SERVIDOR"
public static final java.lang.String ESTILO_LETRA "LETTER_STYLE"
public static final java.lang.String GRAFO_ESCALA "Scale: "
public static final java.lang.String GRAFO_ESCALA_E "Escala: "
public static final java.lang.String GRAFO_EXIT "Exit"
public static final java.lang.String GRAFO_EXIT_E "Salir"
public static final java.lang.String GRAFO_PAGE_SETUP "Print setup..."
public static final java.lang.String GRAFO_PAGE_SETUP_E "Configurar impresi\u00f3n..."
public static final java.lang.String GRAFO_PRINT "Print..."
public static final java.lang.String GRAFO_PRINT_E "Imprimir..."
public static final java.lang.String GRAFO_VIEW_CLASES "Classes"
public static final java.lang.String GRAFO_VIEW_CLASES_E "Clases"
public static final java.lang.String GRAFO_VIEW_MODS_PREDEF "Show predefined modules"
public static final java.lang.String GRAFO_VIEW_MODS_PREDEF_E "Mostrar m\u00f3dulos predefinidos"
public static final java.lang.String GRAFO_VIEW_MODS_PREDEF_FULL "Show Full Maude modules"
public static final java.lang.String GRAFO_VIEW_MODS_PREDEF_FULL_E "Mostrar m\u00f3dulos de Full Maude"
public static final java.lang.String GRAFO_VIEW_REL "Show modules importations"
public static final java.lang.String GRAFO_VIEW_REL_BOOL "BOOL imports"
public static final java.lang.String GRAFO_VIEW_REL_BOOL_E "Importaciones de BOOL"
public static final java.lang.String GRAFO_VIEW_REL_E "Mostrar relaciones entre m\u00f3dulos"
public static final java.lang.String GRAFO_VIEW_REL_UP "UP imports"
public static final java.lang.String GRAFO_VIEW_REL_UP_E "Importaciones de UP"
public static final java.lang.String GRAFO_VIEW_TIPOS "Sorts"
public static final java.lang.String GRAFO_VIEW_TIPOS_E "Tipos"
public static final java.lang.String HELP_ACCION_ABOUT "About this program"
public static final java.lang.String HELP_ACCION_ABOUT_E "Sobre este programa"
public static final java.lang.String HELP_AYUDA_MAUDE_WORKSTATION "Maude Workstation Help"
public static final java.lang.String HELP_AYUDA_MAUDE_WORKSTATION_E "Ayuda sobre Maude Workstation"
public static final java.lang.String HELP_AYUDA_MAUDE2 "Maude documentation v2.0"
public static final java.lang.String HELP_AYUDA_MAUDE2_E "Documentaci\u00f3n sobre Maude v2.0"
public static final java.lang.String IDIOMA "LANGUAJE"
public static final java.lang.String IP_SERVIDOR "SERVER_IP"
public static final java.lang.String MAUDE_ACCION_CLEAR_ERRORS "Clear error messages"
public static final java.lang.String MAUDE_ACCION_CLEAR_ERRORS_E "Borrar mensajes de error"
public static final java.lang.String MAUDE_ACCION_DISPLAY_GRAFO "Display modules Graph"
public static final java.lang.String MAUDE_ACCION_DISPLAY_GRAFO_E "Mostrar grafo de m\u00f3dulos"
public static final java.lang.String MAUDE_ACCION_DISPLAY_GRAFO_TIPOS "Display sorts Graph"
public static final java.lang.String MAUDE_ACCION_DISPLAY_GRAFO_TIPOS_E "Mostrar grafo de sorts"
public static final java.lang.String MAUDE_ACCION_INIT_FULL_MAUDE "Init Full Maude"
public static final java.lang.String MAUDE_ACCION_INIT_FULL_MAUDE_E "Iniciar Full Maude"
public static final java.lang.String MAUDE_ACCION_INIT_MAUDE "Init Core Maude"
public static final java.lang.String MAUDE_ACCION_INIT_MAUDE_E "Iniciar Core Maude"
public static final java.lang.String MAUDE_ACCION_LOOP_INIT "loop init"
public static final java.lang.String MAUDE_ACCION_LOOP_INIT_E "Loop init"
public static final java.lang.String MAUDE_ACCION_OPEN "Open input"
public static final java.lang.String MAUDE_ACCION_OPEN_E "Abrir entrada"
public static final java.lang.String MAUDE_ACCION_QUIT_MAUDE "Quit Maude"
public static final java.lang.String MAUDE_ACCION_QUIT_MAUDE_E "Salir de Maude"
public static final java.lang.String MAUDE_ACCION_REWRITE "Commands"
public static final java.lang.String MAUDE_ACCION_REWRITE_E "Comandos"
public static final java.lang.String MAUDE_ACCION_SAVE_AS "Save input as ..."
public static final java.lang.String MAUDE_ACCION_SAVE_AS_E "Salvar entrada como ..."
public static final java.lang.String MAUDE_ACCION_SHOW "Show module information"
public static final java.lang.String MAUDE_ACCION_SHOW_E "Mostrar informaci\u00f3n"
public static final java.lang.String MAUDE_SHOW_ALL "All"
public static final java.lang.String MAUDE_SHOW_ALL_E "Todo"
public static final java.lang.String MAUDE_SHOW_CLASSES "Classes"
public static final java.lang.String MAUDE_SHOW_CLASSES_E "Clases"
public static final java.lang.String MAUDE_SHOW_EQ "Eqs"
public static final java.lang.String MAUDE_SHOW_EQ_E "Eqs"
public static final java.lang.String MAUDE_SHOW_LABELS "Labels"
public static final java.lang.String MAUDE_SHOW_LABELS_E "Etiq"
public static final java.lang.String MAUDE_SHOW_MEMBERSHIPS "Mb"
public static final java.lang.String MAUDE_SHOW_MEMBERSHIPS_E "Mb"
public static final java.lang.String MAUDE_SHOW_MESSAGES "Msges"
public static final java.lang.String MAUDE_SHOW_MESSAGES_E "Msges"
public static final java.lang.String MAUDE_SHOW_MODULE "Module"
public static final java.lang.String MAUDE_SHOW_MODULE_E "Modulo"
public static final java.lang.String MAUDE_SHOW_OPERS "Opers"
public static final java.lang.String MAUDE_SHOW_OPERS_E "Opers"
public static final java.lang.String MAUDE_SHOW_RULES "Rules"
public static final java.lang.String MAUDE_SHOW_RULES_E "Reglas"
public static final java.lang.String MAUDE_SHOW_SORTS "Sorts"
public static final java.lang.String MAUDE_SHOW_SORTS_E "Tipos"
public static final java.lang.String MODULO_ACTIVO "Active module:"
public static final java.lang.String MODULO_ACTIVO_E "M\u00f3dulo activo:"
public static final java.lang.String NOMBRE_FICH_SALIDA "NAME_OUTPUT_FICH"
public static final java.lang.String PALABRAS_ECUACIONES "EQUATIONS_WORDS"
public static final java.lang.String PALABRAS_MODULOS "MODULES_WORDS"
public static final java.lang.String PALABRAS_PROPIEDADES "PROPERTIES_WORDS"
public static final java.lang.String PALABRAS_VARIABLES "VARIABLES_WORDS"
public static final int PESTANA_EMULADOR 0
public static final int PESTANA_ERROR 2
public static final int PESTANA_RESULT 1
public static final java.lang.String PREFERENCES "Preferences..."
public static final java.lang.String PREFERENCES_E "Preferencias..."
public static final java.lang.String PROMPT_FULL_MAUDE "FullMaude> "
public static final java.lang.String PUERTO_SERVIDOR "SERVER_PORT"
public static final java.lang.String RUTA_ACROBAT_READER "ACROBAT_READER_PATH"
public static final java.lang.String RUTA_DOCUMENT_MAUDE "MAUDE_DOCUMENT_PATH"
public static final java.lang.String RUTA_FICH_SALIDA "PATH_OUTPUT_FICH"
public static final java.lang.String RUTA_FULL_MAUDE "FULL_MAUDE_PATH"
public static final java.lang.String RUTA_MAUDE "MAUDE_PATH"
public static final java.lang.String RUTA_TRABAJO "WORK_PATH"
public static final java.lang.String SERVIDOR_EVENTO_CTRL_C "EVENTOCTROLC"
public static final java.lang.String SERVIDOR_INSERTAR_FULL_MAUDE "INSERTARMODULOFULLMAUDE"
public static final java.lang.String TAMANO_BUFFER_COLOR "SIZE_COLOR_BUFFER"
public static final java.lang.String TAMANO_BUFFER_EMULADOR "SIZE_EMULATOR_BUFFER"
public static final java.lang.String TAMANO_FICH_SALIDA "OUTPUT_FICH_SIZE"
public static final java.lang.String TAMANO_LETRA "LETTER_SYZE"
public static final java.lang.String TIPO_LETRA "LETTER_TYPE"
public static final java.lang.String TITULO_NUEVO "Document"
public static final java.lang.String TITULO_VENT_PRINC "Maude Workstation v1.0"
public static final java.lang.String TITULO_VENT_PRINC_CORE "Maude Workstation v1.0 - Core Maude"
public static final java.lang.String TITULO_VENT_PRINC_FULL "Maude Workstation v1.0 - Full Maude"
public static final java.lang.String TRAZA_ACTIVAR "Trace"
public static final java.lang.String TRAZA_ACTIVAR_E "Traza"
public static final java.lang.String TRAZA_CONDITION "Condition"
public static final java.lang.String TRAZA_CONDITION_E "Condiciones"
public static final java.lang.String TRAZA_EQ "Equations"
public static final java.lang.String TRAZA_EQ_E "Ecuaciones"
public static final java.lang.String TRAZA_ETIQUETAS "------- LABELS ------"
public static final java.lang.String TRAZA_ETIQUETAS_E "----- ETIQUETAS -----"
public static final java.lang.String TRAZA_MB "Memberships"
public static final java.lang.String TRAZA_MB_E "Axiomas de perten."
public static final java.lang.String TRAZA_MODULOS "Modules in trace"
public static final java.lang.String TRAZA_MODULOS_E "M\u00f3dulos a trazar?"
public static final java.lang.String TRAZA_OPERADORES "----- OPERATORS -----"
public static final java.lang.String TRAZA_OPERADORES_E "----- OPERADORES ----"
public static final java.lang.String TRAZA_RL "Rules"
public static final java.lang.String TRAZA_RL_E "Reglas"
public static final java.lang.String TRAZA_SELECT "Select"
public static final java.lang.String TRAZA_SELECT_E "Seleccionados"
public static final java.lang.String TRAZA_SELECT_WHAT "What ops?"
public static final java.lang.String TRAZA_SELECT_WHAT_E "\u00bfQu\u00e9 operadores?"
public static final java.lang.String TRAZA_SUBSTITUTION "Substitution"
public static final java.lang.String TRAZA_SUBSTITUTION_E "Substituciones"
public static final java.lang.String TRAZA_TITULO "TRACE"
public static final java.lang.String TRAZA_TITULO_E "TRAZA"
public static final java.lang.String TRAZA_WHOLE "Whole"
public static final java.lang.String TRAZA_WHOLE_E "Todo"

entorno.VentanaAyuda
private final int PAQUETE 256

entorno.emulador.*

entorno.emulador.ClaseVentanaLog
public static final int AZUL 2
public static final int EMULADOR_POS 0
public static final int ERROR_POS 2
public static final long ESPERA_REFRESCO_BUFFERES 50L
public static final long ESPERA_REFRESCO_SALIDA_MAUDE 10L
public static final long ESPERA_TESTEO_FLAG 1000L
public static final int GRISOSCURO 4
public static final int NEGRO 0
public static final int RESULTADO_POS 1
public static final int ROJO 1
public static final int VERDE 3

entorno.grafo.*

entorno.grafo.DrawingArea
public final int ADD_EDGE 2
public final int ADD_NODE 1
public final int DIRECTED_PROPERTY 0
private final int EDGE_ARROW_SIZE 10
private final int maxAction 8
public final int MOVE_NODE 3
private final int MULTI_EDGE_SEP_SIZE 20
public final int NO_ACTION 0
public final int PREDEFINIR 7
public final int REMOVE_EDGE 5
public final int REMOVE_NODE 4
public final int RENOMBRAR 6

Overview  Package  Class  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES