public static class DrawDot.Graph extends Object implements DrawDot.Child
| Modifier and Type | Method and Description |
|---|---|
DrawDot.Graph |
add(DrawDot.Child child) |
DrawDot.Graph |
add(DrawDot.Connection connection) |
DrawDot.Graph |
clustered(boolean clustered) |
default E |
commentAfter(String... lines) |
default E |
commentBefore(String... lines) |
DrawDot.Graph |
commentFooter(String... lines) |
DrawDot.Graph |
commentHeader(String... lines) |
DrawDot.Graph |
directed(boolean directed) |
void |
emit(DrawDot dot,
PrintWriter writer,
String indent) |
boolean |
equals(Object o) |
String |
footer() |
List<DrawDot.Child> |
getChildren() |
List<String> |
getCommentsAfter() |
List<String> |
getCommentsBefore() |
List<DrawDot.Connection> |
getConnections() |
int |
hashCode() |
String |
header() |
String |
id() |
DrawDot.Graph |
rankdir(DrawDot.RankDir dir) |
String |
toString() |
public Graph(String name)
public List<DrawDot.Child> getChildren()
public List<DrawDot.Connection> getConnections()
public DrawDot.Graph clustered(boolean clustered)
public DrawDot.Graph commentHeader(String... lines)
public DrawDot.Graph commentFooter(String... lines)
public DrawDot.Graph directed(boolean directed)
public DrawDot.Graph rankdir(DrawDot.RankDir dir)
public String footer()
public String header()
public String id()
id in interface DrawDot.Childpublic void emit(DrawDot dot, PrintWriter writer, String indent) throws IOException
emit in interface DrawDot.ChildIOExceptionpublic DrawDot.Graph add(DrawDot.Child child)
public DrawDot.Graph add(DrawDot.Connection connection)
public E commentBefore(String... lines)
public E commentAfter(String... lines)
Copyright © 2020. All rights reserved.