hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 20:25:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Clean up StructFieldAccess.

Browse Source
This commit is contained in:
Geoffrey White
2019-06-25 16:43:24 +01:00
parent 66dffdde05
commit 2e31f48a7a
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/src/semmle/code/cpp/commons/DateTime.qll
View File

@@ -32,8 +32,8 @@ class DateDataStruct extends Type {
/**
* A `FieldAccess` that would represent an access to a field on a `struct`.
*/
abstract class StructFieldAccess extends FieldAccess {
StructFieldAccess () {
private abstract class DateStructFieldAccess extends FieldAccess {
DateStructFieldAccess () {
exists(Field f, StructLikeClass struct |
f.getAnAccess() = this
and struct.getAField() = f
@@ -44,17 +44,17 @@ abstract class StructFieldAccess extends FieldAccess {
/**
* A `FieldAccess` where access is to a day of the month field of the `struct`.
*/
abstract class DayFieldAccess extends StructFieldAccess { }
abstract class DayFieldAccess extends DateStructFieldAccess { }
/**
* A `FieldAccess` where access is to a month field of the `struct`.
*/
abstract class MonthFieldAccess extends StructFieldAccess {}
abstract class MonthFieldAccess extends DateStructFieldAccess {}
/**
* A `FieldAccess` where access is to a year field of the `struct`.
*/
abstract class YearFieldAccess extends StructFieldAccess {}
abstract class YearFieldAccess extends DateStructFieldAccess {}
/**
* A `DayFieldAccess` for the `SYSTEMTIME` struct.