// @(#)$Id: IntHeap.lcc,v 1.11 1997/06/03 20:29:37 leavens Exp $

//@ uses IntHeapTrait;                    //  3 connection to LSL

abstract class IntHeap {                  //  5 no constructors, C++ interface
public:                                   //  6   
  virtual int largest() const throw() = 0;//  7 C++ interface
  behavior {                              //  8 starts largest's specification
    requires len(self^) >= 1;             //  9 precondition
    modifies nothing;                     // 10 what can change
    ensures result = head(self^);         // 11 postconditon
  }
};

[Index]

HTML generated using lcpp2html.