C#: Narrow string interpolation expressions to a specific single file in testcase.

This commit is contained in:
Michael Nebel
2022-01-13 09:25:43 +01:00
parent 5031d6c4a3
commit aacb03a74b

View File

@@ -1,7 +1,13 @@
import csharp
query predicate inserts(InterpolatedStringExpr expr, Expr e) { expr.getAnInsert() = e }
private predicate inSpecificSource(Expr expr) {
expr.getFile().getBaseName() = "ConstInterpolatedString.cs"
}
query predicate inserts(InterpolatedStringExpr expr, Expr e) {
expr.getAnInsert() = e and inSpecificSource(expr)
}
query predicate texts(InterpolatedStringExpr expr, StringLiteral literal) {
expr.getAText() = literal
expr.getAText() = literal and inSpecificSource(expr)
}