Polaris: AssertMayMod Class Reference

AssertMayMod Class Reference

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

#include <AssertMayMod.h>

Inheritance diagram for AssertMayMod:

[legend]List of all members.


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

Detailed Description

a class to record "may mod" assertions.

C Polaris

See also:: Directive/AssertMayMod.h
Directive/AssertMayMod.h

Description

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

Constructor & Destructor Documentation

AssertMayMod::AssertMayMod ( )

Construct an AssertMayMod.

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

AssertMayMod::AssertMayMod ( const AssertMayMod & a )

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

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

AssertMayMod::~AssertMayMod ( ) [virtual]

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

Member Function Documentation

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

print the object.

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

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

clone the assertion

Reimplemented from ExpressionAssertion.
Definition at line 3103 of file Assertion.cc.
References AssertMayMod().

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

assignment operator.

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

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

needed for Listable

Reimplemented from Assertion.
Definition at line 3097 of file Assertion.cc.
References AssertMayMod().

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