Cours informatique Java éditeur de texte

Cours informatique Java éditeur de texte, tutoriel & guide de travaux pratiques en pdf.

Textes et documents
« Classes de textes
… | +–javax.swing.JComponent | +–javax.swing.text.JTextComponent | +–javax.swing.JTextArea | +–javax.swing.JTextField | +–javax.swing.JEditorPane | +–javax.swing.JTextPane
« Classes de documents
java.lang.Object | +–javax.swing.text.AbstractDocumentimplementsDocument || +–javax.swing.text.PlainDocument|extends || +–javax.swing.text.DefaultStyledDocumentimplementsStyledDocument | +–javax.swing.text.html.HTMLDocument
Java Swing
Document / vue
« Un composant de texte présente une vue d’un document. #TextAreaet TextFieldassociésau PlainDocument #TextPaneassocié à StyledDocument
« Correspondance
JTextAreaeditor; Documentdocument=editor.getDocument();
editor.setDocument(newPlainDocument());
Java Swing
Ecouter le texte
« Via le document, insertion, suppression, remplacement
« Un DocumentListenerimplémente trois méthodes
appelées après modification d’un attribut, insertion, suppression.
Documentdocument=editor.getDocument(); document.addDocumentListener(unlistener);
publicvoidchangedUpdate(DocumentEvente); publicvoidinsertUpdate(DocumentEvente); publicvoidremoveUpdate(DocumentEvente);
Sélection par un CaretListener « Un CaretListener possède une méthode caretUpdateappelée chaque fois que le point d’insertion bouge « un CaretEventfournit deux méthodes #getDot()qui donne le point actuel #getMark()qui donne le point précédent
« Un mouvementde souris, avec bouton enfoncé, #ne provoque pas d’évènement, #mais provoque un évènement quand on relâche le bouton
publicvoidcaretUpdate(CaretEvente){ intnow=e.getDot(); intbefore=e.getMark(); booleannowSelected=now!=before;