jpicedt.graphic.io.util
Class JpicDocUserData
java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractList<E>
java.util.ArrayList<UserDataLine>
jpicedt.graphic.io.util.JpicDocUserData
- All Implemented Interfaces:
- Serializable, Cloneable, Iterable<UserDataLine>, Collection<UserDataLine>, List<UserDataLine>, RandomAccess
public class JpicDocUserData
- extends ArrayList<UserDataLine>
Classe de stockage d'informations utilisateur (non jPicEdt) d'un fichier ayant un format de
sauvegarde. Notamment utile pour conserver les clefs des outils de gestion de version du genre CVS ou CM
Synergy(marque déposée).
- Since:
- jPicEdt 1.6
- Version:
- $Id: JpicDocUserData.java,v 1.4 2013/03/27 07:03:44 vincentb1 Exp $
- Author:
- Vincent Belaïche
- See Also:
- Serialized Form
Methods inherited from class java.util.ArrayList |
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, remove, removeRange, set, size, toArray, toArray, trimToSize |
JpicDocUserData
public JpicDocUserData()
format
public void format(CommentFormatting commentFormatting)
throws IOException
- Throws:
IOException
Submit a bug : syd@jpicedt.org