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.structure.java
Interface IJmlFile

All Known Implementing Classes:
JmlFile, JmlFile
public interface IJmlFile

Author:
L. Burdy

Method Summary
 java.lang.String[] getLangNames()
           
 

Method Detail

getLangNames

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