jml2b.util
Class JmlPathJar

java.lang.Object
  jml2b.util.JmlPathEntry
      jml2b.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