You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm using the semanticdb java plugin to recompile the java.net.URL class in Java 17. Source code here
I get the semanticdb information attached below.
There doesn't appear to be any semanticdb info between lines 176 and 1712, so (in Metals) I can't get definitions on the code in that range.
One example is URLConnection on this line has no info.
There are a number of private variables that also don't have definitions.
This file is slightly unusual for java as there are 2 top-level classes defined. Only one of them public. The non-public one does have semanticdb.
Am I reading the semanticdb info wrong, or expecting too much from it or is the plugin foxed by multiple classes or something else?
I'm using the semanticdb java plugin to recompile the
java.net.URL
class in Java 17. Source code hereI get the semanticdb information attached below.
There doesn't appear to be any semanticdb info between lines 176 and 1712, so (in Metals) I can't get definitions on the code in that range.
One example is
URLConnection
on this line has no info.There are a number of private variables that also don't have definitions.
This file is slightly unusual for java as there are 2 top-level classes defined. Only one of them public. The non-public one does have semanticdb.
Am I reading the semanticdb info wrong, or expecting too much from it or is the plugin foxed by multiple classes or something else?
I'm using version
0.7.4
of the pluginThe text was updated successfully, but these errors were encountered: