Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
ocaml et XML
Salut,
je programme en ocaml; et je veux stocker les types de donées que j'ai créer sous le format XML.
Comment je dois procéder? est ce qu'il y a une bibliothèque spécifique en ocaml permettant ceci?
et comment puis-je extraires mes données par la suite à partir de ces fichiers?
Pour sérialiser en OCaml il y a deux méthodes à privilégier avant d'utiliser un format poubelle comme le xml :
- si l'exécutable est peu susceptible d'évoluer ou que les données sont jetables d'une version à l'autre: module Marshal, c'est de loin la solution la plus facile, intégrée en standard dans la stdlib
- si le format doit être indépendant de l'exécutable: sexplib
merci bien pour la proposition;
j'ai utilisé le module Marshal et ça m'a facilité la tâche énormément.
SAUF que, en plus des types de données standards j'ai besoin de sauvegarder des types objets (par exemple des widgets de mon interface graphique que j'implémente avec lablgtk2).
Est ce que vous avez une idées comment puis je le faire?
Marshaller des objets ocaml c'est tout à fait possible, par contre marshaller des objets LablGtk ça n'a probablement aucun sens :
- Gtk est écrit en C et ne contient aucun mécanisme de marshalling à ma connaissance
- la gestion interne de la mémoire des objets LablGtk2 est spécifique et différente de celle des objets ocaml ordinaires
- les mécanismes et services propres à ocaml ne s'étendent pas au delà des frontières du code écrit en ocaml
Eventuellement tu peux charger un fichier glade à l'aide de libglade cependant on en revient au point n°1: je ne connais aucune méthode de sauvegarde d'une interface Gtk en un fichier glade.
Bonjour !
Tout ce qui a été dit précédemment est fort juste. Quelles sont les raisons qui font que tu as besoin de sauvegarder des objets LablGTK ? En général les applications ont une interface en dur qui évolue au gré des versions, mais sur laquelle l'utilisateur n'a qu'une faible marge de manœuvre. Il n'y a donc a priori aucune raison de vouloir la sauvegarder.Envoyé par amiroushka
À la rigueur je comprends que l'on veuille charger dynamiquement l'interface au démarrage de l'application. C'est ce que je fais dans mon logiciel OCamlTeX grâce à un fichier dont la syntaxe est dérivée des S-expressions. C'était une réelle volonté d'implémentation dès l'origine, mais c'est contraignant : il faut parser le fichier et créer les widgets à chaque lancement. Sans compter que la gestion des callback n'est plus tout à fait triviale.
Ce que je comprends moins, c'est la volonté de sauvegarder l'interface. Il faudrait pour cela une fonction capable de parcourir tous les éléments, leurs enfants, etc., et qui serait en mesure de restituer la hiérarchie dans un fichier. C'est pas impossible à faire, mais c'est long, probablement chiant et inefficace. Sans compter que si tu as un fichier qui contient la description de l'interface avant le lancement, ce même fichier contient la sauvegarde de l'interface, d'une certaine façon !
Cordialement,
Cacophrène
en fait, je développe un assistant de preuve. donc mon interface affiche l'arbre d'inférence qui est représentée à l'aide des boutons, des labels, etc...
mon logiciel doit être capable de sauvegarder l'arbre de preuve pour pouvoir restituer et compléter la preuve ultérieurement.
Ce que j'ai compris que c'est impossible de sauvegarder cet arbre comme il est, il faut le traduire en structure de données et le redessiner encore une fois après
Exactement, c'est l'arbre qui est traduisible en une interface et non l'inverse.Ce que j'ai compris que c'est impossible de sauvegarder cet arbre comme il est, il faut le traduire en structure de données et le redessiner encore une fois après
La partie portable (la logique qui est indépendante de Gtk) de ton application ne doit manipuler et marshaller que le Modèle et c'est la partie dépendante de Gtk qui est capable de reconstituer la Vue (voir approche MVC) sur un certain Modèle.
Remarque: cette façon de faire n'est liée ni à OCaml ni à Gtk, ça serait la même avec un autre langage ou un autre toolkit.
oui oui j'en suis tout a fait consciente.
mais j'ai cherché la facilité en essayant de bruler les étapes.
ça a marché au début; mais là il faut que j'y retourne pour faire les choses proprement
J'ai enfin fait une structure de données permettant de stocker mon arbre.
Mais au moment de la déserialisation, y a des cas où ça marche parfaitement, mais au delà d'un certain niveau (qd mon arbre dépasse une profondeur 3) l'exception suivante est relevée : Invalid_argument("Marshal.from_size").
Est ce que c'est dû au fait que ma structure de données est volumineuse?
et comment puis je corriger ça? car j'ai besoin de stocker des arbres beaucoup plus grand.
Cyclicité des données ? Si je crois me souvenir bien, c'est un des cas, avec la linéarisation de fonctions, où ça ne marche pas.
Répondre avec citation
Partager