Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jml4.rac.runtime
Interface JMLInternalPostconditionError

All Known Implementing Classes:
JMLInternalExceptionalPostconditionError, JMLInternalNormalPostconditionError
public interface JMLInternalPostconditionError

A mark interface for JML internal postcondition errors.

Version:
$Revision: 1.2 $
Author:
Yoonsik Cheon

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD