[jgrapht-developers] EdgeNameProvider

[Trevor H. <tr...@vo...>]

I use the VertexNameProvider classes a lot, and I recently had a need  
to provide names for the edges in my graph, too. I was surprised to  
find that there don't seem to be any EdgeNameProvider classes. Is  
there some technical reason for this, or is it simply that nobody's  
gotten around to writing name provider code for edges?

I assume it's the latter case, so I plan to write one myself and  
submit it to the JGraphT project. For the design, I'm thinking there  
will be an interface called EdgeNameProvider and two implementing  
classes, IntegerEdgeNameProvider and StringEdgeNameProvider. Sound  
about right?

Trevor