C++: Add namespace_inline

Author: ian-semmle

cpp/ql/src/semmle/code/cpp/Namespace.qll

@@ -66,6 +66,11 @@ class Namespace extends NameQualifyingElement, @namespace {
   /** Gets a child namespace of this namespace. */
   Namespace getAChildNamespace() { namespacembrs(underlyingElement(this),unresolveElement(result)) }
 
+  /** Holds if the namespace is inline. */
+  predicate isInline() {
+    namespace_inline(underlyingElement(this))
+  }
+
   /** Holds if this namespace may be from source. */
   override predicate fromSource() { this.getADeclaration().fromSource() }
 

cpp/ql/src/semmlecode.cpp.dbscheme

@@ -1039,6 +1039,10 @@ namespaces(
     string name: string ref
 );
 
+namespace_inline(
+    unique int id: @namespace ref
+);
+
 namespacembrs(
     int parentid: @namespace ref,
     unique int memberid: @namespacembr ref