me.jaimegarza.syntax.model.graph

Class DirectedGraph<T extends Node>

java.lang.Object

me.jaimegarza.syntax.model.graph.DirectedGraph<T>

Type Parameters:

T - is the type of node

Direct Known Subclasses:

Dfa, Nfa

public abstract class DirectedGraph<T extends Node>
extends Object

Abstract class defining a graph with directed transitions

Author:

jgarza

Field Summary

Fields

Modifier and Type	Field and Description
protected List<T>	nodes
protected String	regex

Constructor Summary

Constructors

Constructor and Description
DirectedGraph() Default empty constructor

Method Summary

Modifier and Type	Method and Description
T	getNode(int index) Retrieve a node given its index
List<T>	getNodes()
String	getRegex()
String	layout(int width, int height)
void	setRegex(String regex)
String	toHtmlString()
String	toString()
int	V()

Methods inherited from class java.lang.Object

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

Field Detail

nodes

protected final List<T extends Node> nodes

regex

protected String regex

Constructor Detail

DirectedGraph

public DirectedGraph()

Default empty constructor

Method Detail

getNodes

public List<T> getNodes()

Returns:

the nodes

getNode

public T getNode(int index)

Retrieve a node given its index

Parameters:

index - is the index of the node

Returns:

the node at the given index

V

public int V()

Returns:

the number of nodes

layout

public String layout(int width,
                     int height)

toString

public String toString()

Overrides:

toString in class Object

toHtmlString

public String toHtmlString()

getRegex

public String getRegex()

Returns:

the regex

setRegex

public void setRegex(String regex)

Parameters:

regex - the regex to set