// @(#)$Id: NoInterior.h,v 1.7 1997/07/25 22:49:23 leavens Exp $

//@ uses NoInformationException(NoInterior),
//@      NoContainedObjects(NoInterior);

class NoInterior {
public:
  NoInterior() throw();
  //@ behavior {
  //@   modifies self;
  //@   ensures self' = theException;
  //@ }
};

[Index]

HTML generated using lcpp2html.