We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
SuccessorType.qll
1 parent 383e82a commit ba575dbCopy full SHA for ba575db
csharp/ql/src/semmle/code/csharp/controlflow/internal/SuccessorType.qll
@@ -1,7 +1,12 @@
1
+/**
2
+ * INTERNAL: Do not use.
3
+ *
4
+ * Provides different types of control flow successor types.
5
+ */
6
+
7
import csharp
8
private import semmle.code.csharp.controlflow.internal.Completion
9
-/** Internal representation of types of control flow. */
10
cached
11
private newtype TSuccessorType =
12
TSuccessorSuccessor() { ControlFlow::Internal::forceCachingInSameStage() } or
0 commit comments