QL: Clean up structured logs module

Pushes it into an internal module and removes the abstract class.
This commit is contained in:
Taus
2023-02-22 11:07:48 +00:00
parent dffb12070e
commit 5304fe2bcb

View File

@@ -3,9 +3,8 @@ private import codeql_ql.ast.internal.TreeSitter
class Object extends JSON::Object {
JSON::Value getValue(string key) {
exists(JSON::Pair p |
p = this.getChild(_) and p.getKey().(JSON::String).getChild().getValue() = key
|
exists(JSON::Pair p | p = this.getChild(_) |
key = p.getKey().(JSON::String).getChild().getValue() and
result = p.getValue()
)
}
@@ -35,25 +34,26 @@ class Array extends JSON::Array {
Array getArray(int i) { result = this.getChild(i) }
}
abstract class LogEntry extends Object { }
module EvaluatorLog {
class Entry extends Object { }
class LogHeader extends LogEntry {
class LogHeader extends Entry {
LogHeader() { this.getType() = "LOG_HEADER" }
string getCodeQLVersion() { result = this.getString("codeqlVersion") }
string getLogVersion() { result = this.getString("logVersion") }
}
}
class QueryStarted extends LogEntry {
class QueryStarted extends Entry {
QueryStarted() { this.getType() = "QUERY_STARTED" }
string getQueryName() { result = this.getString("queryName") }
int getStage(int i) { result = this.getArray("stage").getNumber(i) }
}
}
class PredicateStarted extends LogEntry {
class PredicateStarted extends Entry {
PredicateStarted() { this.getType() = "PREDICATE_STARTED" }
string getPredicateName() { result = this.getString("predicateName") }
@@ -69,17 +69,17 @@ class PredicateStarted extends LogEntry {
Object getRA() { result = this.getValue("ra") }
string getDependency(string key) { result = this.getObject("dependencies").getString(key) }
}
}
class PipelineStarted extends LogEntry {
class PipelineStarted extends Entry {
PipelineStarted() { this.getType() = "PIPELINE_STARTED" }
int getPredicateStartEvent() { result = this.getNumber("predicateStartEvent") }
string getRAReference() { result = this.getString("raReference") }
}
}
class PipelineCompleted extends LogEntry {
class PipelineCompleted extends Entry {
PipelineCompleted() { this.getType() = "PIPELINE_COMPLETED" }
int getStartEvent() { result = this.getNumber("startEvent") }
@@ -93,46 +93,47 @@ class PipelineCompleted extends LogEntry {
}
int getResultSize() { result = this.getNumber("resultSize") }
}
}
class PredicateCompleted extends LogEntry {
class PredicateCompleted extends Entry {
PredicateCompleted() { this.getType() = "PREDICATE_COMPLETED" }
int getStartEvent() { result = this.getNumber("startEvent") }
int getResultSize() { result = this.getNumber("resultSize") }
}
}
class QueryCompleted extends LogEntry {
class QueryCompleted extends Entry {
QueryCompleted() { this.getType() = "QUERY_COMPLETED" }
int getStartEvent() { result = this.getNumber("startEvent") }
string getTerminationType() { result = this.getString("terminationType") }
}
}
class LogFooter extends LogEntry {
class LogFooter extends Entry {
LogFooter() { this.getType() = "LOG_FOOTER" }
}
}
class CacheLookup extends LogEntry {
class CacheLookup extends Entry {
CacheLookup() { this.getType() = "CACHE_LOOKUP" }
int getRelationSize() { result = this.getNumber("relationSize") }
}
}
class SentinelEmpty extends LogEntry {
class SentinelEmpty extends Entry {
SentinelEmpty() { this.getType() = "SENTINEL_EMPTY" }
}
}
// Stuff to test whether we've covered all event types
private File logFile() { result = any(LogHeader h).getLocation().getFile() }
private File logFile() { result = any(EvaluatorLog::LogHeader h).getLocation().getFile() }
private Object missing() {
result =
any(Object o |
o.getLocation().getFile() = logFile() and
not o instanceof LogEntry and
not o instanceof EvaluatorLog::Entry and
not exists(o.getParent().getParent()) // don't count nested objects
)
}