Class MainFrame

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Frame
                          |
                          +--javax.swing.JFrame
                                |
                                +--MainFrame
All Implemented Interfaces:
javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class MainFrame
extends javax.swing.JFrame

MainFrame represente la fenetre mere de l'application

Version:
6.0
Author:
Gros Pierre Emmanuel gros@limsi.fr
See Also:
Serialized Form

Inner classes inherited from class javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
 
Inner classes inherited from class java.awt.Frame
java.awt.Frame.AccessibleAWTFrame
 
Inner classes inherited from class java.awt.Window
java.awt.Window.AccessibleAWTWindow
 
Inner classes inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Inner classes inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent
 
Field Summary
protected  java.io.File _directorie
          le repertoire courant ou se trouve les fichier
protected  java.lang.String _dtdfile
          le nom du fichier dtd
protected  DTDTree _dtdtree
           
protected  DTDValidator _dtdvalidator
          le lecteur et le validateur de DTD
protected  ListeBalise _listeBalise
          la liste des balises
protected  ListeTag _listetag
          la liste des tags
protected  javax.swing.JMenuBar _menuBar
          le menu
protected  TabbedPreference _pref
          boite de dialogue d'edition de preference
protected  javax.swing.JSplitPane _split1
          panneau de separation
protected  javax.swing.JSplitPane _split2
          panneau de separation
protected  javax.swing.JSplitPane _split3
          panneau de separation
protected  javax.swing.JSplitPane _split4
          panneau de separation
protected  javax.swing.JLabel _status
          la ligne de statut
protected  StyleButton _style_bouton
           
protected  javax.swing.JMenuItem _style_Item
           
protected  TextAreaPane _text1
          la zone d'edition du texte
protected  CheckDialog _text2
          la fenetre d'edition des attribut
protected  StyleEditBalise _text3
          la fenetre d'edition des styles de balises
protected  ListeTagIhm _text4
          la liste des tags (forme graphique)
protected  javax.swing.JToolBar _toolBar
          la barre d'outil
protected  XmlValidator _validator
          le validateur de XML
protected  javax.swing.JMenu mBalise
           
 
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, 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 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
MainFrame()
          Constructeur de la fenetre
 
Method Summary
 javax.swing.JMenuBar create_JMenuBar()
          Cree la bar de menu
 javax.swing.JToolBar createToolBar()
          Cree la bar des boutons
 javax.swing.Action ExportHTML()
           
 javax.swing.Action ExportRTF()
           
 void gereCollision(int x, int y)
           
 java.util.Vector GetDefaultColor()
           
 java.lang.String getDefaultDirectorie()
           
 java.lang.String getDocument()
           
 javax.swing.text.Document getDocumentFromSwing()
           
 java.lang.String getDTDFile()
           
 ListeTag getTag()
          renvoie la liste des tags
 void init()
           
 void initDefaultColorDialog(java.util.Vector v)
           
 void LectDTD(java.lang.String filename)
          LectDTD permet de lire un fichier de dtd
static void main(java.lang.String[] args)
           
protected  void OnSize()
          met a jour la taille des panneaux
 boolean remove(Tag tag)
          enleve un tag de la liste et met a jour les panneau
 boolean removeGroup(Tag tag)
          enleve les tag de la liste entourant tag et met a jour les panneau
 void repaint_mypanel()
           
 void select(Tag t)
          gere la selection d'un tag
 void setPlainTextAttr(javax.swing.text.MutableAttributeSet attr)
           
 void setPreference(javax.swing.text.SimpleAttributeSet sa)
          met a jour les panneau avec un style de preferences
 void setStatus(java.lang.String status)
          mets a jour la ligne de status
 void UpDateChild(Balise b, javax.swing.text.MutableAttributeSet attrM)
          met a jour le style graphique d'une balise
 void UpDateChild(int pos, boolean select)
          mets jour graphiquement les differentes fenetres avec une position dans le texte
 void UpDateListe()
          mets a jour la liste des tags Ihm
 void UpDateTag()
          mets ajour la listes des tag pour le panneau d'edition
 void viewLigne(int ligne)
          defile les panneau pour voir la ligne ligne
 
Methods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isRootPaneCheckingEnabled, paramString, processKeyEvent, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update
 
Methods inherited from class java.awt.Frame
addNotify, finalize, getCursorType, getFrames, getIconImage, getMenuBar, getState, getTitle, isResizable, remove, removeNotify, setCursor, setIconImage, setMenuBar, setResizable, setState, setTitle
 
