Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Suppress "warning: [deprecation] finalize() in Object has been deprecated" #88

Closed
cyrille-artho opened this issue Jun 15, 2018 · 0 comments
Closed

Suppress "warning: [deprecation] finalize() in Object has been deprecated" #88

cyrille-artho opened this issue Jun 15, 2018 · 0 comments

Comments

@cyrille-artho
Copy link
Member

Use an annotation to suppress the warning "warning: [deprecation] finalize() in Object has been deprecated" in src/tests/gov/nasa/jpf/test/mc/threads/FinalizerThreadTest.java:40.

For the time being, we want to keep this functionality to stay compatible with (rare) programs using finalizers. Once finalizers get removed for good (at the earliest, that would be with Java 12), and they are also removed from Android, we can remove this entire test and the JPF feature that supports finalizers.

However, in the near future, we need to keep this feature, so we just want to suppress the warning.
gayanW added a commit to gayanW/jpf-core that referenced this issue Jun 16, 2018
@gayanW
Annotate FinalizerThreadTest.Finalize#finalize with @SuppressWarnings(…
0e44d95 
…"deprecation")

java.lang.Object#finalize is deprecated since Java 9.
gov.nasa.jpf.test.mc.threads.FinalizerThreadTest.Finalize#finalize is
not removed to stay compatible with (rare) programs using finalizers.

Fixes: javapathfinder#88
@gayanW gayanW mentioned this issue Jun 16, 2018
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@cyrille-artho