// -----------------------
// GraphLengthVisitor.java
// -----------------------

final class GraphLengthVisitor implements GraphVisitor {
    private int i;

    public GraphLengthVisitor () {
        i = 0;}

    public int pathLength () {
        return i;}

    public void visit (int u, int v) {
        ++i;}}