dk.brics.servletvalidator.balancing.pimages
Class ParenthesisImage

java.lang.Object
  dk.brics.servletvalidator.balancing.pimages.ParenthesisImage

Direct Known Subclasses:

ParenthesisLeftImage, ParenthesisRightImage

public abstract class ParenthesisImage
extends Object

A parenthesis image as introduced by [Knuth] page 276 and [KiMø] appendix B. The parenthesis image can be constructed eigther from a string in which case it is a ParenthesisRightImage and should be constructed as this subclass or from a non terminalin which case it is a ParenthesisLeftImage and should be constructed from that subclass.

Constructor Summary

ParenthesisImage(ParenthesisModel model)

Method Summary

protected void	addExisting(ParenthesisImage im)
protected void	addNonTerminal(NonTerminal n, AbstractBalancingVisitor fq)
protected void	addTerminal(Terminal t)
ArrayList<? extends ParenthesisVertex>	getVertices()
protected void	removeMatching()

Methods inherited from class java.lang.Object

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

Constructor Detail

ParenthesisImage

public ParenthesisImage(ParenthesisModel model)

Method Detail

addExisting

protected void addExisting(ParenthesisImage im)

addNonTerminal

protected void addNonTerminal(NonTerminal n,
                              AbstractBalancingVisitor fq)

addTerminal

protected void addTerminal(Terminal t)

getVertices

public ArrayList<? extends ParenthesisVertex> getVertices()

removeMatching

protected void removeMatching()