Skip to content

Commit 6166d06

Browse files
committed
Java: Move diagnostic_for next to diagnostics in the dbscheme
No code change, but it makes a bit more sense there
1 parent 7c99d9c commit 6166d06

File tree

1 file changed

+15
-15
lines changed

1 file changed

+15
-15
lines changed

java/ql/lib/config/semmlecode.dbscheme

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -138,21 +138,6 @@ compilation_time(
138138
float seconds : float ref
139139
);
140140

141-
/**
142-
* An error or warning generated by the extractor.
143-
* The diagnostic message `diagnostic` was generated during compiler
144-
* invocation `compilation`, and is the `file_number_diagnostic_number`th
145-
* message generated while extracting the `file_number`th file of that
146-
* invocation.
147-
*/
148-
#keyset[compilation, file_number, file_number_diagnostic_number]
149-
diagnostic_for(
150-
unique int diagnostic : @diagnostic ref,
151-
int compilation : @compilation ref,
152-
int file_number : int ref,
153-
int file_number_diagnostic_number : int ref
154-
);
155-
156141
/**
157142
* The `cpu_seconds` and `elapsed_seconds` are the CPU time and elapsed
158143
* time (respectively) that the original compilation (not the extraction)
@@ -191,6 +176,21 @@ diagnostics(
191176
int location: @location_default ref
192177
);
193178

179+
/**
180+
* An error or warning generated by the extractor.
181+
* The diagnostic message `diagnostic` was generated during compiler
182+
* invocation `compilation`, and is the `file_number_diagnostic_number`th
183+
* message generated while extracting the `file_number`th file of that
184+
* invocation.
185+
*/
186+
#keyset[compilation, file_number, file_number_diagnostic_number]
187+
diagnostic_for(
188+
unique int diagnostic : @diagnostic ref,
189+
int compilation : @compilation ref,
190+
int file_number : int ref,
191+
int file_number_diagnostic_number : int ref
192+
);
193+
194194
/*
195195
* External artifacts
196196
*/

0 commit comments

Comments
 (0)