Methods inherited from class java.awt.Window
addWindowListener, applyResourceBundle, applyResourceBundle, dispose, getFocusOwner, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getOwnedWindows, getOwner, getToolkit, getWarningString, hide, isShowing, pack, postEvent, processEvent, removeWindowListener, setCursor, show, toBack, toFront
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setFont, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getInputMethodRequests, getLocation, getLocation, getLocationOnScreen, getName, getParent, getPeer, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isDisplayable, isDoubleBuffered, isEnabled, isFocusTraversable, isLightweight, isOpaque, 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, processMouseEvent, processMouseMotionEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus
 
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

_text1

protected TextAreaPane _text1
la zone d'edition du texte

_text2

protected CheckDialog _text2
la fenetre d'edition des attribut

_text3

protected StyleEditBalise _text3
la fenetre d'edition des styles de balises

_directorie

protected java.io.File _directorie
le repertoire courant ou se trouve les fichier

_text4

protected ListeTagIhm _text4
la liste des tags (forme graphique)

_dtdtree

protected DTDTree _dtdtree

_listeBalise

protected ListeBalise _listeBalise
la liste des balises

_toolBar

protected javax.swing.JToolBar _toolBar
la barre d'outil

_menuBar

protected javax.swing.JMenuBar _menuBar
le menu

_listetag

protected ListeTag _listetag
la liste des tags

_status

protected javax.swing.JLabel _status
la ligne de statut

_dtdfile

protected java.lang.String _dtdfile
le nom du fichier dtd

_validator

protected XmlValidator _validator
le validateur de XML

_dtdvalidator

protected DTDValidator _dtdvalidator
le lecteur et le validateur de DTD

_split1

protected javax.swing.JSplitPane _split1
panneau de separation

_split2

protected javax.swing.JSplitPane _split2
panneau de separation

_split3

protected javax.swing.JSplitPane _split3
panneau de separation

_split4

protected javax.swing.JSplitPane _split4
panneau de separation

_style_bouton

protected StyleButton _style_bouton

mBalise

protected javax.swing.JMenu mBalise

_style_Item

protected javax.swing.JMenuItem _style_Item

_pref

protected TabbedPreference _pref
boite de dialogue d'edition de preference
Constructor Detail

MainFrame

public MainFrame()
Constructeur de la fenetre
Method Detail

GetDefaultColor

public java.util.Vector GetDefaultColor()

initDefaultColorDialog

public void initDefaultColorDialog(java.util.Vector v)

getDTDFile

public java.lang.String getDTDFile()

getDefaultDirectorie

public java.lang.String getDefaultDirectorie()

repaint_mypanel

public void repaint_mypanel()

gereCollision

public void gereCollision(int x,
                          int y)

setPlainTextAttr

public void setPlainTextAttr(javax.swing.text.MutableAttributeSet attr)

setPreference

public void setPreference(javax.swing.text.SimpleAttributeSet sa)
met a jour les panneau avec un style de preferences
Parameters:
sa - le style par preference

getDocumentFromSwing

public javax.swing.text.Document getDocumentFromSwing()

setStatus

public void setStatus(java.lang.String status)
mets a jour la ligne de status
Parameters:
status - le statut a afficher

getTag

public ListeTag getTag()
renvoie la liste des tags

ExportHTML

public javax.swing.Action ExportHTML()

ExportRTF

public javax.swing.Action ExportRTF()

getDocument

public java.lang.String getDocument()

LectDTD

public void LectDTD(java.lang.String filename)
LectDTD permet de lire un fichier de dtd
Parameters:
filename - la dtd

UpDateTag

public void UpDateTag()
mets ajour la listes des tag pour le panneau d'edition

select

public void select(Tag t)
gere la selection d'un tag
Parameters:
t - le tag selectionné

remove

public boolean remove(Tag tag)
enleve un tag de la liste et met a jour les panneau
Parameters:
tag - le tag a enlever

removeGroup

public boolean removeGroup(Tag tag)
enleve les tag de la liste entourant tag et met a jour les panneau
Parameters:
tag - le tag englobant

UpDateChild

public void UpDateChild(int pos,
                        boolean select)
mets jour graphiquement les differentes fenetres avec une position dans le texte
Parameters:
pos - la position dans le texte

UpDateListe

public void UpDateListe()
mets a jour la liste des tags Ihm

viewLigne

public void viewLigne(int ligne)
defile les panneau pour voir la ligne ligne
Parameters:
ligne - le numero de la ligne

UpDateChild

public void UpDateChild(Balise b,
                        javax.swing.text.MutableAttributeSet attrM)
met a jour le style graphique d'une balise
Parameters:
b - la balise concerne
attrM - le stylegraphique

create_JMenuBar

public javax.swing.JMenuBar create_JMenuBar()
Cree la bar de menu

createToolBar

public javax.swing.JToolBar createToolBar()
Cree la bar des boutons

OnSize

protected void OnSize()
met a jour la taille des panneaux

init

public void init()

main

public static void main(java.lang.String[] args)