Lumiera  0.pre.03
»edit your freedom«
AdviceBindingPattern_test Class Reference

Description

Test:
the pattern matching machinery used to find an Advice solution.

Each advice::Provision and advice::Request specifies a binding, used to discern various pieces of advice. Whenever patterns on the two sides match, an Advice channel is created, causing the advice provision to get visible to the advised entity.

This test creates various patterns and verifies matching behaves as specified and documented.

Todo:
partially unimplemented and thus commented out ////////////////////TICKET #605
See also
advice.hpp
AdviceBasics_test
AdviceMultiplicity_test
AdviceIndex_test implementation test

Definition at line 57 of file advice-binding-pattern-test.cpp.

Private Member Functions

virtual void run (Arg)
 
void verifyDynamicMatch ()
 
void verifyPatternNormalisation ()
 
void verifyPatternSyntax ()
 
void verifyPreparedMatch ()
 
void verifyStaticMatch ()
 

Member Function Documentation

◆ verifyDynamicMatch()

void verifyDynamicMatch ( )
inlineprivate
Test:
match against patterns containing variables, verify the created solution arguments
Todo:
this is a future extension and its not clear if we need it and what the exact semantics could be ///////////////////////////////TICKET #615

Definition at line 185 of file advice-binding-pattern-test.cpp.

+ Inheritance diagram for AdviceBindingPattern_test:
+ Collaboration diagram for AdviceBindingPattern_test:

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