Apply suggestions from code review

Co-authored-by: Simon Friis Vindum <paldepind@github.com>
This commit is contained in:
Tom Hvitved
2024-10-21 14:43:22 +02:00
committed by GitHub
parent 1f5e02f539
commit a6a68ef8be

View File

@@ -238,7 +238,7 @@ module ExprTrees {
}
}
class LogicalOrTree extends PostOrderTree, LogicalOrExpr {
class LogicalOrExprTree extends PostOrderTree, LogicalOrExpr {
final override predicate propagatesAbnormal(AstNode child) { child = this.getAnOperand() }
override predicate first(AstNode node) { first(this.getLhs(), node) }
@@ -261,7 +261,7 @@ module ExprTrees {
}
}
class LogicalAndTree extends PostOrderTree, LogicalAndExpr {
class LogicalAndExprTree extends PostOrderTree, LogicalAndExpr {
final override predicate propagatesAbnormal(AstNode child) { child = this.getAnOperand() }
override predicate first(AstNode node) { first(this.getLhs(), node) }