org.eclipse.xtext.util.formallang
Class NfaGraphFormatter.Node

java.lang.Object
  org.eclipse.xtext.util.formallang.NfaGraphFormatter.Node

Enclosing class:

NfaGraphFormatter

protected static class NfaGraphFormatter.Node
extends java.lang.Object

Field Summary

protected boolean	alias
protected java.util.List<NfaGraphFormatter.Node>	children
protected java.lang.String	name

Constructor Summary

NfaGraphFormatter.Node(java.lang.String name, boolean alias)

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

name

protected java.lang.String name

alias

protected boolean alias

children

protected java.util.List<NfaGraphFormatter.Node> children

Constructor Detail

NfaGraphFormatter.Node

public NfaGraphFormatter.Node(java.lang.String name,
                              boolean alias)

Method Detail

getMinChildrenWidth

public int getMinChildrenWidth()

getMinWidth

public int getMinWidth()

getNameLine

public java.lang.String getNameLine()

getNamePos

protected int getNamePos(int column,
                         int width)

drawEdge

protected void drawEdge(NfaGraphFormatter.Canvas canvas,
                        int fromLine,
                        int fromCol,
                        int fromWidth,
                        int toCol,
                        int toWidth)

draw

public void draw(NfaGraphFormatter.Canvas canvas,
                 int line,
                 int column,
                 int width)

getBranchLine

public java.lang.String getBranchLine()

getTopAnchor

public int getTopAnchor()

ws

protected java.lang.String ws(int count)