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

Java: Use entities in reorder directives
github · May 14, 2024 · 99335e5 · 99335e5
2 parents 027e5e7 + 30b5d50
commit 99335e5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/java/ql/lib/upgrades/8ab354e68e86100ee3abe28bd44f491ecc77c1dd/upgrade.properties b/java/ql/lib/upgrades/8ab354e68e86100ee3abe28bd44f491ecc77c1dd/upgrade.properties
@@ -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
diff --git a/java/ql/lib/upgrades/b4e689c90426b017ad550e30a439cab2763ff424/upgrade.properties b/java/ql/lib/upgrades/b4e689c90426b017ad550e30a439cab2763ff424/upgrade.properties
@@ -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