CJP = <target> OBJ <returning> OBJ <enclosing> EJP <contained> EJP.
EJP = <this> OBJ <args> List(OBJ) <children> List(CJP).

CJPT = <root> CJP <enclosing> EJPT <contained> EJPT.
EJPT = <root> EJP <children> List(CJPT).
EJP = <this> OBJ <args> List(OBJ).
CJP = <target> OBJ <returning> OBJ. 

circular structure (if delete contained)

Environment (dynamic):
this: OBJ environment (e.g. immediate parts of this)
args: method execution environment
children: method body environment
also global environment


correspondence:
lexical		  	dynamic
MethodDefinition	EJP
MethodCall		CJP

JPM

1. set of join points:  all the CJP reachable from a CJPT-object
over all CJPT-objects

2. Mechanism to define sets of JP

Our pointcut language:

Primitives:
if ( e ), where e is an expression involving the fields of JP
and JPT and thisJoinPoint and thisEnclosingJoinPoint: selects
all JP in a given fixed JPT that satisfy property e.

Operators:
||, &&, !

3. Mechanism to define advice on a set of join points

declare warning: pointcut p: String s;

print the s for every join point selected by p.