jml2b.util
Class JmlPathDirectory

java.lang.Object
  jml2b.util.JmlPathEntry
      jml2b.util.JmlPathDirectory

public class JmlPathDirectory

extends JmlPathEntry

Author:

L. Burdy

Constructor Summary

JmlPathDirectory(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

JmlPathDirectory

public JmlPathDirectory(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