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.util
Class UpdatedJmlFile

java.lang.Object
  extended byjml2b.util.UpdatedJmlFile
public class UpdatedJmlFile
extends java.lang.Object

Author:
L. Burdy

Method Summary
 java.io.File getJf()
           
 java.io.File getNewF()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getJf

public java.io.File getJf()
Returns:

getNewF

public java.io.File getNewF()
Returns:
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD