search

gliga / ekstazi

Software testing optimization tool
Apache License 2.0
27 stars 15 forks source link

Method does not override or implement a method from a supertype #14

Closed RenanGreca closed 9 months ago

RenanGreca commented 4 years ago

I tried compiling the project today, and got the following errors:

[ERROR] COMPILATION ERROR : 
[INFO] -------------------------------------------------------------
[ERROR] /home/ekstazi/org.ekstazi.core/src/main/java/org/ekstazi/io/FileRecorder.java:[175,5] method does not override or implement a method from a supertype
[ERROR] /home/ekstazi/org.ekstazi.core/src/main/java/org/ekstazi/io/FileRecorder.java:[179,5] method does not override or implement a method from a supertype
[ERROR] /home/ekstazi/org.ekstazi.core/src/main/java/org/ekstazi/io/FileRecorder.java:[195,5] method does not override or implement a method from a supertype
[INFO] 3 errors 
[INFO] -------------------------------------------------------------
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for org.ekstazi:org.ekstazi.parent 5.3.0:
[INFO] 
[INFO] org.ekstazi:org.ekstazi.parent ..................... SUCCESS [  0.004 s]
[INFO] org.ekstazi:org.ekstazi.core ....................... FAILURE [  5.014 s]
[INFO] org.ekstazi:ekstazi-maven-plugin ................... SKIPPED
[INFO] org.ekstazi:org.ekstazi.core.test .................. SKIPPED
[INFO] org.ekstazi:ekstazi-maven-plugin.test .............. SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  5.128 s
[INFO] Finished at: 2020-08-17T07:27:33Z
[INFO] ------------------------------------------------------------------------

The referenced methods are the following:

https://github.com/gliga/ekstazi/blob/28d77329cf6944e1005fa3e4ab454dfc1125566d/org.ekstazi.core/src/main/java/org/ekstazi/io/FileRecorder.java#L176

https://github.com/gliga/ekstazi/blob/28d77329cf6944e1005fa3e4ab454dfc1125566d/org.ekstazi.core/src/main/java/org/ekstazi/io/FileRecorder.java#L180

https://github.com/gliga/ekstazi/blob/28d77329cf6944e1005fa3e4ab454dfc1125566d/org.ekstazi.core/src/main/java/org/ekstazi/io/FileRecorder.java#L196

RenanGreca commented 4 years ago

I created pull request #15 that solves the issue. I also had to update the target version in pom.xml from 1.6 to 1.7, but I'm not sure if these two are correlated.

gliga commented 4 years ago

Hi,

Which Java/Maven version did you use?

RenanGreca commented 4 years ago

Hi Milos, sorry for the late reply. Here are the versions I'm using (on an Ubuntu Docker image).


openjdk 11.0.8 2020-07-14
OpenJDK Runtime Environment (build 11.0.8+10-post-Ubuntu-0ubuntu120.04)
OpenJDK 64-Bit Server VM (build 11.0.8+10-post-Ubuntu-0ubuntu120.04, mixed mode, sharing)
# mvn --version
Apache Maven 3.6.3
Maven home: /usr/share/maven
Java version: 11.0.8, vendor: Ubuntu, runtime: /usr/lib/jvm/java-11-openjdk-amd64
Default locale: en_US, platform encoding: ANSI_X3.4-1968
OS name: "linux", version: "4.19.76-linuxkit", arch: "amd64", family: "unix"```
gliga commented 9 months ago

Addressed in https://github.com/gliga/ekstazi/pull/58