Polaris: AssertSubst Class Reference

AssertSubst Class Reference

a class to record substituted variable assertions. More...

#include <AssertSubst.h>

Inheritance diagram for AssertSubst:

Inheritance graph
[legend]
List of all members.

Public Member Functions

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

Detailed Description

a class to record substituted variable assertions.

C Polaris

See also:
Directive/AssertSubst.h

Directive/AssertSubst.h

Description

The AssertSubst 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 AssertSubst.h.


Constructor & Destructor Documentation

AssertSubst::AssertSubst  ) 
 

Construct a AssertSubst.

Definition at line 686 of file Assertion.cc.

References AS_SUBST.

Referenced by clone(), and listable_clone().

AssertSubst::AssertSubst const AssertSubst a  ) 
 

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

Definition at line 691 of file Assertion.cc.

References ExpressionAssertion::operator=().

AssertSubst::~AssertSubst  )  [virtual]
 

destructor

... nothing to do

Definition at line 696 of file Assertion.cc.


Member Function Documentation

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

print the object.

Reimplemented from Assertion.

Definition at line 702 of file Assertion.cc.

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

Assertion * AssertSubst::clone  )  const [virtual]
 

clone the assertion

Reimplemented from ExpressionAssertion.

Definition at line 733 of file Assertion.cc.

References AssertSubst().

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

assignment operator.

Definition at line 718 of file Assertion.cc.

References ExpressionAssertion::operator=().

Listable * AssertSubst::listable_clone  )  const [virtual]
 

needed for Listable

Reimplemented from Assertion.

Definition at line 727 of file Assertion.cc.

References AssertSubst().


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