ToATermString.java
package jjtraveler.util
public jjtraveler.util.ToATermString extends jjtraveler.VoidVisitor {
	private String string
	public void <init> () 
	public static java.lang.String doToString (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable visitable
		jjtraveler.util.ToATermString v
	public java.lang.String visitableToString (jjtraveler.Visitable) 
		jjtraveler.Visitable visitable
	public void voidVisit (jjtraveler.Visitable) 
		jjtraveler.Visitable visitable
		int childCount
		String result
		int i
	public java.lang.String getString () 
	public static java.lang.String makeAFun (jjtraveler.Visitable) 
		jjtraveler.Visitable visitable
		String result
		int dotPos
}

ToStringVisitor.java
package jjtraveler.util
public jjtraveler.util.ToStringVisitor extends jjtraveler.VoidVisitor {
	protected String string
	public void <init> () 
	public static java.lang.String doToString (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable visitable
		jjtraveler.util.ToStringVisitor v
	public java.lang.String visitableToString (jjtraveler.Visitable) 
		jjtraveler.Visitable visitable
	public void voidVisit (jjtraveler.Visitable) 
		jjtraveler.Visitable visitable
	public java.lang.String getString () 
}

TestAll.java
package jjtraveler.util
public jjtraveler.util.TestAll extends jjtraveler.VisitorTestCase {
	static Class class$0
	public void <init> (java.lang.String) 
		String test
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
}

ToXMLString.java
package jjtraveler.util
public jjtraveler.util.ToXMLString extends jjtraveler.util.ToStringVisitor {
	public void <init> () 
	public static java.lang.String doToString (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable visitable
		jjtraveler.util.ToXMLString v
	public void voidVisit (jjtraveler.Visitable) 
		jjtraveler.Visitable visitable
		int childCount
		String result
		String result
		String tag
		int i
	public static java.lang.String makeTag (jjtraveler.Visitable) 
		jjtraveler.Visitable visitable
		String result
		int dotPos
}

UtilTest.java
package jjtraveler.util
public jjtraveler.util.UtilTest extends jjtraveler.VisitorTestCase {
	static Class class$0
	public void <init> (java.lang.String) 
		String test
	public void testToStringVisitor ()  throws jjtraveler.VisitFailure 
	public void testToATermString ()  throws jjtraveler.VisitFailure 
	public void testToXMLString ()  throws jjtraveler.VisitFailure 
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
}

Visitor.java
package aterm
public aterm.Visitor extends jjtraveler.VoidVisitor implements jjtraveler.Visitor  {
	public void <init> () 
	public void voidVisit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
	public void visitATerm (aterm.ATerm)  throws jjtraveler.VisitFailure 
		aterm.ATerm arg
	public void visitInt (aterm.ATermInt)  throws jjtraveler.VisitFailure 
		aterm.ATermInt arg
	public void visitReal (aterm.ATermReal)  throws jjtraveler.VisitFailure 
		aterm.ATermReal arg
	public void visitAppl (aterm.ATermAppl)  throws jjtraveler.VisitFailure 
		aterm.ATermAppl arg
	public void visitList (aterm.ATermList)  throws jjtraveler.VisitFailure 
		aterm.ATermList arg
	public void visitPlaceholder (aterm.ATermPlaceholder)  throws jjtraveler.VisitFailure 
		aterm.ATermPlaceholder arg
	public void visitBlob (aterm.ATermBlob)  throws jjtraveler.VisitFailure 
		aterm.ATermBlob arg
	public void visitAFun (aterm.AFun)  throws jjtraveler.VisitFailure 
		aterm.AFun fun
}

Visitable.java
package aterm
public abstract aterm.Visitable extends java.lang.Object implements jjtraveler.Visitable  {
	public abstract void accept (aterm.Visitor)  throws jjtraveler.VisitFailure 
}

ATermAppl.java
package aterm
public abstract aterm.ATermAppl extends java.lang.Object implements aterm.ATerm  {
	public abstract aterm.AFun getAFun () 
	public abstract java.lang.String getName () 
	public abstract aterm.ATermList getArguments () 
	public abstract aterm.ATerm[] getArgumentArray () 
	public abstract aterm.ATerm getArgument (int) 
	public abstract aterm.ATermAppl setArgument (aterm.ATerm, int) 
	public abstract boolean isQuoted () 
	public abstract int getArity () 
}

ATermReal.java
package aterm
public abstract aterm.ATermReal extends java.lang.Object implements aterm.ATerm  {
	public abstract double getReal () 
}

ParseError.java
package aterm
public aterm.ParseError extends java.lang.RuntimeException {
	public void <init> (java.lang.String) 
		String msg
}

ATermInt.java
package aterm
public abstract aterm.ATermInt extends java.lang.Object implements aterm.ATerm  {
	public abstract int getInt () 
}

ATermBlob.java
package aterm
public abstract aterm.ATermBlob extends java.lang.Object implements aterm.ATerm  {
	public abstract int getBlobSize () 
	public abstract byte[] getBlobData () 
}

ATermPlaceholder.java
package aterm
public abstract aterm.ATermPlaceholder extends java.lang.Object implements aterm.ATerm  {
	public abstract aterm.ATerm getPlaceholder () 
}

ATermList.java
package aterm
public abstract aterm.ATermList extends java.lang.Object implements aterm.ATerm  {
	public abstract boolean isEmpty () 
	public abstract int getLength () 
	public abstract aterm.ATerm getFirst () 
	public abstract aterm.ATerm getLast () 
	public abstract aterm.ATermList getEmpty () 
	public abstract aterm.ATermList getNext () 
	public abstract int indexOf (aterm.ATerm, int) 
	public abstract int lastIndexOf (aterm.ATerm, int) 
	public abstract aterm.ATermList concat (aterm.ATermList) 
	public abstract aterm.ATermList append (aterm.ATerm) 
	public abstract aterm.ATerm elementAt (int) 
	public abstract aterm.ATermList remove (aterm.ATerm) 
	public abstract aterm.ATermList removeElementAt (int) 
	public abstract aterm.ATermList removeAll (aterm.ATerm) 
	public abstract aterm.ATermList insert (aterm.ATerm) 
	public abstract aterm.ATermList insertAt (aterm.ATerm, int) 
	public abstract aterm.ATermList getPrefix () 
	public abstract aterm.ATermList getSlice (int, int) 
	public abstract aterm.ATermList replace (aterm.ATerm, int) 
	public abstract aterm.ATermList reverse () 
	public abstract aterm.ATerm dictGet (aterm.ATerm) 
	public abstract aterm.ATermList dictPut (aterm.ATerm, aterm.ATerm) 
	public abstract aterm.ATermList dictRemove (aterm.ATerm) 
}

ATerm.java
package aterm
public abstract aterm.ATerm extends java.lang.Object implements aterm.Visitable aterm.Identifiable  {
	public static final int INT
	public static final int REAL
	public static final int APPL
	public static final int LIST
	public static final int PLACEHOLDER
	public static final int BLOB
	public static final int AFUN
	public abstract int getType () 
	public abstract int hashCode () 
	public abstract java.util.List match (java.lang.String) 
	public abstract java.util.List match (aterm.ATerm) 
	public abstract aterm.ATerm getAnnotation (aterm.ATerm) 
	public abstract aterm.ATerm setAnnotation (aterm.ATerm, aterm.ATerm) 
	public abstract aterm.ATerm removeAnnotation (aterm.ATerm) 
	public abstract aterm.ATermList getAnnotations () 
	public abstract aterm.ATerm setAnnotations (aterm.ATermList) 
	public abstract aterm.ATerm removeAnnotations () 
	public abstract boolean isEqual (aterm.ATerm) 
	public abstract boolean equals (java.lang.Object) 
	public abstract void writeToTextFile (java.io.OutputStream)  throws java.io.IOException 
	public abstract void writeToSharedTextFile (java.io.OutputStream)  throws java.io.IOException 
	public abstract aterm.ATerm make (java.util.List) 
	public abstract aterm.ATermFactory getFactory () 
	public abstract java.lang.String toString () 
}

Fwd.java
package aterm
public aterm.Fwd extends aterm.Visitor implements jjtraveler.Visitor  {
	private aterm.Visitor any
	public void <init> (aterm.Visitor) 
		aterm.Visitor visitor
	public aterm.Visitable visit (aterm.Visitable)  throws jjtraveler.VisitFailure 
		aterm.Visitable visitable
		jjtraveler.VisitFailure ex
		jjtraveler.VisitFailure vf
}

Identifiable.java
package aterm
public abstract aterm.Identifiable extends java.lang.Object {
	public abstract int getUniqueIdentifier () 
}

AFun.java
package aterm
public abstract aterm.AFun extends java.lang.Object implements aterm.ATerm  {
	public abstract java.lang.String getName () 
	public abstract int getArity () 
	public abstract boolean isQuoted () 
}

ATermFactory.java
package aterm
public abstract aterm.ATermFactory extends java.lang.Object {
	public static final byte START_OF_SHARED_TEXT_FILE
	public abstract aterm.ATerm parse (java.lang.String) 
	public abstract aterm.ATerm make (java.lang.String) 
	public abstract aterm.ATerm make (java.lang.String, java.util.List) 
	public abstract aterm.ATerm make (aterm.ATerm, java.util.List) 
	public abstract aterm.ATerm make (java.lang.String, java.lang.Object) 
	public abstract aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object) 
	public abstract aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object) 
	public abstract aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object) 
	public abstract aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object) 
	public abstract aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object) 
	public abstract aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object) 
	public abstract aterm.ATermInt makeInt (int) 
	public abstract aterm.ATermReal makeReal (double) 
	public abstract aterm.ATermList makeList () 
	public abstract aterm.ATermList makeList (aterm.ATerm) 
	public abstract aterm.ATermList makeList (aterm.ATerm, aterm.ATermList) 
	public abstract aterm.ATermPlaceholder makePlaceholder (aterm.ATerm) 
	public abstract aterm.ATermBlob makeBlob (byte[]) 
	public abstract aterm.AFun makeAFun (java.lang.String, int, boolean) 
	public abstract aterm.ATermAppl makeAppl (aterm.AFun) 
	public abstract aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm) 
	public abstract aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm) 
	public abstract aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
	public abstract aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
	public abstract aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
	public abstract aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
	public abstract aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm[]) 
	public abstract aterm.ATermAppl makeApplList (aterm.AFun, aterm.ATermList) 
	public abstract aterm.ATerm readFromTextFile (java.io.InputStream)  throws java.io.IOException 
	public abstract aterm.ATerm readFromSharedTextFile (java.io.InputStream)  throws java.io.IOException 
	public abstract aterm.ATerm readFromBinaryFile (java.io.InputStream)  throws java.io.IOException 
	public abstract aterm.ATerm readFromFile (java.io.InputStream)  throws java.io.IOException 
	public abstract aterm.ATerm readFromFile (java.lang.String)  throws java.io.IOException 
	public abstract aterm.ATerm importTerm (aterm.ATerm) 
}

