Polaris: AssertFirstValue Class Reference

AssertFirstValue Class Reference

a class to record first value assertions. More...

#include <AssertFirstValue.h>

Inheritance diagram for AssertFirstValue:

[legend]List of all members.


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

Detailed Description

a class to record first value assertions.

C Polaris

See also:: Directive/AssertFirstValue.h
Directive/AssertFirstValue.h

Description

The AssertFirstValue class is meant to provide a specific class for assertions about the first value calculations for variables. These are variables which are made private, with the stipulation that at least part of it be copied into the loop prior to loop execution. The portion to be copied in is specified on the AssertFirstValue assertion.

Bugs

No known bugs.

Definition at line 32 of file AssertFirstValue.h.

Constructor & Destructor Documentation

AssertFirstValue::AssertFirstValue ( )

Construct a AssertFirstValue.

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

AssertFirstValue::AssertFirstValue ( const AssertFirstValue & a )

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

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

AssertFirstValue::~AssertFirstValue ( ) [virtual]

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

Member Function Documentation

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

print the object.

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

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

clone the assertion

Reimplemented from ExpressionAssertion.
Definition at line 2110 of file Assertion.cc.
References AssertFirstValue().

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

assignment operator.

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

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

needed for Listable

Reimplemented from Assertion.
Definition at line 2104 of file Assertion.cc.
References AssertFirstValue().

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