xtc.parser
Class ReachabilityChecker

java.lang.Object
  xtc.tree.Visitor
      xtc.parser.ReachabilityChecker

public class ReachabilityChecker
extends Visitor

Visitor to ensure that every alternative is reachable.

Version:

$Revision: 1.4 $

Author:

Robert Grimm

Field Summary

protected Analyzer	analyzer The analyzer.
protected Runtime	runtime The runtime.

Constructor Summary

ReachabilityChecker(Runtime runtime, Analyzer analyzer)
Create a new reachability checker.

Method Summary

void	visit(CharSwitch s) Visit the specified character switch.
void	visit(Element e) Visit the specified element.
void	visit(FullProduction p) Visit the specified full production.
void	visit(Grammar g) Visit the specified grammar.
void	visit(Module m) Visit the specified module.
void	visit(OrderedChoice c) Visit the specified choice.
void	visit(Sequence s) Visit the specified sequence.
void	visit(UnaryOperator op) Visit the specified unary operator.

Methods inherited from class xtc.tree.Visitor

dispatch, equals, hashCode, iterate, map, mapInPlace, unableToVisit, visit

Methods inherited from class java.lang.Object

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

Field Detail

runtime

protected Runtime runtime

The runtime.

analyzer

protected Analyzer analyzer

The analyzer.

Constructor Detail

ReachabilityChecker

public ReachabilityChecker(Runtime runtime,
                           Analyzer analyzer)

Create a new reachability checker.

Parameters:

runtime - The runtime.

analyzer - The analyzer.

Method Detail

visit

public void visit(Grammar g)

Visit the specified grammar.

visit

public void visit(Module m)

Visit the specified module.

visit

public void visit(FullProduction p)

Visit the specified full production.

visit

public void visit(OrderedChoice c)

Visit the specified choice.

visit

public void visit(Sequence s)

Visit the specified sequence.

visit

public void visit(UnaryOperator op)

Visit the specified unary operator.

visit

public void visit(CharSwitch s)

Visit the specified character switch.

visit

public void visit(Element e)

Visit the specified element.