public class DrawDot extends Object
This is a work in progress, there is a lot more that can be done than the API here supports, but there is enough to use it for its intended purpose: drawing visuals of data structures.
| Modifier and Type | Class and Description |
|---|---|
static class |
DrawDot.Arrow |
static class |
DrawDot.Arrows |
static class |
DrawDot.BaseAttributable<E> |
static interface |
DrawDot.Child |
static interface |
DrawDot.Color |
static class |
DrawDot.ColorsSVG |
static class |
DrawDot.ColorsX11 |
static class |
DrawDot.Connection |
static class |
DrawDot.ConnectionType |
static class |
DrawDot.EdgeStyle |
static class |
DrawDot.Graph |
static class |
DrawDot.Node |
static class |
DrawDot.NodeStyle |
static class |
DrawDot.RankDir |
static class |
DrawDot.Shape |
static class |
DrawDot.Shapes |
| Modifier and Type | Method and Description |
|---|---|
void |
emit(PrintWriter writer) |
void |
emit(Writer writer) |
static String |
escapeForDotHTML(String str) |
DrawDot.Graph |
root() |
public DrawDot(String name)
public DrawDot.Graph root()
public void emit(Writer writer) throws IOException
IOExceptionpublic void emit(PrintWriter writer) throws IOException
IOExceptionCopyright © 2020. All rights reserved.