#include <eca-context.h>


Public Member Functions | |
| void | Rewrite (Ptr< LocalizeContext > lctxt, Ptr< TableStore > tableStore) |
Private Member Functions | |
| void | RewriteEventRule (OlContext::Rule *rule, Ptr< TableStore > tableStore) |
| void | RewriteProvEventRule (OlContext::Rule *rule, Ptr< TableStore > tableStore) |
| void | GenerateActionHead (OlContext::Rule *rule, string bodyLoc, Ptr< TableStore > tableStore, EcaRule *eca_rule) |
| void | WatchStubRule (string watchedTupleName) |
| void ns3::rapidnet_compiler::EcaContext::GenerateActionHead | ( | OlContext::Rule * | rule, | |
| string | bodyLoc, | |||
| Ptr< TableStore > | tableStore, | |||
| EcaRule * | eca_rule | |||
| ) | [private] |
Generate an action for a rule given its old version (from the localized OverLog), its new version so far (i.e., the right hand side ECA rule), the location specifier of the body and the table store
| void ns3::rapidnet_compiler::EcaContext::Rewrite | ( | Ptr< LocalizeContext > | lctxt, | |
| Ptr< TableStore > | tableStore | |||
| ) |
Rewrite all Localized OverLog rules in the localize context into ECA rules in the current ECA context, using the given table store for state access
| void ns3::rapidnet_compiler::EcaContext::RewriteEventRule | ( | OlContext::Rule * | rule, | |
| Ptr< TableStore > | tableStore | |||
| ) | [private] |
Rewrites a localized, single-event OverLog rule into ECA
| void ns3::rapidnet_compiler::EcaContext::RewriteProvEventRule | ( | OlContext::Rule * | rule, | |
| Ptr< TableStore > | tableStore | |||
| ) | [private] |
Provenance: Rewrites a localized, single-event OverLog rule with del and ins delta rules into ECA for provenance rewritten rules
| void ns3::rapidnet_compiler::EcaContext::WatchStubRule | ( | string | watchedTupleName | ) | [private] |
Create a new ECA rule that does nothing. This is used for watched events that have no actual ECA rules listening for them. Without an event listener, no watches can be implemented further down in the planner
1.5.8