owlapi-developer

[OWLAPI-developer] Version 4 GitHub code compiler error

[Lorenz B. <bue...@in...>]

Hello,

when I checkout the latest GitHub cdoe of branch version4 I get 2 
compiler errors in class 
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching line 62

and class 
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching 
line 64

with error message

Type mismatch: cannot convert from List<capture#5-of ? extends 
OWLAnnotation> to List<OWLAnnotation>

In both lines, a List<OWLAnnotation> object is set by

this.annotations = Collections.singletonList(annotations
                         .iterator().next());

Is it a problem of my IDE or Java version (JDK 1.7.0_40)?

Kind regards,
Lorenz

-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

Re: [OWLAPI-developer] Version 4 GitHub code compiler error

[Lorenz B. <bue...@in...>]

Just one comment, I know that it's possible to fix this error with

this.annotations = Collections.<OWLAnnotation>singletonList(annotations
                         .iterator().next());

but just wondering why I get this error message and I assume that nobody 
of the OWL API developers will commit non-compiling code.

Cheers,
Lorenz

> Hello,
>
> when I checkout the latest GitHub cdoe of branch version4 I get 2
> compiler errors in class
> uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching line 62
>
> and class
> uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching
> line 64
>
> with error message
>
> Type mismatch: cannot convert from List<capture#5-of ? extends
> OWLAnnotation> to List<OWLAnnotation>
>
> In both lines, a List<OWLAnnotation> object is set by
>
> this.annotations = Collections.singletonList(annotations
>                           .iterator().next());
>
> Is it a problem of my IDE or Java version (JDK 1.7.0_40)?
>
> Kind regards,
> Lorenz
>


-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

Re: [OWLAPI-developer] Version 4 GitHub code compiler error

[Ignazio P. <ipa...@gm...>]

On 27 Nov 2014 12:36, "Lorenz Bühmann" <bue...@in...>
wrote:
>
> Just one comment, I know that it's possible to fix this error with
>
> this.annotations = Collections.<OWLAnnotation>singletonList(annotations
>                          .iterator().next());
>
> but just wondering why I get this error message and I assume that nobody
> of the OWL API developers will commit non-compiling code.
>

:-) the reason for this error is as explained by Simon. We try not to
commit code that doesn't compile - hopefully it also passes the unit test
suite. There's a Travis build job as well, which uses oracle jdk 1.7 and
1.8 (also openjdk 1.7, if memory serves) to compile and run the tests.
Occasionally that brings up incompatibilities between eclipse, local jdks
and Travis versions as well, one of them just last week on version 5. These
can pop up in almost any version change of the jdk, apparently.
If you can tell us which Java 7 version you were using, that would help - I
need to update the wiki with this sort of information, now that we mention
it.
I.

> Cheers,
> Lorenz
>
> > Hello,
> >
> > when I checkout the latest GitHub cdoe of branch version4 I get 2
> > compiler errors in class
> > uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching
line 62
> >
> > and class
> > uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching
> > line 64
> >
> > with error message
> >
> > Type mismatch: cannot convert from List<capture#5-of ? extends
> > OWLAnnotation> to List<OWLAnnotation>
> >
> > In both lines, a List<OWLAnnotation> object is set by
> >
> > this.annotations = Collections.singletonList(annotations
> >                           .iterator().next());
> >
> > Is it a problem of my IDE or Java version (JDK 1.7.0_40)?
> >
> > Kind regards,
> > Lorenz
> >
>
>
> --
> Lorenz Bühmann
> AKSW group, University of Leipzig
> Group: http://aksw.org - semantic web research center
>
>
>
------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
>
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer

Re: [OWLAPI-developer] Version 4 GitHub code compiler error

[Simon S. <ses...@gm...>]

There are differences of opinion between Eclipse and Sun on how generic
type inference is supposed to work; the openjdk & oracle 7 javac compilers
are OK with the code,  and I believe the Eclipse compiler is OK at Java 8.

I am not going to read through the JLS to figure out which one is right; I
will just ask intellij to extract a temporary variable, which should make
things acceptable to either .

Simon
On Nov 27, 2014 7:31 AM, "Lorenz Bühmann" <
bue...@in...> wrote:

> Hello,
>
> when I checkout the latest GitHub cdoe of branch version4 I get 2
> compiler errors in class
> uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching line 62
>
> and class
> uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching
> line 64
>
> with error message
>
> Type mismatch: cannot convert from List<capture#5-of ? extends
> OWLAnnotation> to List<OWLAnnotation>
>
> In both lines, a List<OWLAnnotation> object is set by
>
> this.annotations = Collections.singletonList(annotations
>                          .iterator().next());
>
> Is it a problem of my IDE or Java version (JDK 1.7.0_40)?
>
> Kind regards,
> Lorenz
>
> --
> Lorenz Bühmann
> AKSW group, University of Leipzig
> Group: http://aksw.org - semantic web research center
>
>
>
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
>
> http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>

