File tree Expand file tree Collapse file tree 1 file changed +6
-0
lines changed Expand file tree Collapse file tree 1 file changed +6
-0
lines changed Original file line number Diff line number Diff line change @@ -16,6 +16,8 @@ class Object extends JSON::Object {
16
16
17
17
Array getArray ( string key ) { result = this .getValue ( key ) }
18
18
19
+ Object getObject ( string key ) { result = this .getValue ( key ) }
20
+
19
21
string getType ( ) { result = this .getString ( "type" ) }
20
22
21
23
int getEventId ( ) { result = this .getNumber ( "event_id" ) }
@@ -29,6 +31,8 @@ class Array extends JSON::Array {
29
31
string getString ( int i ) { result = this .getChild ( i ) .( JSON:: String ) .getChild ( ) .getValue ( ) }
30
32
31
33
int getNumber ( int i ) { result = this .getChild ( i ) .( JSON:: Number ) .getValue ( ) .toInt ( ) }
34
+
35
+ Array getArray ( int i ) { result = this .getChild ( i ) }
32
36
}
33
37
34
38
abstract class LogEntry extends Object { }
@@ -63,6 +67,8 @@ class PredicateStarted extends LogEntry {
63
67
string getRAHash ( ) { result = this .getString ( "raHash" ) }
64
68
65
69
Object getRA ( ) { result = this .getValue ( "ra" ) }
70
+
71
+ string getDependency ( string key ) { result = this .getObject ( "dependencies" ) .getString ( key ) }
66
72
}
67
73
68
74
class PipelineStarted extends LogEntry {
You can’t perform that action at this time.
0 commit comments