| // Copyright (c) 2022, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| import 'elements/entities.dart'; |
| import 'inferrer/abstract_value_domain.dart'; |
| import 'universe/selector.dart'; |
| |
| /// Common superinterface for [OpenWorld] and [JClosedWorld]. |
| abstract class World {} |
| |
| abstract class JClosedWorld implements World { |
| bool includesClosureCall(Selector selector, AbstractValue receiver); |
| Iterable<MemberEntity> locateMembers( |
| Selector selector, AbstractValue receiver); |
| bool fieldNeverChanges(MemberEntity element); |
| } |