transformer DOT en image (JPEG,, ...)

Marsh Posté le 17-11-2006 à 14:18:19

bonjour a tous ,

voila mon probleme :

j'ai un petit programme dans lequel je manipule des "automates" (que l'on peut considerer comme etant simplement des graphes).

Je souhaite pouvoir afficher ces automates sous forme d'un graphe, et pour cela je les transforme en un graphe de type DOT. Ce qui donne plus ou moins ceci :

Citation :

digraph Automaton {
rankdir = LR;
T0_init [shape=circle,label=""];
initial [shape=plaintext,label=""];
initial -> T0_init
T0_init -> T1_S1 [label="((not(c) and not(a)) or b)"]
T0_init -> T0_S2 [label="(1)"]
T0_init -> accept_all [label="c"]
T0_S3 [shape=circle,label=""];
T0_S3 -> accept_all [label="(not(c) and not(a))"]
T0_S3 -> T0_S3 [label="(1)"]
accept_all [shape=doublecircle,label=""];
T1_S1 [shape=circle,label=""];
T1_S1 -> T1_S1 [label="((not(c) and not(a)) or b)"]
T1_S1 -> T1_S2 [label="(1)"]
T1_S1 -> accept_all [label="c"]
T0_S2 [shape=circle,label=""];
T0_S2 -> T1_S1 [label="(not(c) and not(a))"]
T0_S2 -> T0_S2 [label="(1)"]
T0_S2 -> T0_S3 [label="c"]
T1_S2 [shape=circle,label=""];
T1_S2 -> T1_S1 [label="(not(c) and not(a))"]
T1_S2 -> T1_S2 [label="(1)"]
T1_S2 -> T0_S3 [label="c"]
}

Puis ensuite j'uitlise l'outil DOT de GraphViz pour generer une image jpeg, et ensuite je dois recuperer l'image dans le dossier pour l'afficher ...

Tout cela marche mais est un petit peu trop bricole a mon gout !

je dois ecrire le texte en DOT dans un fichier texte, avoir le bin DOT dans mon repertoire, un batch pour executer la commande, recuperer le fichier jpeg ...

Donc j'aimerais savoir si quelqu'un connait un outil java , une librairie qui permettrait de transformer du texte DOT en une image jpeg , peut etre meme simplement un jar qui contiendrait les fonctionnalites de GraphViz ? :??: :??:

voila, je pense avoir tout dit , si ce n'est pas clair demandez moi

merci d'avance :jap:

anthony