dk.brics.servletvalidator.balancing.pimages
Class ParenthesisLeftImage

java.lang.Object
  extended by dk.brics.servletvalidator.balancing.pimages.ParenthesisImage
      extended by 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


Copyright © 2008 Mathias Schwarz.