Merge pull request #15940 from michaelnebel/csharp/sourcesinktests

C#: Source- and sink tests.
This commit is contained in:
Michael Nebel
2024-03-21 08:12:16 +01:00
committed by GitHub
15 changed files with 753 additions and 83 deletions

View File

@@ -8,7 +8,7 @@ private import ModelEditor
* A class of effectively public callables from source code.
*/
class PublicEndpointFromSource extends Endpoint, ModelApi {
override predicate isSource() { SourceSinkInterpretationInput::sourceElement(this, _, _) }
override predicate isSource() { SourceSinkInterpretationInput::sourceElement(this, _, _, _) }
override predicate isSink() { SourceSinkInterpretationInput::sinkElement(this, _, _) }
override predicate isSink() { SourceSinkInterpretationInput::sinkElement(this, _, _, _) }
}