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

Rust: Update generated files

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-12-17 11:11:44 +01:00
parent ca6c054256
commit dd02ac3964
23 changed files with 483 additions and 768 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
rust/ql/test/extractor-tests/generated/Enum/Enum.ql generated
View File

@@ -26,10 +26,6 @@ query predicate getName(Enum x, Name getName) {
toBeTested(x) and not x.isUnknown() and getName = x.getName()
}
query predicate getVariantList(Enum x, VariantList getVariantList) {
toBeTested(x) and not x.isUnknown() and getVariantList = x.getVariantList()
}
query predicate getVisibility(Enum x, Visibility getVisibility) {
toBeTested(x) and not x.isUnknown() and getVisibility = x.getVisibility()
}
@@ -37,3 +33,7 @@ query predicate getVisibility(Enum x, Visibility getVisibility) {
query predicate getWhereClause(Enum x, WhereClause getWhereClause) {
toBeTested(x) and not x.isUnknown() and getWhereClause = x.getWhereClause()
}
query predicate getVariantList(Enum x, VariantList getVariantList) {
toBeTested(x) and not x.isUnknown() and getVariantList = x.getVariantList()
}

8
rust/ql/test/extractor-tests/generated/Struct/Struct.ql generated
View File

@@ -18,10 +18,6 @@ query predicate getAttr(Struct x, int index, Attr getAttr) {
toBeTested(x) and not x.isUnknown() and getAttr = x.getAttr(index)
}
query predicate getFieldList(Struct x, FieldList getFieldList) {
toBeTested(x) and not x.isUnknown() and getFieldList = x.getFieldList()
}
query predicate getGenericParamList(Struct x, GenericParamList getGenericParamList) {
toBeTested(x) and not x.isUnknown() and getGenericParamList = x.getGenericParamList()
}
@@ -37,3 +33,7 @@ query predicate getVisibility(Struct x, Visibility getVisibility) {
query predicate getWhereClause(Struct x, WhereClause getWhereClause) {
toBeTested(x) and not x.isUnknown() and getWhereClause = x.getWhereClause()
}
query predicate getFieldList(Struct x, FieldList getFieldList) {
toBeTested(x) and not x.isUnknown() and getFieldList = x.getFieldList()
}

8
rust/ql/test/extractor-tests/generated/Union/Union.ql generated
View File

@@ -26,10 +26,6 @@ query predicate getName(Union x, Name getName) {
toBeTested(x) and not x.isUnknown() and getName = x.getName()
}
query predicate getStructFieldList(Union x, StructFieldList getStructFieldList) {
toBeTested(x) and not x.isUnknown() and getStructFieldList = x.getStructFieldList()
}
query predicate getVisibility(Union x, Visibility getVisibility) {
toBeTested(x) and not x.isUnknown() and getVisibility = x.getVisibility()
}
@@ -37,3 +33,7 @@ query predicate getVisibility(Union x, Visibility getVisibility) {
query predicate getWhereClause(Union x, WhereClause getWhereClause) {
toBeTested(x) and not x.isUnknown() and getWhereClause = x.getWhereClause()
}
query predicate getStructFieldList(Union x, StructFieldList getStructFieldList) {
toBeTested(x) and not x.isUnknown() and getStructFieldList = x.getStructFieldList()
}