VisitableVisitor.java
package jjtraveler.reflective
public abstract jjtraveler.reflective.VisitableVisitor extends java.lang.Object implements jjtraveler.Visitable jjtraveler.Visitor  {
}

VisitableFail.java
package jjtraveler.reflective
public jjtraveler.reflective.VisitableFail extends jjtraveler.Fail implements jjtraveler.reflective.VisitableVisitor  {
	public void <init> () 
	public int getChildCount () 
	public jjtraveler.Visitable getChildAt (int) 
		int i
	public jjtraveler.Visitable setChildAt (int, jjtraveler.Visitable) 
		int i
		jjtraveler.Visitable child
}

VisitableSequence.java
package jjtraveler.reflective
public jjtraveler.reflective.VisitableSequence extends jjtraveler.Sequence implements jjtraveler.reflective.VisitableVisitor  {
	public int getChildCount () 
	public jjtraveler.Visitable getChildAt (int) 
		int i
	public jjtraveler.Visitable setChildAt (int, jjtraveler.Visitable) 
		int i
		jjtraveler.Visitable child
	public void <init> (jjtraveler.reflective.VisitableVisitor, jjtraveler.reflective.VisitableVisitor) 
		jjtraveler.reflective.VisitableVisitor first
		jjtraveler.reflective.VisitableVisitor then
}

WrapLog.java
package jjtraveler.reflective
 jjtraveler.reflective.WrapLog$VisitableLogVisitor extends jjtraveler.LogVisitor implements jjtraveler.reflective.VisitableVisitor  {
	final jjtraveler.reflective.WrapLog this$0
	public int getChildCount () 
	public jjtraveler.Visitable getChildAt (int) 
		int i
	public jjtraveler.Visitable setChildAt (int, jjtraveler.Visitable) 
		int i
		jjtraveler.Visitable child
	public void <init> (jjtraveler.reflective.WrapLog, jjtraveler.reflective.VisitableVisitor, jjtraveler.Logger) 
		jjtraveler.reflective.VisitableVisitor visitor
		jjtraveler.Logger logger
}

WrapLog.java
package jjtraveler.reflective
public jjtraveler.reflective.WrapLog extends jjtraveler.reflective.VisitorVisitor {
	jjtraveler.Logger logger
	public void <init> (jjtraveler.Logger) 
		jjtraveler.Logger logger
	public jjtraveler.reflective.VisitableVisitor visitVisitor (jjtraveler.reflective.VisitableVisitor) 
		jjtraveler.reflective.VisitableVisitor v
}

VisitorVisitor.java
package jjtraveler.reflective
public abstract jjtraveler.reflective.VisitorVisitor extends java.lang.Object implements jjtraveler.Visitor  {
	public void <init> () 
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
	public abstract jjtraveler.reflective.VisitableVisitor visitVisitor (jjtraveler.reflective.VisitableVisitor)  throws jjtraveler.VisitFailure 
}

WrapLogTest.java
package jjtraveler.reflective
public jjtraveler.reflective.WrapLogTest extends jjtraveler.VisitorTestCase {
	static Class class$0
	public void testWrapIdentity ()  throws jjtraveler.VisitFailure 
		jjtraveler.reflective.VisitableVisitor i
		jjtraveler.reflective.WrapLog w
		jjtraveler.Visitor v
		jjtraveler.Visitable result
		jjtraveler.Logger expectedLogger
	public void testWeaveSequence ()  throws jjtraveler.VisitFailure 
		jjtraveler.reflective.VisitableVisitor i
		jjtraveler.reflective.VisitableVisitor s
		jjtraveler.reflective.WrapLog w
		jjtraveler.Visitor v
		jjtraveler.Visitable result
		jjtraveler.Logger expectedLogger
	public void <init> (java.lang.String) 
		String test
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
}

VisitorFwd.java
package jjtraveler.reflective
public jjtraveler.reflective.VisitorFwd extends jjtraveler.reflective.VisitorVisitor {
	jjtraveler.Visitor visitor
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor visitor
	public jjtraveler.reflective.VisitableVisitor visitVisitor (jjtraveler.reflective.VisitableVisitor)  throws jjtraveler.VisitFailure 
		jjtraveler.reflective.VisitableVisitor x
}

TestAll.java
package jjtraveler.reflective
public jjtraveler.reflective.TestAll extends junit.framework.TestCase {
	static Class class$0
	public void <init> (java.lang.String) 
		String test
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
}

VisitableIdentity.java
package jjtraveler.reflective
public jjtraveler.reflective.VisitableIdentity extends jjtraveler.Identity implements jjtraveler.reflective.VisitableVisitor  {
	public void <init> () 
	public int getChildCount () 
	public jjtraveler.Visitable getChildAt (int) 
		int i
	public jjtraveler.Visitable setChildAt (int, jjtraveler.Visitable) 
		int i
		jjtraveler.Visitable child
}

WhileNotVisitedTest.java
package jjtraveler.graph
public jjtraveler.graph.WhileNotVisitedTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testCircle ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor id
		jjtraveler.Visitable bottomOfCircle
		jjtraveler.Logger expected
}

MkEdgesToKids.java
package jjtraveler.graph
public jjtraveler.graph.MkEdgesToKids extends jjtraveler.VoidVisitor {
	jjtraveler.graph.Graph graph
	jjtraveler.Visitor isKid
	public void <init> (jjtraveler.graph.Graph, jjtraveler.Visitor) 
		jjtraveler.graph.Graph graph
		jjtraveler.Visitor isKid
	public void <init> (jjtraveler.graph.Graph) 
		jjtraveler.graph.Graph graph
	public void voidVisit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable parent
		jjtraveler.Visitor nodeAction
		jjtraveler.Visitor v
}

Graph.java
package jjtraveler.graph
public abstract jjtraveler.graph.Graph extends java.lang.Object {
	public abstract void addEdge (jjtraveler.Visitable, jjtraveler.Visitable) 
	public abstract java.lang.String toDot (java.lang.String) 
	public abstract java.lang.String toRSF () 
}

IsTreeTest.java
package jjtraveler.graph
public jjtraveler.graph.IsTreeTest extends jjtraveler.VisitorTestCase {
	static Class class$0
	public void testTree ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable expectedNode
	public void testDiamond ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable expectedNode
		jjtraveler.VisitFailure vf
	public void testCircle ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable expectedNode
		jjtraveler.VisitFailure vf
	public void <init> (java.lang.String) 
		String test
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
}

IsDagTest.java
package jjtraveler.graph
public jjtraveler.graph.IsDagTest extends jjtraveler.VisitorTestCase {
	static Class class$0
	public void testTree ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable node
	public void testDiamond ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable node
	public void testCircle ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable node
		jjtraveler.VisitFailure vf
	public void <init> (java.lang.String) 
		String test
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
}

MkEdgeFromParent.java
package jjtraveler.graph
public jjtraveler.graph.MkEdgeFromParent extends jjtraveler.VoidVisitor {
	jjtraveler.Visitable parent
	jjtraveler.graph.Graph graph
	public void <init> (jjtraveler.Visitable, jjtraveler.graph.Graph) 
		jjtraveler.Visitable parent
		jjtraveler.graph.Graph graph
	public void voidVisit (jjtraveler.Visitable) 
		jjtraveler.Visitable kid
}

IsTree.java
package jjtraveler.graph
public jjtraveler.graph.IsTree extends jjtraveler.TopDown {
	public void <init> () 
}

EdgesGraphTest.java
package jjtraveler.graph
public jjtraveler.graph.EdgesGraphTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testToDot () 
		jjtraveler.graph.Graph g
		String expected
	public void testToRSF () 
		jjtraveler.graph.Graph g
		String expected
}

WhileNotVisited.java
package jjtraveler.graph
public jjtraveler.graph.WhileNotVisited extends jjtraveler.DoWhileSuccess {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor action
}

NotVisited.java
package jjtraveler.graph
public jjtraveler.graph.NotVisited extends jjtraveler.VoidVisitor {
	java.util.Set visited
	public void <init> () 
	public void voidVisit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
	public java.util.Collection getVisited () 
}

IsDag.java
package jjtraveler.graph
public jjtraveler.graph.IsDag extends jjtraveler.VoidVisitor {
	java.util.Collection visited
	public void <init> (java.util.Collection) 
		java.util.Collection visited
	public void <init> () 
	public void voidVisit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
		jjtraveler.graph.Visited v
		java.util.Collection c
}

ASTToGraph.java
package jjtraveler.graph
public jjtraveler.graph.ASTToGraph extends jjtraveler.TopDown {
	public void <init> (jjtraveler.graph.Graph) 
		jjtraveler.graph.Graph graph
}

ToGraph.java
package jjtraveler.graph
public jjtraveler.graph.ToGraph extends jjtraveler.TopDownUntil {
	public void <init> (jjtraveler.graph.Graph, jjtraveler.Visitor) 
		jjtraveler.graph.Graph graph
		jjtraveler.Visitor isNode
		jjtraveler.Visitor nodeAction
}

TestAll.java
package jjtraveler.graph
public jjtraveler.graph.TestAll extends junit.framework.TestCase {
	static Class class$0
	static Class class$1
	static Class class$2
	static Class class$3
	static Class class$4
	static Class class$5
	public void <init> (java.lang.String) 
		String test
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
}

EdgesGraph.java
package jjtraveler.graph
 jjtraveler.graph.EdgesGraph$Edge extends java.lang.Object implements java.lang.Comparable  {
	jjtraveler.Visitable source
	jjtraveler.Visitable target
	final jjtraveler.graph.EdgesGraph this$0
	public void <init> (jjtraveler.graph.EdgesGraph, jjtraveler.Visitable, jjtraveler.Visitable) 
		jjtraveler.Visitable source
		jjtraveler.Visitable target
	public java.lang.String toDot () 
	public java.lang.String toRSF (java.lang.String) 
		String edgeType
	public boolean equals (java.lang.Object) 
		Object o
		boolean result
		jjtraveler.graph.EdgesGraph$Edge edge
	public int hashCode () 
	public int compareTo (java.lang.Object) 
		Object o
		jjtraveler.graph.EdgesGraph$Edge edge
}

EdgesGraph.java
package jjtraveler.graph
public jjtraveler.graph.EdgesGraph extends java.lang.Object implements jjtraveler.graph.Graph  {
	java.util.Collection edges
	public void <init> () 
	public void addEdge (jjtraveler.Visitable, jjtraveler.Visitable) 
		jjtraveler.Visitable from
		jjtraveler.Visitable to
		jjtraveler.graph.EdgesGraph$Edge edge
	public java.lang.String toDot (java.lang.String) 
		String name
		String result
		java.util.Iterator edgeIterator
		jjtraveler.graph.EdgesGraph$Edge edge
	public java.lang.String toRSF () 
	public java.lang.String toRSF (java.lang.String) 
		String defaultEdgeType
		String result
		java.util.Iterator edgeIterator
		jjtraveler.graph.EdgesGraph$Edge edge
	public boolean equals (java.lang.Object) 
		Object o
		boolean result
		jjtraveler.graph.EdgesGraph g
	public int hashCode () 
		int result
		java.util.Iterator edgeIterator
		jjtraveler.graph.EdgesGraph$Edge edge
}

VisitedTest.java
package jjtraveler.graph
public jjtraveler.graph.VisitedTest extends jjtraveler.VisitorTestCase {
	static Class class$0
	public void testSingleVisit () 
		jjtraveler.Visitor v
		jjtraveler.Visitable result
		jjtraveler.VisitFailure vf
	public void testDoubleVisit ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor v
		jjtraveler.Visitable result
		jjtraveler.VisitFailure vf
	public void <init> (java.lang.String) 
		String test
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
}

Visited.java
package jjtraveler.graph
public jjtraveler.graph.Visited extends jjtraveler.VoidVisitor {
	java.util.Set visited
	public void <init> () 
	public void <init> (java.util.Collection) 
		java.util.Collection visited
	public void voidVisit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
	public java.util.Collection getVisited () 
}

ToGraphTest.java
package jjtraveler.graph
public jjtraveler.graph.ToGraphTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testASTToGraph ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		jjtraveler.Visitor v
		jjtraveler.graph.EdgesGraph expected
	public void testToGraphIdentity ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		jjtraveler.Visitor v
		jjtraveler.graph.EdgesGraph expected
	public void testToGraphFail ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		jjtraveler.Visitor v
		jjtraveler.graph.EdgesGraph expected
	public void testToGraphNoInternals ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		jjtraveler.Visitor select
		jjtraveler.Visitor v
		jjtraveler.graph.EdgesGraph expected
	public void testToGraphNoRoot ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		jjtraveler.Visitor select
		jjtraveler.Visitor v
		jjtraveler.Logger expectedLogger
		jjtraveler.graph.EdgesGraph expected
	public void testToGraphNoLeaves ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		java.util.Set leaves
		jjtraveler.Visitor select
		jjtraveler.Visitor v
		jjtraveler.Logger expectedLogger
		jjtraveler.graph.EdgesGraph expected
	public void testMkEdgeFromParent ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		jjtraveler.Visitor v
		jjtraveler.graph.EdgesGraph expectedGraph
	public void testMkEdgesToKids ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		jjtraveler.Visitor v
		jjtraveler.graph.EdgesGraph expectedGraph
	public void testMkEdgesToKidsSelective ()  throws jjtraveler.VisitFailure 
		jjtraveler.graph.EdgesGraph g
		jjtraveler.Visitor v
		jjtraveler.graph.EdgesGraph expectedGraph
}

PureFactory.java
package aterm.pure
 aterm.pure.ATermReader extends java.lang.Object {
	private static final int INITIAL_TABLE_SIZE
	private static final int TABLE_INCREMENT
	private java.io.Reader reader
	private int last_char
	private int pos
	private int nr_terms
	private aterm.ATerm[] table
	public void <init> (java.io.Reader) 
		java.io.Reader reader
	public void initializeSharing () 
	public void storeNextTerm (aterm.ATerm, int) 
		aterm.ATerm t
		int size
		aterm.ATerm[] new_table
	public aterm.ATerm getTerm (int) 
		int index
	public int read ()  throws java.io.IOException 
	public int readSkippingWS ()  throws java.io.IOException 
	public int skipWS ()  throws java.io.IOException 
	public int readOct ()  throws java.io.IOException 
		int val
	public int getLastChar () 
	public int getPosition () 
}

PureFactory.java
package aterm.pure
 aterm.pure.HashedWeakRef extends java.lang.ref.WeakReference {
	protected aterm.pure.HashedWeakRef next
	public void <init> (java.lang.Object, aterm.pure.HashedWeakRef) 
		Object object
		aterm.pure.HashedWeakRef next
}

