Download Stochastic Performance Logic User Manual

Figure 7.3: Verifier.checkAttributeName runs almost the same, red graph is after update.
Aliases used in the comparison also are similar to the previous two comparisons and only
differences are names of aliases and measured method:
beforeHeuristicCheckAttributes =
jdom_init@beforeHeuristic:
org.jdom.Verifier#checkAttributeName(String name)
afterHeuristicCheckAttributes =
jdom_init@afterHeuristic:
org.jdom.Verifier#checkAttributeName(String name)
First one is alias named beforeHeuristicCheckAttributes and after equal sign is method
definition. First part of definition is specification of project with alias jdom_init and
its revision with alias beforeHeuristic. In this revision is class org.jdom.Verifier with
method checkAttributeName with one String parameter. That is the method for which
the alias is defined.
The second alias afterHeuristicCheckAttributes is defined for the same method but in
revision afterHeuristic.
The comparison of defined aliases is:
afterHeuristicCheckAttributes[gattributes] <=
beforeHeuristicCheckAttributes[gattributes]
47