xml_Utils
Class XML_Utils

java.lang.Object
  xml_Utils.XML_Utils

public class XML_Utils
extends java.lang.Object

Cette classe contient un ensemble de methodes pour manipuler des fichiers XML.

Author:

Matthieu Courgeon. Copyrights CNRS/LIMSI.

Field Summary

(package private) static org.jdom.Document

document

Constructor Summary

XML_Utils()

Method Summary

static org.jdom.Document	createSceneRootNode(org.jdom.Document source) Ajoute un noeud type "node: id=scene_root" a la racine du document, si celui ci n'est pas deja l.
static org.jdom.Document	DOMtoJDOM(org.w3c.dom.Document documentDOM) Converti un document DOM en document JDOM.
static void	ecrireDocument(org.jdom.Document doc, java.lang.String nomFichier) Ecrit le document JDOM dans un fichier, en passant par DOM.
static org.w3c.dom.Document	JDOMtoDOM(org.jdom.Document documentJDOM) Converti un document JDOM en document DOM.
static java.lang.String	recupererLeChemin(java.lang.String chemin)
static void	useTraitement(org.jdom.Element source, java.lang.String prefix)
static void	xlinkAdd(org.jdom.Element source, java.lang.String prefix)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

document

static org.jdom.Document document

Constructor Detail

XML_Utils

public XML_Utils()

Method Detail

ecrireDocument

public static void ecrireDocument(org.jdom.Document doc,
                                  java.lang.String nomFichier)

Ecrit le document JDOM dans un fichier, en passant par DOM.

Parameters:

doc - Document JDOM a ecrire.

nomFichier - Nom du fichier de sortie.

DOMtoJDOM

public static org.jdom.Document DOMtoJDOM(org.w3c.dom.Document documentDOM)
                                   throws java.lang.Exception

Converti un document DOM en document JDOM.

Parameters:

documentDOM - Document a convertir.

Returns:

Le Document JDOM correspondant au document d'entrée.

Throws:

java.lang.Exception

JDOMtoDOM

public static org.w3c.dom.Document JDOMtoDOM(org.jdom.Document documentJDOM)
                                      throws java.lang.Exception

Converti un document JDOM en document DOM.

Parameters:

documentJDOM - Document a convertir.

Returns:

Le Document DOM correspondant au document d'entrée.

Throws:

java.lang.Exception

createSceneRootNode

public static org.jdom.Document createSceneRootNode(org.jdom.Document source)

Ajoute un noeud type "node: id=scene_root" a la racine du document, si celui ci n'est pas deja l. Sinon ne fait rien.

Parameters:

source - Document a modifier

Returns:

Document avec sa racine adaptée à la structure des projets VAE.

useTraitement

public static void useTraitement(org.jdom.Element source,
                                 java.lang.String prefix)

recupererLeChemin

public static java.lang.String recupererLeChemin(java.lang.String chemin)

xlinkAdd

public static void xlinkAdd(org.jdom.Element source,
                            java.lang.String prefix)