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

Class TrivialProperty

A property with a trivial getter and setter. For example, properties P1 and P2 are trivial, while P3 is not, in

public class C {
  int p1;
  public int P1 {
    get { return p1; }
    set { p1 = value; }
  }

  public int P2 {
    get;
    set;
  }

  int p3;
  public int P3 {
    get { return p3; }
    set { p3 = value + 1; }
  }
}

Import path

import csharp

Direct supertypes

Indirect supertypes

Inherited predicates

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
getAChild

Gets a child of this element, if any.

from Element
getAChildExpr

Gets a child expression of this element, if any.

from TopLevelExprParent
getALocation

Gets a location of this element, including sources and assemblies.

from Property
getAModifier

Gets a modifier of this declaration.

from Modifiable
getAPrimaryQlClass

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

from Property
getAnAccessfrom Property
getAnAccessor

Gets an accessor of this declaration.

from DeclarationWithAccessors
getAnAssignedValue

Gets an expression assigned to this assignable, if any.

from Property
getAnAttribute

Gets an attribute attached to this element, if any.

from Attributable
getAnImplementor

Gets a member that immediately implements this interface member, if any.

from Overridable
getAnImplementor

Gets a member that immediately implements this interface member, if any.

from Property
getAnOverrider

Gets a member that immediately overrides this member, if any.

from Property
getAnUltimateImplementee

Gets an interface member that is (transitively) implemented by this member, if any. That is, either this member immediately implements the interface member, or this member overrides (transitively) another member that immediately implements the interface member.

from Property
getAnUltimateImplementor

Gets a member that (transitively) implements this interface member, if any. That is, either this interface member is immediately implemented by the result, or the result overrides (transitively) another member that immediately implements this interface member.

from Property
getAnnotatedType

Gets the annotated type of this assignable.

from Assignable
getChild

Gets the ith child of this element (zero-based).

from TopLevelExprParent
getChildExpr

Gets the ith child expression of this element (zero-based).

from TopLevelExprParent
getDeclaringType

Gets the type containing this declaration, if any.

from Property
getExplicitlyImplementedInterface

Gets any interface this member explicitly implements; this only applies to members that can be declared on an interface, i.e. methods, properties, indexers and events.

from Overridable
getExpressionBody

Gets the expression body of this property, if any. For example, the expression body of P on line 2 is 20 in

from Property
getFile

Gets the file containing this element.

from Element
getFullyQualifiedName

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
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
getGetterfrom Property
getImplementee

Gets the interface member that is immediately implemented by this member, if any.

from Overridable
getImplementee

Gets the interface member that is immediately implemented by this member, if any.

from Property
getIndex

Gets the index of this element among its parent’s other children (zero-based).

from Element
getInitializer

Gets the initial value of this property, if any. For example, the initial value of P on line 2 is 20 in

from Property
getLabel

Gets a unique string label for this element.

from NamedElement
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. 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 Property
getNumberOfChildren

Gets the number of children of this element.

from Element
getOverridee

Gets the member that is immediately overridden by this member, if any.

from Property
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
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
getQualifiedNameWithTypes

DEPRECATED: Use getFullyQualifiedNameWithTypes instead.

from Declaration
getSetterfrom Property
getTypefrom Property
getUnboundDeclaration

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

from Property
getUndecoratedName

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

from Property
hasFullyQualifiedName

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

from Declaration
hasFullyQualifiedName

Holds if this member has name name and is defined in type type with namespace namespace.

from Member
hasInitializer

Holds if this property has an initial value. For example, the initial value of P on line 2 is 20 in

from Property
hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

from Attributable
hasModifier

Holds if this declaration has name as a modifier.

from Modifiable
hasName

Holds if this element has name ‘name’.

from NamedElement
hasQualifiedName

DEPRECATED: Use hasFullyQualifiedName instead.

from Declaration
hasQualifiedName

DEPRECATED: Use hasFullyQualifiedName instead.

from Member
hasUndecoratedName

Holds if this element has undecorated name ‘name’.

from Declaration
implements

Holds if this member implements (transitively) an interface member.

from Overridable
implementsExplicitInterface

Holds if this member implements an interface member explicitly.

from Overridable
isAbstractfrom Member
isAsync

Holds if this declaration is async.

from Modifiable
isAutoImplemented

Holds if this property is automatically implemented. For example, P1 on line 2 is automatically implemented, while P2 on line 5 is not in

from Property
isAutoImplementedReadOnly

Holds if this property is automatically implemented and read-only. For example, P1 on line 2 is automatically implemented and read-only csharp class C { public int P1 { get; } }

from Property
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
isFilefrom Member
isImplemented

Holds if this interface member is implemented by some other member.

from Overridable
isInternalfrom Member
isNew

Holds if this declaration has the modifier new.

from Modifiable
isOverridableOrImplementable

Holds if this member can be overridden or implemented.

from Virtualizable
isOverridden

Holds if this member is overridden by some other member.

from Overridable
isOverride

Holds if this member has the modifier override.

from Virtualizable
isPartial

Holds if this declaration is partial.

from Modifiable
isPrivatefrom Virtualizable
isProtectedfrom Member
isPublicfrom Virtualizable
isReadOnly

Holds if this declaration is read-only.

from DeclarationWithGetSetAccessors
isReadWrite

Holds if this declaration is read-write.

from DeclarationWithGetSetAccessors
isRequiredfrom Member
isSealedfrom Member
isSourceDeclaration

Holds if this declaration is unconstructed and in source code.

from Declaration
isStaticfrom Member
isUnboundDeclaration

Holds if this declaration is unbound.

from Declaration
isUnsafe

Holds if this declaration is unsafe.

from Modifiable
isVirtual

Holds if this member is virtual.

from Virtualizable
isWriteOnly

Holds if this declaration is write-only.

from DeclarationWithGetSetAccessors
matchesHandle

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

from NamedElement
overrides

Holds if this member overrides another member.

from Overridable
overridesOrImplements

Holds if this member overrides or implements (transitively) that member.

from Overridable
overridesOrImplementsOrEquals

Holds if this member overrides or implements (reflexively, transitively) that member.

from Overridable
toStringfrom AssignableMember
toStringWithTypes

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

from Element

Charpred