PureFactory.java
package aterm.pure
public aterm.pure.PureFactory extends shared.SharedObjectFactory implements aterm.ATermFactory  {
	private static int DEFAULT_TERM_TABLE_SIZE
	private aterm.pure.ATermListImpl protoList
	private aterm.pure.ATermApplImpl protoAppl
	private aterm.pure.ATermIntImpl protoInt
	private aterm.pure.ATermRealImpl protoReal
	private aterm.pure.ATermBlobImpl protoBlob
	private aterm.pure.ATermPlaceholderImpl protoPlaceholder
	private aterm.pure.AFunImpl protoAFun
	private aterm.ATermList empty
	private static aterm.ATerm[] array0
	static void <clinit> () 
	static boolean isBase64 (int) 
		int c
	public static int abbrevSize (int) 
		int abbrev
		int size
	public void <init> () 
	public void <init> (int) 
		int termTableSize
	public aterm.ATermInt makeInt (int) 
		int val
	public aterm.ATermReal makeReal (double) 
		double val
	public aterm.ATermList makeList () 
	public aterm.ATermList makeList (aterm.ATerm) 
		aterm.ATerm singleton
	public aterm.ATermList makeList (aterm.ATerm, aterm.ATermList) 
		aterm.ATerm first
		aterm.ATermList next
	public aterm.ATermPlaceholder makePlaceholder (aterm.ATerm) 
		aterm.ATerm type
	public aterm.ATermBlob makeBlob (byte[]) 
		byte[] data
	public aterm.AFun makeAFun (java.lang.String, int, boolean) 
		String name
		int arity
		boolean isQuoted
	public aterm.ATermInt makeInt (int, aterm.ATermList) 
		int value
		aterm.ATermList annos
	public aterm.ATermReal makeReal (double, aterm.ATermList) 
		double value
		aterm.ATermList annos
	private static int hashReal (aterm.ATermList, double) 
		aterm.ATermList annos
		double value
	public aterm.ATermPlaceholder makePlaceholder (aterm.ATerm, aterm.ATermList) 
		aterm.ATerm type
		aterm.ATermList annos
	private static int hashPlaceholder (aterm.ATermList, aterm.ATerm) 
		aterm.ATermList annos
		aterm.ATerm type
	public aterm.ATermBlob makeBlob (byte[], aterm.ATermList) 
		byte[] data
		aterm.ATermList annos
	private static int hashBlob (aterm.ATermList, byte[]) 
		aterm.ATermList annos
		byte[] data
	public aterm.ATermList makeList (aterm.ATerm, aterm.ATermList, aterm.ATermList) 
		aterm.ATerm first
		aterm.ATermList next
		aterm.ATermList annos
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm[]) 
		aterm.AFun fun
		aterm.ATerm[] args
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm[], aterm.ATermList) 
		aterm.AFun fun
		aterm.ATerm[] args
		aterm.ATermList annos
	public aterm.ATermAppl makeApplList (aterm.AFun, aterm.ATermList) 
		aterm.AFun fun
		aterm.ATermList list
	public aterm.ATermAppl makeApplList (aterm.AFun, aterm.ATermList, aterm.ATermList) 
		aterm.AFun fun
		aterm.ATermList list
		aterm.ATermList annos
		aterm.ATerm[] arg_array
		int i
	public aterm.ATermAppl makeAppl (aterm.AFun) 
		aterm.AFun fun
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm) 
		aterm.AFun fun
		aterm.ATerm arg
		aterm.ATerm[] argarray1
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm) 
		aterm.AFun fun
		aterm.ATerm arg1
		aterm.ATerm arg2
		aterm.ATerm[] argarray2
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
		aterm.AFun fun
		aterm.ATerm arg1
		aterm.ATerm arg2
		aterm.ATerm arg3
		aterm.ATerm[] argarray3
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
		aterm.AFun fun
		aterm.ATerm arg1
		aterm.ATerm arg2
		aterm.ATerm arg3
		aterm.ATerm arg4
		aterm.ATerm[] argarray4
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
		aterm.AFun fun
		aterm.ATerm arg1
		aterm.ATerm arg2
		aterm.ATerm arg3
		aterm.ATerm arg4
		aterm.ATerm arg5
		aterm.ATerm[] argarray5
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
		aterm.AFun fun
		aterm.ATerm arg1
		aterm.ATerm arg2
		aterm.ATerm arg3
		aterm.ATerm arg4
		aterm.ATerm arg5
		aterm.ATerm arg6
		aterm.ATerm[] args
	public aterm.ATermAppl makeAppl (aterm.AFun, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm, aterm.ATerm) 
		aterm.AFun fun
		aterm.ATerm arg1
		aterm.ATerm arg2
		aterm.ATerm arg3
		aterm.ATerm arg4
		aterm.ATerm arg5
		aterm.ATerm arg6
		aterm.ATerm arg7
		aterm.ATerm[] args
	public aterm.ATermList getEmpty () 
	private aterm.ATerm parseAbbrev (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
		aterm.ATerm result
		int abbrev
		int c
	private aterm.ATerm parseNumber (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
		StringBuffer str
		aterm.ATerm result
		aterm.ATerm result
		int val
		int val
		NumberFormatException e
		double val
		double val
		NumberFormatException e
	private java.lang.String parseId (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
		int c
		StringBuffer buf
	private java.lang.String parseString (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
		boolean escaped
		StringBuffer str
	private aterm.ATermList parseATerms (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
		aterm.ATerm[] terms
		aterm.ATermList result
		int i
	private aterm.ATerm[] parseATermsArray (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
		java.util.List list
		aterm.ATerm term
		aterm.ATerm[] array
		java.util.ListIterator iter
		int index
	private synchronized aterm.ATerm parseFromReader (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		aterm.ATerm result
		int c
		int c
		int c
		int c
		int c
		int c
		int start
		int end
		String funname
		String funname
		aterm.ATerm ph
		aterm.ATerm[] list
		aterm.ATerm[] list
		aterm.ATerm[] list
		aterm.ATermList annos
		aterm.ATermList annos
		aterm.ATerm anno
	public aterm.ATerm parse (java.lang.String) 
		String trm
		aterm.pure.ATermReader reader
		aterm.ATerm result
		java.io.IOException e
	public aterm.ATerm make (java.lang.String) 
		String trm
	public aterm.ATerm make (java.lang.String, java.util.List) 
		String pattern
		java.util.List args
	public aterm.ATerm make (java.lang.String, java.lang.Object) 
		String pattern
		Object arg1
		java.util.List args
	public aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object) 
		String pattern
		Object arg1
		Object arg2
		java.util.List args
	public aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object) 
		String pattern
		Object arg1
		Object arg2
		Object arg3
		java.util.List args
	public aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object) 
		String pattern
		Object arg1
		Object arg2
		Object arg3
		Object arg4
		java.util.List args
	public aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object) 
		String pattern
		Object arg1
		Object arg2
		Object arg3
		Object arg4
		Object arg5
		java.util.List args
	public aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object) 
		String pattern
		Object arg1
		Object arg2
		Object arg3
		Object arg4
		Object arg5
		Object arg6
		java.util.List args
	public aterm.ATerm make (java.lang.String, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object) 
		String pattern
		Object arg1
		Object arg2
		Object arg3
		Object arg4
		Object arg5
		Object arg6
		Object arg7
		java.util.List args
	public aterm.ATerm make (aterm.ATerm, java.util.List) 
		aterm.ATerm pattern
		java.util.List args
	aterm.ATerm parsePattern (java.lang.String)  throws aterm.ParseError 
		String pattern
	protected boolean isDeepEqual (aterm.pure.ATermImpl, aterm.ATerm) 
		aterm.pure.ATermImpl t1
		aterm.ATerm t2
	private aterm.ATerm readFromSharedTextFile (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
	private aterm.ATerm readFromTextFile (aterm.pure.ATermReader)  throws java.io.IOException 
		aterm.pure.ATermReader reader
	public aterm.ATerm readFromTextFile (java.io.InputStream)  throws java.io.IOException 
		java.io.InputStream stream
		aterm.pure.ATermReader reader
	public aterm.ATerm readFromSharedTextFile (java.io.InputStream)  throws java.io.IOException 
		java.io.InputStream stream
		aterm.pure.ATermReader reader
	public aterm.ATerm readFromBinaryFile (java.io.InputStream) 
		java.io.InputStream stream
	public aterm.ATerm readFromFile (java.io.InputStream)  throws java.io.IOException 
		java.io.InputStream stream
		aterm.pure.ATermReader reader
		int last_char
	public aterm.ATerm readFromFile (java.lang.String)  throws java.io.IOException 
		String file
	public aterm.ATerm importTerm (aterm.ATerm) 
		aterm.ATerm term
}

ATermPlaceholderImpl.java
package aterm.pure
 aterm.pure.ATermPlaceholderImpl extends aterm.pure.ATermImpl implements aterm.ATermPlaceholder  {
	aterm.ATerm type
	protected void <init> (aterm.pure.PureFactory) 
		aterm.pure.PureFactory factory
	public int getType () 
	protected void init (int, aterm.ATermList, aterm.ATerm) 
		int hashCode
		aterm.ATermList annos
		aterm.ATerm type
	public shared.SharedObject duplicate () 
		aterm.pure.ATermPlaceholderImpl clone
	public boolean equivalent (shared.SharedObject) 
		shared.SharedObject obj
		aterm.ATermPlaceholder peer
	public boolean match (aterm.ATerm, java.util.List) 
		aterm.ATerm pattern
		java.util.List list
		aterm.ATerm type
		aterm.ATermAppl appl
		aterm.AFun afun
	public aterm.ATerm make (java.util.List) 
		java.util.List args
		aterm.pure.PureFactory factory
		aterm.ATermAppl appl
		aterm.AFun fun
		String name
		aterm.ATerm t
		aterm.ATermList l
		Boolean b
		Integer i
		Double d
		aterm.ATerm type
		String str
		String str
		String str
		aterm.ATermList oldargs
		String newname
		aterm.ATermList newargs
		aterm.AFun newfun
	public aterm.ATerm getPlaceholder () 
	public aterm.ATerm setPlaceholder (aterm.ATerm) 
		aterm.ATerm newtype
	public aterm.ATerm setAnnotations (aterm.ATermList) 
		aterm.ATermList annos
	public void accept (aterm.Visitor)  throws jjtraveler.VisitFailure 
		aterm.Visitor v
	public int getNrSubTerms () 
	public aterm.ATerm getSubTerm (int) 
		int index
	public aterm.ATerm setSubTerm (int, aterm.ATerm) 
		int index
		aterm.ATerm t
}

ATermVisitableImpl.java
package aterm.pure
public abstract aterm.pure.ATermVisitableImpl extends java.lang.Object implements aterm.Visitable  {
	public void <init> () 
	public abstract int getNrSubTerms () 
	public abstract aterm.ATerm getSubTerm (int) 
	public abstract aterm.ATerm setSubTerm (int, aterm.ATerm) 
	public int getChildCount () 
	public jjtraveler.Visitable getChildAt (int) 
		int index
	public jjtraveler.Visitable setChildAt (int, jjtraveler.Visitable) 
		int index
		jjtraveler.Visitable v
}

ATermImpl.java
package aterm.pure
public abstract aterm.pure.ATermImpl extends aterm.pure.ATermVisitableImpl implements aterm.ATerm shared.SharedObjectWithID  {
	private aterm.ATermList annotations
	protected aterm.pure.PureFactory factory
	private int hashCode
	private int uniqueId
	protected void <init> (aterm.pure.PureFactory) 
		aterm.pure.PureFactory factory
	public int hashCode () 
	public abstract shared.SharedObject duplicate () 
	protected void setHashCode (int) 
		int hashcode
	protected void internSetAnnotations (aterm.ATermList) 
		aterm.ATermList annos
	protected void init (int, aterm.ATermList) 
		int hashCode
		aterm.ATermList annos
	public boolean equivalent (shared.SharedObject) 
		shared.SharedObject obj
		ClassCastException e
	public aterm.ATermFactory getFactory () 
	protected aterm.pure.PureFactory getPureFactory () 
	public aterm.ATerm setAnnotation (aterm.ATerm, aterm.ATerm) 
		aterm.ATerm label
		aterm.ATerm anno
		aterm.ATermList new_annos
		aterm.ATerm result
	public aterm.ATerm removeAnnotation (aterm.ATerm) 
		aterm.ATerm label
	public aterm.ATerm getAnnotation (aterm.ATerm) 
		aterm.ATerm label
	public aterm.ATerm removeAnnotations () 
	public aterm.ATermList getAnnotations () 
	public java.util.List match (java.lang.String)  throws aterm.ParseError 
		String pattern
	public java.util.List match (aterm.ATerm) 
		aterm.ATerm pattern
		java.util.List list
	public boolean isEqual (aterm.ATerm) 
		aterm.ATerm term
	public boolean equals (java.lang.Object) 
		Object obj
	boolean match (aterm.ATerm, java.util.List) 
		aterm.ATerm pattern
		java.util.List list
		aterm.ATerm type
		aterm.ATermAppl appl
		aterm.AFun afun
	public aterm.ATerm make (java.util.List) 
		java.util.List list
	public void writeToTextFile (aterm.pure.ATermWriter)  throws java.io.IOException 
		aterm.pure.ATermWriter writer
		jjtraveler.VisitFailure e
	public void writeToSharedTextFile (java.io.OutputStream)  throws java.io.IOException 
		java.io.OutputStream stream
		aterm.pure.ATermWriter writer
	public void writeToTextFile (java.io.OutputStream)  throws java.io.IOException 
		java.io.OutputStream stream
		aterm.pure.ATermWriter writer
	public java.lang.String toString () 
		java.io.ByteArrayOutputStream stream
		aterm.pure.ATermWriter writer
		java.io.IOException e
	public int getNrSubTerms () 
	public aterm.ATerm getSubTerm (int) 
		int index
	public aterm.ATerm setSubTerm (int, aterm.ATerm) 
		int index
		aterm.ATerm t
	public int getUniqueIdentifier () 
	public void setUniqueIdentifier (int) 
		int uniqueId
}

ATermBlobImpl.java
package aterm.pure
 aterm.pure.ATermBlobImpl extends aterm.pure.ATermImpl implements aterm.ATermBlob  {
	byte[] data
	protected void <init> (aterm.pure.PureFactory) 
		aterm.pure.PureFactory factory
	public int getType () 
	protected void init (int, aterm.ATermList, byte[]) 
		int hashCode
		aterm.ATermList annos
		byte[] data
	public shared.SharedObject duplicate () 
		aterm.pure.ATermBlobImpl clone
	public boolean equivalent (shared.SharedObject) 
		shared.SharedObject obj
		aterm.ATermBlob peer
	protected boolean match (aterm.ATerm, java.util.List) 
		aterm.ATerm pattern
		java.util.List list
		aterm.ATerm type
		aterm.ATermAppl appl
		aterm.AFun afun
	public byte[] getBlobData () 
	public int getBlobSize () 
	public aterm.ATerm setAnnotations (aterm.ATermList) 
		aterm.ATermList annos
	public void accept (aterm.Visitor)  throws jjtraveler.VisitFailure 
		aterm.Visitor v
}

ATermListImpl.java
package aterm.pure
public aterm.pure.ATermListImpl extends aterm.pure.ATermImpl implements aterm.ATermList  {
	aterm.ATerm first
	aterm.ATermList next
	int length
	protected void <init> (aterm.pure.PureFactory) 
		aterm.pure.PureFactory factory
	public int getType () 
	protected void init (int, aterm.ATermList, aterm.ATerm, aterm.ATermList) 
		int hashCode
		aterm.ATermList annos
		aterm.ATerm first
		aterm.ATermList next
	protected void initHashCode (aterm.ATermList, aterm.ATerm, aterm.ATermList) 
		aterm.ATermList annos
		aterm.ATerm first
		aterm.ATermList next
	public shared.SharedObject duplicate () 
		aterm.pure.ATermListImpl clone
	public boolean equivalent (shared.SharedObject) 
		shared.SharedObject obj
		aterm.ATermList peer
	public aterm.ATermList insert (aterm.ATerm) 
		aterm.ATerm el
	public aterm.ATermList getEmpty () 
	public aterm.ATerm setAnnotations (aterm.ATermList) 
		aterm.ATermList annos
	protected boolean match (aterm.ATerm, java.util.List) 
		aterm.ATerm pattern
		java.util.List list
		aterm.ATermList l
		aterm.ATerm ph_type
		aterm.ATermAppl appl
		java.util.List submatches
	public aterm.ATerm make (java.util.List) 
		java.util.List args
		aterm.ATerm head
		aterm.ATermList tail
	private boolean isListPlaceHolder (aterm.ATerm) 
		aterm.ATerm pattern
		aterm.ATerm type
		aterm.ATermAppl appl
		aterm.AFun afun
	public boolean isEmpty () 
	public int getLength () 
	public aterm.ATerm getFirst () 
	public aterm.ATermList getNext () 
	public aterm.ATerm getLast () 
		aterm.ATermList cur
	public int indexOf (aterm.ATerm, int) 
		aterm.ATerm el
		int start
		int i
		aterm.ATermList cur
	public int lastIndexOf (aterm.ATerm, int) 
		aterm.ATerm el
		int start
		int result
	public aterm.ATermList concat (aterm.ATermList) 
		aterm.ATermList rhs
	public aterm.ATermList append (aterm.ATerm) 
		aterm.ATerm el
	public aterm.ATerm elementAt (int) 
		int index
		aterm.ATermList cur
		int i
	public aterm.ATermList remove (aterm.ATerm) 
		aterm.ATerm el
		aterm.ATermList result
	public aterm.ATermList removeElementAt (int) 
		int index
	public aterm.ATermList removeAll (aterm.ATerm) 
		aterm.ATerm el
		aterm.ATermList result
	public aterm.ATermList insertAt (aterm.ATerm, int) 
		aterm.ATerm el
		int i
	public aterm.ATermList getPrefix () 
		aterm.ATermList cur
		aterm.ATermList next
		java.util.List elems
		int i
	public aterm.ATermList getSlice (int, int) 
		int start
		int end
		int i
		int size
		aterm.ATermList result
		aterm.ATermList list
		java.util.List buffer
	public aterm.ATermList replace (aterm.ATerm, int) 
		aterm.ATerm el
		int i
		int lcv
		java.util.List buffer
		aterm.ATermList cur
	public aterm.ATermList reverse () 
		aterm.ATermList cur
		aterm.ATermList reverse
	public aterm.ATerm dictGet (aterm.ATerm) 
		aterm.ATerm key
		aterm.ATermList pair
	public aterm.ATermList dictPut (aterm.ATerm, aterm.ATerm) 
		aterm.ATerm key
		aterm.ATerm value
		aterm.ATermList pair
		aterm.ATermList pair
	public aterm.ATermList dictRemove (aterm.ATerm) 
		aterm.ATerm key
		aterm.ATermList pair
	public void accept (aterm.Visitor)  throws jjtraveler.VisitFailure 
		aterm.Visitor v
	public int getNrSubTerms () 
	public aterm.ATerm getSubTerm (int) 
		int index
	public aterm.ATerm setSubTerm (int, aterm.ATerm) 
		int index
		aterm.ATerm t
	private int hashFunction () 
		int a
		int b
		int c
}

AFunImpl.java
package aterm.pure
 aterm.pure.AFunImpl extends aterm.pure.ATermImpl implements aterm.AFun  {
	String name
	int arity
	boolean isQuoted
	protected void <init> (aterm.pure.PureFactory) 
		aterm.pure.PureFactory factory
	protected void init (int, java.lang.String, int, boolean) 
		int hashCode
		String name
		int arity
		boolean isQuoted
	protected void initHashCode (java.lang.String, int, boolean) 
		String name
		int arity
		boolean isQuoted
	public shared.SharedObject duplicate () 
		aterm.pure.AFunImpl clone
	public boolean equivalent (shared.SharedObject) 
		shared.SharedObject obj
		aterm.AFun peer
		ClassCastException e
	public int getType () 
	public java.lang.String getName () 
	public int getArity () 
	public boolean isQuoted () 
	public aterm.ATerm getAnnotation (aterm.ATerm) 
		aterm.ATerm key
	public aterm.ATermList getAnnotations () 
	public aterm.ATerm setAnnotations (aterm.ATermList) 
		aterm.ATermList annos
	public java.lang.String toString () 
		StringBuffer result
		int i
		char c
	public void accept (aterm.Visitor)  throws jjtraveler.VisitFailure 
		aterm.Visitor v
	private int hashFunction () 
		int a
		int b
		int c
		int len
	private int hashFunction2 () 
		int offset
		int count
		char[] source
		int a
		int b
		int c
		int len
		int k
}

ATermWriter.java
package aterm.pure
 aterm.pure.ATermWriter extends aterm.Visitor {
	private static char[] TOBASE64
	java.io.PrintStream stream
	int position
	java.util.Map table
	int next_abbrev
	static void <clinit> () 
	void <init> (java.io.OutputStream) 
		java.io.OutputStream stream
	public java.io.OutputStream getStream () 
	private void emitAbbrev (int) 
		int abbrev
		StringBuffer buf
		String txt
	public void visitChild (aterm.ATerm)  throws jjtraveler.VisitFailure 
		aterm.ATerm child
		Integer abbrev
		int start
		aterm.ATermList annos
		int length
		Integer key
	public void visitAppl (aterm.ATermAppl)  throws jjtraveler.VisitFailure 
		aterm.ATermAppl appl
		aterm.AFun fun
		String name
		int i
	public void visitList (aterm.ATermList)  throws jjtraveler.VisitFailure 
		aterm.ATermList list
	public void visitPlaceholder (aterm.ATermPlaceholder)  throws jjtraveler.VisitFailure 
		aterm.ATermPlaceholder ph
	public void visitInt (aterm.ATermInt)  throws jjtraveler.VisitFailure 
		aterm.ATermInt i
		String txt
	public void visitReal (aterm.ATermReal)  throws jjtraveler.VisitFailure 
		aterm.ATermReal r
		String txt
	public void visitBlob (aterm.ATermBlob)  throws jjtraveler.VisitFailure 
		aterm.ATermBlob blob
		String txt
	public void initializeSharing () 
}

ATermRealImpl.java
package aterm.pure
 aterm.pure.ATermRealImpl extends aterm.pure.ATermImpl implements aterm.ATermReal  {
	double value
	protected void <init> (aterm.pure.PureFactory) 
		aterm.pure.PureFactory factory
	public int getType () 
	protected void init (int, aterm.ATermList, double) 
		int hashCode
		aterm.ATermList annos
		double value
	public shared.SharedObject duplicate () 
		aterm.pure.ATermRealImpl clone
	public boolean equivalent (shared.SharedObject) 
		shared.SharedObject obj
		aterm.ATermReal peer
	protected boolean match (aterm.ATerm, java.util.List) 
		aterm.ATerm pattern
		java.util.List list
		aterm.ATerm type
		aterm.ATermAppl appl
		aterm.AFun afun
	public double getReal () 
	public aterm.ATerm setAnnotations (aterm.ATermList) 
		aterm.ATermList annos
	public void accept (aterm.Visitor)  throws jjtraveler.VisitFailure 
		aterm.Visitor v
}

ATermIntImpl.java
package aterm.pure
 aterm.pure.ATermIntImpl extends aterm.pure.ATermImpl implements aterm.ATermInt  {
	int value
	protected void <init> (aterm.pure.PureFactory) 
		aterm.pure.PureFactory factory
	public int getType () 
	protected void init (int, aterm.ATermList, int) 
		int hashCode
		aterm.ATermList annos
		int value
	protected void initHashCode (aterm.ATermList, int) 
		aterm.ATermList annos
		int value
	public shared.SharedObject duplicate () 
		aterm.pure.ATermIntImpl clone
	public boolean equivalent (shared.SharedObject) 
		shared.SharedObject obj
		aterm.ATermInt peer
	protected boolean match (aterm.ATerm, java.util.List) 
		aterm.ATerm pattern
		java.util.List list
		aterm.ATerm type
		aterm.ATermAppl appl
		aterm.AFun afun
	public int getInt () 
	public aterm.ATerm setAnnotations (aterm.ATermList) 
		aterm.ATermList annos
	public void accept (aterm.Visitor)  throws jjtraveler.VisitFailure 
		aterm.Visitor v
	private int hashFunction () 
		int a
		int b
		int c
}

ATermApplImpl.java
package aterm.pure
public aterm.pure.ATermApplImpl extends aterm.pure.ATermImpl implements aterm.ATermAppl  {
	aterm.AFun fun
	aterm.ATerm[] args
	protected void <init> (aterm.pure.PureFactory) 
		aterm.pure.PureFactory factory
	public int getType () 
	protected void init (int, aterm.ATermList, aterm.AFun, aterm.ATerm[]) 
		int hashCode
		aterm.ATermList annos
		aterm.AFun fun
		aterm.ATerm[] i_args
		int i
	protected void initHashCode (aterm.ATermList, aterm.AFun, aterm.ATerm[]) 
		aterm.ATermList annos
		aterm.AFun fun
		aterm.ATerm[] i_args
	public shared.SharedObject duplicate () 
		aterm.pure.ATermApplImpl clone
	protected aterm.ATermAppl make (aterm.AFun, aterm.ATerm[], aterm.ATermList) 
		aterm.AFun fun
		aterm.ATerm[] i_args
		aterm.ATermList annos
	protected aterm.ATermAppl make (aterm.AFun, aterm.ATerm[]) 
		aterm.AFun fun
		aterm.ATerm[] i_args
	public boolean equivalent (shared.SharedObject) 
		shared.SharedObject obj
		aterm.ATermAppl peer
		int i
	protected boolean match (aterm.ATerm, java.util.List) 
		aterm.ATerm pattern
		java.util.List list
		aterm.ATermAppl appl
		aterm.ATerm type
		aterm.ATermAppl appl
		aterm.AFun afun
	boolean matchArguments (aterm.ATerm[], java.util.List) 
		aterm.ATerm[] pattern_args
		java.util.List list
		int i
		aterm.ATerm arg
		aterm.ATerm pattern_arg
		aterm.ATerm ph_type
		aterm.ATermAppl appl
		aterm.ATermList result
		int j
		java.util.List submatches
	public aterm.ATerm[] getArgumentArray () 
	public aterm.AFun getAFun () 
	public aterm.ATermList getArguments () 
		aterm.ATermList result
		int i
	public aterm.ATerm getArgument (int) 
		int index
	public aterm.ATermAppl setArgument (aterm.ATerm, int) 
		aterm.ATerm newarg
		int index
		aterm.ATerm[] newargs
	public boolean isQuoted () 
	public java.lang.String getName () 
	public int getArity () 
	public aterm.ATerm make (java.util.List) 
		java.util.List args
		aterm.ATerm[] newargs
		int i
	public aterm.ATerm setAnnotations (aterm.ATermList) 
		aterm.ATermList annos
	public void accept (aterm.Visitor)  throws jjtraveler.VisitFailure 
		aterm.Visitor v
	public int getNrSubTerms () 
	public aterm.ATerm getSubTerm (int) 
		int index
	public aterm.ATerm setSubTerm (int, aterm.ATerm) 
		int index
		aterm.ATerm t
	protected java.lang.Object[] serialize () 
		int arity
		Object[] o
		int i
	protected int hashFunction () 
		int initval
		int a
		int b
		int c
		int len
	private static int staticDoobs_hashFuntion (java.lang.Object[]) 
		Object[] o
		int initval
		int a
		int b
		int c
		int len
		int k
}

SharedObjectFactory.java
package shared
 shared.SharedObjectFactory$Entry extends java.lang.ref.WeakReference {
	protected shared.SharedObjectFactory$Entry next
	protected int value
	public void <init> (java.lang.Object, shared.SharedObjectFactory$Entry) 
		Object object
		shared.SharedObjectFactory$Entry next
}

SharedObjectFactory.java
package shared
public shared.SharedObjectFactory extends java.lang.Object {
	protected int logSize
	protected int hashMask
	protected shared.SharedObjectFactory$Entry[] table
	private int[] tableSize
	private int minThreshold
	private int maxThreshold
	private float loadFactor
	private int[] usedId
	private int maxId
	private int minId
	private int indexId
	private int currentId
	private int nbCall
	private int nbFoundReference
	private int nbFoundExactReference
	private int nbAdd
	private int nbRemoved
	private int nbProjectionCollision
	private int nbHashingCollision
	private int nbSwapEntry
	private int nbIdRegeneration
	private boolean cleanupDone
	public void <init> () 
	public void <init> (int) 
		int initialLogSize
	private int hashSize (int) 
		int n
	private int hashSize () 
	private int hashMask () 
	private int hashKey (int) 
		int key
	protected void decreaseCapacity () 
		int oldLogSize
	protected void increaseCapacity () 
		int oldLogSize
	protected void rehash (int) 
		int oldCapacity
		shared.SharedObjectFactory$Entry[] oldMap
		int i
		shared.SharedObjectFactory$Entry old
		shared.SharedObjectFactory$Entry e
		int index
	public void cleanup () 
		shared.SharedObjectFactory$Entry[] tab
		int i
		shared.SharedObjectFactory$Entry e
		shared.SharedObjectFactory$Entry prev
	public java.lang.String toString () 
		shared.SharedObjectFactory$Entry[] tab
		String s
		double repartition
		double n
		double m
		int idx
		double bj
		double bestRepartition
		int emptyEntry
		int usedSlot
		int idx
		shared.SharedObjectFactory$Entry e
	public shared.SharedObject build (shared.SharedObject) 
		shared.SharedObject prototype
		shared.SharedObject foundObj
		shared.SharedObject foundObj
		shared.SharedObjectFactory$Entry[] tab
		int hash
		int index
		shared.SharedObjectFactory$Entry e
		shared.SharedObjectFactory$Entry prev
		int count
	private int getFreshId () 
	private void regenerate () 
		java.util.ArrayList list
		int i
		shared.SharedObjectFactory$Entry e
		int newSize
		int i
}

HashFunctions.java
package shared
public shared.HashFunctions extends java.lang.Object {
	public void <init> () 
	public static int oneAtATime (java.lang.Object[]) 
		Object[] o
		int hash
		int i
	public static int simple (java.lang.Object[]) 
		Object[] o
		int hash
		int i
	public static int cwi (java.lang.Object[]) 
		Object[] o
		int hash
		int i
	public static int doobs (java.lang.Object[]) 
		Object[] o
		int initval
		int a
		int b
		int c
		int len
		int k
	public static int doobs (java.lang.String, int) 
		String s
		int c
		int offset
		int count
		char[] source
		int a
		int b
		int len
		int k
	public static int mix (int, int, int) 
		int a
		int b
		int c
}

SharedObjectWithID.java
package shared
public abstract shared.SharedObjectWithID extends java.lang.Object implements shared.SharedObject  {
	public abstract int getUniqueIdentifier () 
	public abstract void setUniqueIdentifier (int) 
}

SharedObject.java
package shared
public abstract shared.SharedObject extends java.lang.Object {
	public abstract shared.SharedObject duplicate () 
	public abstract boolean equivalent (shared.SharedObject) 
	public abstract int hashCode () 
}

StateVisitor.java
package jjtraveler
public abstract jjtraveler.StateVisitor extends java.lang.Object implements jjtraveler.Visitor  {
	public abstract java.lang.Object getState () 
	public abstract void setState (java.lang.Object) 
}

SpineBottomUp.java
package jjtraveler
public jjtraveler.SpineBottomUp extends jjtraveler.Sequence {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

SpineTopDownTest.java
package jjtraveler
public jjtraveler.SpineTopDownTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testSpineTopDownAtInnerNode ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor stop
		jjtraveler.SpineTopDown spineTopDown
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testSpineTopDownAtLeaf ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor stop
		jjtraveler.SpineTopDown spineTopDown
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testSpineTopDownOnlySuccess ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor dontStop
		jjtraveler.SpineTopDown spineTopDown
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testSpineTopDownFailAtTop () 
		jjtraveler.Visitor stop
		jjtraveler.SpineTopDown spineTopDown
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
	public void testSpineTopDownFailAtInners () 
		jjtraveler.Visitor stop
		jjtraveler.SpineTopDown spineTopDown
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
}

SpineTopDown.java
package jjtraveler
public jjtraveler.SpineTopDown extends jjtraveler.Sequence {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

Collector.java
package jjtraveler
public abstract jjtraveler.Collector extends java.lang.Object implements jjtraveler.Visitor  {
	public abstract java.util.Collection getCollection () 
}

TopDown.java
package jjtraveler
public jjtraveler.TopDown extends jjtraveler.Sequence {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public jjtraveler.TopDown make (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

TestAll.java
package jjtraveler
public jjtraveler.TestAll extends junit.framework.TestCase {
	static Class class$0
	static Class class$1
	static Class class$2
	static Class class$3
	static Class class$4
	static Class class$5
	static Class class$6
	static Class class$7
	static Class class$8
	static Class class$9
	static Class class$10
	static Class class$11
	static Class class$12
	static Class class$13
	static Class class$14
	static Class class$15
	static Class class$16
	static Class class$17
	static Class class$18
	public void <init> (java.lang.String) 
		String test
	public static junit.framework.Test suite () 
		junit.framework.TestSuite suite
	public static void main (java.lang.String[]) 
		String[] argv
}

DoWhileSuccessTest.java
package jjtraveler
public jjtraveler.DoWhileSuccessTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testDoWhileSuccess ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor condition
		jjtraveler.Visitor action
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testTopDownUntil ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor stopAt
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testTopDownUntilAtBorder ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor stopAt
		jjtraveler.Logger expected
		jjtraveler.Visitor borderAction
		jjtraveler.Visitable nodeReturned
}

DefinedCombinator.java
package jjtraveler
public abstract jjtraveler.DefinedCombinator extends java.lang.Object implements jjtraveler.Visitor  {
	protected jjtraveler.Visitor rhs
	public void <init> () 
	protected void setDefinition (jjtraveler.Visitor) 
		jjtraveler.Visitor definition
	protected jjtraveler.Visitor getDefinition () 
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
}

AllTest.java
package jjtraveler
public jjtraveler.AllTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testAll () 
		jjtraveler.Identity id
		jjtraveler.All all
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
}

BottomUp.java
package jjtraveler
public jjtraveler.BottomUp extends jjtraveler.Sequence {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

BreadthFirst.java
package jjtraveler
public jjtraveler.BreadthFirst extends java.lang.Object {
	java.util.LinkedList pending
	jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor, java.util.Collection) 
		jjtraveler.Visitor v
		java.util.Collection c
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
		jjtraveler.Visitable result
		int childCount
		int i
		jjtraveler.Visitable next
}

Descendant.java
package jjtraveler
public jjtraveler.Descendant extends jjtraveler.DefinedCombinator {
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor condition
		jjtraveler.Visitor action
}

VisitorTestCase.java
package jjtraveler
public abstract jjtraveler.VisitorTestCase extends junit.framework.TestCase {
	protected jjtraveler.Node n0
	protected jjtraveler.Node n1
	protected jjtraveler.Node n11
	protected jjtraveler.Node n12
	protected jjtraveler.Node n2
	protected jjtraveler.Node rootOfDiamond
	protected jjtraveler.Node rootOfCircle
	public jjtraveler.Logger logger
	public jjtraveler.Node buildTree () 
	void buildDiamond () 
		jjtraveler.Node sink
	void buildCircle () 
		jjtraveler.Node node
	protected void setUp () 
	public jjtraveler.LogVisitor logVisitor (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public void <init> (java.lang.String) 
		String name
}

Fail.java
package jjtraveler
public jjtraveler.Fail extends java.lang.Object implements jjtraveler.Visitor  {
	private String message
	public void <init> () 
	public void <init> (java.lang.String) 
		String message
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
}

TimeLogVisitorTest.java
package jjtraveler
public jjtraveler.TimeLogVisitorTest$Sleep extends java.lang.Object implements jjtraveler.Visitor  {
	int sleepTime
	public void <init> (int) 
		int i
	public jjtraveler.Visitable visit (jjtraveler.Visitable) 
		jjtraveler.Visitable x
}

TimeLogVisitorTest.java
package jjtraveler
public jjtraveler.TimeLogVisitorTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testVisitorTiming ()  throws java.lang.InterruptedException jjtraveler.VisitFailure 
		jjtraveler.Logger l
		jjtraveler.TimeLogVisitor tlv
}

OneTest.java
package jjtraveler
public jjtraveler.OneTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testOne () 
		jjtraveler.Identity id
		jjtraveler.One one
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
	public void testOneLeaf () 
		jjtraveler.Identity id
		jjtraveler.One one
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
}

All.java
package jjtraveler
public jjtraveler.All extends java.lang.Object implements jjtraveler.Visitor  {
	public jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
		int childCount
		jjtraveler.Visitable result
		int i
	public jjtraveler.All make (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	protected void setArgumentTo (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

OnceBottomUp.java
package jjtraveler
public jjtraveler.OnceBottomUp extends jjtraveler.Choice {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

FailAtNodes.java
package jjtraveler
public jjtraveler.FailAtNodes extends java.lang.Object implements jjtraveler.Visitor  {
	java.util.Set visitables
	public void <init> (java.util.Collection) 
		java.util.Collection visitables
	public void <init> (jjtraveler.Visitable) 
		jjtraveler.Visitable n
	public void <init> (jjtraveler.Visitable, jjtraveler.Visitable) 
		jjtraveler.Visitable n1
		jjtraveler.Visitable n2
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
}

Choice.java
package jjtraveler
public jjtraveler.Choice extends java.lang.Object implements jjtraveler.Visitor  {
	jjtraveler.Visitor first
	jjtraveler.Visitor then
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor first
		jjtraveler.Visitor then
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable visitable
		jjtraveler.VisitFailure f
	protected void setFirst (jjtraveler.Visitor) 
		jjtraveler.Visitor first
	protected void setThen (jjtraveler.Visitor) 
		jjtraveler.Visitor then
}

Try.java
package jjtraveler
public jjtraveler.Try extends jjtraveler.Choice {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

TopDownUntil.java
package jjtraveler
public jjtraveler.TopDownUntil extends jjtraveler.Choice {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor v
		jjtraveler.Visitor vFinally
	protected void setArgument (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

GuaranteeSuccess.java
package jjtraveler
public jjtraveler.GuaranteeSuccess extends java.lang.Object implements jjtraveler.Visitor  {
	jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public jjtraveler.Visitable visit (jjtraveler.Visitable) 
		jjtraveler.Visitable visitable
		jjtraveler.VisitFailure f
}

DownUp.java
package jjtraveler
public jjtraveler.DownUp extends jjtraveler.Sequence {
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor down
		jjtraveler.Visitor up
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor down
		jjtraveler.Visitor stop
		jjtraveler.Visitor up
}

OnceBreadthFirst.java
package jjtraveler
public jjtraveler.OnceBreadthFirst extends java.lang.Object {
	java.util.LinkedList pending
	jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor, java.util.Collection) 
		jjtraveler.Visitor v
		java.util.Collection c
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
		int childCount
		int i
		jjtraveler.Visitable next
}

SucceedAtNodes.java
package jjtraveler
public jjtraveler.SucceedAtNodes extends java.lang.Object implements jjtraveler.Visitor  {
	jjtraveler.Visitor success
	public void <init> (jjtraveler.Visitable, jjtraveler.Visitable) 
		jjtraveler.Visitable n1
		jjtraveler.Visitable n2
	public void <init> (jjtraveler.Visitable) 
		jjtraveler.Visitable n
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
}

DescendantTest.java
package jjtraveler
public jjtraveler.DescendantTest extends jjtraveler.VisitorTestCase {
	jjtraveler.Visitor childVisitor
	jjtraveler.Visitor childAction
	jjtraveler.Visitor condition
	jjtraveler.Logger expected
	public void <init> (java.lang.String) 
		String name
	public void setUp () 
	public void testConditionFailsAtTop ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable nodeReturned
	public void testConditionSucceedsAtTop ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable nodeReturned
}

AllSpinesBottomUp.java
package jjtraveler
public jjtraveler.AllSpinesBottomUp extends jjtraveler.DefinedCombinator {
	jjtraveler.Visitor goDown
	jjtraveler.Visitor successNode
	jjtraveler.Visitor action
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor goDown
		jjtraveler.Visitor successNode
		jjtraveler.Visitor action
}

LoggerTest.java
package jjtraveler
public jjtraveler.LoggerTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testEventTiming ()  throws java.lang.InterruptedException 
		jjtraveler.Logger l
}

CollectTest.java
package jjtraveler
public jjtraveler.CollectTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testCollectTopDown () 
		java.util.Collection c
		java.util.Collection expected
	public void testCollectAll () 
		java.util.Collection c
		java.util.Collection expected
}

DefUse.java
package jjtraveler
public jjtraveler.DefUse extends jjtraveler.TopDown {
	jjtraveler.Collector use
	jjtraveler.Collector def
	public void <init> (jjtraveler.Collector, jjtraveler.Collector) 
		jjtraveler.Collector use
		jjtraveler.Collector def
	public java.util.Collection getUnused () 
		java.util.HashSet result
	public java.util.Collection getUndefined () 
		java.util.HashSet result
}

SpineBottomUpTest.java
package jjtraveler
public jjtraveler.SpineBottomUpTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testSpineBottomUpAtInnerNode ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor stop
		jjtraveler.SpineBottomUp spineBottomUp
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testSpineBottomUpAtLeaf ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor stop
		jjtraveler.SpineBottomUp spineBottomUp
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testSpineBottomUpOnlySuccess ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor dontStop
		jjtraveler.SpineBottomUp spineBottomUp
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testSpineBottomUpFailAtTop () 
		jjtraveler.Visitor stop
		jjtraveler.SpineBottomUp spineBottomUp
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
	public void testSpineBottomUpFailAtInners () 
		jjtraveler.Visitor stop
		jjtraveler.SpineBottomUp spineBottomUp
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
}

Child.java
package jjtraveler
public jjtraveler.Child extends jjtraveler.DefinedCombinator {
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor condition
		jjtraveler.Visitor childAction
}

Node.java
package jjtraveler
public jjtraveler.Node extends java.lang.Object implements jjtraveler.Visitable  {
	jjtraveler.Node[] kids
	int nodeID
	static int nodeCounter
	static void <clinit> () 
	public static jjtraveler.Node factory (jjtraveler.Node[]) 
		jjtraveler.Node[] kids
		jjtraveler.Node result
	public static void reset () 
	public void <init> (jjtraveler.Node[], int) 
		jjtraveler.Node[] kids
		int nodeID
	public void <init> () 
	public void <init> (jjtraveler.Node[]) 
		jjtraveler.Node[] kids
	public jjtraveler.Node accept (jjtraveler.NodeVisitor)  throws jjtraveler.VisitFailure 
		jjtraveler.NodeVisitor v
	public int getChildCount () 
	public jjtraveler.Visitable getChildAt (int) 
		int i
	public jjtraveler.Visitable setChildAt (int, jjtraveler.Visitable) 
		int i
		jjtraveler.Visitable child
	public java.lang.String toString () 
}

OnceTopDownTest.java
package jjtraveler
public jjtraveler.OnceTopDownTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testOnceTopDownIsLeaf () 
		jjtraveler.Visitor isLeaf
		jjtraveler.OnceTopDown onceTopDown
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
	public void testOnceTopDownFail () 
		jjtraveler.Visitor f
		jjtraveler.OnceTopDown onceTopDown
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
}

Visitor.java
package jjtraveler
public abstract jjtraveler.Visitor extends java.lang.Object {
	public abstract jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
}

DoWhileSuccess.java
package jjtraveler
public jjtraveler.DoWhileSuccess extends jjtraveler.DefinedCombinator {
	private jjtraveler.Visitor action
	private jjtraveler.Visitor condition
	private jjtraveler.Visitor atBorder
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor condition
		jjtraveler.Visitor action
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor condition
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor condition
		jjtraveler.Visitor action
		jjtraveler.Visitor atBorder
	public static jjtraveler.DoWhileSuccess TopDownWhile (jjtraveler.Visitor) 
		jjtraveler.Visitor v1
	public static jjtraveler.DoWhileSuccess TopDownWhile (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor v1
		jjtraveler.Visitor v2
	public static jjtraveler.DoWhileSuccess TopDown (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public static jjtraveler.DoWhileSuccess TopDownUntil (jjtraveler.Visitor) 
		jjtraveler.Visitor v1
	static jjtraveler.DoWhileSuccess TopDownUntil (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor condition
		jjtraveler.Visitor borderAction
	protected jjtraveler.Visitor getDefinition () 
}

NestingDepthTest.java
package jjtraveler
public jjtraveler.NestingDepthTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testDepth2 ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor recognize
		jjtraveler.NestingDepth nd
	public void testDepth1 ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor recognize
		jjtraveler.NestingDepth nd
	public void testDepth11 ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor recognize
		jjtraveler.NestingDepth nd
	public void testNestingStopAt ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor recognize
		jjtraveler.Visitor goOnWhile
		jjtraveler.NestingDepth nd
}

FailAtNodesTest.java
package jjtraveler
public jjtraveler.FailAtNodesTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testFailAtSomeNode ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor v
		jjtraveler.VisitFailure vf
		jjtraveler.Logger expected
	public void testSucceedAtSomeNode ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor v
		jjtraveler.Logger expected
	public void testFailAtSomeNodes ()  throws jjtraveler.VisitFailure 
		java.util.Collection nodes
		jjtraveler.Visitor v
		jjtraveler.Logger expected
}

Some.java
package jjtraveler
public jjtraveler.Some extends java.lang.Object implements jjtraveler.Visitor  {
	public jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
		int childCount
		int successCount
		int i
}

Event.java
package jjtraveler
public jjtraveler.Event extends java.lang.Object {
	jjtraveler.Visitor visitor
	jjtraveler.Visitable node
	long timeStamp
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitable) 
		jjtraveler.Visitor v
		jjtraveler.Visitable n
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object o
		boolean result
		jjtraveler.Event e
	public int hashCode () 
	public long getTimeStamp () 
}

IfThenElseTest.java
package jjtraveler
public jjtraveler.IfThenElseTest extends jjtraveler.VisitorTestCase {
	jjtraveler.Identity idTrue
	jjtraveler.Identity idFalse
	jjtraveler.Visitable nodeReturned
	public void <init> (java.lang.String) 
		String test
	public void testFalse ()  throws jjtraveler.VisitFailure 
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testTrue ()  throws jjtraveler.VisitFailure 
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testTrueFailingThen ()  throws jjtraveler.VisitFailure 
		jjtraveler.Fail failingThen
		jjtraveler.Logger expected
		jjtraveler.VisitFailure vf
}

SuccessCounterTest.java
package jjtraveler
public jjtraveler.SuccessCounterTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testSuccessCounter ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor action
		jjtraveler.SuccessCounter sc
		jjtraveler.Visitable nodeReturned
}

VoidVisitor.java
package jjtraveler
public abstract jjtraveler.VoidVisitor extends java.lang.Object implements jjtraveler.Visitor  {
	public void <init> () 
	public final jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
	public abstract void voidVisit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
}

IfThenElse.java
package jjtraveler
public jjtraveler.IfThenElse extends java.lang.Object implements jjtraveler.Visitor  {
	jjtraveler.Visitor condition
	jjtraveler.Visitor trueCase
	jjtraveler.Visitor falseCase
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor c
		jjtraveler.Visitor t
		jjtraveler.Visitor f
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor c
		jjtraveler.Visitor t
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
		boolean success
		boolean success
		jjtraveler.Visitable result
		jjtraveler.Visitable result
		jjtraveler.VisitFailure vf
}

FailTest.java
package jjtraveler
public jjtraveler.FailTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testFail () 
		jjtraveler.VisitFailure vf
		jjtraveler.Logger expected
}

Identity.java
package jjtraveler
public jjtraveler.Identity extends java.lang.Object implements jjtraveler.Visitor  {
	public void <init> () 
	public jjtraveler.Visitable visit (jjtraveler.Visitable) 
		jjtraveler.Visitable x
}

SomeTest.java
package jjtraveler
public jjtraveler.SomeTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testSomeIdentity ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Some some
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testSomeAllFailures () 
		jjtraveler.Fail f
		jjtraveler.Some some
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
	public void testSomeOneFailure ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor v
		jjtraveler.Some some
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testSomeLeaf () 
		jjtraveler.Identity id
		jjtraveler.Some some
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
		jjtraveler.VisitFailure vf
}

IdentityTest.java
package jjtraveler
public jjtraveler.IdentityTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testIdentity ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
}

