Skip to content

Commit 2b69cc9

Browse files
author
Dave Bartolomeo
committed
C#: Make IRConfiguration.qll just forward to the implementation
Just like C++ already does.
1 parent 3a66b04 commit 2b69cc9

File tree

1 file changed

+1
-22
lines changed

1 file changed

+1
-22
lines changed
Lines changed: 1 addition & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1 @@
1-
/**
2-
* Module used to configure the IR generation process.
3-
*/
4-
5-
import csharp
6-
7-
private newtype TIRConfiguration = MkIRConfiguration()
8-
private import semmle.code.csharp.ir.internal.IRCSharpLanguage as Language
9-
10-
/**
11-
* The query can extend this class to control which functions have IR generated for them.
12-
*/
13-
class IRConfiguration extends TIRConfiguration {
14-
string toString() { result = "IRConfiguration" }
15-
16-
/**
17-
* Holds if IR should be created for callable `callable`. By default, holds for all callables.
18-
*/
19-
predicate shouldCreateIRForFunction(Callable callable) { any() }
20-
21-
predicate shouldEvaluateDebugStringsForFunction(Language::Function func) { any() }
22-
}
1+
import implementation.IRConfiguration

0 commit comments

Comments
 (0)