Description Andrew Clement 2010-04-26 13:18:08 EDT

Sometimes the target of a 'declare @' already has the annotation.  This results in an error about a clash.  It might be nice to allow the declare to augment the annotation that is there.

@SomeAnno
class Foo {
}

aspect X {
  declare @type: Foo: @SomeAnno(value="filled in")
}

So the aspect enhances the existing annotation by filling in the specified value.

We would have to think about what to do if:
- 'value' already exists in the target anno
- other values already exist in the target anno