ChildTest.java
package jjtraveler
public jjtraveler.ChildTest extends jjtraveler.VisitorTestCase {
	jjtraveler.Visitor childVisitor
	jjtraveler.Visitor childAction
	jjtraveler.Visitor condition
	jjtraveler.Logger expected
	public void <init> (java.lang.String) 
		String name
	public void setUp () 
	public void testConditionFails ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable nodeReturned
	public void testConditionSucceeds ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable nodeReturned
}

VisitableList.java
package jjtraveler
public jjtraveler.VisitableList extends java.util.AbstractList implements jjtraveler.Visitable  {
	private java.util.List visitables
	public void <init> (java.util.List) 
		java.util.List visitables
	public void <init> (java.util.Collection) 
		java.util.Collection visitables
	public void <init> () 
	public java.lang.Object get (int) 
		int i
	public int size () 
	public java.lang.Object set (int, java.lang.Object) 
		int index
		Object element
	public void add (int, java.lang.Object) 
		int index
		Object element
	public boolean add (java.lang.Object) 
		Object element
	public java.lang.Object remove (int) 
		int index
	public int getChildCount () 
	public jjtraveler.Visitable getChildAt (int) 
		int i
	public jjtraveler.Visitable setChildAt (int, jjtraveler.Visitable) 
		int i
		jjtraveler.Visitable visitable
}

