|Eric Bodden||Disclaimer||Last modified: 2006-03-03 22:05 UTC|
MOVES: Software Modeling and Verification
|Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Help-doc|
How This API Document Is Organized
Each documented package, class and interface has its own Use page. This page describes what packages, classes, methods, constructors and fields use any part of the given class or package. Given a class or interface A, its Use page includes subclasses of A, fields declared as A, methods that return A, and methods and constructors with parameters of type A. You can access this page by first going to the package, class or interface, then clicking on the "Use" link in the navigation bar.
Tree (Class Hierarchy)
There is a Class Hierarchy page for all packages, plus a hierarchy for each package. Each hierarchy page contains a list of classes and a list of interfaces. The classes are organized by inheritance structure starting with
The Deprecated API page lists all of the API that have been deprecated. A deprecated API is not recommended for use, generally due to improvements, and a replacement API is usually given. Deprecated APIs may be removed in future implementations.
The Index contains an alphabetic list of all classes, interfaces, constructors, methods, and fields.
Prev/NextThese links take you to the next or previous class, interface, package, or related page.
Frames/No FramesThese links show and hide the HTML frames. All pages are available with or without frames.
Serialized FormEach serializable or externalizable class has a description of its serialization fields and methods. This information is of interest to re-implementors, not to developers using the API. While there is no link in the navigation bar, you can get to this information by going to any serialized class and clicking "Serialized Form" in the "See also" section of the class description.
Constant Field ValuesThe Constant Field Values page lists the static final fields and their values.
This help file applies to API documentation generated using the standard doclet.
Eric Bodden, RWTH Aachen University, 2005.