UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Private Attributes | List of all members
PreparedGTS::StdRuleMapCB Class Reference

The StdRuleMapCB is a helper class defining a CollectionCallback to a PreparedGTS standard rule map. More...

#include <PreparedGTS.h>

Inheritance diagram for PreparedGTS::StdRuleMapCB:
Inheritance graph
[legend]
Collaboration diagram for PreparedGTS::StdRuleMapCB:
Collaboration graph
[legend]

Public Member Functions

 StdRuleMapCB (PreparedGTS &gts)
 Creates a new CollectionCallback to the given PreparedGTS standard rule map. More...
 
virtual ~StdRuleMapCB ()
 Destroys this StdRuleMapCB, not affecting the references PreparedGTS.
 
virtual void insert (graphs::Rule_sp rule)
 Adds the given Rule to the standard rule map of the PreparedGTS. More...
 
void setCurrentRuleID (IDType id)
 Sets the ID of the rule which was used to generate any subsequently added (prepared) rules (until the next time this function is called).
 

Private Attributes

PreparedGTSgts
 Stores a reference to the PreparedGTS to which Rules will be added by this callback.
 
IDType currentRuleID
 Stores an ID which will be set as the original rule ID from which any rules added by insert(...) were generated.
 

Detailed Description

The StdRuleMapCB is a helper class defining a CollectionCallback to a PreparedGTS standard rule map.

For every rule added it also stores that it was prepared by the rule with the ID currently set in this callback.

See Also
CollectionCallback
PreparedGTS
Author
Jan Stückrath

Constructor & Destructor Documentation

StdRuleMapCB ( PreparedGTS gts)
inline

Creates a new CollectionCallback to the given PreparedGTS standard rule map.

Parameters
gtsto which rules will be added by the callback

Member Function Documentation

virtual void insert ( graphs::Rule_sp  rule)
inlinevirtual

Adds the given Rule to the standard rule map of the PreparedGTS.

It is also referenced as having been prepared from the rule with the ID currently stored in this callback.

Parameters
rulethe rule to be added

Implements CollectionCallback< graphs::Rule_sp >.


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