Polaris: ARDAssertion Class Reference
Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members

ARDAssertion Class Reference

a base class for compiler assertions, using lists of Access Region Descriptors (ARDs) More...

#include <ARDAssertion.h>

Inheritance diagram for ARDAssertion:

Inheritance graph
[legend]
List of all members.

Public Member Functions

 ARDAssertion ()
 Construct a ARDAssertion.
 ARDAssertion (const ARDAssertion &a)
 Construct a ARDAssertion with a copy of another ARDAssertion's current value.
const List< AbstractAccess > & descr_list_guarded () const
List< AbstractAccess > & descr_list_guarded ()
 return the list of AbstractAccess associated with this assertion.
Boolean descr_list_valid () const
 check to see if the descr_list() exists.
virtual Assertion * clone () const
 clone any ARDAssertion
virtual void relink_aptrs (ProgramUnit &p)
 fix up the pointers in the Assertion after a copy.
virtual ARDAssertion & operator= (const ARDAssertion &a)
 assignment operator.
virtual ~ARDAssertion ()
 destructor

Protected Attributes

List< AbstractAccess > _descr_list

Detailed Description

a base class for compiler assertions, using lists of Access Region Descriptors (ARDs)

C Polaris

See also:
Directive/Assertion.h

Directive/ARDAssertion.h

Description

The ARDAssertion class is meant to provide the base for a generic compiler assertion class based on Lists of expressions. Derived classes will implement specific instances of the different flavors of compiler assertions.

Bugs

No known bugs.

Definition at line 37 of file ARDAssertion.h.

Constructor & Destructor Documentation

ARDAssertion::ARDAssertion (   ) 
 

Construct a ARDAssertion.

Definition at line 358 of file Assertion.cc.

References AS_NONE.

Referenced by clone().

ARDAssertion::ARDAssertion (  const ARDAssertion &  a  ) 
 

Construct a ARDAssertion with a copy of another ARDAssertion's current value.

Definition at line 363 of file Assertion.cc.

References _descr_list, and Assertion::operator=().

ARDAssertion::~ARDAssertion (   )  [virtual]
 

destructor

... nothing to do

Definition at line 414 of file Assertion.cc.

Member Function Documentation

const List< AbstractAccess > & ARDAssertion::descr_list_guarded (   )  const
 

Definition at line 383 of file Assertion.cc.

References _descr_list.

Referenced by Directive::generate_csrd_dep_overlap_directive(), Directive::generate_csrd_dep_ROvsRW_directive(), Directive::generate_csrd_dep_RWvsWF_directive(), Directive::generate_csrd_dep_WFvsRO_directive(), Directive::generate_csrd_overlap_directive(), Directive::generate_csrd_overlap_sort_directive(), Directive::generate_csrd_private_descr_directive(), Directive::generate_csrd_reduct_descr_directive(), Directive::generate_csrd_test_monotone_directive(), AssertDepOverlap::print(), AssertDepWFvsRO::print(), AssertDepRWvsWF::print(), AssertDepROvsRW::print(), AssertReductDescr::print(), AssertTestMonotone::print(), AssertPrivateDescr::print(), AssertOverlapSort::print(), and AssertOverlap::print().

List< AbstractAccess > & ARDAssertion::descr_list_guarded (   ) 
 

return the list of AbstractAccess associated with this assertion.

Definition at line 389 of file Assertion.cc.

References _descr_list.

Boolean ARDAssertion::descr_list_valid (   )  const
 

check to see if the descr_list() exists.

Definition at line 395 of file Assertion.cc.

References True.

Assertion * ARDAssertion::clone (   )  const [virtual]
 

clone any ARDAssertion

Reimplemented from Assertion.

Reimplemented in AssertDepOverlap, AssertDepROvsRW, AssertDepRWvsWF, AssertDepWFvsRO, AssertOverlap, AssertOverlapSort, AssertPrivateDescr, AssertReductDescr, and AssertTestMonotone.

Definition at line 409 of file Assertion.cc.

References ARDAssertion().

void ARDAssertion::relink_aptrs (  ProgramUnit &  p  )  [virtual]
 

fix up the pointers in the Assertion after a copy.

Reimplemented from Assertion.

Definition at line 401 of file Assertion.cc.

References _descr_list, and List< T >::valid().

ARDAssertion & ARDAssertion::operator= (  const ARDAssertion &  a  )  [virtual]
 

assignment operator.

Definition at line 371 of file Assertion.cc.

References _descr_list, List< T >::clear(), and Assertion::operator=().

Referenced by AssertDepOverlap::AssertDepOverlap(), AssertDepROvsRW::AssertDepROvsRW(), AssertDepRWvsWF::AssertDepRWvsWF(), AssertDepWFvsRO::AssertDepWFvsRO(), AssertOverlap::AssertOverlap(), AssertOverlapSort::AssertOverlapSort(), AssertPrivateDescr::AssertPrivateDescr(), AssertReductDescr::AssertReductDescr(), AssertTestMonotone::AssertTestMonotone(), AssertDepOverlap::operator=(), AssertDepWFvsRO::operator=(), AssertDepRWvsWF::operator=(), AssertDepROvsRW::operator=(), AssertReductDescr::operator=(), AssertTestMonotone::operator=(), AssertPrivateDescr::operator=(), AssertOverlapSort::operator=(), and AssertOverlap::operator=().

Member Data Documentation

List<AbstractAccess> ARDAssertion::_descr_list [protected]
 

Definition at line 39 of file ARDAssertion.h.

Referenced by ARDAssertion(), descr_list_guarded(), operator=(), and relink_aptrs().

The documentation for this class was generated from the following files:
 © 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:06:42 2005