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 JMLExitPostconditionError

All Known Implementing Classes:
JMLExitExceptionalPostconditionError, JMLExitNormalPostconditionError
public interface JMLExitPostconditionError

A mark interface for JML exit 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