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

Introduce a java_source_locationt to contain Java specific source location information #1824

Closed
thk123 opened this issue Feb 12, 2018 · 1 comment
Closed

Introduce a java_source_locationt to contain Java specific source location information #1824

thk123 opened this issue Feb 12, 2018 · 1 comment
Labels
enhancement

Comments

@thk123
Copy link
Contributor

thk123 commented Feb 12, 2018

Currently the language agnostic contains the Java bytecode index and (as of #1812) the remove_virtual_call flag. These should be pulled into a java_bytecode_source_locationt.
@thk123 thk123 mentioned this issue Feb 12, 2018
Closed
@peterschrammel peterschrammel mentioned this issue Mar 17, 2018
Closed
@thomasspriggs
Copy link
Contributor

Yes, separating out a Java specific variation of source_locationt, sounds like it would be a worthwhile refactor. However, given how long this issue has been open it doesn't seem to be a priority for anyone to actually get done. Therefore I am going to close out this issue, rather than leaving it open indefinitely.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@thk123 @thomasspriggs