Polaris: AssertLastValue Class Reference

AssertLastValue Class Reference

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

#include <AssertLastValue.h>

Inheritance diagram for AssertLastValue:

Inheritance graph
[legend]
List of all members.

Public Member Functions

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

Detailed Description

a class to record last value assertions.

C Polaris

See also:
Directive/AssertLastValue.h

Directive/AssertLastValue.h

Description

The AssertLastValue class is meant to provide a specific class for assertions about the last value calculations for variables.

Bugs

No known bugs.

Definition at line 29 of file AssertLastValue.h.


Constructor & Destructor Documentation

AssertLastValue::AssertLastValue  ) 
 

Construct a AssertLastValue.

Definition at line 740 of file Assertion.cc.

References AS_LASTVALUE.

Referenced by clone(), and listable_clone().

AssertLastValue::AssertLastValue const AssertLastValue a  ) 
 

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

Definition at line 745 of file Assertion.cc.

References ExpressionAssertion::operator=().

AssertLastValue::~AssertLastValue  )  [virtual]
 

destructor

... nothing to do

Definition at line 750 of file Assertion.cc.


Member Function Documentation

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

print the object.

Reimplemented from Assertion.

Definition at line 756 of file Assertion.cc.

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

Assertion * AssertLastValue::clone  )  const [virtual]
 

clone the assertion

Reimplemented from ExpressionAssertion.

Definition at line 787 of file Assertion.cc.

References AssertLastValue().

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

assignment operator.

Definition at line 772 of file Assertion.cc.

References ExpressionAssertion::operator=().

Listable * AssertLastValue::listable_clone  )  const [virtual]
 

needed for Listable

Reimplemented from Assertion.

Definition at line 781 of file Assertion.cc.

References AssertLastValue().


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