Visitable.java
package jjtraveler
public abstract jjtraveler.Visitable extends java.lang.Object {
	public abstract int getChildCount () 
	public abstract jjtraveler.Visitable getChildAt (int) 
	public abstract jjtraveler.Visitable setChildAt (int, jjtraveler.Visitable) 
}

One.java
package jjtraveler
public jjtraveler.One extends java.lang.Object implements jjtraveler.Visitor  {
	public jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
		int childCount
		int i
}

Logger.java
package jjtraveler
public jjtraveler.Logger extends java.lang.Object {
	java.util.Vector trace
	public void <init> () 
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitable) 
		jjtraveler.Visitor v
		jjtraveler.Visitable n
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitable[]) 
		jjtraveler.Visitor v
		jjtraveler.Visitable[] nodes
		int i
	public void log (jjtraveler.Event) 
		jjtraveler.Event e
	public java.lang.String toString () 
		String result
		java.util.Enumeration e
	public boolean equals (java.lang.Object) 
		Object o
	public int hashCode () 
	public long getElapsedTime () 
		long startTime
		long endTime
}

NodeVisitor.java
package jjtraveler
public abstract jjtraveler.NodeVisitor extends java.lang.Object implements jjtraveler.Visitor  {
	public void <init> () 
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
		jjtraveler.Visitable result
	public abstract jjtraveler.Node visitNode (jjtraveler.Node)  throws jjtraveler.VisitFailure 
}

