Analysis Aspects

1
Analysis Aspects

• Deters and Cytron propose to use analysis aspects
  to get profiling information from running Java
  programs.
• We explore the design issues behind analysis
  aspects and show, by example, how to write an
  interesting aspect-oriented framework that
  measures bad coupling between objects/aspects.

2
Decoupling of Aspects

• Four aspects Supplier, TargetBinStack, Checker
  and Statistics are an aspect-oriented framework.
• Customization is done by defining subaspects of
  Supplier and TargetBinStack.
• Decoupling of aspects is achieved through
• abstract pointcuts and
• Named, concrete pointcuts that are exported.

3
Instrumentation of Java programs with Aspects
Aspect framework
Aspect Diagram
Supplier
ImmediatePartBin
TargetBinStack
ArgumentBin
Checker
LocallyConstructedBin
uses pointcuts
ReturnValueBin
Requirements
Statistics
GlobalPreferredBin
Good Separation of Concerns in Law of Demeter
Checker
http//www.ccs.neu.edu/home/lieber/com3205/f02/sol
utions/com3205/hw04/ (part 3)
4
Explanation

• The bin aspects collect potential preferred
  supplier objects that represent good coupling in
  the context of a method body.
• The Checker aspect checks each method call
  whether the receiver is a preferred supplier
  object.
• The Statistics aspect counts events generated by
  the Checker aspect.