jml2b.util
Class JmlPathJar

java.lang.Object
  extended byjml2b.util.JmlPathEntry
      extended byjml2b.util.JmlPathJar

public class JmlPathJar
extends JmlPathEntry

Author:
L. Burdy

Constructor Summary
JmlPathJar(java.lang.String s)
           
 
Method Summary
 boolean checkDirectory(java.lang.String dir_name)
           
 JmlFileEntry checkFile(java.io.File file)
           
 
Methods inherited from class jml2b.util.JmlPathEntry
factory
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JmlPathJar

public JmlPathJar(java.lang.String s)
Method Detail

checkDirectory

public boolean checkDirectory(java.lang.String dir_name)
Specified by:
checkDirectory in class JmlPathEntry

checkFile

public JmlFileEntry checkFile(java.io.File file)
Specified by:
checkFile in class JmlPathEntry