PS: Move 'getBody' up to the parent class.

Author: MathiasVP

powershell/ql/lib/semmle/code/powershell/DoUntilStmt.qll

@@ -7,5 +7,5 @@ class DoUntilStmt extends @do_until_statement, LoopStmt {
 
   PipelineBase getCondition() { do_until_statement_condition(this, result) } // TODO: Change @ast to @pipeline_base in dbscheme
 
-  StmtBlock getBody() { do_until_statement(this, result) } // TODO: Change @ast to @stmt_block in dbscheme
+  final override StmtBlock getBody() { do_until_statement(this, result) } // TODO: Change @ast to @stmt_block in dbscheme
 }

powershell/ql/lib/semmle/code/powershell/DoWhileStmt.qll

@@ -7,5 +7,5 @@ class DoWhileStmt extends @do_while_statement, LoopStmt {
 
   PipelineBase getCondition() { do_while_statement_condition(this, result) } // TODO: Change @ast to @pipeline_base in dbscheme
 
-  StmtBlock getBody() { do_while_statement(this, result) } // TODO: Change @ast to @stmt_block in dbscheme
+  final override StmtBlock getBody() { do_while_statement(this, result) } // TODO: Change @ast to @stmt_block in dbscheme
 }

powershell/ql/lib/semmle/code/powershell/ForEachStmt.qll

@@ -5,7 +5,7 @@ class ForEachStmt extends @foreach_statement, LoopStmt {
 
   override string toString() { result = "forach(... in ...)" }
 
-  StmtBlock getBody() { foreach_statement(this, _, _, result, _) } // TODO: Change @ast to @stmt_block in dbscheme
+  final override StmtBlock getBody() { foreach_statement(this, _, _, result, _) } // TODO: Change @ast to @stmt_block in dbscheme
 
   VarAccess getVariable() { foreach_statement(this, result, _, _, _) } // TODO: Change @ast to @variable_expression in dbscheme
 

powershell/ql/lib/semmle/code/powershell/ForStmt.qll

@@ -11,5 +11,5 @@ class ForStmt extends @for_statement, LoopStmt {
 
   PipelineBase getIterator() { for_statement_iterator(this, result) } // TODO: Change @ast to @pipeline_base in dbscheme
 
-  StmtBlock getBody() { for_statement(this, result) } // TODO: Change @ast to @stmt_block in dbscheme
+  final override StmtBlock getBody() { for_statement(this, result) } // TODO: Change @ast to @stmt_block in dbscheme
 }

powershell/ql/lib/semmle/code/powershell/LoopStmt.qll

@@ -1,3 +1,5 @@
 import powershell
 
-class LoopStmt extends @loop_statement, LabeledStmt { }
+class LoopStmt extends @loop_statement, LabeledStmt {
+  StmtBlock getBody() { none() }
+}

powershell/ql/lib/semmle/code/powershell/WhileStmt.qll

@@ -7,5 +7,5 @@ class WhileStmt extends @while_statement, LoopStmt {
 
   PipelineBase getCondition() { while_statement_condition(this, result) } // TODO: Change @ast to @pipeline_base in dbscheme
 
-  StmtBlock getBody() { while_statement(this, result) } // TODO: Change @ast to @stmt_block in dbscheme
+  final override StmtBlock getBody() { while_statement(this, result) } // TODO: Change @ast to @stmt_block in dbscheme
 }