The package jaxt.java.lang contains JAxT specifications for java.lang classes and interfaces based on the Java 5.0 API.

For each class and interface X the axioms are separated into

Only data-oriented axioms have been formulated. Thus thread-related requirements have not been captured.

@author Magne Haveraaen & Karl Trygve Kalleberg, 2007