Hi Mira:

Let's assume we define a method using the style
you proposed:

int f(A b, B b) uses APPC1 with e1->s1, e2->s2, ...

e1, e2 are edges in the interface class graph of APPC1.

How are a and b treated?
Are they used to initialize the APPC?

-- Karl