Polaris: AssertForward Class Reference

AssertForward Class Reference

a class to record forwarding assertions. More...

#include <AssertForward.h>

Inheritance diagram for AssertForward:

Inheritance graph
[legend]
List of all members.

Public Member Functions

 AssertForward ()
 Construct a AssertForward.
 AssertForward (const AssertForward &a)
 Construct a AssertForward with a copy of another AssertForward's current value.
virtual ~AssertForward ()
 destructor
virtual void print (ostream &o) const
 print the object.
virtual Assertionclone () const
 clone the assertion
virtual AssertForwardoperator= (const AssertForward &a)
 assignment operator.
virtual Listablelistable_clone () const
 needed for Listable

Detailed Description

a class to record forwarding assertions.

C Polaris

See also:
Directive/AssertForward.h

Directive/AssertForward.h

Description

The AssertForward class is meant to provide a specific class for assertions about forwarding

Bugs

No known bugs.

Definition at line 25 of file AssertForward.h.


Constructor & Destructor Documentation

AssertForward::AssertForward  ) 
 

Construct a AssertForward.

Definition at line 3218 of file Assertion.cc.

References AS_FORWARD.

Referenced by clone(), and listable_clone().

AssertForward::AssertForward const AssertForward a  ) 
 

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

Definition at line 3223 of file Assertion.cc.

References ExpressionAssertion::operator=().

AssertForward::~AssertForward  )  [virtual]
 

destructor

... nothing to do

Definition at line 3228 of file Assertion.cc.


Member Function Documentation

void AssertForward::print ostream &  o  )  const [virtual]
 

print the object.

Reimplemented from Assertion.

Definition at line 3234 of file Assertion.cc.

References ExpressionAssertion::arg_list_guarded(), Iterator< T >::current(), and Iterator< T >::valid().

Assertion * AssertForward::clone  )  const [virtual]
 

clone the assertion

Reimplemented from ExpressionAssertion.

Definition at line 3265 of file Assertion.cc.

References AssertForward().

AssertForward & AssertForward::operator= const AssertForward a  )  [virtual]
 

assignment operator.

Definition at line 3250 of file Assertion.cc.

References ExpressionAssertion::operator=().

Listable * AssertForward::listable_clone  )  const [virtual]
 

needed for Listable

Reimplemented from Assertion.

Definition at line 3259 of file Assertion.cc.

References AssertForward().


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:46 2005