C#: Make IRConfiguration.qll just forward to the implementation

Just like C++ already does.
This commit is contained in:
Dave Bartolomeo
2020-03-24 13:33:50 -04:00
parent 3a66b04e7a
commit 2b69cc9738

View File

@@ -1,22 +1 @@
/**
* Module used to configure the IR generation process.
*/
import csharp
private newtype TIRConfiguration = MkIRConfiguration()
private import semmle.code.csharp.ir.internal.IRCSharpLanguage as Language
/**
* The query can extend this class to control which functions have IR generated for them.
*/
class IRConfiguration extends TIRConfiguration {
string toString() { result = "IRConfiguration" }
/**
* Holds if IR should be created for callable `callable`. By default, holds for all callables.
*/
predicate shouldCreateIRForFunction(Callable callable) { any() }
predicate shouldEvaluateDebugStringsForFunction(Language::Function func) { any() }
}
import implementation.IRConfiguration