Sequence.java
package jjtraveler
public jjtraveler.Sequence extends java.lang.Object implements jjtraveler.Visitor  {
	public jjtraveler.Visitor first
	public jjtraveler.Visitor then
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor first
		jjtraveler.Visitor then
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor v1
		jjtraveler.Visitor v2
		jjtraveler.Visitor v3
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable any
	protected void setArgumentAt (int, jjtraveler.Visitor) 
		int i
		jjtraveler.Visitor v
}

Collect.java
package jjtraveler
public jjtraveler.Collect extends java.lang.Object implements jjtraveler.Visitor  {
	private java.util.Collection collection
	private jjtraveler.Visitor visitor
	public void <init> (jjtraveler.Visitor, java.util.Collection) 
		jjtraveler.Visitor v
		java.util.Collection c
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public java.util.Collection getCollection () 
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
		jjtraveler.Visitable result
	public static jjtraveler.GuaranteeSuccess topdown (jjtraveler.Visitor, java.util.Collection) 
		jjtraveler.Visitor v
		java.util.Collection c
	public static jjtraveler.GuaranteeSuccess all (jjtraveler.Visitor, java.util.Collection) 
		jjtraveler.Visitor v
		java.util.Collection c
}

Backtrack.java
package jjtraveler
public jjtraveler.Backtrack extends java.lang.Object implements jjtraveler.Visitor  {
	jjtraveler.StateVisitor v
	public void <init> (jjtraveler.StateVisitor) 
		jjtraveler.StateVisitor v
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
		Object state
		jjtraveler.Visitable result
}

