Class documentation
<---- javadoc command: ---->
/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Home/bin/javadoc
-author
-version
-nodeprecated
-package
-source
1.5
-noindex
-notree
-nohelp
-nonavbar
-d
/Users/teacher/Desktop/Bugs/doc
-classpath
/Applications/BlueJ 2.2.1 2/BlueJ.app/Contents/Resources/Java/bluejcore.jar:/Applications/BlueJ 2.2.1 2/BlueJ.app/Contents/Resources/Java/junit.jar:/Applications/BlueJ 2.2.1 2/gridworld.jar:/Users/teacher/Desktop/Bugs
/Users/teacher/Desktop/Bugs/Bug.java
<---- end of javadoc command ---->
Loading source file /Users/teacher/Desktop/Bugs/Bug.java...
Constructing Javadoc information...
Standard Doclet version 1.5.0_07
Building tree for all the packages and classes...
Generating /Users/teacher/Desktop/Bugs/doc/Bug.html...
Generating /Users/teacher/Desktop/Bugs/doc/package-frame.html...
Generating /Users/teacher/Desktop/Bugs/doc/package-summary.html...
Generating /Users/teacher/Desktop/Bugs/doc/constant-values.html...
Building index for all the packages and classes...
Building index for all classes...
Generating /Users/teacher/Desktop/Bugs/doc/allclasses-frame.html...
Generating /Users/teacher/Desktop/Bugs/doc/allclasses-noframe.html...
Generating /Users/teacher/Desktop/Bugs/doc/index.html...
Generating /Users/teacher/Desktop/Bugs/doc/stylesheet.css...
