File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 22
33private import codeql.Locations
44private import codeql.util.FileSystem
5- private import codeql.ruby.Diagnostics
65
76private module Input implements InputSig {
87 abstract class ContainerBase extends @container {
@@ -35,20 +34,3 @@ class File extends Container, Impl::File {
3534 /** Holds if this file was extracted from ordinary source code. */
3635 predicate fromSource ( ) { any ( ) }
3736}
38-
39- /**
40- * A successfully extracted file, that is, a file that was extracted and
41- * contains no extraction errors or warnings.
42- */
43- class SuccessfullyExtractedFile extends File {
44- SuccessfullyExtractedFile ( ) {
45- not exists ( Diagnostic d |
46- d .getLocation ( ) .getFile ( ) = this and
47- (
48- d instanceof ExtractionError
49- or
50- d instanceof ExtractionWarning
51- )
52- )
53- }
54- }
Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ private import ast.internal.Scope
1818private import ast.internal.Synthesis
1919private import ast.internal.TreeSitter
2020private import Customizations
21+ private import Diagnostics
2122
2223cached
2324private module Cached {
@@ -166,3 +167,20 @@ class RubyFile extends File {
166167 /** Gets the number of lines of comments in this file. */
167168 int getNumberOfLinesOfComments ( ) { result = count ( int line | this .line ( line , true ) ) }
168169}
170+
171+ /**
172+ * A successfully extracted file, that is, a file that was extracted and
173+ * contains no extraction errors or warnings.
174+ */
175+ class SuccessfullyExtractedFile extends RubyFile {
176+ SuccessfullyExtractedFile ( ) {
177+ not exists ( Diagnostic d |
178+ d .getLocation ( ) .getFile ( ) = this and
179+ (
180+ d instanceof ExtractionError
181+ or
182+ d instanceof ExtractionWarning
183+ )
184+ )
185+ }
186+ }
You can’t perform that action at this time.
0 commit comments