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 Object

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
NfaGraphFormatter.Node(String name, boolean alias)

Method Summary

Methods

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)
String	getBranchLine()
int	getMinChildrenWidth()
int	getMinWidth()
String	getNameLine()
protected int	getNamePos(int column, int width)
int	getTopAnchor()
protected 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 String name

alias

protected boolean alias

children

protected List<NfaGraphFormatter.Node> children

Constructor Detail

NfaGraphFormatter.Node

public NfaGraphFormatter.Node(String name,
                      boolean alias)

Method Detail

getMinChildrenWidth

public int getMinChildrenWidth()

getMinWidth

public int getMinWidth()

getNameLine

public 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 String getBranchLine()

getTopAnchor

public int getTopAnchor()

ws

protected String ws(int count)