mi::mdl::IRule_matcher_event Class Reference

An interface for reporting rule matcher events. More...

#include <mdl_distiller_rules.h>

Public Member Functions
virtual void	path_check_event (char const *rule_set_name, char const *dag_path)=0
	A DAG path is checked against a rule set. More...
virtual void	rule_match_event (char const *rule_set_name, unsigned rule_id, char const *rule_name, char const *file_name, unsigned line_number)=0
	A rule has matched. More...
virtual void	postcondition_failed (char const *rule_set_name)=0
	A postcondition has failed. More...
virtual void	postcondition_failed_path (char const *path)=0
	A postcondition has failed for a given path. More...
virtual void	debug_print (IDistiller_plugin_api &plugin_api, char const *rule_set_name, unsigned rule_id, char const *rule_name, char const *file_name, unsigned line_number, char const *var_name, DAG_node const *value)=0
	A rule with an attached debug_print() statement has matched. More...

Detailed Description

An interface for reporting rule matcher events.

Member Function Documentation

debug_print()

virtual void mi::mdl::IRule_matcher_event::debug_print ( IDistiller_plugin_api &  plugin_api, char const *  rule_set_name, unsigned  rule_id, char const *  rule_name, char const *  file_name, unsigned  line_number, char const *  var_name, DAG_node const *  value  )

pure virtual

A rule with an attached debug_print() statement has matched.

This function receives the same arguments as rule_match_event() plus the name of the variable to be printed and the value of the variable after matching succeeded.

Parameters

plugin_api	reference to the distiller plugin API that issued this debug_print() event
rule_set_name	the name of the rule set
rule_id	the rule id
rule_name	the name of the rule that matched
file_name	if non-NULL, the file name where the rule was declared
line_number	if non-ZERO, the line number where the rule was declared
var_name	name of the variable whose value is printed
value	value to be printed

path_check_event()

virtual void mi::mdl::IRule_matcher_event::path_check_event ( char const *  rule_set_name, char const *  dag_path  )

pure virtual

A DAG path is checked against a rule set.

Parameters

rule_set_name	the name of the rule set
dag_path	the DAG path to a node that is currently checked

postcondition_failed()

virtual void mi::mdl::IRule_matcher_event::postcondition_failed ( char const *  rule_set_name )

pure virtual

A postcondition has failed.

Parameters

rule_set_name

the name of the rule set

postcondition_failed_path()

virtual void mi::mdl::IRule_matcher_event::postcondition_failed_path ( char const *  path )

pure virtual

A postcondition has failed for a given path.

Parameters

path	the path that failed

rule_match_event()

virtual void mi::mdl::IRule_matcher_event::rule_match_event ( char const *  rule_set_name, unsigned  rule_id, char const *  rule_name, char const *  file_name, unsigned  line_number  )

pure virtual

A rule has matched.

Parameters

rule_set_name	the name of the rule set
rule_id	the rule id
rule_name	the name of the rule that matched
file_name	if non-NULL, the file name where the rule was declared
line_number	if non-ZERO, the line number where the rule was declared