Polaris: AssertDynLastValue Class Reference

AssertDynLastValue Class Reference

a class to record dynamic last value assertions. More...

#include <AssertDynLastValue.h>

Inheritance diagram for AssertDynLastValue:

[legend]List of all members.


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

Detailed Description

a class to record dynamic last value assertions.

C Polaris

See also:: Directive/AssertDynLastValue.h
Directive/AssertDynLastValue.h

Description

The AssertDynLastValue class is meant to provide a specific class for assertions about the dynamic last value calculations for variables. This is meant for situations in which it cannot be proven that the last value for a variable is assigned in the last iteration of a loop.

Bugs

No known bugs.

Definition at line 31 of file AssertDynLastValue.h.

Constructor & Destructor Documentation

AssertDynLastValue::AssertDynLastValue ( )

Construct a AssertDynLastValue.

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

AssertDynLastValue::AssertDynLastValue ( const AssertDynLastValue & a )

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

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

AssertDynLastValue::~AssertDynLastValue ( ) [virtual]

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

Member Function Documentation

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

print the object.

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

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

clone the assertion

Reimplemented from ExpressionAssertion.
Definition at line 841 of file Assertion.cc.
References AssertDynLastValue().

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

assignment operator.

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

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

needed for Listable

Reimplemented from Assertion.
Definition at line 835 of file Assertion.cc.
References AssertDynLastValue().

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