Skip to content

Commit 04865cb

Browse files
committed
Unified: Simplify callableGetBody.
1 parent a96622e commit 04865cb

1 file changed

Lines changed: 1 addition & 9 deletions

File tree

unified/ql/lib/codeql/unified/internal/ControlFlowGraph.qll

Lines changed: 1 addition & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -46,15 +46,7 @@ private module Ast implements AstSig<Location> {
4646

4747
class Callable = U::Callable;
4848

49-
AstNode callableGetBody(Callable c) {
50-
result = c.(AccessorDeclaration).getBody() or
51-
result = c.(ConstructorDeclaration).getBody() or
52-
result = c.(DestructorDeclaration).getBody() or
53-
result = c.(FunctionDeclaration).getBody() or
54-
result = c.(FunctionExpr).getBody() or
55-
result = c.(InitializerDeclaration).getBody() or
56-
result = c.(TopLevel).getBody()
57-
}
49+
AstNode callableGetBody(Callable c) { result = c.getBody() }
5850

5951
class Parameter extends U::Parameter {
6052
Expr getDefaultValue() { result = super.getDefault() }

0 commit comments

Comments
 (0)