Re: [OWLAPI-developer] Version 4 GitHub code compiler error

[Lorenz B. <spo...@st...>]

Hello Simon,

thanks, will change workspace settings to Java 8 to avoid further 
conflicts of that type.

Kind regards,
Lorenz

> There are differences of opinion between Eclipse and Sun on how 
> generic type inference is supposed to work; the openjdk & oracle 7 
> javac compilers are OK with the code, and I believe the Eclipse 
> compiler is OK at Java 8.
>
> I am not going to read through the JLS to figure out which one is 
> right; I will just ask intellij to extract a temporary variable, which 
> should make things acceptable to either .
>
> Simon
>
> On Nov 27, 2014 7:31 AM, "Lorenz Bühmann" 
> <bue...@in... 
> <mailto:bue...@in...>> wrote:
>
>     Hello,
>
>     when I checkout the latest GitHub cdoe of branch version4 I get 2
>     compiler errors in class
>     uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching line
>     62
>
>     and class
>     uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching
>     line 64
>
>     with error message
>
>     Type mismatch: cannot convert from List<capture#5-of ? extends
>     OWLAnnotation> to List<OWLAnnotation>
>
>     In both lines, a List<OWLAnnotation> object is set by
>
>     this.annotations = Collections.singletonList(annotations
>                              .iterator().next());
>
>     Is it a problem of my IDE or Java version (JDK 1.7.0_40)?
>
>     Kind regards,
>     Lorenz
>
>     --
>     Lorenz Bühmann
>     AKSW group, University of Leipzig
>     Group: http://aksw.org - semantic web research center
>
>
>     ------------------------------------------------------------------------------
>     Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
>     from Actuate! Instantly Supercharge Your Business Reports and
>     Dashboards
>     with Interactivity, Sharing, Native Excel Exports, App Integration
>     & more
>     Get technology previously reserved for billion-dollar
>     corporations, FREE
>     http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>     _______________________________________________
>     Owlapi-developer mailing list
>     Owl...@li...
>     <mailto:Owl...@li...>
>     https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
>
>
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
> http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>
>
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer

Re: [OWLAPI-developer] Version 4 GitHub code compiler error

[Lorenz B. <spo...@st...>]

Hello Ignazio,

with Java 8 the error gets removed. To answer your question

I guess it's Java 7 OpenJDK jdk1.7.0_40 .

Kind regards,
Lorenz

> Hello Simon,
>
> thanks, will change workspace settings to Java 8 to avoid further 
> conflicts of that type.
>
> Kind regards,
> Lorenz
>
>> There are differences of opinion between Eclipse and Sun on how 
>> generic type inference is supposed to work; the openjdk & oracle 7 
>> javac compilers are OK with the code, and I believe the Eclipse 
>> compiler is OK at Java 8.
>>
>> I am not going to read through the JLS to figure out which one is 
>> right; I will just ask intellij to extract a temporary variable, 
>> which should make things acceptable to either .
>>
>> Simon
>>
>> On Nov 27, 2014 7:31 AM, "Lorenz Bühmann" 
>> <bue...@in... 
>> <mailto:bue...@in...>> wrote:
>>
>>     Hello,
>>
>>     when I checkout the latest GitHub cdoe of branch version4 I get 2
>>     compiler errors in class
>>     uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching
>>     line 62
>>
>>     and class
>>     uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching
>>     line 64
>>
>>     with error message
>>
>>     Type mismatch: cannot convert from List<capture#5-of ? extends
>>     OWLAnnotation> to List<OWLAnnotation>
>>
>>     In both lines, a List<OWLAnnotation> object is set by
>>
>>     this.annotations = Collections.singletonList(annotations
>>                              .iterator().next());
>>
>>     Is it a problem of my IDE or Java version (JDK 1.7.0_40)?
>>
>>     Kind regards,
>>     Lorenz
>>
>>     --
>>     Lorenz Bühmann
>>     AKSW group, University of Leipzig
>>     Group: http://aksw.org - semantic web research center
>>
>>
>>     ------------------------------------------------------------------------------
>>     Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
>>     from Actuate! Instantly Supercharge Your Business Reports and
>>     Dashboards
>>     with Interactivity, Sharing, Native Excel Exports, App
>>     Integration & more
>>     Get technology previously reserved for billion-dollar
>>     corporations, FREE
>>     http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>>     _______________________________________________
>>     Owlapi-developer mailing list
>>     Owl...@li...
>>     <mailto:Owl...@li...>
>>     https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>
>>
>>
>> ------------------------------------------------------------------------------
>> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
>> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
>> with Interactivity, Sharing, Native Excel Exports, App Integration & more
>> Get technology previously reserved for billion-dollar corporations, FREE
>> http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>>
>>
>> _______________________________________________
>> Owlapi-developer mailing list
>> Owl...@li...
>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
>
>
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
> http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>
>
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer

