pointerExprAnn Class Reference

Pointer test expression. More...

#include <broadway_expr.h>

Inheritance diagram for pointerExprAnn:

Collaboration diagram for pointerExprAnn:

Public Member Functions
virtual	~pointerExprAnn ()
	pointerExprAnn (Broadway::Operator op, const parserID *lhs, const parserID *rhs)
virtual void	lookup (propertyAnn *default_property, procedureAnn *procedure, Annotations *annotations)
	Test method. More...
virtual void	print (std::ostream &out)
	Report method. More...
Public Member Functions inherited from exprAnn
	exprAnn (Broadway::Operator op, int line)
	Create a new expression. More...
Broadway::Operator	op () const
	Operator. More...
Public Member Functions inherited from Ann
	Ann (int line)
int	line () const

Private Attributes
std::string	_lhs_name
REF annVariable *	_lhs
std::string	_rhs_name
REF annVariable *	_rhs

Detailed Description

Pointer test expression.

Definition at line 539 of file broadway_expr.h.

Constructor & Destructor Documentation

virtual pointerExprAnn::~pointerExprAnn ( )

inlinevirtual

Definition at line 566 of file broadway_expr.h.

pointerExprAnn::pointerExprAnn	(	Broadway::Operator	op,
		const parserID *	lhs,
		const parserID *	rhs
	)

Member Function Documentation

virtual void pointerExprAnn::lookup ( propertyAnn *  default_property, procedureAnn *  procedure, Annotations *  annotations  )

virtual

Test method.

Use this to test a conditional expression. The calling context determines the "now" values of the various properties. Compute the next state

When a test returns true, analysis rules invoke this method for each action. The method determines what the new flowvalue will be once the action is invoked. Apply the next state

After computing the next state, actually apply it to the analysis information. Record any changes. Lookup method

Once a procedure annotation is complete and all the variables have been created, we call this routine to lookup the variables referenced in the expressions.

Implements exprAnn.

virtual void pointerExprAnn::print ( std::ostream &  out)

virtual

Report method.

Interpret the expression as an informational query (for the report annotations). Write the result out to the given stream. Print method

Display the expression using the annotation syntax.

Implements exprAnn.

Member Data Documentation

std::string pointerExprAnn::_lhs_name

private

Definition at line 545 of file broadway_expr.h.

REF annVariable* pointerExprAnn::_lhs

private

Definition at line 549 of file broadway_expr.h.

std::string pointerExprAnn::_rhs_name

private

Definition at line 553 of file broadway_expr.h.

REF annVariable* pointerExprAnn::_rhs

private

Definition at line 557 of file broadway_expr.h.

---

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

• broadway_expr.h