Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 54266ec

Browse files
committed
rb/diagnostics/files-extracted-with-errors
1 parent d223851 commit 54266ec

1 file changed

Lines changed: 14 additions & 0 deletions

File tree

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
/**
2+
* @name Files extracted with errors
3+
* @description Lists files that were extracted, but may be incomplete due to
4+
* extraction errors.
5+
* @kind diagnostic
6+
* @id rb/diagnostics/files-extracted-with-errors
7+
*/
8+
9+
import ruby
10+
import codeql_ruby.Diagnostics
11+
12+
from File f
13+
where exists(ExtractionError e | e.getLocation().getFile() = f)
14+
select f, ""

0 commit comments

Comments
 (0)