diff options
| author | aarne <aarne@chalmers.se> | 2015-11-05 16:47:41 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2015-11-05 16:47:41 +0000 |
| commit | ce6557f1f216f68668752319001ac36c29a03c4d (patch) | |
| tree | 4c4314a96ebaf35727d60e898259186beec02a1e /src/runtime/java | |
| parent | e97fa30c9d52f746521eea661eba40242638dcf7 (diff) | |
the visualization commands (aw,vd,vp,vt) can now show multiple trees. Previously they only showed one tree even if there were for instance after ambiguous parsing. The reason was that dot (graphviz) ignored all graphs but the first one. Now the graphs are put into separate files. The 'convert' command from ImageMagick package is used to combine them to one pdf. If this is a problem, the old behaviour can be restored by the -number=1 option to the tree-generating command, which cuts away all trees but the one and doesn't require ImageMagick.
Diffstat (limited to 'src/runtime/java')
0 files changed, 0 insertions, 0 deletions