The Javadoc for Eclipse OCL 4.0.0 (Juno) APIs may be found by following the OCL 4.0.0 API Reference link.