Module Element

Import path

semmle.code.cpp.Element

Imports

Predicates

mkElement

Get the Element that represents this @element. Normally this will simply be a cast of e, but sometimes it is not. For example, for an incomplete struct e the result may be a complete struct with the same name.

underlyingElement

INTERNAL: Do not use.

unresolveElement

INTERNAL: Do not use.

Classes

Element

A C/C++ element. This class is the base class for all C/C++ elements, such as functions, classes, expressions, and so on.

ElementBase

A C/C++ element with no member predicates other than toString. Not for general use. This class does not define a location, so classes wanting to change their location without affecting other classes can extend ElementBase instead of Element to create a new rootdef for getURL, getLocation, or hasLocationInfo.

StaticAssert

A C++11 static_assert or C11 _Static_assert construct.