entorno
Class ClaseTexto

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.text.JTextComponent
                  javax.swing.JEditorPane
                      javax.swing.JTextPane
                          entorno.ClaseTexto

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.Scrollable, java.io.Serializable

public class ClaseTexto

extends javax.swing.JTextPane

Funcion: Crea un JTextPane en nuestro entorno que contendrá el texto de nuestras especificaciones

See Also:

Serialized Form

Nested Class Summary

(package private) class	ClaseTexto.MyCaretListener Clase MyCaretListener Funcion: Se encarga de controlar el movimiento del cursor a traves del area de texto Muestra en la barra de estado: Posicion del cursor Si se esta seleccionando posiciones de comienzo y fin Datos relativos al fichero activo
(package private) class	ClaseTexto.MyKeyListener Clase MyKeyListener Funcion: Se encarga de detectar las pulsaciones de teclas sobre el texto Se encarga de realizar el resaltado de las palabras reservadas (No comentarios)

Nested classes inherited from class javax.swing.JEditorPane

javax.swing.JEditorPane.AccessibleJEditorPane, javax.swing.JEditorPane.AccessibleJEditorPaneHTML, javax.swing.JEditorPane.JEditorPaneAccessibleHypertextSupport

Nested classes inherited from class javax.swing.text.JTextComponent

javax.swing.text.JTextComponent.AccessibleJTextComponent, javax.swing.text.JTextComponent.KeyBinding

Nested classes inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

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

private int	clave es una clave para diferenciar otros ClaseTexto entre sí.
private boolean	coloreando indica si se esta coloreando
int	columna columna ultima en la que estaba el cursor
private Entorno	entorno
int	linea linea ultima en la que estaba el cursor
ClaseTexto.MyCaretListener	listenerCaret Objeto controlador del evento que controla la lectura del cursor
ClaseTexto.MyKeyListener	listenerKey Objeto controlador del evento que controla la lectura de teclas para el coloreado
EventosRatonPopup	listenerRaton Objeto que controla los eventos del raton sobre el texto
MyUndoableEditListener	listenerUndo Objeto controlador del evento de cambios en el texto editado
private boolean	modificado indica si ha sido modificado.
private boolean	nuevo indica si el texto es nuevo o no.
private java.lang.String	path indica el path
private boolean	seleccionando indica si se esta seleccionando el texto
private long	tamanoFichero Indica el numero de byte de este documento en disco (de la ultima vez que se guardo)
private java.lang.String	titulo indica el titulo del texto.
private java.util.Date	ultimaModificacion Indica la fecha de la ultima vez que se guardo este documento
(package private) javax.swing.undo.UndoManager	undo Objeto de registro de cambios (deshacer/rehacer) en la edicion

Fields inherited from class javax.swing.text.JTextComponent

DEFAULT_KEYMAP, FOCUS_ACCELERATOR_KEY

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

ClaseTexto(Entorno ent)
Constructor de la ClaseTexto

Method Summary

void	actualizarUndoRedo()
void	cambiarColoresEntorno() Cambia los colores del area de texto: cursor, fondo, etc.
void	colorearTexto() Colorea el texto de este objeto.
int	getClave()
Entorno	getEntorno()
java.lang.String	getPath()
long	getTamanoFichero()
java.lang.String	getTitulo()
java.util.Date	getUltimaModificacion()
void	Imprimir(java.awt.print.PageFormat printerPageFormat, java.awt.Font fuente) Inicializa la impresión
boolean	isColoreando()
boolean	isModificado()
boolean	isNuevo()
boolean	isSeleccionando()
void	setClave(int c)
void	setColoreando(boolean c)
void	setDisabledDeshacerRehacer() Desactiva el evento deshacer Rehacer
void	setEnabledDeshacerRehacer() Activa el evento deshacer Rehacer
void	setModificado(boolean m)
void	setNuevo(boolean n)
void	setPath(java.lang.String p)
void	setResetUndoRedo() Resetea el evento deshacer/Rehacer
void	setSeleccionando(boolean s)
void	setTamanoFichero(long t)
void	setTitulo(java.lang.String t)
void	setUltimaModificacion(java.util.Date d)

Methods inherited from class javax.swing.JTextPane

addStyle, createDefaultEditorKit, getCharacterAttributes, getInputAttributes, getLogicalStyle, getParagraphAttributes, getStyle, getStyledDocument, getStyledEditorKit, getUIClassID, insertComponent, insertIcon, paramString, removeStyle, replaceSelection, setCharacterAttributes, setDocument, setEditorKit, setLogicalStyle, setParagraphAttributes, setStyledDocument

Methods inherited from class javax.swing.JEditorPane

addHyperlinkListener, createEditorKitForContentType, fireHyperlinkUpdate, getAccessibleContext, getContentType, getEditorKit, getEditorKitClassNameForContentType, getEditorKitForContentType, getHyperlinkListeners, getPage, getPreferredSize, getScrollableTracksViewportHeight, getScrollableTracksViewportWidth, getStream, getText, read, registerEditorKitForContentType, registerEditorKitForContentType, removeHyperlinkListener, scrollToReference, setContentType, setEditorKitForContentType, setPage, setPage, setText

