Crypto: Updating java 'location' information to be just a location's toString to be more verbose/precise.

bdrodes · bdrodes · commit b374ba3d0c8f · 2025-10-21T11:48:37.000-04:00
diff --git a/java/ql/lib/experimental/quantum/Language.qll b/java/ql/lib/experimental/quantum/Language.qll
@@ -30,7 +30,7 @@ module CryptoInput implements InputSig<Language::Location> {
   class UnknownLocation = UnknownDefaultLocation;
 
   string locationToFileBaseNameAndLineNumberString(Location location) {
-    result = location.getFile().getBaseName() + ":" + location.getStartLine()
+    result = location.toString()
   }
 
   LocatableElement dfn_to_element(DataFlow::Node node) {

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ module CryptoInput implements InputSig<Language::Location> {`
`30`	`30`	`class UnknownLocation = UnknownDefaultLocation;`
`31`	`31`
`32`	`32`	`string locationToFileBaseNameAndLineNumberString(Location location) {`
`33`		`- result = location.getFile().getBaseName() + ":" + location.getStartLine()`
	`33`	`+ result = location.toString()`
`34`	`34`	`}`
`35`	`35`
`36`	`36`	`LocatableElement dfn_to_element(DataFlow::Node node) {`