CodeQL library for C#
Search

Class EntityFramework::EFSummarizedCallable

A flow summary for EntityFramework.

Import path

import semmle.code.csharp.frameworks.EntityFramework

Direct supertypes

Indirect supertypes

Known direct subtypes

    Inherited predicates

    canReturn

    Holds if this callable can return expression e.

    from Callable
    clearsContent

    Holds if values stored inside content are cleared on objects passed as arguments at position pos to this callable.

    from SummarizedCallable
    compiledFromSource

    Holds if this element was compiled from source code that is also present in the database. That is, this element corresponds to another element from source.

    from NamedElement
    fromLibrary

    Holds if this element is from an assembly.

    from Element
    fromSource

    Holds if this element is from source code.

    from Element
    getALocation

    Gets a location of this element, which can include locations in both DLLs and source files.

    from Element
    getAParameter

    Gets a parameter, if any.

    from Parameterizable
    getAPrimaryQlClass

    Gets the name of a primary CodeQL class to which this element belongs.

    from Element
    getARawParameter

    Gets a raw parameter (including the qualifier), if any.

    from Parameterizable
    getDeclaringType

    Gets the type containing this declaration, if any.

    from Declaration
    getFile

    Gets the file containing this element.

    from Element
    getLabel

    Gets a unique string label for this element.

    from Callable
    getLanguage

    Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”.

    from Element
    getLocation

    Gets the location of this element.

    from Element
    getName

    Gets the name of this element.

    from NamedElement
    getNumberOfParameters

    Gets the number of parameters of this callable.

    from Parameterizable
    getParameter

    Gets the ith parameter, excluding the this parameter.

    from Parameterizable
    getPrimaryQlClasses

    Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

    from Element
    getQualifiedName

    Gets the fully qualified name of this element, for example the fully qualified name of M on line 3 is N.C.M in

    from NamedElement
    getRawParameter

    Gets raw parameter i, including the this parameter at index 0.

    from Parameterizable
    getReturnType

    Gets the return type of this callable.

    from Callable
    getSourceDeclaration

    DEPRECATED: Use getUnboundDeclaration() instaed.

    from Declaration
    getUnboundDeclaration

    Gets the unbound version of this declaration, that is, the declaration where all type arguments have been removed. For example, in

    from Declaration
    getUndecoratedName

    Gets the name of this declaration, without additional decoration such as <...>.

    from Declaration
    hasBody

    Holds if this callable has a body or an implementation.

    from Callable
    hasName

    Holds if this element has name ‘name’.

    from NamedElement
    hasNoParameters

    Holds if this declaration has no parameters.

    from Parameterizable
    hasQualifiedName

    Holds if this element has the qualified name qualifier.name.

    from Declaration
    hasQualifiedName

    Holds if this element has qualified name qualifiedName, for example System.Console.WriteLine.

    from NamedElement
    hasUndecoratedName

    Holds if this element has undecorated name ‘name’.

    from Declaration
    isUnboundDeclaration

    Holds if this declaration is unbound.

    from Declaration
    matchesHandle

    Holds if other has the same metadata handle in the same assembly.

    from NamedElement
    propagatesFlow

    Holds if data may flow from input to output through this callable.

    from SummarizedCallable
    toString

    Gets a textual representation of this element.

    from NamedElement
    toStringWithTypes

    Gets the full textual representation of this element, including type information.

    from Element