On Jan 24, 2008 7:54 AM, Marshall Schor <[EMAIL PROTECTED]> wrote:
> If you recall, the compile method for results specifications augments
> the set of types/features by doing 2 things:  if the type has
> allAnnotatorFeatures=true, it adds all the features of the type; and if
> the type has subtypes, it adds those too, propagating the
> allAnnotatorFeatures processing down.
>
> A consequence would be that the mFlowTable would miss these cases:
>
>    An aggregate wants type A output, and has a delegate with output
> capability A-subtype.
>

Without looking at the code, I didn't understand why this is a
consequence of the behavior you described above.  I thought you said
"and if the type has subtypes, it adds those too"?  Anyway, I
definitely think that this should work.  By the definition of subtype,
A-subtype *IS A* A.  So if an aggregate wants type A produced, then
A-subtype should be produced.

>    An aggregate wants Feature F output, and has a delegate with output
> capability type-A with allAnnotatorFeatures marked, having that feature.
>

We should be supporting this as well.  Again I didn't follow why the
behavior you described above doesn't do this.

-Adam

Reply via email to