[SANDBOX-346] DotExporter only exports weights that extend Number

• Type: Improvement
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Component/s: Graph
• Labels: dot dotexporter double graph weight
• Assignee: Simone Tripodi
• Reporter: Claudio Squarcella
• Created: 19/Dec/11 22:06
• Updated: 20/Dec/11 08:34
• Resolved: 20/Dec/11 08:34

Description

Hi,

I propose a tiny patch for the DotExporter in order to print "weight" as an edge attribute only when the actual weight extends Number, using the method getDouble().
This is to be fully compliant with the DOT language specification on the attribute "weight" (see http://www.graphviz.org/content/attrs#aweight).

Hope this helps,
Claudio