Graphviz Issue Tracker
Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000742graphvizDotty/Lneato/Leftypublic2007-06-28 09:032011-04-28 04:03
ReporterGottfried Ganaauge 
Assigned Toerg 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSx86-*-OS Version
Summary0000742: Dotty can't parse dot-Output
Description



Dotty prints
    "dotty.lefty: draw language parser error: 18"
and leaves out the circle around the "|" node in the graph.



Gif, jpg and svg-output appear correct.
Steps To Reproduce

digraph "Query" {
        graph [
                fontsize = "14"
                fontname = "Times-Roman"
                fontcolor = "black"
                label = "Anfrage: RUB:PI1694|8 OR RUB:PI1694|8|*"
                color = "black"
        ]
        node [
                fontsize = "14"
                fontname = "Times-Roman"
                fontcolor = "black"
                shape = "ellipse"
                color = "black"
                style = "solid"
        ]
        edge [
                fontsize = "14"
                fontname = "Times-Roman"
                fontcolor = "black"
                color = "black"
                style = "solid"
        ]
        "0x82192a0" [
                fontsize = "14"
                fontname = "Times-Roman"
                fontcolor = "blue"
                label = "|"
                shape = "circle"
                color = "black"
                style = "solid"
        ]
        "0x82192c0" [
                fontsize = "14"
                fontname = "Times-Roman"
                fontcolor = "black"
                label = "RUB:PI1694|8"
                shape = "box"
                color = "black"
                style = "solid"
        ]
        "0x82192f0" [
                fontsize = "14"
                fontname = "Times-Roman"
                fontcolor = "black"
                label = "RUB:PI1694|8|*"
                shape = "box"
                color = "black"
                style = "solid"
        ]
        "0x82192a0" -> "0x82192c0" [
                fontsize = "10"
                fontname = "Times-Roman"
                fontcolor = "black"
                label = "0x82192c0"
                color = "black"
                style = "solid"
        ]
        "0x82192a0" -> "0x82192f0" [
                fontsize = "10"
                fontname = "Times-Roman"
                fontcolor = "black"
                label = "0x82192f0"
                color = "black"
                style = "solid"
        ]
}
Additional Information

[erg] This is bug 1078.
TagsNo tags attached.
AUXILLARY-FILES
DATE-FIXED
FIX-COMMENT
FORMER-ID1153
INPUT-FILE
OUTPUT-FILEhttp://www.graphviz.org/bugs/b1153.png [^]
STATUS-COMMENTFixed
VERSION     2.12
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2011-04-28 04:03 user1 New Issue
2011-04-28 04:03 user1 Assigned To => erg


MantisBT 1.2.5[^]
Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker