public class JaxeDocument
extends javax.swing.text.DefaultStyledDocument
Modifier and Type | Class and Description |
---|---|
class |
JaxeDocument.SwingElementSpec |
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElement
javax.swing.text.AbstractDocument.AbstractElement, javax.swing.text.AbstractDocument.AttributeContext, javax.swing.text.AbstractDocument.BranchElement, javax.swing.text.AbstractDocument.Content, javax.swing.text.AbstractDocument.DefaultDocumentEvent, javax.swing.text.AbstractDocument.ElementEdit, javax.swing.text.AbstractDocument.LeafElement
Modifier and Type | Field and Description |
---|---|
Config |
cfg |
java.util.HashMap<org.w3c.dom.Node,JaxeElement> |
dom2JaxeElement |
org.w3c.dom.Document |
DOMdoc |
java.lang.String |
encodage |
java.io.File |
fsave |
java.net.URL |
furl |
javax.swing.JFrame |
jframe |
boolean |
modif |
java.lang.String |
nomFichierCfg |
JaxeElement |
rootJE |
JaxeTextPane |
textPane |
Constructor and Description |
---|
JaxeDocument() |
JaxeDocument(Config newconfig) |
JaxeDocument(JaxeTextPane textPane,
java.lang.String nomFichierCfg) |
JaxeDocument(java.lang.String nomFichierCfg) |
Modifier and Type | Method and Description |
---|---|
void |
addEditListener(JaxeEditListenerIf edit)
Adds a listener for editevents
|
void |
ajouterIndentations(org.w3c.dom.Document doc,
int nbEspaces)
Ajoute des indentations au document passé en paramètre, avec le nombre d'espaces indiqué pour chaque indentation.
|
protected java.lang.String |
chercherConfig(org.w3c.dom.Element rootel) |
boolean |
coller(org.w3c.dom.DocumentFragment frag,
javax.swing.text.Position pos,
boolean event)
Colle un fragment XML dans le document à la position pos
|
void |
coller(javax.swing.text.JTextComponent target)
Deprecated.
|
boolean |
coller(java.lang.Object pp,
javax.swing.text.Position pos)
pour coller du XML
|
org.w3c.dom.DocumentFragment |
copier(int debut,
int fin) |
javax.swing.text.EditorKit |
createEditorKit() |
static java.lang.String |
DOMVersXML(org.w3c.dom.Node xmldoc) |
void |
ecrire(java.io.File f) |
JaxeElement |
elementA(int pos) |
java.util.ArrayList<JaxeElement> |
elementsDans(int dpos,
int fpos)
Renvoit les éléments se trouvant dans la zone du texte indiquée (de dpos à fpos inclu)
|
javax.swing.text.Element |
elementTexteA(java.lang.String nom,
int offset) |
void |
enableIgnore()
Ignorer l'interdiction d'effacer des éléments.
|
javax.swing.text.Position |
fireElementAddedEvent(JaxeEditEvent event,
javax.swing.text.Position pos)
Fires an event for adding JaxeElements to all listeners an returns a possible new insert position
|
void |
fireElementRemovedEvent(JaxeEditEvent event)
Fires an event for removing JaxeElements to all listeners
|
javax.swing.text.Position |
firePrepareElementAddEvent(javax.swing.text.Position pos)
Fires an event to prepare the position a JaxeElement will be added and returns a possible
new instert position
|
void |
fireTextAddedEvent(JaxeEditEvent event)
Fires an event for adding text to all listeners
|
void |
fireTextRemovedEvent(JaxeEditEvent event)
Fires an event for removing text to all listeners
|
JaxeElement |
getElementForNode(org.w3c.dom.Node node)
Returns the JaxeElement that represents the Node
|
InterfaceGestionErreurs |
getGestionErreurs()
Renvoit le gestionnaire d'erreurs du document
|
boolean |
getModif()
Indique si le document a été modifié depuis la dernière sauvegarde ou pas.
|
java.lang.String |
getPathAsString(int p) |
java.io.Reader |
getReader() |
java.io.Reader |
getReader(boolean indenter) |
org.w3c.dom.Node |
getRootElement() |
void |
imageChanged(javax.swing.JComponent comp) |
javax.swing.text.Element |
insereSpec(JaxeDocument.SwingElementSpec jspec,
int offset) |
void |
insertString(int offset,
java.lang.String str,
javax.swing.text.AttributeSet a) |
void |
insertString(int offset,
java.lang.String str,
javax.swing.text.AttributeSet a,
boolean event) |
boolean |
lire(java.net.URL url)
Initialise un document lu à partir d'une URL
|
boolean |
lire(java.net.URL url,
java.lang.String cheminFichierCfg)
Initialise un document lu à partir d'une URL, en utilisant un fichier de config donné par nom de fichier
|
boolean |
lire(java.net.URL url,
java.net.URL urlFichierCfg)
Initialise un document lu à partir d'une URL, en utilisant un fichier de config donné par URL
|
protected void |
majIndentAjout(int offset)
Mise à jour des indentations après un ajout de \n (appelé par JaxeUndoableEdit)
|
protected void |
majIndentSupp(int offset)
Mise à jour des indentations après une suppression de \n (appelé par JaxeUndoableEdit)
|
void |
mettreAJourDOM() |
void |
nouveau()
Initialise un document vide
|
java.lang.String |
pp2string(java.lang.Object pp)
Deprecated.
|
JaxeDocument.SwingElementSpec |
prepareSpec(java.lang.String baliseSpec) |
JaxeDocument.SwingElementSpec |
prepareSpec(java.lang.String baliseSpec,
int offset,
java.lang.String texte) |
JaxeDocument.SwingElementSpec |
prepareSpec(java.lang.String baliseSpec,
javax.swing.text.SimpleAttributeSet att) |
void |
remove(int offs,
int len) |
void |
remove(int offs,
int len,
boolean event) |
void |
remove2(int offs,
int len,
boolean event) |
void |
removeEditListener(JaxeEditListenerIf edit)
Removes a listener for editevents
|
protected org.w3c.dom.Node |
removeProcessingInstructions(org.w3c.dom.Node n)
Deprecated.
|
protected void |
removeText(int offs,
int len,
boolean event) |
void |
sendToWriter(java.io.Writer destination) |
void |
sendToWriter(java.io.Writer destination,
boolean indenter) |
boolean |
setDOMDoc(org.w3c.dom.Document ddoc)
Spécifie le document DOM de ce document Jaxe
|
boolean |
setDOMDoc(org.w3c.dom.Document ddoc,
java.lang.String cheminFichierCfg)
Spécifie le document DOM de ce document Jaxe, en utilisant un fichier de config donné par nom de fichier.
|
boolean |
setDOMDoc(org.w3c.dom.Document ddoc,
java.net.URL urlFichierCfg)
Spécifie le document DOM de ce document Jaxe, en utilisant un fichier de config donné par URL
|
void |
setGestionErreurs(InterfaceGestionErreurs gestionErreurs)
Définie le gestionnaire d'erreurs pour le document
|
void |
setModif(boolean modif)
Spécifie si le document a été modifié depuis la dernière sauvegarde ou pas.
|
boolean |
setRootElement(org.w3c.dom.Element node)
Sets the RootNode of the Document
|
boolean |
setRootElement(org.w3c.dom.Element node,
org.w3c.dom.Element configNode)
Sets the RootNode of the Document with a Node that is used to search the
Config-File
|
void |
setTextPane(JaxeTextPane textPane) |
void |
sousSpec(JaxeDocument.SwingElementSpec parentspec,
JaxeDocument.SwingElementSpec enfantspec) |
void |
styleChanged() |
boolean |
testerInsertionFragment(org.w3c.dom.DocumentFragment frag,
JaxeElement parent,
javax.swing.text.Position pos)
Teste si l'insertion d'un fragment est autorisée sous un certain élément
parent à la position pos.
|
void |
virerEspaces(org.w3c.dom.Element el) |
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged
addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, postRemoveUpdate, putProperty, readLock, readUnlock, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock
public org.w3c.dom.Document DOMdoc
public java.util.HashMap<org.w3c.dom.Node,JaxeElement> dom2JaxeElement
public JaxeElement rootJE
public JaxeTextPane textPane
public java.io.File fsave
public java.net.URL furl
public java.lang.String encodage
public boolean modif
public Config cfg
public javax.swing.JFrame jframe
public java.lang.String nomFichierCfg
public JaxeDocument()
public JaxeDocument(java.lang.String nomFichierCfg)
public JaxeDocument(Config newconfig)
public JaxeDocument(JaxeTextPane textPane, java.lang.String nomFichierCfg)
public void setGestionErreurs(InterfaceGestionErreurs gestionErreurs)
public InterfaceGestionErreurs getGestionErreurs()
public void setTextPane(JaxeTextPane textPane)
public boolean getModif()
public void setModif(boolean modif)
public void nouveau()
public boolean lire(java.net.URL url)
public boolean lire(java.net.URL url, java.lang.String cheminFichierCfg)
public boolean lire(java.net.URL url, java.net.URL urlFichierCfg)
public boolean setDOMDoc(org.w3c.dom.Document ddoc)
public boolean setDOMDoc(org.w3c.dom.Document ddoc, java.lang.String cheminFichierCfg)
public boolean setDOMDoc(org.w3c.dom.Document ddoc, java.net.URL urlFichierCfg)
public boolean setRootElement(org.w3c.dom.Element node)
node
- the Nodepublic boolean setRootElement(org.w3c.dom.Element node, org.w3c.dom.Element configNode)
node
- the NodeconfigNode
- the Node wich will be used as Config-Filepublic org.w3c.dom.Node getRootElement()
protected java.lang.String chercherConfig(org.w3c.dom.Element rootel)
public void virerEspaces(org.w3c.dom.Element el)
public void sendToWriter(java.io.Writer destination)
public void sendToWriter(java.io.Writer destination, boolean indenter)
public java.io.Reader getReader() throws java.io.IOException
java.io.IOException
public java.io.Reader getReader(boolean indenter) throws java.io.IOException
java.io.IOException
public void ecrire(java.io.File f) throws java.io.IOException
java.io.IOException
public void ajouterIndentations(org.w3c.dom.Document doc, int nbEspaces)
public java.lang.String getPathAsString(int p)
public void mettreAJourDOM()
public JaxeElement elementA(int pos)
public java.util.ArrayList<JaxeElement> elementsDans(int dpos, int fpos)
public org.w3c.dom.DocumentFragment copier(int debut, int fin)
@Deprecated protected org.w3c.dom.Node removeProcessingInstructions(org.w3c.dom.Node n)
public boolean testerInsertionFragment(org.w3c.dom.DocumentFragment frag, JaxeElement parent, javax.swing.text.Position pos)
public boolean coller(java.lang.Object pp, javax.swing.text.Position pos)
public boolean coller(org.w3c.dom.DocumentFragment frag, javax.swing.text.Position pos, boolean event)
pos
- frag
- @Deprecated public void coller(javax.swing.text.JTextComponent target)
@Deprecated public java.lang.String pp2string(java.lang.Object pp)
public static java.lang.String DOMVersXML(org.w3c.dom.Node xmldoc)
protected void removeText(int offs, int len, boolean event) throws javax.swing.text.BadLocationException
javax.swing.text.BadLocationException
public void remove(int offs, int len) throws javax.swing.text.BadLocationException
remove
in interface javax.swing.text.Document
remove
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public void remove(int offs, int len, boolean event) throws javax.swing.text.BadLocationException
offs
- len
- event
- javax.swing.text.BadLocationException
public void remove2(int offs, int len, boolean event)
public void enableIgnore()
public void insertString(int offset, java.lang.String str, javax.swing.text.AttributeSet a) throws javax.swing.text.BadLocationException
insertString
in interface javax.swing.text.Document
insertString
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public void insertString(int offset, java.lang.String str, javax.swing.text.AttributeSet a, boolean event) throws javax.swing.text.BadLocationException
javax.swing.text.BadLocationException
protected void majIndentSupp(int offset)
protected void majIndentAjout(int offset)
public JaxeDocument.SwingElementSpec prepareSpec(java.lang.String baliseSpec)
public JaxeDocument.SwingElementSpec prepareSpec(java.lang.String baliseSpec, javax.swing.text.SimpleAttributeSet att)
public JaxeDocument.SwingElementSpec prepareSpec(java.lang.String baliseSpec, int offset, java.lang.String texte)
public void sousSpec(JaxeDocument.SwingElementSpec parentspec, JaxeDocument.SwingElementSpec enfantspec)
public javax.swing.text.Element insereSpec(JaxeDocument.SwingElementSpec jspec, int offset)
public javax.swing.text.Element elementTexteA(java.lang.String nom, int offset)
public javax.swing.text.EditorKit createEditorKit()
public void styleChanged()
public void imageChanged(javax.swing.JComponent comp)
public JaxeElement getElementForNode(org.w3c.dom.Node node)
node
- get the JaxeElement for this Nodepublic void addEditListener(JaxeEditListenerIf edit)
edit
- Listener to addpublic void removeEditListener(JaxeEditListenerIf edit)
edit
- Listener to removepublic void fireTextRemovedEvent(JaxeEditEvent event)
event
- Event to sendpublic void fireElementRemovedEvent(JaxeEditEvent event)
event
- Event to sendpublic void fireTextAddedEvent(JaxeEditEvent event)
event
- Event to sendpublic javax.swing.text.Position fireElementAddedEvent(JaxeEditEvent event, javax.swing.text.Position pos)
event
- Event to sendpos
- Position element will be addedpublic javax.swing.text.Position firePrepareElementAddEvent(javax.swing.text.Position pos)
pos
- Position to prepare