groovy

stub generation fails with generic signatures

Details

  • Number of attachments :
    0

Description

The stub generation fails with the following classes. It appears it may be because of the generic signatures.

//groovy code
public interface ColContract {
  List<? extends PrimitiveContract> getPrims();
  String getThing();
  List<String> getMoreThings();
}

public interface PrimitiveContract {
  String getFoo();
  String getBar();
}

import java.util.List;

public class Client3 {
    { new ColContract() {
        @Override
        public List<? extends PrimitiveContract> getPrims() {
            return null;
        }

        @Override
        public String getThing() {
            return null;
        }

        @Override
        public List<String> getMoreThings() {
            return null;
        }
    }; }
}

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
blackdrag blackdrag added a comment -

to you give the error message you get as well?

Show
blackdrag blackdrag added a comment - to you give the error message you get as well?
Hide
Permalink
Travis added a comment - - edited

Oh sorry about that. Here is the error message the the groovyc compiler gives me. BTW. This code also fails in Intellij 10.1 when using the native groovy stub generation if that helps.

C:\IdeaProjects\groovy-bugs\src\main>groovyc -j groovy/ColContract.groovy groovy/PrimitiveContract.groovy java/Client3.java
org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed: Compile error during compilation with javac.

C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: > expected java.util.List<PrimitiveContract extends PrimitiveContract> getPrims();
                                 ^
C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: = expected java.util.List<PrimitiveContract extends PrimitiveContract> getPrims();
                                          ^
C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: ';' expected
 java.util.List<PrimitiveContract extends PrimitiveContract> getPrims();
                                                           ^
C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: <identifier> expected
 java.util.List<PrimitiveContract extends PrimitiveContract> getPrims();
                                                                     ^
C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: cannot find symbol
symbol  : class getPrims location: interface ColContract java.util.List<PrimitiveContract extends PrimitiveContract> getPrims();
                                                             ^
C:\IdeaProjects\groovy-bugs\src\main\java\Client3.java:4: <anonymous Client3$1> is not abstract and does not override abstract method <error>() in ColContract { new ColContract() {
                        ^
C:\IdeaProjects\groovy-bugs\src\main\java\Client3.java:5: method does not override or implement a method from a supertype
        @Override
        ^
7 errors


1 error
Show
Travis added a comment - - edited Oh sorry about that. Here is the error message the the groovyc compiler gives me. BTW. This code also fails in Intellij 10.1 when using the native groovy stub generation if that helps. C:\IdeaProjects\groovy-bugs\src\main>groovyc -j groovy/ColContract.groovy groovy/PrimitiveContract.groovy java/Client3.java org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed: Compile error during compilation with javac. C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: > expected java.util.List<PrimitiveContract extends PrimitiveContract> getPrims(); ^ C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: = expected java.util.List<PrimitiveContract extends PrimitiveContract> getPrims(); ^ C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: ';' expected java.util.List<PrimitiveContract extends PrimitiveContract> getPrims(); ^ C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: <identifier> expected java.util.List<PrimitiveContract extends PrimitiveContract> getPrims(); ^ C:\DOCUME~1\schnee13\LOCALS~1\Temp\groovy-generated-4794247310035767174-java-source\ColContract.java:10: cannot find symbol symbol : class getPrims location: interface ColContract java.util.List<PrimitiveContract extends PrimitiveContract> getPrims(); ^ C:\IdeaProjects\groovy-bugs\src\main\java\Client3.java:4: <anonymous Client3$1> is not abstract and does not override abstract method <error>() in ColContract { new ColContract() { ^ C:\IdeaProjects\groovy-bugs\src\main\java\Client3.java:5: method does not override or implement a method from a supertype @Override ^ 7 errors 1 error
Hide
Permalink
blackdrag blackdrag added a comment -

ok, then I see the following problems:

  • The anonymous inner class in Client3 should not be part of the stub
  • ? extends PrimitiveContract is done as PrimitiveContract extends PrimitiveContract, which is wrong.
Show
blackdrag blackdrag added a comment - ok, then I see the following problems: The anonymous inner class in Client3 should not be part of the stub ? extends PrimitiveContract is done as PrimitiveContract extends PrimitiveContract, which is wrong.
Hide
Permalink
Oleg Rekutin added a comment -

I am also seeing (in 1.7.6) the stub generator produce "? extends A" as "A extends A".

Show
Oleg Rekutin added a comment - I am also seeing (in 1.7.6) the stub generator produce "? extends A" as "A extends A".
Hide
Permalink
Paul King added a comment -

I believe this is fixed. If you could try a SNAPSHOT version, that would be great. Thanks.

Show
Paul King added a comment - I believe this is fixed. If you could try a SNAPSHOT version, that would be great. Thanks.
Paul King made changes -
Field Original Value New Value
Status Open [ 1 ] Resolved [ 5 ]
Assignee Paul King [ paulk ]
Fix Version/s 1.7.11 [ 17244 ]
Fix Version/s 1.8.1 [ 17223 ]
Resolution Fixed [ 1 ]
Paul King made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

  • Assignee:
    Paul King
    Reporter:
    Travis
Vote (3)
Watch (3)

Dates

  • Created:
    Updated:
    Resolved: