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

jist.runtime
Interface JistAPI.DoNotRewrite

All Known Implementing Classes:
donotrewrite
Enclosing class:
JistAPI
public static interface JistAPI.DoNotRewrite

Do not rewrite tagged class.

Since:
JIST1.0.3
Author:
Rimon Barr <barr+jist@cs.cornell.edu>

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