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

Class MutatorOperatorCall

A call to a user-defined mutator operator, for example a++ on line 7 in

class A {
  public static A operator++(A a) {
    return a;
  }

  public static A Increment(A a) {
    return a++;
  }
}

Import path

import csharp

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

isPostfix

Holds if the operator is in postfix position.

isPrefix

Holds if the operator is in prefix position.

Inherited predicates

controlsBlock

Holds if basic block controlled is controlled by this control flow element with conditional value s. That is, controlled can only be reached from the callable entry point by going via the s edge out of some basic block ending with this element.

from ControlFlowElement
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 ExprOrStmtParent
getAChildStmt

Gets a child statement of this element, if any.

from ExprOrStmtParent
getAControlFlowEntryNode

Gets a first control flow node executed within this element.

from ControlFlowElement
getAControlFlowExitNode

Gets a potential last control flow node executed within this element.

from ControlFlowElement
getAControlFlowNode

Gets a control flow node for this element. That is, a node in the control flow graph that corresponds to this element.

from ControlFlowElement
getALocation

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

from Expr
getAPrimaryQlClass

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

from OperatorCall
getAReachableElement

Gets an element that is reachable from this element.

from ControlFlowElement
getARuntimeArgument

Gets an argument that corresponds to a parameter of a potential run-time target of this call.

from Call
getARuntimeTarget

Gets a potential run-time target of this call.

from OperatorCall
getAnArgument

Gets an argument to this call.

from Call
getAnnotatedType

Gets the annotated type of this expression.

from Expr
getArgument

Gets the ith argument to this call, if any.

from Call
getArgumentForName

Gets the argument to this call associated with the parameter with the given name, if any.

from Call
getArgumentForParameter

Gets the argument for this call associated with the parameter p, if any.

from Call
getAssembly

Gets the assembly that this element was compiled into.

from ControlFlowElement
getChild

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

from ExprOrStmtParent
getChildExpr

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

from ExprOrStmtParent
getChildStmt

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

from ExprOrStmtParent
getEnclosingCallable

Gets the enclosing callable of this expression, if any.

from Expr
getEnclosingStmt

Gets the enclosing statement of this expression, if any.

from Expr
getExplicitArgumentName

Gets the explicit parameter name used to pass this expression as an argument for, if any. For example, if this expression is 0 in M(second: 1, first: 0) then the result is "first".

from Expr
getFile

Gets the file containing this element.

from Element
getIndex

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

from Element
getLateBoundTargetName

Gets the name of the target that is late bound, if any.

from LateBindableExpr
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
getNumberOfArguments

Gets the number of arguments of this call.

from Call
getNumberOfChildren

Gets the number of children of this element.

from Element
getNumberOfRuntimeArguments

Gets the number of arguments that correspond to a parameter of a potential run-time target of this call.

from Call
getParent

Gets the parent of this expression. This is for example the element that uses the result of this expression.

from Expr
getPrimaryQlClasses

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

from Element
getRawArgument

Gets the ith “raw” argument to this call, if any. For instance methods, argument 0 is the qualifier.

from Call
getRuntimeArgument

Gets the argument that corresponds to the ith parameter of a potential run-time target of this call.

from Call
getRuntimeArgumentForName

Gets the argument that corresponds to a parameter named name of a potential run-time target of this call.

from Call
getRuntimeArgumentForParameter

Gets the argument that corresponds to parameter p of a potential run-time target of this call.

from Call
getTarget

Gets the static (compile-time) target of this call. For example, the static target of x.M() on line 9 is A.M in

from OperatorCall
getType

Gets the type of this expression.

from Expr
getValue

Gets the value of this expression, if any

from Expr
hasMaybeNullFlowState

Holds if the nullable flow state of this expression may be null.

from Expr
hasNoArguments

Holds if this call has no arguments.

from Call
hasNoRuntimeArguments

Holds if this call has no arguments that correspond to a parameter of a potential (run-time) target of this call.

from Call
hasNotNullFlowState

Holds if the nullable flow state of this expression is not null.

from Expr
hasValue

Holds if this expression has a value.

from Expr
isImplicit

Holds if this expression is generated by the compiler and does not appear explicitly in the source code.

from Expr
isLateBound

Holds if this expression is late bound.

from LateBindableExpr
isLive

Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable.

from ControlFlowElement
reachableFrom

Holds if the current element is reachable from src.

from ControlFlowElement
stripCasts

Gets an expression that is the result of stripping (recursively) all implicit and explicit casts from this expression, if any. For example, the result is reader if this expression is either (IDisposable)reader or reader as IDisposable.

from Expr
stripImplicitCasts

Gets an expression that is the result of stripping (recursively) all implicit casts from this expression, if any.

from Expr
toString

Gets a textual representation of this element.

from OperatorCall
toStringWithTypes

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

from Element

Charpred