org.jmlspecs.samples.dirobserver
Interface RODirectory

All Superinterfaces:

Cloneable, DirObserverKeeper, JMLType, Serializable

All Known Subinterfaces:

Directory

public interface RODirectory

extends DirObserverKeeper

Read-only directories.

Method Summary
boolean	equals(Object oth)           Test whether this object's value is equal to the given argument.
File	thisFile(String n)           This models the directory's mapping from strings to files.

 

Methods inherited from interface org.jmlspecs.samples.dirobserver.DirObserverKeeper

inNotifier, register, unregister

 

Methods inherited from interface org.jmlspecs.models.JMLType

clone, hashCode

 

Method Detail

thisFile

public File thisFile(String n)

This models the directory's mapping from strings to files. Return the file with the given name in this directory.

equals

public boolean equals(Object oth)

Description copied from interface: JMLType

Test whether this object's value is equal to the given argument.

Specified by:

equals in interface JMLType