Source code: jaxe/elements/JETexte.java
1 /*
2 Jaxe - Editeur XML en Java
3
4 Copyright (C) 2002 Observatoire de Paris-Meudon
5
6 Ce programme est un logiciel libre ; vous pouvez le redistribuer et/ou le modifier conformément aux dispositions de la Licence Publique Générale GNU, telle que publiée par la Free Software Foundation ; version 2 de la licence, ou encore (à votre choix) toute version ultérieure.
7
8 Ce programme est distribué dans l'espoir qu'il sera utile, mais SANS AUCUNE GARANTIE ; sans même la garantie implicite de COMMERCIALISATION ou D'ADAPTATION A UN OBJET PARTICULIER. Pour plus de détail, voir la Licence Publique Générale GNU .
9
10 Vous devez avoir reçu un exemplaire de la Licence Publique Générale GNU en même temps que ce programme ; si ce n'est pas le cas, écrivez à la Free Software Foundation Inc., 675 Mass Ave, Cambridge, MA 02139, Etats-Unis.
11 */
12
13 package jaxe.elements;
14
15 import jaxe.JaxeDocument;
16 import jaxe.JaxeElement;
17
18 import java.util.ArrayList;
19 import java.util.Hashtable;
20 import javax.swing.text.Position;
21 import javax.swing.text.BadLocationException;
22
23 import org.w3c.dom.*;
24
25
26 /**
27 * Zone de texte interne à Jaxe (il n'y a pas de type correspondant). Ne doit jamais avoir d'enfants.
28 */
29 public class JETexte extends JaxeElement {
30
31 public JETexte(JaxeDocument doc) {
32 this.doc = doc;
33 }
34
35 public void init(Position pos, Node noeud) {
36 String texte = noeud.getNodeValue();
37 insertText(pos, texte);
38 }
39
40 public Element nouvelElement(Element defbalise) {
41 return(null);
42 }
43
44 public static JETexte nouveau(JaxeDocument doc, Position debut, Position fin, String texte) {
45 Node textnode = doc.DOMdoc.createTextNode(texte);
46 JETexte newje = new JETexte(doc);
47 newje.debut = debut;
48 newje.fin = fin;
49 newje.noeud = textnode;
50 doc.dom2JaxeElement.put(textnode, newje);
51 return(newje);
52 }
53
54 }