VisitFailure.java
package jjtraveler
public jjtraveler.VisitFailure extends java.lang.Exception {
	public void <init> () 
	public void <init> (java.lang.String) 
		String msg
}

LibraryTest.java
package jjtraveler
 jjtraveler.LibraryTest$1$Def extends jjtraveler.Identity implements jjtraveler.Collector  {
	final jjtraveler.LibraryTest this$0
	void <init> (jjtraveler.LibraryTest) 
	public java.util.Collection getCollection () 
		java.util.HashSet result
}

LibraryTest.java
package jjtraveler
 jjtraveler.LibraryTest$1$Increment extends java.lang.Object implements jjtraveler.StateVisitor  {
	Object localState
	public int state
	final jjtraveler.LibraryTest this$0
	void <init> (jjtraveler.LibraryTest) 
	public java.lang.Object getState () 
	public void setState (java.lang.Object) 
		Object o
	public jjtraveler.Visitable visit (jjtraveler.Visitable) 
		jjtraveler.Visitable x
}

LibraryTest.java
package jjtraveler
 jjtraveler.LibraryTest$1$Use extends jjtraveler.Identity implements jjtraveler.Collector  {
	final jjtraveler.LibraryTest this$0
	void <init> (jjtraveler.LibraryTest) 
	public java.util.Collection getCollection () 
		java.util.HashSet result
}

LibraryTest.java
package jjtraveler
public jjtraveler.LibraryTest extends junit.framework.TestCase {
	jjtraveler.Node n0
	jjtraveler.Node n1
	jjtraveler.Node n2
	jjtraveler.Node n3
	jjtraveler.Node n4
	jjtraveler.Logger logger
	public void <init> (java.lang.String) 
		String test
	protected void setUp () 
		jjtraveler.Node[] empty
	public void testSequence ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id1
		jjtraveler.Identity id2
		jjtraveler.Logger expected
		jjtraveler.Sequence ls
		jjtraveler.Visitable nodeReturned
	public void testLeftChoice ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Logger expected
		jjtraveler.Choice ch
		jjtraveler.Visitable nodeReturned
	public void testRightChoice ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Logger expected
		jjtraveler.Choice ch
		jjtraveler.Visitable nodeReturned
	public void testAll ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Logger expected
		jjtraveler.All all
		jjtraveler.Visitable nodeReturned
	public void testBottomUp ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Logger expected
		jjtraveler.BottomUp visitor
		jjtraveler.Visitable nodeReturned
	public void testTopDown ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Logger expected
		jjtraveler.Visitor visitor
		jjtraveler.Visitable nodeReturned
	public void testDownUp ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Logger expected
		jjtraveler.Visitor visitor
		jjtraveler.Visitable nodeReturned
	public void testNonStopDownUp ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity downId
		jjtraveler.Identity upId
		jjtraveler.Fail stop
		jjtraveler.Logger expected
		jjtraveler.Visitor visitor
		jjtraveler.Visitable nodeReturned
	public void testStopDownUp ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity downId
		jjtraveler.Identity upId
		jjtraveler.Identity stopId
		jjtraveler.Logger expected
		jjtraveler.Visitor visitor
		jjtraveler.Visitable nodeReturned
	public void testDefUse ()  throws jjtraveler.VisitFailure 
		jjtraveler.LibraryTest$1$Def def
		jjtraveler.LibraryTest$1$Use use
		jjtraveler.DefUse du
	public void testBacktrack ()  throws jjtraveler.VisitFailure 
		jjtraveler.LibraryTest$1$Increment i
		Object initialState
	public jjtraveler.LogVisitor logVisitor (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public void testBreadthFirst ()  throws jjtraveler.VisitFailure 
		jjtraveler.Identity id
		jjtraveler.Logger expected
		jjtraveler.BreadthFirst bf
		jjtraveler.Visitable resultNode
	public void testNotOnFailure ()  throws jjtraveler.VisitFailure 
		jjtraveler.Not not
		jjtraveler.Visitable resultNode
	public void testNotOnSuccess ()  throws jjtraveler.VisitFailure 
		jjtraveler.Not not
		jjtraveler.Visitable resultNode
		jjtraveler.VisitFailure f
}

BreadthFirstWhile.java
package jjtraveler
public jjtraveler.BreadthFirstWhile extends java.lang.Object {
	java.util.LinkedList pending
	jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor, java.util.Collection) 
		jjtraveler.Visitor v
		java.util.Collection c
	public jjtraveler.Visitable visit (jjtraveler.Visitable) 
		jjtraveler.Visitable x
		jjtraveler.Visitable result
		int childCount
		int i
		jjtraveler.Visitable next
}

SuccessCounter.java
package jjtraveler
public jjtraveler.SuccessCounter extends java.lang.Object implements jjtraveler.Visitor  {
	int success
	int failure
	jjtraveler.Visitor action
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public int getSuccesses () 
	public int getFailures () 
	public jjtraveler.Visitable visit (jjtraveler.Visitable) 
		jjtraveler.Visitable x
		jjtraveler.VisitFailure vf
}

TopDownUntilTest.java
package jjtraveler
public jjtraveler.TopDownUntilTest extends jjtraveler.VisitorTestCase {
	jjtraveler.Visitor stopAt
	jjtraveler.Logger expected
	public void <init> (java.lang.String) 
		String test
	public void setUp () 
	public void testTopDownUntil ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable nodeReturned
	public void testTopDownAtBorder ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor borderAction
		jjtraveler.Visitable nodeReturned
}

OnceTopDown.java
package jjtraveler
public jjtraveler.OnceTopDown extends jjtraveler.Choice {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
}

Not.java
package jjtraveler
public jjtraveler.Not extends java.lang.Object implements jjtraveler.Visitor  {
	jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
		jjtraveler.VisitFailure f
}

TimeLogVisitor.java
package jjtraveler
public jjtraveler.TimeLogVisitor extends jjtraveler.LogVisitor {
	long firstInvocationTimeStamp
	long lastReturnTimeStamp
	long consumedTime
	public void <init> (jjtraveler.Visitor, jjtraveler.Logger) 
		jjtraveler.Visitor v
		jjtraveler.Logger l
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable visitable
		long startTime
		jjtraveler.Visitable result
		long endTime
	public long getElapsedTime () 
	public long getConsumedTime () 
}

TopDownWhile.java
package jjtraveler
public jjtraveler.TopDownWhile extends jjtraveler.Choice {
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor v
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor v
		jjtraveler.Visitor vFinally
}

NestingDepth.java
package jjtraveler
public jjtraveler.NestingDepth extends java.lang.Object implements jjtraveler.Visitor java.lang.Cloneable  {
	jjtraveler.Visitor nestingRecognizer
	jjtraveler.Visitor goOnWhileSuccess
	int nestingLevel
	int maxNestingDepth
	public void <init> (jjtraveler.Visitor, jjtraveler.Visitor) 
		jjtraveler.Visitor nestingRecognizer
		jjtraveler.Visitor goOn
	public void <init> (jjtraveler.Visitor) 
		jjtraveler.Visitor nestingRecognizer
	private jjtraveler.NestingDepth restart () 
		jjtraveler.NestingDepth nextDepth
	public java.lang.Object clone () 
		jjtraveler.NestingDepth theClone
	private jjtraveler.NestingDepth apply (jjtraveler.Visitable) 
		jjtraveler.Visitable x
	public int getDepth () 
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable x
	protected boolean countingShouldContinue (jjtraveler.Visitable) 
		jjtraveler.Visitable x
		boolean goOn
		jjtraveler.VisitFailure stopNow
	protected boolean isNestingConstruct (jjtraveler.Visitable) 
		jjtraveler.Visitable x
		boolean isNesting
		jjtraveler.VisitFailure noNestingConstructFound
	private int max (int, int) 
		int i1
		int i2
}

AllSpinesBottomUpTest.java
package jjtraveler
public jjtraveler.AllSpinesBottomUpTest extends jjtraveler.VisitorTestCase {
	public void <init> (java.lang.String) 
		String test
	public void testn1Success ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor action
		jjtraveler.Visitor goDown
		jjtraveler.Visitor successNode
		jjtraveler.AllSpinesBottomUp asbu
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testn2Success ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor action
		jjtraveler.Visitor goDown
		jjtraveler.Visitor successNode
		jjtraveler.AllSpinesBottomUp asbu
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testFailAtn1 ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor action
		jjtraveler.Visitor goDown
		jjtraveler.Visitor successNode
		jjtraveler.AllSpinesBottomUp asbu
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
	public void testMultiplePaths ()  throws jjtraveler.VisitFailure 
		jjtraveler.Visitor action
		jjtraveler.Visitor goDown
		jjtraveler.Visitor successNode
		jjtraveler.AllSpinesBottomUp asbu
		jjtraveler.Logger expected
		jjtraveler.Visitable nodeReturned
}

LogVisitor.java
package jjtraveler
public jjtraveler.LogVisitor extends java.lang.Object implements jjtraveler.Visitor  {
	protected jjtraveler.Visitor visitor
	protected jjtraveler.Logger logger
	public void <init> (jjtraveler.Visitor, jjtraveler.Logger) 
		jjtraveler.Visitor v
		jjtraveler.Logger l
	public jjtraveler.Visitable visit (jjtraveler.Visitable)  throws jjtraveler.VisitFailure 
		jjtraveler.Visitable visitable
}

Indexes created Tue Jul 24 14:28:13 CEST 2018