Polaris: AssertSideEffectFree Class Reference

AssertSideEffectFree Class Reference a class to record concurrent routine assertions More... #include <AssertSideEffectFree.h> Inheritance diagram for AssertSideEffectFree: [legend]List of all members. Public Member Functions   AssertSideEffectFree ()   Construct a AssertSideEffectFree.   AssertSideEffectFree (const AssertSideEffectFree &a)   Construct a AssertSideEffectFree with a copy of another AssertSideEffectFree's current value. virtual  ~AssertSideEffectFree ()   destructor virtual void  print (ostream &o) const   print the object. virtual Assertion *  clone () const   clone the assertion virtual AssertSideEffectFree &  operator= (const AssertSideEffectFree &a)   assignment operator. virtual Listable *  listable_clone () const   needed for Listable Detailed Description a class to record concurrent routine assertions C Polaris See also: Directive/AssertSideEffectFree.h Directive/AssertSideEffectFree.h Description The AssertSideEffectFree class is meant to provide a specific class for asserting that certain routines may be called in parallel Bugs No known bugs. Definition at line 29 of file AssertSideEffectFree.h. Constructor & Destructor Documentation AssertSideEffectFree::AssertSideEffectFree (   )    Construct a AssertSideEffectFree. Definition at line 2714 of file Assertion.cc. References AS_SIDE_EFFECT_FREE. Referenced by clone(), and listable_clone(). AssertSideEffectFree::AssertSideEffectFree (  const AssertSideEffectFree &  a  )    Construct a AssertSideEffectFree with a copy of another AssertSideEffectFree's current value. Definition at line 2719 of file Assertion.cc. References ExpressionAssertion::operator=(). AssertSideEffectFree::~AssertSideEffectFree (   )  [virtual]   destructor ... nothing to do Definition at line 2724 of file Assertion.cc. Member Function Documentation void AssertSideEffectFree::print (  ostream &  o  )  const [virtual]   print the object. Reimplemented from Assertion. Definition at line 2730 of file Assertion.cc. References ExpressionAssertion::arg_list_guarded(), Iterator< T >::current(), and Iterator< T >::valid(). Assertion * AssertSideEffectFree::clone (   )  const [virtual]   clone the assertion Reimplemented from ExpressionAssertion. Definition at line 2761 of file Assertion.cc. References AssertSideEffectFree(). AssertSideEffectFree & AssertSideEffectFree::operator= (  const AssertSideEffectFree &  a  )  [virtual]   assignment operator. Definition at line 2746 of file Assertion.cc. References ExpressionAssertion::operator=(). Listable * AssertSideEffectFree::listable_clone (   )  const [virtual]   needed for Listable Reimplemented from Assertion. Definition at line 2755 of file Assertion.cc. References AssertSideEffectFree(). The documentation for this class was generated from the following files: AssertSideEffectFree.h Assertion.cc

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