Re: [OWLAPI-developer] Version 4 GitHub code compiler error

[Ignazio P. <ipa...@gm...>]

On 2 Dec 2014 11:45, "Lorenz Bühmann" <spo...@st...>
wrote:
>
> Hello Ignazio,
>
> with Java 8 the error gets removed. To answer your question
>
> I guess it's Java 7 OpenJDK jdk1.7.0_40 .
>
> Kind regards,
> Lorenz
>

Thank you,
I.

>> Hello Simon,
>>
>> thanks, will change workspace settings to Java 8 to avoid further
conflicts of that type.
>>
>> Kind regards,
>> Lorenz
>>
>>> There are differences of opinion between Eclipse and Sun on how generic
type inference is supposed to work; the openjdk & oracle 7 javac compilers
are OK with the code,  and I believe the Eclipse compiler is OK at Java 8.
>>>
>>> I am not going to read through the JLS to figure out which one is
right; I will just ask intellij to extract a temporary variable, which
should make things acceptable to either .
>>>
>>> Simon
>>>
>>> On Nov 27, 2014 7:31 AM, "Lorenz Bühmann" <
bue...@in...> wrote:
>>>>
>>>> Hello,
>>>>
>>>> when I checkout the latest GitHub cdoe of branch version4 I get 2
>>>> compiler errors in class
>>>> uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching
line 62
>>>>
>>>> and class
>>>> uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching
>>>> line 64
>>>>
>>>> with error message
>>>>
>>>> Type mismatch: cannot convert from List<capture#5-of ? extends
>>>> OWLAnnotation> to List<OWLAnnotation>
>>>>
>>>> In both lines, a List<OWLAnnotation> object is set by
>>>>
>>>> this.annotations = Collections.singletonList(annotations
>>>>                          .iterator().next());
>>>>
>>>> Is it a problem of my IDE or Java version (JDK 1.7.0_40)?
>>>>
>>>> Kind regards,
>>>> Lorenz
>>>>
>>>> --
>>>> Lorenz Bühmann
>>>> AKSW group, University of Leipzig
>>>> Group: http://aksw.org - semantic web research center
>>>>
>>>>
>>>>
------------------------------------------------------------------------------
>>>> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
>>>> from Actuate! Instantly Supercharge Your Business Reports and
Dashboards
>>>> with Interactivity, Sharing, Native Excel Exports, App Integration &
more
>>>> Get technology previously reserved for billion-dollar corporations,
FREE
>>>>
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>>>> _______________________________________________
>>>> Owlapi-developer mailing list
>>>> Owl...@li...
>>>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>>
>>>
>>>
>>>
------------------------------------------------------------------------------
>>> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
>>> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
>>> with Interactivity, Sharing, Native Excel Exports, App Integration &
more
>>> Get technology previously reserved for billion-dollar corporations, FREE
>>>
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>>>
>>>
>>>
>>> _______________________________________________
>>> Owlapi-developer mailing list
>>> Owl...@li...
>>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>
>>
>>
>>
>>
------------------------------------------------------------------------------
>> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
>> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
>> with Interactivity, Sharing, Native Excel Exports, App Integration & more
>> Get technology previously reserved for billion-dollar corporations, FREE
>>
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>>
>>
>>
>> _______________________________________________
>> Owlapi-developer mailing list
>> Owl...@li...
>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
>
>
>
------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
>
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>

Re: [OWLAPI-developer] Version 4 GitHub code compiler error

[Simon S. <ses...@gm...>]

I now roughly understand the rules and it will always be valid 8. I think
javac 7 did sensible inference, then was "fixed" , then was "broken".

OWLAPI would never deviate from formal specifications just because they
were broken :-)

Re: [OWLAPI-developer] Version 4 GitHub code compiler error

[Ignazio P. <ipa...@gm...>]

On 2 December 2014 at 18:57, Simon Spero <ses...@gm...> wrote:
> I now roughly understand the rules and it will always be valid 8. I think
> javac 7 did sensible inference, then was "fixed" , then was "broken".
>
> OWLAPI would never deviate from formal specifications just because they were
> broken :-)
>

Not on purpose :-P well, not admitting to have done so on purpose...
Shoot I've given away the game now.
I.