mirror of
https://github.com/github/codeql.git
synced 2026-06-13 08:51:20 +02:00
Cfg: Fix type.
This commit is contained in:
@@ -203,7 +203,7 @@ module Ast implements AstSig<Location> {
|
||||
final private class FinalTryStmt = CS::TryStmt;
|
||||
|
||||
class TryStmt extends FinalTryStmt {
|
||||
Stmt getBody(int index) { index = 0 and result = this.getBlock() }
|
||||
AstNode getBody(int index) { index = 0 and result = this.getBlock() }
|
||||
|
||||
CatchClause getCatch(int index) { result = this.getCatchClause(index) }
|
||||
|
||||
|
||||
@@ -117,7 +117,7 @@ private module Ast implements AstSig<Location> {
|
||||
final private class FinalTryStmt = J::TryStmt;
|
||||
|
||||
class TryStmt extends FinalTryStmt {
|
||||
Stmt getBody(int index) {
|
||||
AstNode getBody(int index) {
|
||||
result = super.getResource(index)
|
||||
or
|
||||
index = count(super.getAResource()) and
|
||||
|
||||
@@ -190,7 +190,7 @@ signature module AstSig<LocationSig Location> {
|
||||
* position `index`. In some languages, there is only ever a single body
|
||||
* (with `index` 0).
|
||||
*/
|
||||
Stmt getBody(int index);
|
||||
AstNode getBody(int index);
|
||||
|
||||
/**
|
||||
* Gets the `catch` clause at the specified (zero-based) position `index`
|
||||
|
||||
Reference in New Issue
Block a user