Class DynamicMemberAccess
A member access where the qualifier is a dynamic
expression, for example
d.X
on line 24 in
class A {
public A() { }
public int X;
}
class B {
public B() { }
public string X { get; set; }
}
class C {
public C() { }
public delegate void EventHandler(object sender, object e);
public event EventHandler X;
}
class D {
public dynamic GetX(int i) {
dynamic d = i == 0 ? new A() : i > 0 ? new B() : (dynamic) new C();
return d.X;
}
}
Unlike an ordinary member access (MemberAccess
), the target member may not
be known at compile-time (as in the example above). In particular, the type
of the member being accessed may not be known (it can be either a field, a
property, or an event).
Import path
import csharp
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getAPrimaryQlClass |
Gets the name of a primary CodeQL class to which this element belongs. |
getTarget |
Gets the target of this access. |
toString |
Gets a textual representation of this element. |
Inherited predicates
controlsBlock |
Holds if basic block |
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 |
getAReachableElement |
Gets an element that is reachable from this element. |
from ControlFlowElement |
getAnnotatedType |
Gets the annotated type of this expression. |
from Expr |
getAssembly |
Gets the assembly that this element was compiled into. |
from ControlFlowElement |
getChild |
Gets the |
from ExprOrStmtParent |
getChildExpr |
Gets the |
from ExprOrStmtParent |
getChildStmt |
Gets the |
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 |
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 |
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 |
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 |
getNumberOfChildren |
Gets the number of children of this element. |
from Element |
getParent | from Expr | |
getPrimaryQlClasses |
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. |
from Element |
getQualifiedDeclaration |
Gets the declaration targeted by this expression, for example a method or a field. |
from MemberAccess |
getQualifier |
Gets the qualifier of this expression, if any. |
from QualifiableExpr |
getType |
Gets the type of this expression. |
from Expr |
getValue |
Gets the value of this expression, if any |
from Expr |
hasImplicitThisQualifier |
Holds if this expression has an implicit |
from MemberAccess |
hasMaybeNullFlowState |
Holds if the nullable flow state of this expression may be null. |
from Expr |
hasNotNullFlowState |
Holds if the nullable flow state of this expression is not null. |
from Expr |
hasQualifier |
Holds if this expression is qualified. |
from QualifiableExpr |
hasThisQualifier |
Holds if this call has an implicit or explicit |
from QualifiableExpr |
hasValue |
Holds if this expression has a value. |
from Expr |
isConditional |
Holds if this expression has a conditional qualifier |
from QualifiableExpr |
isImplicit |
Holds if this expression is generated by the compiler and does not appear explicitly in the source code. |
from Expr |
isInArgument |
Holds if this access passes the assignable being accessed as an |
from AssignableAccess |
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 |
isOutArgument |
Holds if this access passes the assignable being accessed as an |
from AssignableAccess |
isOutOrRefArgument |
Holds if this access passes the assignable being accessed as an |
from AssignableAccess |
isRefArgument |
Holds if this access passes the assignable being accessed as a |
from AssignableAccess |
reachableFrom |
Holds if the current element is reachable from |
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 |
from Expr |
stripImplicitCasts |
Gets an expression that is the result of stripping (recursively) all implicit casts from this expression, if any. |
from Expr |
targetIsLocalInstance |
Holds if the target of this expression is a local instance. That is, either the (implicit) qualifier is |
from QualifiableExpr |
targetIsOverridableOrImplementable |
Holds if the target of this expression can be overridden or implemented. |
from QualifiableExpr |
targetIsThisInstance |
Holds if this expression is equivalent to a |
from QualifiableExpr |
toStringWithTypes |
Gets the full textual representation of this element, including type information. |
from Element |