dk.brics.servletvalidator.balancing.pimages

Class DGraph

java.lang.Object

dk.brics.servletvalidator.graph.AbstractInliningGraph<ParenthesisArc,ParenthesisRefVertex>

dk.brics.servletvalidator.balancing.pimages.DGraph

All Implemented Interfaces:

InliningGraph<ParenthesisArc,ParenthesisRefVertex>

public class DGraph
extends AbstractInliningGraph<ParenthesisArc,ParenthesisRefVertex>

A directed graph of parenthesis as described in [Knuth]. Should be constructed by first adding all NonTerminals and then adding all productions.

Field Summary

Fields inherited from class dk.brics.servletvalidator.graph.AbstractInliningGraph

vertices

Constructor Summary

Constructors

Constructor and Description
DGraph(AbstractBalancingVisitor fq, ParenthesisModel m)

Method Summary

Methods

Modifier and Type	Method and Description
void	addNonTerminal(NonTerminal n)
void	addProduction(Production p)

Methods inherited from class dk.brics.servletvalidator.graph.AbstractInliningGraph

getSinkNodes, getVertices, removeNode

Methods inherited from class java.lang.Object

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

Constructor Detail

DGraph

public DGraph(AbstractBalancingVisitor fq,
      ParenthesisModel m)

Method Detail

addNonTerminal

public void addNonTerminal(NonTerminal n)

addProduction

public void addProduction(Production p)