analyzeAnn Class Reference

Analyze annotation. More...

#include <analyze.h>

Inheritance diagram for analyzeAnn:

Collaboration diagram for analyzeAnn:

Public Member Functions
	analyzeAnn (Annotations *anns, const parserID *property_name, rule_list *rules, int line)
	Create a new analyze annotation. More...
propertyAnn *	property () const
	Return the property. More...
void	lookup (procedureAnn *procedure, Annotations *annotations)
	Test all the conditions. More...
Public Member Functions inherited from Ann
	Ann (int line)
int	line () const

Private Attributes
REF propertyAnn *	_property
	the property begin analyzed More...
TREE rule_list	_rules
	the list of rules More...
REF ruleAnn *	_default
	a pointer to the default rule More...
REF ruleAnn *	_applicable_rule
	Applicable rule. More...

Detailed Description

Analyze annotation.

Definition at line 14 of file analyze.h.

Constructor & Destructor Documentation

analyzeAnn::analyzeAnn	(	Annotations *	anns,
		const parserID *	property_name,
		rule_list *	rules,
		int	line
	)

Create a new analyze annotation.

Member Function Documentation

propertyAnn* analyzeAnn::property ( ) const

inline

Return the property.

Definition at line 49 of file analyze.h.

References _property.

void analyzeAnn::lookup	(	procedureAnn *	procedure,
		Annotations *	annotations
	)

Test all the conditions.

Compute the next state

For each true condition, figure out the state changes implied by the effects. Store the proposed changes in the updates map. Apply next state

Use the states computed by compute_next() to update the variables. Store the changed blocks in the changes set. Look up

Member Data Documentation

REF propertyAnn* analyzeAnn::_property

private

the property begin analyzed

Definition at line 20 of file analyze.h.

Referenced by property().

TREE rule_list analyzeAnn::_rules

private

the list of rules

Definition at line 24 of file analyze.h.

REF ruleAnn* analyzeAnn::_default

private

a pointer to the default rule

Definition at line 28 of file analyze.h.

REF ruleAnn* analyzeAnn::_applicable_rule

private

Applicable rule.

After testing the conditions, compute_next() will determine a rule to fire. Store this rule here so that apply_next() can execute it.

Definition at line 35 of file analyze.h.

---

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

• analyze.h