Polaris: AssertNoMod Class Reference

AssertNoMod Class Reference

a class to record "no mod" assertions. More...

#include <AssertNoMod.h>

Inheritance diagram for AssertNoMod:

[legend]List of all members.


Public Member Functions
	AssertNoMod ()
	Construct an AssertNoMod.
	AssertNoMod (const AssertNoMod &a)
	Construct a AssertNoMod with a copy of another AssertNoMod's current value.
virtual	~AssertNoMod ()
	destructor
virtual void	print (ostream &o) const
	print the object.
virtual Assertion *	clone () const
	clone the assertion
virtual AssertNoMod &	operator= (const AssertNoMod &a)
	assignment operator.
virtual Listable *	listable_clone () const
	needed for Listable

Detailed Description

a class to record "no mod" assertions.

C Polaris

See also:: Directive/AssertNoMod.h
Directive/AssertNoMod.h

Description

The AssertNoMod class is meant to provide a specific class for assertions about the expressions which may be modified in the course of calling a given routine (the invocation of the routine occurs in the statement to which this assertion is attached).

Bugs

No known bugs.

Definition at line 31 of file AssertNoMod.h.

Constructor & Destructor Documentation

AssertNoMod::AssertNoMod ( )

Construct an AssertNoMod.

Definition at line 3109 of file Assertion.cc.
References AS_NOMOD.
Referenced by clone(), and listable_clone().

AssertNoMod::AssertNoMod ( const AssertNoMod & a )

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

Definition at line 3114 of file Assertion.cc.
References ExpressionAssertion::operator=().

AssertNoMod::~AssertNoMod ( ) [virtual]

destructor
... nothing to do
Definition at line 3119 of file Assertion.cc.

Member Function Documentation

void AssertNoMod::print ( ostream & o ) const [virtual]

print the object.

Reimplemented from Assertion.
Definition at line 3125 of file Assertion.cc.
References ExpressionAssertion::arg_list_guarded(), Iterator< T >::current(), and Iterator< T >::valid().

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

clone the assertion

Reimplemented from ExpressionAssertion.
Definition at line 3157 of file Assertion.cc.
References AssertNoMod().

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

assignment operator.

Definition at line 3142 of file Assertion.cc.
References ExpressionAssertion::operator=().

Listable * AssertNoMod::listable_clone ( ) const [virtual]

needed for Listable

Reimplemented from Assertion.
Definition at line 3151 of file Assertion.cc.
References AssertNoMod().

The documentation for this class was generated from the following files: