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

Constructors

Constructor and Description
ParenthesisLeftImage(NonTerminal n, AbstractBalancingVisitor fq, ParenthesisModel m)

Method Summary

Methods

Modifier and Type	Method and Description
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