Package 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

Fields

Modifier and Type	Field	Description
protected boolean	alias
protected java.util.List<NfaGraphFormatter.Node>	children
protected java.lang.String	name

Constructor Summary

Constructors

Constructor	Description
Node(java.lang.String name, boolean alias)

Method Summary

Modifier and Type	Method	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)

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

Node

public 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)