JML

org.multijava.util.classfile
Class DirClassDirectory

java.lang.Object
  extended byorg.multijava.util.classfile.ClassDirectory
      extended byorg.multijava.util.classfile.DirClassDirectory

class DirClassDirectory
extends ClassDirectory


Field Summary
private  File dir
           
 
Constructor Summary
DirClassDirectory(File dir)
          Constructs a class directory representing a real directory
 
Method Summary
 boolean containsDirectory(String name)
          returns true if the directory object contains the given name as a subdirectory.
 ClassPath.ClassDescription findFile(String name, String suffix)
           
 ClassPath.ClassDescription getClassFile(String name)
           
 ClassPath.ClassDescription getClassFile(String name, String suffix)
           
 String location()
          Returns the location of this directory, in this case as its absolute path.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

dir

private File dir
Constructor Detail

DirClassDirectory

public DirClassDirectory(File dir)
Constructs a class directory representing a real directory

Method Detail

getClassFile

public ClassPath.ClassDescription getClassFile(String name,
                                               String suffix)
Parameters:
name - the name of the class file
Returns:
a class file that contain the class named name ('/'-separated)

getClassFile

public ClassPath.ClassDescription getClassFile(String name)

findFile

public ClassPath.ClassDescription findFile(String name,
                                           String suffix)
Description copied from class: ClassDirectory
Returns a file descriptor for the .java file that should store the type of the given name.

 {|
    requires (* a .java file that should store the type named "name"
                exists on the sourcepath *);
    ensures (* \result is the file descriptor for that file *);
 also
    requires !(* a .java file that should store the type named "name"
                 exists on the sourcepath *);
    ensures \result == null;
 |}
 


containsDirectory

public boolean containsDirectory(String name)
returns true if the directory object contains the given name as a subdirectory. name is a File.separatorChar - separated multi-component path.


location

public String location()
Returns the location of this directory, in this case as its absolute path.


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.