mirror of
https://github.com/github/codeql.git
synced 2026-04-25 16:55:19 +02:00
JS: Add helper for getting local type names
This commit is contained in:
@@ -27,6 +27,12 @@ class Scope extends @scope {
|
||||
result = this.getAVariable() and
|
||||
result.getName() = name
|
||||
}
|
||||
|
||||
/** Gets the local type name with the given name declared in this scope. */
|
||||
LocalTypeName getLocalTypeName(string name) {
|
||||
result.getScope() = this and
|
||||
result.getName() = name
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
|
||||
Reference in New Issue
Block a user