// @(#)$Id: ParallelShape.h,v 1.15 1998/10/05 23:38:02 leavens Exp $
#ifndef ParallelShape_h
#define ParallelShape_h

#include "QuadShape.h"
#include "NoInterior.h"

/*@ abstract @*/ class ParallelShape : virtual public QuadShape {
public:
  //@ uses IsaParallelogram(Scalar);
  //@ invariant isaParallelogram(edges\any);

  virtual double AnglePar() const throw(NoInterior);
  //@ behavior {
  //@   requires ~(edges^[0] = 0 \/ edges^[1] = 0);
  //@   ensures returns
  //@        /\ informally "result is the angle between edges^[0] and"
  //@                      "edges^[1]";
  //@ also
  //@   requires edges^[0] = 0 \/ edges^[1] = 0;
  //@   ensures throws(NoInterior);
  //@   ensures redundantly thrown(NoInterior) = theException;
  //@ }
};
#endif

[Index]

HTML generated using lcpp2html.