IHM
Class FenetreBuffer

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--javax.swing.JComponent
                    |
                    +--javax.swing.JInternalFrame
                          |
                          +--IHM.FenetreBuffer

All Implemented Interfaces:

javax.accessibility.Accessible, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.event.MouseListener, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class FenetreBuffer

extends javax.swing.JInternalFrame

implements java.awt.event.MouseListener

Classe FenetreBuffer : création d'une fenêtre interne contenant un buffer miniJaja

Author:

Matthias Meusburger

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class javax.swing.JInternalFrame

javax.swing.JInternalFrame.AccessibleJInternalFrame, javax.swing.JInternalFrame.JDesktopIcon

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

(package private) javax.swing.JEditorPane	colonne La colonne des points d'arrets
(package private) javax.swing.JEditorPane	editorPane Le panneau qui va afficher le code
(package private) javax.swing.JScrollPane	editorScrollPane Les barres de défilement du JEditorPane
(package private) javax.swing.JPanel	ensemble
(package private) java.lang.String	nomFichier Le chemin absolu du fichier associé au contenu de la fenêtre
(package private) java.util.Vector	ptArrets

Fields inherited from class javax.swing.JInternalFrame

closable, CONTENT_PANE_PROPERTY, desktopIcon, FRAME_ICON_PROPERTY, frameIcon, GLASS_PANE_PROPERTY, iconable, IS_CLOSED_PROPERTY, IS_ICON_PROPERTY, IS_MAXIMUM_PROPERTY, IS_SELECTED_PROPERTY, isClosed, isIcon, isMaximum, isSelected, LAYERED_PANE_PROPERTY, maximizable, MENU_BAR_PROPERTY, resizable, ROOT_PANE_PROPERTY, rootPane, rootPaneCheckingEnabled, title, TITLE_PROPERTY

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.Container

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

	FenetreBuffer() Constructeur : crée une fenêtre vide sans titre
	FenetreBuffer(java.lang.String titre) Constructeur : crée une fenêtre vide avec le titre passé en paramètre
(package private)	FenetreBuffer(java.lang.String titre, java.lang.String file) Constructeur : crée une fenêtre interne avec le titre et le fichier passés en paramètre

Method Summary

private void	creationFenetreBuffer() Création de la fenêtre Buffer : méthode privée appellée par les constructeurs
javax.swing.JEditorPane	getJEditorPane() Renvoie le JEditorPane contenu dans la fenêtre
int	getNombreLignes() Renvoie le nombre de lignes du document
java.lang.String	getNomFichier() Renvoie le chemin absolu du fichier associé à la fenêtre
java.lang.String	getPtsArretsToString() Renvoie les numéros de ligne des points d'arrêts sous forme de chaîne de caractères
void	mouseClicked(java.awt.event.MouseEvent e) Implémentation de mouseListener : affecte ou retire un point d'arret
void	mouseEntered(java.awt.event.MouseEvent e) Implémentation de mouseListener : vide
void	mouseExited(java.awt.event.MouseEvent e) Implémentation de mouseListener : vide
void	mousePressed(java.awt.event.MouseEvent e) Implémentation de mouseListener : vide
void	mouseReleased(java.awt.event.MouseEvent e) Implémentation de mouseListener : vide
private int	offsetToLine(int offset) Convertit un offset (numéro de caractère) en numéro de ligne
private void	setColonnePtArrets() Affecte les points d'arrêt à la colonne de points d'arrêts
void	setNomFichier(java.lang.String nom) Affecte le chemin absolu du fichier associé à la fenêtre
private void	setPtArret(int ligne) Ajoute ou retire un point d'arrêt à la ligne spécifiée en paramètre.

Methods inherited from class javax.swing.JInternalFrame

