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

jml2b.formula
Interface IModifiesField

All Known Implementing Classes:
AMethod, Method, StLoops, StSpecBlock
public interface IModifiesField

Author:
L. Burdy

Method Summary
 java.lang.String getNameForModifies()
           
 

Method Detail

getNameForModifies

public java.lang.String getNameForModifies()
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD