protected static class NfaGraphFormatter.Node
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
alias |
protected java.util.List<NfaGraphFormatter.Node> |
children |
protected java.lang.String |
name |
Constructor and Description |
---|
NfaGraphFormatter.Node(java.lang.String name,
boolean alias) |
Modifier and Type | Method and Description |
---|---|
void |
draw(NfaGraphFormatter.Canvas canvas,
int line,
int column,
int width) |
protected void |
drawEdge(NfaGraphFormatter.Canvas canvas,
int fromLine,
int fromCol,
int fromWidth,
int toCol,
int toWidth) |
java.lang.String |
getBranchLine() |
int |
getMinChildrenWidth() |
int |
getMinWidth() |
java.lang.String |
getNameLine() |
protected int |
getNamePos(int column,
int width) |
int |
getTopAnchor() |
protected java.lang.String |
ws(int count) |
protected java.lang.String name
protected boolean alias
protected java.util.List<NfaGraphFormatter.Node> children
public NfaGraphFormatter.Node(java.lang.String name, boolean alias)
public int getMinChildrenWidth()
public int getMinWidth()
public java.lang.String getNameLine()
protected int getNamePos(int column, int width)
protected void drawEdge(NfaGraphFormatter.Canvas canvas, int fromLine, int fromCol, int fromWidth, int toCol, int toWidth)
public void draw(NfaGraphFormatter.Canvas canvas, int line, int column, int width)
public java.lang.String getBranchLine()
public int getTopAnchor()
protected java.lang.String ws(int count)