org.multijava.util.classfile
Class DirClassDirectory

java.lang.Object
  org.multijava.util.classfile.ClassDirectory
      org.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

DirClassDirectory

public DirClassDirectory(File dir)

Constructs a class directory representing a real directory

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.