Add back alias for module

BazookaMusic · BazookaMusic · commit d2972cb53f90 · 2026-06-04T11:08:49.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/Bound.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/Bound.qll
@@ -29,4 +29,6 @@ private module BoundDefs implements SharedBound::BoundDefinitions<CS::Location>
   predicate interestingExprBound(Expr e) { CU::systemArrayLengthAccess(e.getExpr()) }
 }
 
-import SharedBound::Bound<CS::Location, BoundDefs>
+module BoundImpl = SharedBound::Bound<CS::Location, BoundDefs>;
+
+import BoundImpl
diff --git a/java/ql/lib/semmle/code/java/dataflow/Bound.qll b/java/ql/lib/semmle/code/java/dataflow/Bound.qll
@@ -31,4 +31,6 @@ private module BoundDefs implements SharedBound::BoundDefinitions<J::Location> {
   }
 }
 
-import SharedBound::Bound<J::Location, BoundDefs>
+module BoundImpl = SharedBound::Bound<J::Location, BoundDefs>;
+
+import BoundImpl

Original file line number	Diff line number	Diff line change
`@@ -29,4 +29,6 @@ private module BoundDefs implements SharedBound::BoundDefinitions<CS::Location>`
`29`	`29`	`predicate interestingExprBound(Expr e) { CU::systemArrayLengthAccess(e.getExpr()) }`
`30`	`30`	`}`
`31`	`31`
`32`		`-import SharedBound::Bound<CS::Location, BoundDefs>`
	`32`	`+module BoundImpl = SharedBound::Bound<CS::Location, BoundDefs>;`
	`33`	`+`
	`34`	`+import BoundImpl`
Original file line number	Diff line number	Diff line change
`@@ -31,4 +31,6 @@ private module BoundDefs implements SharedBound::BoundDefinitions<J::Location> {`
`31`	`31`	`}`
`32`	`32`	`}`
`33`	`33`
`34`		`-import SharedBound::Bound<J::Location, BoundDefs>`
	`34`	`+module BoundImpl = SharedBound::Bound<J::Location, BoundDefs>;`
	`35`	`+`
	`36`	`+import BoundImpl`