See: /proj/demsys/demjava/0.6.3/src/demjava.cd

strategy
Abbreviation for traversal strategy graph

line strategy
A strategy where the graph is a simple path.

line strategy notation
The notation of the form
from A [bypassing ...] through B ...

general strategy notation
The notation of the form
{ A->B [bypassing ...],
  B->C [bypassing ...],
  B->D [bypassing ...]}

strategy expression
It is either a strategy or compound strategy or a strategy variable.

strategy graph = traversal strategy graph

compound strategy
combines strategies with join, merge and intersection operators.

method
  verbatim
    Used for defining Java methods directly
    One typical pattern for a verbatim method is:
      instantiate visitors
      establish communication between visitors
      call traversal
      return result in visitors
  traversal method
  wrapper
    before
    after 
    around
  adaptive 
    traversal method/ visitor class names
      return value of first visitor returned.
      Works only if visitors are not nested.
      
    traversal method/ inlined visitor
    strategy/ visitor class names
    strategy/ inlined visitor
      a propagation pattern style method
  constructor = init
  return
  accessor
    getter 
    setter

adaptive method
defines adaptive behavior. Composes strategies or traversals
with visitors. Strategies, traversals and visitors can be named.