dk.brics.servletvalidator.wellformedness

Class WellFormednessChecker

java.lang.Object

dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

dk.brics.servletvalidator.wellformedness.WellFormednessChecker

All Implemented Interfaces:

GrammarEntityVisitor

public class WellFormednessChecker
extends AbstractGrammarEntityVisitor

Field Summary

Fields inherited from class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

marked

Constructor Summary

Constructors

Constructor and Description
WellFormednessChecker(AbstractAnnotationVisitor annotater)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Grammar g)
dk.brics.automaton.Automaton	getName(Production production)
void	out(Production production)

Methods inherited from class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

apply, apply, apply, getLocation, getPath, in, in, in, isMarked, mark, out, out, print, shouldPrettyPrint

Methods inherited from class java.lang.Object

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

Constructor Detail

WellFormednessChecker

public WellFormednessChecker(AbstractAnnotationVisitor annotater)

Method Detail

apply

public void apply(Grammar g)

Specified by:

apply in interface GrammarEntityVisitor

Overrides:

apply in class AbstractGrammarEntityVisitor

getName

public dk.brics.automaton.Automaton getName(Production production)

out

public void out(Production production)

Specified by:

out in interface GrammarEntityVisitor

Overrides:

out in class AbstractGrammarEntityVisitor