dk.brics.servletvalidator.balancing.pimages
Class ParenthesisRefVertex

java.lang.Object
  extended by dk.brics.servletvalidator.graph.AbstractInliningVertex<ParenthesisArc>
      extended by dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex
All Implemented Interfaces:
ParenthesisVertex, InliningVertex<ParenthesisArc>, ParenthesisTypeInfo

public class ParenthesisRefVertex
extends AbstractInliningVertex<ParenthesisArc>
implements ParenthesisVertex

A vertex in the DGraph, that is a parenthesis that is not matched by anything in its own production. Can contain arcs to other parentheses and for ease of computation it also holds a list of arc to all other vertices that refer to it.


Field Summary
 
Fields inherited from class dk.brics.servletvalidator.graph.AbstractInliningVertex
nonTerminal
 
Constructor Summary
ParenthesisRefVertex(NonTerminal nonTerminal, int u, ParenthesisType type)
           
 
Method Summary
 boolean equals(Object o)
           
 ParenthesisType getType()
           
 int getU()
           
 int hashCode()
           
 boolean isActualParanthesis()
           
 String toString()
           
 
Methods inherited from class dk.brics.servletvalidator.graph.AbstractInliningVertex
addArch, addBackArc, getArcs, getBackArcs, getNonTerminal, removeArcTo
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ParenthesisRefVertex

public ParenthesisRefVertex(NonTerminal nonTerminal,
                            int u,
                            ParenthesisType type)
Method Detail

equals

public boolean equals(Object o)
Overrides:
equals in class Object

getType

public ParenthesisType getType()
Specified by:
getType in interface ParenthesisTypeInfo

getU

public int getU()

hashCode

public int hashCode()
Overrides:
hashCode in class Object

isActualParanthesis

public boolean isActualParanthesis()
Specified by:
isActualParanthesis in interface ParenthesisVertex

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2008 Mathias Schwarz.