hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Implement simple changes.

Browse Source
This commit is contained in:
Geoffrey White
2019-07-09 17:17:48 +01:00
parent 99880bc4ea
commit 2b408490a1
1 changed files with 20 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
cpp/ql/src/semmle/code/cpp/Class.qll
View File

@@ -8,7 +8,8 @@ private import semmle.code.cpp.internal.ResolveClass
* A class type [N4140 9].
*
* While this does include types declared with the `class` keyword, it also
* includes types declared with the `struct` and `union` keywords. For example:
* includes types declared with the `struct` and `union` keywords. For example,
* the types `MyClass`, `MyStruct` and `MyUnion` in:
* ```
* class MyClass {
* public:
@@ -935,6 +936,7 @@ class TemplateClass extends Class {
*
* MyTemplateClass<int> instance;
* ```
* For the `MyTemplateClass` template itself, see `TemplateClass`.
*/
class ClassTemplateInstantiation extends Class {
TemplateClass tc;
@@ -982,8 +984,15 @@ abstract class ClassTemplateSpecialization extends Class {
}
/**
* A full specialization of a class template. For example:
* A full specialization of a class template. For example `MyTemplateClass<int>`
* in the following code is a `FullClassTemplateSpecialization`:
* ```
* template<class T>
* class MyTemplateClass
* {
* ...
* };
*
* template<>
* class MyTemplateClass<int>
* {
@@ -1008,8 +1017,15 @@ class FullClassTemplateSpecialization extends ClassTemplateSpecialization {
}
/**
* A partial specialization of a class template. For example:
* A partial specialization of a class template. For example `MyTemplateClass<int, T>`
* in the following code is a `PartialClassTemplateSpecialization`:
* ```
* template<class S, class T>
* class MyTemplateClass
* {
* ...
* };
*
* template<class T>
* class MyTemplateClass<int, T>
* {
@@ -1081,7 +1097,7 @@ class VirtualClassDerivation extends ClassDerivation {
/**
* A class that is the base of some virtual class derivation. For example
* `MyBaseClass` in the following code is a `VirtualBaseClass`:
* `MyBaseClass` in the following code is a `VirtualBaseClass` of `MyClass`:
* ```
* class MyBaseClass
* {