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

Merge pull request #16421 from github/cklin/java-entities-reorder

Browse Source 
Java: Use entities in reorder directives
This commit is contained in:
Chuan-kai Lin
2024-05-14 06:03:52 -07:00
committed by GitHub
parent 027e5e7291 30b5d5092d
commit 99335e5f29
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/upgrades/8ab354e68e86100ee3abe28bd44f491ecc77c1dd/upgrade.properties
View File

@@ -1,4 +1,4 @@
description: Removed unused column from the `folders` and `files` relations
compatibility: full
files.rel: reorder files.rel (int id, string name, string simple, string ext, int fromSource) id name
folders.rel: reorder folders.rel (int id, string name, string simple) id name
files.rel: reorder files.rel (@file id, string name, string simple, string ext, int fromSource) id name
folders.rel: reorder folders.rel (@folder id, string name, string simple) id name

2
java/ql/lib/upgrades/b4e689c90426b017ad550e30a439cab2763ff424/upgrade.properties
View File

@@ -1,4 +1,4 @@
description: Java 16: allow local interfaces
compatibility: backwards
isLocalClassOrInterface.rel: reorder isLocalClass.rel(int id, int parent) id parent
isLocalClassOrInterface.rel: reorder isLocalClass.rel(@class id, @localclassdeclstmt parent) id parent
isLocalClass.rel: delete