dk.brics.servletvalidator.balancing.pimages
Class ParenthesisLeftImage

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

public class ParenthesisLeftImage
extends ParenthesisImage

A parenthesis image for a non terminal

Author:

schwarz

Constructor Summary

ParenthesisLeftImage(NonTerminal n, AbstractBalancingVisitor fq, ParenthesisModel m)

Method Summary

ArrayList<ParenthesisRefVertex>

getVertices()

Methods inherited from class dk.brics.servletvalidator.balancing.pimages.ParenthesisImage

addExisting, addNonTerminal, addTerminal, removeMatching

Methods inherited from class java.lang.Object

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

Constructor Detail

ParenthesisLeftImage

public ParenthesisLeftImage(NonTerminal n,
                            AbstractBalancingVisitor fq,
                            ParenthesisModel m)

Method Detail

getVertices

public ArrayList<ParenthesisRefVertex> getVertices()

Overrides:

getVertices in class ParenthesisImage