jml2b.util
Class JmlPathEntry

java.lang.Object
  jml2b.util.JmlPathEntry

Direct Known Subclasses:

JmlPathDirectory, JmlPathJar

public abstract class JmlPathEntry

extends java.lang.Object

Author:

L. Burdy

Constructor Summary

JmlPathEntry()

Method Summary

abstract boolean	checkDirectory(java.lang.String dir_name)
abstract JmlFileEntry	checkFile(java.io.File file)
static JmlPathEntry[]	factory(java.lang.String[] path)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JmlPathEntry

public JmlPathEntry()

Method Detail

factory

public static JmlPathEntry[] factory(java.lang.String[] path)

checkFile

public abstract JmlFileEntry checkFile(java.io.File file)

checkDirectory

public abstract boolean checkDirectory(java.lang.String dir_name)