Efficiency Aspect
[C-language Group]

Points to all if blocks. The poinctut is defined as follows: In srcML if statements are identified by the src:if element. The if part is then identified by a src:then child element whereas the else block is identified as a src:else child element. The if part further can have a src:block child element which contains the block. Hence if we identify all src:block elements with a parent element src:then then we get all blocks of all if statements. Note that if statements without blocks are not affected by weaving!

Increments the comparison counter for each comparison made. Each if statement in the base code is considered as a comparison.

Add comparisonCount declaration. Since there is no weaving rule defined for adding a declaration at the begin of a unit, the "add include" weaving rule is used. This works just fine for now, as long as the "inlude weaving rules" does not perform any tests whether the added string is an include statement or not.

Outputs the number of comparisons made by the algorithm, before the program exits. The programs exits when the main function is left or more precisely when return is called in the main function. To add a statement at the exit of a program therefore means to add a statement before any return apperaing in the main function. The pointcut that points to all return elements appearing within the main function is expressed using a restriction of type within. The instruction that is added to the code prints the value of the comparisonCounter variable.