Class PragmaOnceIncludeGuard
A header file with the #pragma once
include guard.
Import path
import semmle.code.cpp.headers.MultipleInclusion
Direct supertypes
Indirect supertypes
Predicates
blame | Gets the element to blame for this bad include guard pattern. |
Inherited predicates
compiledAsC | Holds if this file was compiled as C (at any point). | from File |
compiledAsCpp | Holds if this file was compiled as C++ (at any point). | from File |
compiledAsMicrosoft | Holds if this file was compiled by a Microsoft compiler (at any point). | from File |
findRootCause | Gets the source of this element: either itself or a macro that expanded to this element. | from Element |
fromSource | Holds if this file may be from source. This predicate holds for all files except the dummy file, whose name is the empty string, which contains declarations that are built into the compiler. | from File |
getAChildContainer | Gets a file or sub-folder in this container. | from Container |
getADeclaration | Gets a declaration in this file. | from File |
getAFile | Gets a file in this container. | from Container |
getAFolder | Gets a sub-folder in this container. | from Container |
getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from HeaderFile |
getATopLevelDeclaration | Gets a top-level element declared in this file. | from File |
getAbsolutePath | Gets the absolute, canonical path of this container, using forward slashes as path separator. | from Container |
getAnIncludedFile | Gets a file that is directly included from this file (using a pre-processor directive like | from File |
getBaseName | Gets the base name of this container including extension, that is, the last segment of its absolute path, or the empty string if it has no segments. | from Container |
getEnclosingElement | Gets the closest | from Element |
getExtension | Gets the extension of this container, that is, the suffix of its base name after the last dot character, if any. | from Container |
getExtensions | Gets the remainder of the base name after the first dot character. Note that the name of this predicate is in plural form, unlike | from File |
getFile | Gets the primary file where this element occurs. | from Element |
getFile | Gets the file in this container that has the given | from Container |
getFolder | Gets the sub-folder in this container that has the given | from Container |
getLocation | Gets the primary location of this element. | from File |
getMetrics | Gets the metric file. | from File |
getParentContainer | Gets the parent container of this file or folder, if any. | from Container |
getParentScope | Gets the parent scope of this | from Element |
getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from ElementBase |
getRelativePath | Gets the relative path of this file or folder from the root folder of the analyzed source location. The relative path of the root folder itself is the empty string. | from Container |
getShortName | Gets the short name of this file, that is, the prefix of its base name up to (but not including) the first dot character if there is one, or the entire base name if there is not. For example, if the full name is “/path/to/filename.a.bcd” then the short name is “filename”. | from File |
getStem | Gets the stem of this container, that is, the prefix of its base name up to (but not including) the last dot character if there is one, or the entire base name if there is not. | from Container |
getURL | Gets the URL of this file. | from File |
isAffectedByMacro | 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 | from Element |
isFromTemplateInstantiation | Holds if this | from Element |
isFromUninstantiatedTemplate | Holds if this | from Element |
isInMacroExpansion | 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 | from Element |
noTopLevelCode | Holds if this header file does not contain any declaration entries or top level declarations. For example it might be: - a file containing only preprocessor directives and/or comments - an empty file - a file that contains non-top level code or data that’s included in an unusual way | from HeaderFile |
toString | from Container | |
usesMacro | Holds if this file uses the given macro. | from File |