Rename ProgramScope to ToplevelScope

This commit is contained in:
Nick Rolfe
2021-03-19 14:02:54 +00:00
parent 5cedf7ee86
commit f381f94bc2

View File

@@ -49,7 +49,7 @@ module CfgScope {
abstract predicate exit(AstNode last, Completion c);
}
private class ProgramScope extends Range_, Toplevel {
private class ToplevelScope extends Range_, Toplevel {
final override predicate entry(AstNode first) { first(this, first) }
final override predicate exit(AstNode last, Completion c) { last(this, last, c) }