connectiveExprAnn Class Reference

Boolean connective expression. More...

#include <broadway_expr.h>

Inheritance diagram for connectiveExprAnn:

Collaboration diagram for connectiveExprAnn:

Public Member Functions
	connectiveExprAnn (Broadway::Operator op, exprAnn *lhs, exprAnn *rhs, int line)
exprAnn *	lhs () const
exprAnn *	rhs () const
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
exprAnn *	_lhs
	Left-hand sub-expression. More...
exprAnn *	_rhs
	Right-hand sub-expression. More...

Detailed Description

Boolean connective expression.

Definition at line 115 of file broadway_expr.h.

Constructor & Destructor Documentation

connectiveExprAnn::connectiveExprAnn	(	Broadway::Operator	op,
		exprAnn *	lhs,
		exprAnn *	rhs,
		int	line
	)

Member Function Documentation

exprAnn* connectiveExprAnn::lhs ( ) const

inline

Definition at line 138 of file broadway_expr.h.

References _lhs.

exprAnn* connectiveExprAnn::rhs ( ) const

inline

Definition at line 139 of file broadway_expr.h.

References _rhs.

virtual void connectiveExprAnn::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 connectiveExprAnn::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

exprAnn* connectiveExprAnn::_lhs

private

Left-hand sub-expression.

Definition at line 121 of file broadway_expr.h.

Referenced by lhs().

exprAnn* connectiveExprAnn::_rhs

private

Right-hand sub-expression.

Definition at line 125 of file broadway_expr.h.

Referenced by rhs().

---

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

• broadway_expr.h