Move instanceof check from charpred in CfgScope

This commit is contained in:
Tom Hvitved
2021-09-06 10:15:51 +02:00
parent 51d729a086
commit 9b3b9a731f
5 changed files with 6 additions and 8 deletions

View File

@@ -9,9 +9,7 @@ private import internal.Splitting
private import internal.Completion
/** An AST node with an associated control-flow graph. */
class CfgScope extends Scope {
CfgScope() { this instanceof CfgScope::Range_ }
class CfgScope extends Scope instanceof CfgScope::Range_ {
/** Gets the CFG scope that this scope is nested under, if any. */
final CfgScope getOuterCfgScope() {
exists(AstNode parent |