addImpl, addInternalFrameListener, createRootPane, dispose, doDefaultCloseAction, fireInternalFrameEvent, getAccessibleContext, getContentPane, getDefaultCloseOperation, getDesktopIcon, getDesktopPane, getFocusCycleRootAncestor, getFocusOwner, getFrameIcon, getGlassPane, getInternalFrameListeners, getJMenuBar, getLayer, getLayeredPane, getMenuBar, getMostRecentFocusOwner, getNormalBounds, getRootPane, getTitle, getUI, getUIClassID, getWarningString, isClosable, isClosed, isFocusCycleRoot, isIcon, isIconifiable, isMaximizable, isMaximum, isResizable, isRootPaneCheckingEnabled, isSelected, moveToBack, moveToFront, pack, paintComponent, paramString, remove, removeInternalFrameListener, reshape, restoreSubcomponentFocus, setClosable, setClosed, setContentPane, setDefaultCloseOperation, setDesktopIcon, setFocusCycleRoot, setFrameIcon, setGlassPane, setIcon, setIconifiable, setJMenuBar, setLayer, setLayer, setLayeredPane, setLayout, setMaximizable, setMaximum, setMenuBar, setNormalBounds, setResizable, setRootPane, setRootPaneCheckingEnabled, setSelected, setTitle, setUI, show, toBack, toFront, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, 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, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, removeAll, removeContainerListener, setFocusTraversalKeys, setFocusTraversalPolicy, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, 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, processInputMethodEvent, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

editorPane

javax.swing.JEditorPane editorPane

Le panneau qui va afficher le code

editorScrollPane

javax.swing.JScrollPane editorScrollPane

Les barres de défilement du JEditorPane

nomFichier

java.lang.String nomFichier

Le chemin absolu du fichier associé au contenu de la fenêtre

colonne

javax.swing.JEditorPane colonne

La colonne des points d'arrets

ensemble

javax.swing.JPanel ensemble

ptArrets

java.util.Vector ptArrets

Constructor Detail

FenetreBuffer

FenetreBuffer(java.lang.String titre,
              java.lang.String file)

Constructeur : crée une fenêtre interne avec le titre et le fichier passés en paramètre

FenetreBuffer

public FenetreBuffer()

Constructeur : crée une fenêtre vide sans titre

FenetreBuffer

public FenetreBuffer(java.lang.String titre)

Constructeur : crée une fenêtre vide avec le titre passé en paramètre

Method Detail

creationFenetreBuffer

private void creationFenetreBuffer()

Création de la fenêtre Buffer : méthode privée appellée par les constructeurs

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)

Implémentation de mouseListener : affecte ou retire un point d'arret

Specified by:

mouseClicked in interface java.awt.event.MouseListener

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Implémentation de mouseListener : vide

Specified by:

mousePressed in interface java.awt.event.MouseListener

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent e)

Implémentation de mouseListener : vide

Specified by:

mouseEntered in interface java.awt.event.MouseListener

mouseExited

public void mouseExited(java.awt.event.MouseEvent e)

Implémentation de mouseListener : vide

Specified by:

mouseExited in interface java.awt.event.MouseListener

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)

Implémentation de mouseListener : vide

Specified by:

mouseReleased in interface java.awt.event.MouseListener

setPtArret

private void setPtArret(int ligne)

Ajoute ou retire un point d'arrêt à la ligne spécifiée en paramètre. Le point d'arrêt est ajouté si il n'en existait pas à cette ligne et il est retiré s'il en existait un.

getNombreLignes

public int getNombreLignes()

Renvoie le nombre de lignes du document

Returns:

Le nombre de lignes

offsetToLine

private int offsetToLine(int offset)

Convertit un offset (numéro de caractère) en numéro de ligne

getPtsArretsToString

public java.lang.String getPtsArretsToString()

Renvoie les numéros de ligne des points d'arrêts sous forme de chaîne de caractères

Returns:

Les numéros de ligne des points d'arrêts

setColonnePtArrets

private void setColonnePtArrets()

Affecte les points d'arrêt à la colonne de points d'arrêts

getJEditorPane

public javax.swing.JEditorPane getJEditorPane()

Renvoie le JEditorPane contenu dans la fenêtre

Returns:

le JEditorPane

getNomFichier

public java.lang.String getNomFichier()

Renvoie le chemin absolu du fichier associé à la fenêtre

Returns:

le nom absolu du fichier

setNomFichier

public void setNomFichier(java.lang.String nom)

Affecte le chemin absolu du fichier associé à la fenêtre