An implicit parameter definition at the entry point of the associated callable.
Import path
import semmle.code.csharp.AssignableDirect supertypes
Indirect supertypes
Fields
Predicates
| getAControlFlowNode | DEPRECATED: Use |
| getElement | Gets the underlying element associated with this definition. This is either an expression or a parameter. |
| getEnclosingCallable | Gets the enclosing callable of this definition. |
| getLocation | Gets the location of this assignable definition. |
| getParameter | Gets the underlying parameter. |
| toString | Gets a textual representation of this assignable definition. |
Inherited predicates
| getAFirstRead | Gets a first read of the same underlying assignable. That is, a read that can be reached from this definition without passing through any other reads, and which is guaranteed to read the value assigned in this definition. Example: | from AssignableDefinition |
| getExpr | Gets the underlying expression that updates the targeted assignable when reached, if any. | from AssignableDefinition |
| getSource | Gets the assigned expression, if any. For example, the expression assigned in | from AssignableDefinition |
| getTarget | Gets the assignable being defined. | from AssignableDefinition |
| getTargetAccess | Gets the access used in the definition of the underlying assignable, if any. Local variable declarations and implicit parameter definitions are the only definitions without associated accesses. | from AssignableDefinition |
| isCertain | Holds if this definition is guaranteed to update the targeted assignable. The only potentially uncertain definitions are | from AssignableDefinition |