Class FieldOrPropertyUsedInSource

A field or property which is either itself defined in source or which is the target of some access in source, and therefore ought to have dataflow nodes created.

Import path

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

Direct supertypes

FieldOrProperty

Indirect supertypes

Inherited predicates

fromLibrary	Holds if this element is from an assembly.	from Element
fromSource	Holds if this element is from source code.	from Element
getAChild	Gets a child of this element, if any.	from Element
getALocation	Gets a location of this element, including sources and assemblies.	from Element
getAModifier	Gets a modifier of this declaration.	from Modifiable
getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.	from Element
getAnAccess	Gets an access to this assignable.	from Assignable
getAnAssignedValue	Gets an expression assigned to this assignable, if any.	from Assignable
getAnnotatedType	Gets the annotated type of this assignable.	from Assignable
getChild	Gets the `i`th child of this element (zero-based).	from Element
getContentSet	Gets the content that matches this field or property.	from FieldOrProperty
getDeclaringType	Gets the type containing this declaration, if any.	from Declaration
getFile	Gets the file containing this element.	from Element
getFullyQualifiedName	DEPRECATED: Use `hasFullyQualifiedName` instead.	from NamedElement
getFullyQualifiedNameDebug	INTERNAL: Do not use.	from NamedElement
getFullyQualifiedNameWithTypes	Gets the fully qualified name of this declaration, including types, for example the fully qualified name with types of `M` on line 3 is `N.C.M(int, string)` in	from Declaration
getIndex	Gets the index of this element among its parent’s other children (zero-based).	from Element
getLocation	Gets the location of this element. Where an element has locations in source and assemblies, choose the source location. If there are multiple assembly locations, choose only one.	from Element
getName	Gets the name of this element.	from NamedElement
getNumberOfChildren	Gets the number of children of this element.	from Element
getParent	Gets the parent of this element, if any.	from Element
getPrimaryQlClasses	Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.	from Element
getType	Gets the type of this assignable.	from Assignable
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
hasFullyQualifiedName	Holds if this element has the fully qualified name `qualifier`.`name`.	from Declaration
hasModifier	Holds if this declaration has `name` as a modifier.	from Modifiable
hasName	Holds if this element has name ‘name’.	from NamedElement
hasUndecoratedName	Holds if this element has undecorated name ‘name’.	from Declaration
isAbstract	Holds if this declaration is `abstract`.	from Modifiable
isAsync	Holds if this declaration is `async`.	from Modifiable
isCompilerGenerated	Holds if this declaration has been generated by the compiler, for example implicit constructors or accessors.	from Declaration
isConst	Holds if this declaration is `const`.	from Modifiable
isEffectivelyInternal	Holds if this declaration is effectively `internal`. A declaration is considered effectively `internal` if it can only be referenced from the declaring assembly.	from Modifiable
isEffectivelyPrivate	Holds if this declaration is effectively `private`. A declaration is considered effectively `private` if it can only be referenced from - the declaring and its nested types, similarly to `private` declarations, and - the enclosing types.	from Modifiable
isEffectivelyPublic	Holds if this declaration is effectively `public`, meaning that it can be referenced outside the declaring assembly.	from Modifiable
isExtern	Holds if this declaration is `extern`.	from Modifiable
isFieldLike	Holds if this is either a field or a field-like property.	from FieldOrProperty
isFile	Holds if this declaration is `file` local.	from Modifiable
isInternal	Holds if this declaration is `internal`.	from Modifiable
isNew	Holds if this declaration has the modifier `new`.	from Modifiable
isPartial	Holds if this declaration is `partial`.	from Modifiable
isPrivate	Holds if this declaration is `private`.	from Modifiable
isProtected	Holds if this declaration is `protected`.	from Modifiable
isPublic	Holds if this declaration is `public`.	from Modifiable
isRequired	Holds if this declaration has the modifier `required`.	from Modifiable
isSealed	Holds if this declaration is `sealed`.	from Modifiable
isSourceDeclaration	Holds if this declaration is unconstructed and in source code.	from Declaration
isStatic	Holds if this declaration is `static`.	from Modifiable
isUnboundDeclaration	Holds if this declaration is unbound.	from Declaration
isUnsafe	Holds if this declaration is `unsafe`.	from Modifiable
toString	Gets a textual representation of this element.	from Declaration
toStringWithTypes	Gets the full textual representation of this element, including type information.	from Element

Charpred

FieldOrPropertyUsedInSource