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.

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

Add binary file location #112

Open
pmai opened this issue Jul 31, 2024 · 0 comments
Open

Add binary file location #112

pmai opened this issue Jul 31, 2024 · 0 comments
Labels
effort:Medium isState:Accepted An issue that has been accepted by the group, which needs to be assigned to a responsible isType:Feature An issue that adds new features to the project.
Milestone

Comments

@pmai
Copy link
Collaborator

pmai commented Jul 31, 2024

Is your feature request related to a problem? Please describe.

A new binary file location type needs to be added for files (like OSI trace files) that are not textual in nature and hence do not have rows/lines and columns but only raw file positions (and potentially message indices).

Describe the solution you'd like

tbd.

Describe alternatives you've considered

Current location types can be found in the schema file

  • Own issue location type additionally for binary file locations
  • Additional property in FileLocationType for binary files with a alternate interpretation
@pmai pmai added the isType:Feature An issue that adds new features to the project. label Jul 31, 2024
@andreaskern74 andreaskern74 added the isState:New A new issue that needs to be classified to a type. label Aug 1, 2024
@andreaskern74 andreaskern74 added this to the Wish List milestone Aug 1, 2024
@andreaskern74 andreaskern74 added isState:Accepted An issue that has been accepted by the group, which needs to be assigned to a responsible and removed isState:New A new issue that needs to be classified to a type. labels Sep 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
effort:Medium isState:Accepted An issue that has been accepted by the group, which needs to be assigned to a responsible isType:Feature An issue that adds new features to the project.
Projects
None yet
Development

No branches or pull requests

2 participants