Polaris: AssertInduction Class Reference

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

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