Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(232)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: pkg/compiler/lib/src/inferrer/type_graph_nodes.dart

Issue 2616103002: Flatten inferrer implementation (Closed)
Patch Set: Updated cf. comment. Created 3 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « pkg/compiler/lib/src/inferrer/type_graph_inferrer.dart ('k') | pkg/compiler/lib/src/inferrer/type_system.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
diff --git a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
index 7244856d1ae6775da3b3bd58a16be51156824a66..4be770386ed9d59973fef83e606930de70d29cc9 100644
--- a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
+++ b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
@@ -29,8 +29,8 @@ import '../util/util.dart' show ImmutableEmptySet, Setlet;
import '../world.dart' show ClosedWorld;
import 'debug.dart' as debug;
import 'inferrer_visitor.dart' show ArgumentsTypes;
-import 'type_graph_inferrer.dart'
- show TypeGraphInferrerEngine, TypeInformationSystem;
+import 'inferrer_engine.dart';
+import 'type_system.dart';
/**
* Common class for all nodes in the graph. The current nodes are:
@@ -156,7 +156,7 @@ abstract class TypeInformation {
}
}
- TypeMask refine(TypeGraphInferrerEngine inferrer) {
+ TypeMask refine(InferrerEngine inferrer) {
return abandonInferencing ? safeType(inferrer) : computeType(inferrer);
}
@@ -164,17 +164,17 @@ abstract class TypeInformation {
* Computes a new type for this [TypeInformation] node depending on its
* potentially updated inputs.
*/
- TypeMask computeType(TypeGraphInferrerEngine inferrer);
+ TypeMask computeType(InferrerEngine inferrer);
/**
* Returns an approximation for this [TypeInformation] node that is always
* safe to use. Used when abandoning inference on a node.
*/
- TypeMask safeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask safeType(InferrerEngine inferrer) {
return inferrer.types.dynamicType.type;
}
- void giveUp(TypeGraphInferrerEngine inferrer, {bool clearAssignments: true}) {
+ void giveUp(InferrerEngine inferrer, {bool clearAssignments: true}) {
abandonInferencing = true;
// Do not remove [this] as a user of nodes in [assignments],
// because our tracing analysis could be interested in tracing
@@ -191,7 +191,7 @@ abstract class TypeInformation {
/// Reset the analysis of this node by making its type empty.
- bool reset(TypeGraphInferrerEngine inferrer) {
+ bool reset(InferrerEngine inferrer) {
if (abandonInferencing) return false;
type = const TypeMask.nonNullEmpty();
refineCount = 0;
@@ -207,17 +207,17 @@ abstract class TypeInformation {
/// Returns whether the type cannot change after it has been
/// inferred.
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
return !mightResume && assignments.every((e) => e.isStable);
}
- void removeAndClearReferences(TypeGraphInferrerEngine inferrer) {
+ void removeAndClearReferences(InferrerEngine inferrer) {
assignments.forEach((info) {
info.removeUser(this);
});
}
- void stabilize(TypeGraphInferrerEngine inferrer) {
+ void stabilize(InferrerEngine inferrer) {
removeAndClearReferences(inferrer);
// Do not remove users because the tracing analysis could be interested
// in tracing the users of this node.
@@ -258,7 +258,7 @@ class PlaceholderTypeInformation extends TypeInformation {
throw new UnsupportedError("Cannot visit placeholder");
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
throw new UnsupportedError("Cannot refine placeholder");
}
@@ -345,7 +345,7 @@ abstract class ElementTypeInformation extends TypeInformation {
/// Marker to disable inference for closures in [handleSpecialCases].
bool disableInferenceForClosures = true;
- factory ElementTypeInformation(Element element, TypeInformationSystem types) {
+ factory ElementTypeInformation(Element element, TypeSystem types) {
if (element.isRegularParameter || element.isInitializingFormal) {
ParameterElement parameter = element;
if (parameter.functionDeclaration.isInstanceMember) {
@@ -456,7 +456,7 @@ class MemberTypeInformation extends ElementTypeInformation
// state of the [isStable] field inhertied from [TypeInformation].
bool get isStable => super.isStable && !isClosurized;
- TypeMask handleSpecialCases(TypeGraphInferrerEngine inferrer) {
+ TypeMask handleSpecialCases(InferrerEngine inferrer) {
if (element.isField &&
(!inferrer.backend.canBeUsedForGlobalOptimizations(element) ||
inferrer.annotations.assumeDynamic(element))) {
@@ -511,8 +511,7 @@ class MemberTypeInformation extends ElementTypeInformation
return null;
}
- TypeMask potentiallyNarrowType(
- TypeMask mask, TypeGraphInferrerEngine inferrer) {
+ TypeMask potentiallyNarrowType(TypeMask mask, InferrerEngine inferrer) {
Compiler compiler = inferrer.compiler;
if (!compiler.options.trustTypeAnnotations &&
!compiler.options.enableTypeAssertions &&
@@ -532,14 +531,14 @@ class MemberTypeInformation extends ElementTypeInformation
return _narrowType(inferrer.closedWorld, mask, type.returnType);
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
TypeMask special = handleSpecialCases(inferrer);
if (special != null) return potentiallyNarrowType(special, inferrer);
return potentiallyNarrowType(
inferrer.types.computeTypeMask(assignments), inferrer);
}
- TypeMask safeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask safeType(InferrerEngine inferrer) {
return potentiallyNarrowType(super.safeType(inferrer), inferrer);
}
@@ -549,7 +548,7 @@ class MemberTypeInformation extends ElementTypeInformation
return visitor.visitMemberTypeInformation(this);
}
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
// The number of assignments of non-final fields is
// not stable. Therefore such a field cannot be stable.
if (element.isField && !(element.isConst || element.isFinal)) {
@@ -583,15 +582,14 @@ class ParameterTypeInformation extends ElementTypeInformation {
ParameterElement get element => super.element;
FunctionElement get declaration => element.functionDeclaration;
- ParameterTypeInformation._internal(
- ParameterElement element, TypeInformationSystem types)
+ ParameterTypeInformation._internal(ParameterElement element, TypeSystem types)
: super._internal(
types.getInferredTypeOf(element.functionDeclaration), element) {
assert(!element.functionDeclaration.isInstanceMember);
}
ParameterTypeInformation._instanceMember(
- ParameterElement element, TypeInformationSystem types)
+ ParameterElement element, TypeSystem types)
: super._withAssignments(
types.getInferredTypeOf(element.functionDeclaration),
element,
@@ -601,7 +599,7 @@ class ParameterTypeInformation extends ElementTypeInformation {
bool isTearOffClosureParameter = false;
- void tagAsTearOffClosureParameter(TypeGraphInferrerEngine inferrer) {
+ void tagAsTearOffClosureParameter(InferrerEngine inferrer) {
assert(element.isRegularParameter);
isTearOffClosureParameter = true;
// We have to add a flow-edge for the default value (if it exists), as we
@@ -611,7 +609,7 @@ class ParameterTypeInformation extends ElementTypeInformation {
}
// TODO(herhut): Cleanup into one conditional.
- TypeMask handleSpecialCases(TypeGraphInferrerEngine inferrer) {
+ TypeMask handleSpecialCases(InferrerEngine inferrer) {
if (!inferrer.backend.canBeUsedForGlobalOptimizations(element) ||
inferrer.annotations.assumeDynamic(declaration)) {
// Do not infer types for parameters that have a correspondign annotation
@@ -659,8 +657,7 @@ class ParameterTypeInformation extends ElementTypeInformation {
return null;
}
- TypeMask potentiallyNarrowType(
- TypeMask mask, TypeGraphInferrerEngine inferrer) {
+ TypeMask potentiallyNarrowType(TypeMask mask, InferrerEngine inferrer) {
Compiler compiler = inferrer.compiler;
if (!compiler.options.trustTypeAnnotations &&
!inferrer.annotations.trustTypeAnnotations(declaration)) {
@@ -673,18 +670,18 @@ class ParameterTypeInformation extends ElementTypeInformation {
return _narrowType(inferrer.closedWorld, mask, element.type);
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
TypeMask special = handleSpecialCases(inferrer);
if (special != null) return special;
return potentiallyNarrowType(
inferrer.types.computeTypeMask(assignments), inferrer);
}
- TypeMask safeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask safeType(InferrerEngine inferrer) {
return potentiallyNarrowType(super.safeType(inferrer), inferrer);
}
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
// The number of assignments of parameters of instance methods is
// not stable. Therefore such a parameter cannot be stable.
if (element.functionDeclaration.isInstanceMember) {
@@ -726,7 +723,7 @@ abstract class CallSiteTypeInformation extends TypeInformation
String toString() => 'Call site $call $type';
/// Add [this] to the graph being computed by [engine].
- void addToGraph(TypeGraphInferrerEngine engine);
+ void addToGraph(InferrerEngine engine);
/// Return an iterable over the targets of this call.
Iterable<Element> get callees;
@@ -746,7 +743,7 @@ class StaticCallSiteTypeInformation extends CallSiteTypeInformation {
bool inLoop)
: super(context, call, enclosing, selector, mask, arguments, inLoop);
- void addToGraph(TypeGraphInferrerEngine inferrer) {
+ void addToGraph(InferrerEngine inferrer) {
MemberTypeInformation callee =
inferrer.types.getInferredTypeOf(calledElement);
callee.addCall(caller, call);
@@ -767,7 +764,7 @@ class StaticCallSiteTypeInformation extends CallSiteTypeInformation {
return selector == null;
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
if (isSynthesized) {
assert(arguments != null);
return inferrer.types.getInferredTypeOf(calledElement).type;
@@ -782,13 +779,13 @@ class StaticCallSiteTypeInformation extends CallSiteTypeInformation {
return visitor.visitStaticCallSiteTypeInformation(this);
}
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
return inferrer.types.getInferredTypeOf(calledElement).isStable &&
(arguments == null || arguments.every((info) => info.isStable)) &&
super.hasStableType(inferrer);
}
- void removeAndClearReferences(TypeGraphInferrerEngine inferrer) {
+ void removeAndClearReferences(InferrerEngine inferrer) {
ElementTypeInformation callee =
inferrer.types.getInferredTypeOf(calledElement);
callee.removeUser(this);
@@ -816,7 +813,7 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
bool inLoop)
: super(context, call, enclosing, selector, mask, arguments, inLoop);
- void addToGraph(TypeGraphInferrerEngine inferrer) {
+ void addToGraph(InferrerEngine inferrer) {
assert(receiver != null);
TypeMask typeMask = computeTypedSelector(inferrer);
targets = inferrer.closedWorld.allFunctions.filter(selector, typeMask);
@@ -836,7 +833,7 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
Iterable<Element> get callees => targets.map((e) => e.implementation);
- TypeMask computeTypedSelector(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeTypedSelector(InferrerEngine inferrer) {
TypeMask receiverType = receiver.type;
if (mask != receiverType) {
@@ -848,7 +845,7 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
}
}
- bool targetsIncludeComplexNoSuchMethod(TypeGraphInferrerEngine inferrer) {
+ bool targetsIncludeComplexNoSuchMethod(InferrerEngine inferrer) {
return targets.any((Element e) {
return e is FunctionElement &&
e.isInstanceMember &&
@@ -867,7 +864,7 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
* code.
*/
TypeInformation handleIntrisifiedSelector(
- Selector selector, TypeMask mask, TypeGraphInferrerEngine inferrer) {
+ Selector selector, TypeMask mask, InferrerEngine inferrer) {
ClosedWorld closedWorld = inferrer.closedWorld;
if (!closedWorld.backendClasses.intImplementation.isResolved) return null;
if (mask == null) return null;
@@ -965,7 +962,7 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
}
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
Iterable<Element> oldTargets = targets;
TypeMask typeMask = computeTypedSelector(inferrer);
inferrer.updateSelectorInTree(caller, call, selector, typeMask);
@@ -1025,30 +1022,29 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
if (canReachAll && !typedTargets.contains(element)) {
return const TypeMask.nonNullEmpty();
}
-
if (inferrer.returnsListElementType(selector, typeMask)) {
ContainerTypeMask containerTypeMask = receiver.type;
return containerTypeMask.elementType;
} else if (inferrer.returnsMapValueType(selector, typeMask)) {
- if (typeMask.isDictionary &&
- arguments.positional[0].type.isValue &&
- arguments.positional[0].type.value.isString) {
- DictionaryTypeMask dictionaryTypeMask = typeMask;
- ValueTypeMask arg = arguments.positional[0].type;
- String key = arg.value.primitiveValue.slowToString();
- if (dictionaryTypeMask.typeMap.containsKey(key)) {
- if (debug.VERBOSE) {
- print("Dictionary lookup for $key yields "
- "${dictionaryTypeMask.typeMap[key]}.");
- }
- return dictionaryTypeMask.typeMap[key];
- } else {
- // The typeMap is precise, so if we do not find the key, the lookup
- // will be [null] at runtime.
- if (debug.VERBOSE) {
- print("Dictionary lookup for $key yields [null].");
+ if (typeMask.isDictionary) {
+ TypeMask arg = arguments.positional[0].type;
+ if (arg is ValueTypeMask && arg.value.isString) {
+ DictionaryTypeMask dictionaryTypeMask = typeMask;
+ String key = arg.value.primitiveValue.slowToString();
+ if (dictionaryTypeMask.typeMap.containsKey(key)) {
+ if (debug.VERBOSE) {
+ print("Dictionary lookup for $key yields "
+ "${dictionaryTypeMask.typeMap[key]}.");
+ }
+ return dictionaryTypeMask.typeMap[key];
+ } else {
+ // The typeMap is precise, so if we do not find the key, the lookup
+ // will be [null] at runtime.
+ if (debug.VERBOSE) {
+ print("Dictionary lookup for $key yields [null].");
+ }
+ return inferrer.types.nullType.type;
}
- return inferrer.types.nullType.type;
}
}
MapTypeMask mapTypeMask = typeMask;
@@ -1074,7 +1070,7 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
return result;
}
- void giveUp(TypeGraphInferrerEngine inferrer, {bool clearAssignments: true}) {
+ void giveUp(InferrerEngine inferrer, {bool clearAssignments: true}) {
if (!abandonInferencing) {
inferrer.updateSelectorInTree(caller, call, selector, mask);
Iterable<Element> oldTargets = targets;
@@ -1093,7 +1089,7 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
super.giveUp(inferrer, clearAssignments: clearAssignments);
}
- void removeAndClearReferences(TypeGraphInferrerEngine inferrer) {
+ void removeAndClearReferences(InferrerEngine inferrer) {
for (Element element in targets) {
ElementTypeInformation callee = inferrer.types.getInferredTypeOf(element);
callee.removeUser(this);
@@ -1110,7 +1106,7 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
return visitor.visitDynamicCallSiteTypeInformation(this);
}
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
return receiver.isStable &&
targets.every(
(element) => inferrer.types.getInferredTypeOf(element).isStable) &&
@@ -1133,12 +1129,12 @@ class ClosureCallSiteTypeInformation extends CallSiteTypeInformation {
bool inLoop)
: super(context, call, enclosing, selector, mask, arguments, inLoop);
- void addToGraph(TypeGraphInferrerEngine inferrer) {
+ void addToGraph(InferrerEngine inferrer) {
arguments.forEach((info) => info.addUser(this));
closure.addUser(this);
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) => safeType(inferrer);
+ TypeMask computeType(InferrerEngine inferrer) => safeType(inferrer);
Iterable<Element> get callees {
throw new UnsupportedError("Cannot compute callees of a closure call.");
@@ -1150,7 +1146,7 @@ class ClosureCallSiteTypeInformation extends CallSiteTypeInformation {
return visitor.visitClosureCallSiteTypeInformation(this);
}
- void removeAndClearReferences(TypeGraphInferrerEngine inferrer) {
+ void removeAndClearReferences(InferrerEngine inferrer) {
// This method is a placeholder for the following comment:
// We should maintain the information that the closure is a user
// of its arguments because we do not check that the arguments
@@ -1199,9 +1195,9 @@ class ConcreteTypeInformation extends TypeInformation {
throw "Not supported";
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) => type;
+ TypeMask computeType(InferrerEngine inferrer) => type;
- bool reset(TypeGraphInferrerEngine inferrer) {
+ bool reset(InferrerEngine inferrer) {
throw "Not supported";
}
@@ -1211,7 +1207,7 @@ class ConcreteTypeInformation extends TypeInformation {
return visitor.visitConcreteTypeInformation(this);
}
- bool hasStableType(TypeGraphInferrerEngine inferrer) => true;
+ bool hasStableType(InferrerEngine inferrer) => true;
}
class StringLiteralTypeInformation extends ConcreteTypeInformation {
@@ -1276,7 +1272,7 @@ class NarrowTypeInformation extends TypeInformation {
assert(assignments.length == 1);
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
TypeMask input = assignments.first.type;
TypeMask intersection =
input.intersection(typeAnnotation, inferrer.closedWorld);
@@ -1315,12 +1311,12 @@ abstract class InferredTypeInformation extends TypeInformation {
if (parentType != null) addAssignment(parentType);
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
if (!inferred) return safeType(inferrer);
return inferrer.types.computeTypeMask(assignments);
}
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
return inferred && super.hasStableType(inferrer);
}
}
@@ -1361,11 +1357,11 @@ class ListTypeInformation extends TypeInformation with TracedTypeInformation {
return visitor.visitListTypeInformation(this);
}
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
return elementType.isStable && super.hasStableType(inferrer);
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
var mask = type;
if (!mask.isContainer ||
mask.elementType != elementType.type ||
@@ -1380,7 +1376,7 @@ class ListTypeInformation extends TypeInformation with TracedTypeInformation {
return mask;
}
- TypeMask safeType(TypeGraphInferrerEngine inferrer) => originalType;
+ TypeMask safeType(InferrerEngine inferrer) => originalType;
void cleanup() {
super.cleanup();
@@ -1486,7 +1482,7 @@ class MapTypeInformation extends TypeInformation with TracedTypeInformation {
return visitor.visitMapTypeInformation(this);
}
- TypeMask toTypeMask(TypeGraphInferrerEngine inferrer) {
+ TypeMask toTypeMask(InferrerEngine inferrer) {
if (inDictionaryMode) {
Map<String, TypeMask> mappings = new Map<String, TypeMask>();
for (var key in typeInfoMap.keys) {
@@ -1509,7 +1505,7 @@ class MapTypeInformation extends TypeInformation with TracedTypeInformation {
}
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
if (type.isDictionary != inDictionaryMode) {
return toTypeMask(inferrer);
} else if (type.isDictionary) {
@@ -1538,9 +1534,9 @@ class MapTypeInformation extends TypeInformation with TracedTypeInformation {
return type;
}
- TypeMask safeType(TypeGraphInferrerEngine inferrer) => originalType;
+ TypeMask safeType(InferrerEngine inferrer) => originalType;
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
return keyType.isStable &&
valueType.isStable &&
super.hasStableType(inferrer);
@@ -1596,7 +1592,7 @@ class ValueInMapTypeInformation extends InferredTypeInformation {
return visitor.visitValueInMapTypeInformation(this);
}
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
return nonNull
? super.computeType(inferrer)
: super.computeType(inferrer).nullable();
@@ -1618,7 +1614,7 @@ class PhiElementTypeInformation extends TypeInformation {
this.isLoopPhi, this.variable)
: super(context);
- TypeMask computeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask computeType(InferrerEngine inferrer) {
return inferrer.types.computeTypeMask(assignments);
}
@@ -1637,9 +1633,9 @@ class ClosureTypeInformation extends TypeInformation
ClosureTypeInformation(MemberTypeInformation context, this.node, this.element)
: super(context);
- TypeMask computeType(TypeGraphInferrerEngine inferrer) => safeType(inferrer);
+ TypeMask computeType(InferrerEngine inferrer) => safeType(inferrer);
- TypeMask safeType(TypeGraphInferrerEngine inferrer) {
+ TypeMask safeType(InferrerEngine inferrer) {
return inferrer.types.functionType.type;
}
@@ -1649,7 +1645,7 @@ class ClosureTypeInformation extends TypeInformation
return visitor.visitClosureTypeInformation(this);
}
- bool hasStableType(TypeGraphInferrerEngine inferrer) {
+ bool hasStableType(InferrerEngine inferrer) {
return false;
}
}
@@ -1695,7 +1691,7 @@ class AwaitTypeInformation extends TypeInformation {
: super(context);
// TODO(22894): Compute a better type here.
- TypeMask computeType(TypeGraphInferrerEngine inferrer) => safeType(inferrer);
+ TypeMask computeType(InferrerEngine inferrer) => safeType(inferrer);
String toString() => 'Await';
« no previous file with comments | « pkg/compiler/lib/src/inferrer/type_graph_inferrer.dart ('k') | pkg/compiler/lib/src/inferrer/type_system.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698