A macro assert that expands to an if statement; the head is taken to be “Assert(x, y)”, but further alternatives could be added.
Gets the expression whose truth is being asserted.
Gets the source of this element: either itself or a macro that expanded to this element.
Holds if this element may be from a library.
Holds if this element may be from source. This predicate holds for all elements, except for those in the dummy file, whose name is the empty string. The dummy file contains declarations that are built directly into the compiler.
Gets an element that is either completely in the macro expansion, or (if it is a statement) ‘almost’ in the macro expansion (for instance up to a trailing semicolon). Useful for common patterns in which macros are almost syntactically complete elements but not quite.
Gets the name of a primary CodeQL class to which this element belongs.
Gets the location of this macro access. For a nested access, where
Gets an element that is (partially) affected by a macro invocation. This is a superset of the set of expanded elements and includes elements that are not completely enclosed by the expansion as well.
Gets an element that occurs in this macro invocation or a nested macro invocation.
Gets the closest
Gets a function that includes an expression that is affected by this macro invocation. If the macro expansion includes the end of one function and the beginning of another, this predicate will get both.
Gets a top-level expression associated with this macro invocation, if any. Note that this predicate will fail if the top-level expanded element is not an expression (for example if it is a statement).
Gets the primary file where this element occurs.
Gets the location of the outermost macro access that triggered this macro access. This is equivalent to calling
Gets the macro that is being accessed.
Gets the name of the accessed macro.
Gets the outermost
Gets the parent macro invocation, if any. For example:
Gets the parent scope of this
Gets the top-level statement associated with this macro invocation, if any. Note that this predicate will fail if the top-level expanded element is not a statement (for example if it is an expression).
Holds if this element is affected in any way by a macro. All elements that are totally or partially generated by a macro are included, so this is a super-set of
Holds if this
Holds if this
Holds if this element comes from a macro expansion. Only elements that are entirely generated by a macro are included - for elements that partially come from a macro, see
Gets a textual representation of this element.