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 {
1616
1717 Array getArray ( string key ) { result = this .getValue ( key ) }
1818
19+ Object getObject ( string key ) { result = this .getValue ( key ) }
20+
1921 string getType ( ) { result = this .getString ( "type" ) }
2022
2123 int getEventId ( ) { result = this .getNumber ( "event_id" ) }
@@ -29,6 +31,8 @@ class Array extends JSON::Array {
2931 string getString ( int i ) { result = this .getChild ( i ) .( JSON:: String ) .getChild ( ) .getValue ( ) }
3032
3133 int getNumber ( int i ) { result = this .getChild ( i ) .( JSON:: Number ) .getValue ( ) .toInt ( ) }
34+
35+ Array getArray ( int i ) { result = this .getChild ( i ) }
3236}
3337
3438abstract class LogEntry extends Object { }
@@ -63,6 +67,8 @@ class PredicateStarted extends LogEntry {
6367 string getRAHash ( ) { result = this .getString ( "raHash" ) }
6468
6569 Object getRA ( ) { result = this .getValue ( "ra" ) }
70+
71+ string getDependency ( string key ) { result = this .getObject ( "dependencies" ) .getString ( key ) }
6672}
6773
6874class PipelineStarted extends LogEntry {
You can’t perform that action at this time.
0 commit comments