Polaris: AssertEpilogue Class Reference

AssertEpilogue Class Reference a class to record substituted variable assertions. More... #include <AssertEpilogue.h> Inheritance diagram for AssertEpilogue: [legend]List of all members. Public Member Functions   AssertEpilogue ()   Construct a AssertEpilogue.   AssertEpilogue (const AssertEpilogue &a)   Construct a AssertEpilogue with a copy of another AssertEpilogue's current value. virtual  ~AssertEpilogue ()   destructor virtual void  print (ostream &o) const   print the object. virtual Assertion *  clone () const   clone the assertion virtual AssertEpilogue &  operator= (const AssertEpilogue &a)   assignment operator. virtual Listable *  listable_clone () const   needed for Listable Detailed Description a class to record substituted variable assertions. C Polaris See also: Directive/AssertEpilogue.h Directive/AssertEpilogue.h Description The AssertEpilogue class is meant to provide a specific class for assertions about substituted variables for expressions. Bugs No known bugs. Definition at line 29 of file AssertEpilogue.h. Constructor & Destructor Documentation AssertEpilogue::AssertEpilogue (   )    Construct a AssertEpilogue. Definition at line 956 of file Assertion.cc. References AS_EPILOGUE. Referenced by clone(), and listable_clone(). AssertEpilogue::AssertEpilogue (  const AssertEpilogue &  a  )    Construct a AssertEpilogue with a copy of another AssertEpilogue's current value. Definition at line 961 of file Assertion.cc. References ExpressionAssertion::operator=(). AssertEpilogue::~AssertEpilogue (   )  [virtual]   destructor ... nothing to do Definition at line 966 of file Assertion.cc. Member Function Documentation void AssertEpilogue::print (  ostream &  o  )  const [virtual]   print the object. Reimplemented from Assertion. Definition at line 972 of file Assertion.cc. References ExpressionAssertion::arg_list_guarded(), Iterator< T >::current(), and Iterator< T >::valid(). Assertion * AssertEpilogue::clone (   )  const [virtual]   clone the assertion Reimplemented from ExpressionAssertion. Definition at line 1003 of file Assertion.cc. References AssertEpilogue(). AssertEpilogue & AssertEpilogue::operator= (  const AssertEpilogue &  a  )  [virtual]   assignment operator. Definition at line 988 of file Assertion.cc. References ExpressionAssertion::operator=(). Listable * AssertEpilogue::listable_clone (   )  const [virtual]   needed for Listable Reimplemented from Assertion. Definition at line 997 of file Assertion.cc. References AssertEpilogue(). The documentation for this class was generated from the following files: AssertEpilogue.h Assertion.cc

© 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:06:45 2005