Methods inherited from class javax.swing.text.JTextComponent

addCaretListener, addInputMethodListener, addKeymap, copy, cut, fireCaretUpdate, getActions, getCaret, getCaretColor, getCaretListeners, getCaretPosition, getDisabledTextColor, getDocument, getDragEnabled, getFocusAccelerator, getHighlighter, getInputMethodRequests, getKeymap, getKeymap, getMargin, getNavigationFilter, getPreferredScrollableViewportSize, getScrollableBlockIncrement, getScrollableUnitIncrement, getSelectedText, getSelectedTextColor, getSelectionColor, getSelectionEnd, getSelectionStart, getText, getToolTipText, getUI, isEditable, loadKeymap, modelToView, moveCaretPosition, paste, processInputMethodEvent, read, removeCaretListener, removeKeymap, removeNotify, select, selectAll, setCaret, setCaretColor, setCaretPosition, setComponentOrientation, setDisabledTextColor, setDragEnabled, setEditable, setFocusAccelerator, setHighlighter, setKeymap, setMargin, setNavigationFilter, setSelectedTextColor, setSelectionColor, setSelectionEnd, setSelectionStart, setUI, updateUI, viewToModel, write

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

entorno

private Entorno entorno

undo

javax.swing.undo.UndoManager undo

Objeto de registro de cambios (deshacer/rehacer) en la edicion

listenerUndo

public MyUndoableEditListener listenerUndo

Objeto controlador del evento de cambios en el texto editado

listenerKey

public ClaseTexto.MyKeyListener listenerKey

Objeto controlador del evento que controla la lectura de teclas para el coloreado

listenerCaret

public ClaseTexto.MyCaretListener listenerCaret

Objeto controlador del evento que controla la lectura del cursor

listenerRaton

public EventosRatonPopup listenerRaton

Objeto que controla los eventos del raton sobre el texto

coloreando

private boolean coloreando

indica si se esta coloreando

seleccionando

private boolean seleccionando

indica si se esta seleccionando el texto

linea

public int linea

linea ultima en la que estaba el cursor

columna

public int columna

columna ultima en la que estaba el cursor

modificado

private boolean modificado

indica si ha sido modificado.

nuevo

private boolean nuevo

indica si el texto es nuevo o no.

titulo

private java.lang.String titulo

indica el titulo del texto.

path

private java.lang.String path

indica el path

ultimaModificacion

private java.util.Date ultimaModificacion

Indica la fecha de la ultima vez que se guardo este documento

tamanoFichero

private long tamanoFichero

Indica el numero de byte de este documento en disco (de la ultima vez que se guardo)

clave

private int clave

es una clave para diferenciar otros ClaseTexto entre sí.

Constructor Detail

ClaseTexto

public ClaseTexto(Entorno ent)

Constructor de la ClaseTexto

Parameters:

ent - el JFrame al que se le crea un menu emergente

Method Detail

getEntorno

public Entorno getEntorno()

setColoreando

public void setColoreando(boolean c)

isColoreando

public boolean isColoreando()

setSeleccionando

public void setSeleccionando(boolean s)

isSeleccionando

public boolean isSeleccionando()

colorearTexto

public void colorearTexto()

Colorea el texto de este objeto. Usado para colorear el texto devuelto por Maude de las consultas

setDisabledDeshacerRehacer

public void setDisabledDeshacerRehacer()

Desactiva el evento deshacer Rehacer

setEnabledDeshacerRehacer

public void setEnabledDeshacerRehacer()

Activa el evento deshacer Rehacer

setResetUndoRedo

public void setResetUndoRedo()

Resetea el evento deshacer/Rehacer

actualizarUndoRedo

public void actualizarUndoRedo()

setModificado

public void setModificado(boolean m)

isModificado

public boolean isModificado()

setNuevo

public void setNuevo(boolean n)

isNuevo

public boolean isNuevo()

setTitulo

public void setTitulo(java.lang.String t)

getTitulo

public java.lang.String getTitulo()

setPath

public void setPath(java.lang.String p)

getPath

public java.lang.String getPath()

setUltimaModificacion

public void setUltimaModificacion(java.util.Date d)

getUltimaModificacion

public java.util.Date getUltimaModificacion()

setTamanoFichero

public void setTamanoFichero(long t)

getTamanoFichero

public long getTamanoFichero()

setClave

public void setClave(int c)

getClave

public int getClave()

Imprimir

public void Imprimir(java.awt.print.PageFormat printerPageFormat,
                     java.awt.Font fuente)

Inicializa la impresión

cambiarColoresEntorno

public void cambiarColoresEntorno()

Cambia los colores del area de texto: cursor, fondo, etc.