[FEATURE REQUEST] CFG element location should be not null #84
Labels
🎊 resolution:resolved
Bug or feature resolved - might not have been merged to master yet
🏛 scope:program-structure
Work regarding the program structure
🎆 type:feature
New feature or request
Projects
Milestone
Description
We should ensure that the code location of each cfg element (Parameter, CFGDescriptor, CompilationUnit, etc) is not null. If the code location of an element is unknown, we should put the unknown location of the corresponding
CodeLocation
concrete implementation (e.g., forSourceCodeLocation
we should putnew SourceCodeLocation(null, -1, -1)
).The text was updated successfully, but these errors were encountered: