You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@uima.apache.org by Tong Fin <to...@gmail.com> on 2007/11/21 06:02:39 UTC

What is the returned value of aTypeSystem.subsumes(stringType, stringType) ?

Type stringType = aTypeSystem.getType("uima.cas.String");
What is the returned value of aTypeSystem.subsumes(stringType, stringType) ?
I got "true". Is it what we expect ?

Thanks,
Tong

Re: What is the returned value of aTypeSystem.subsumes(stringType, stringType) ?

Posted by Thilo Goetz <tw...@gmx.de>.

Tong Fin wrote:
> Type stringType = aTypeSystem.getType("uima.cas.String");
> What is the returned value of aTypeSystem.subsumes(stringType, stringType) ?
> I got "true". Is it what we expect ?
> 
> Thanks,
> Tong

Yes.  subsumes() is the reflexive transitive closure of the
subtype relationship.  In other words, every type subsumes
itself, and if a subsumes b and c is a subtype of b, then
a subsumes c.

--Thilo