- java.lang.Object
-
- javax.swing.undo.AbstractUndoableEdit
-
- javax.swing.text.AbstractDocument.ElementEdit
-
- All Implemented Interfaces:
- Serializable, DocumentEvent.ElementChange, UndoableEdit
- Enclosing class:
- AbstractDocument
public static class AbstractDocument.ElementEdit extends AbstractUndoableEdit implements DocumentEvent.ElementChange
An implementation of ElementChange that can be added to the document event.
-
-
Constructor Summary
Constructors Constructor and Description AbstractDocument.ElementEdit(Element e, int index, Element[] removed, Element[] added)Constructs an edit record.
-
Method Summary
Methods Modifier and Type Method and Description Element[]getChildrenAdded()Gets a list of children that were added.Element[]getChildrenRemoved()Gets a list of children that were removed.ElementgetElement()Returns the underlying element.intgetIndex()Returns the index into the list of elements.voidredo()Redoes a change.voidundo()Undoes a change.-
Methods inherited from class javax.swing.undo.AbstractUndoableEdit
addEdit, canRedo, canUndo, die, getPresentationName, getRedoPresentationName, getUndoPresentationName, isSignificant, replaceEdit, toString
-
-
-
-
Constructor Detail
-
AbstractDocument.ElementEdit
public AbstractDocument.ElementEdit(Element e, int index, Element[] removed, Element[] added)
Constructs an edit record. This does not modify the element so it can safely be used to catch up a view to the current model state for views that just attached to a model.- Parameters:
e- the elementindex- the index into the model >= 0removed- a set of elements that were removedadded- a set of elements that were added
-
-
Method Detail
-
getElement
public Element getElement()
Returns the underlying element.- Specified by:
getElementin interfaceDocumentEvent.ElementChange- Returns:
- the element
-
getIndex
public int getIndex()
Returns the index into the list of elements.- Specified by:
getIndexin interfaceDocumentEvent.ElementChange- Returns:
- the index >= 0
-
getChildrenRemoved
public Element[] getChildrenRemoved()
Gets a list of children that were removed.- Specified by:
getChildrenRemovedin interfaceDocumentEvent.ElementChange- Returns:
- the list
-
getChildrenAdded
public Element[] getChildrenAdded()
Gets a list of children that were added.- Specified by:
getChildrenAddedin interfaceDocumentEvent.ElementChange- Returns:
- the list
-
redo
public void redo() throws CannotRedoExceptionRedoes a change.- Specified by:
redoin interfaceUndoableEdit- Overrides:
redoin classAbstractUndoableEdit- Throws:
CannotRedoException- if the change cannot be redone- See Also:
AbstractUndoableEdit.canRedo()
-
undo
public void undo() throws CannotUndoExceptionUndoes a change.- Specified by:
undoin interfaceUndoableEdit- Overrides:
undoin classAbstractUndoableEdit- Throws:
CannotUndoException- if the change cannot be undone- See Also:
AbstractUndoableEdit.canUndo()
-
-
Traduction non disponible
Les API Java ne sont pas encore traduites en français sur l'infobrol. Seule la version anglaise est disponible pour l'instant.
Version en cache
05/11/2024 16:29:36 Cette version de la page est en cache (à la date du 05/11/2024 16:29:36) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la dernère version de la page.Document créé le 06/12/2006, dernière modification le 04/03/2020
Source du document imprimé : https://www.gaudry.be/java-api-rf-javax/swing/text/AbstractDocument.ElementEdit.html
L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.
Références
Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.
