C
Compile-Time JML Tag Support

OracleJSP 1.0.0.6.x releases, because they were JSP 1.0 implementations, could support JML tags only as Oracle-specific extensions. (The tag library framework was not added to the JavaServer Pages specification until JSP 1.1.) For those releases, JML tag processing was built into the OracleJSP translator. This is referred to as "compile-time JML support".

Release 1.1.0.0.0 continues to support the compile-time JML implementation; however, it is generally advisable to use the runtime implementation, documented in Chapter 7, "JSP Tag Libraries and the Oracle JML Tags", wherever possible.

This appendix discusses features of the compile-time implementation that are not in common with the runtime implementation. This includes the following topics:

• JML Compile-Time Versus Runtime Considerations and Logistics

• JML Compile-Time/1.0.0.6.x Syntax Support

• JML Compile-Time/1.0.0.6.x Tag Support

---