JML

Package org.jmlspecs.samples.dirobserver

This package contains samples of JML specifications that illustrate issues in component-based programming relating to callbacks and JML's model program feature.

See:
          Description

Interface Summary
Directory Directories that can be both read and written.
DirObserver Observers (i.e. listeners) in the directory system.
DirObserverKeeper An object that keeps directory observers (i.e., a subject).
RODirectory Read-only directories.
 

Class Summary
File A simplified file class for purposes of this example.
 

Package org.jmlspecs.samples.dirobserver Description

This package contains samples of JML specifications that illustrate issues in component-based programming relating to callbacks and JML's model program feature. They are based on an example in Clemens Szyperski's book Component Software: Beyond Object-Oriented Programming (ACM Press and Addison-Wesley, NY, 1998).

The type Directory is the most interesting here, and illustrates the model program feature.


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.