CodeQL library for C#
codeql/csharp-all 0.9.2-dev (changelog, source)
Search

Class DataFlowType

An entity used to represent the type of data-flow node. Two nodes will have the same DataFlowType when the underlying Types are structurally equal modulo type parameters and identity conversions.

For example, Func<T, int> and Func<S, int> are mapped to the same DataFlowType, while Func<T, int> and Func<string, int> are not, because string is not a type parameter.

For delegates, we use the delegate itself instead of its type, in order to improve dispatch.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

Direct supertypes

Predicates

asDelegate
asGvnType
getADelegateCreation

Gets an expression that creates a delegate of this type.

toString