[jgrapht-users] Confused with using DOT importer in the latest version

[ניב פ. <ni...@gm...>]

Hi All,

first time using jgrapht, and I can't seem to use the newer DOTImporter,
nor do I find proper documentation for it.

my dot string is simple (for now):
digraph graphname {
1->2
2->3
2->5
5->2
3->5}

I would like to have the vertices names be the ids from the dot string,
however the DOTImporter
only receives a string supplier as an argument, which can't know the id of
the input dot string,
I found the `addVertexAttributeConsumer` but I can't seem to remove the
vertices created by the
supplier, moreover, creating new vertices doesn't create the edges
(although that might be
possible to do with the `addEdgeConsumer` function, but I haven't got there
yet).

I would appreciate some clarification or guidance to what I have missed and
what is or isn't possible with DOTImporter.

Thanks,
Niv