blob: 4c4dd952f2229b0467a856fa061d1ce54165763a [file] [log] [blame]
// Copyright (c) 2017, 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 'package:kernel/class_hierarchy.dart';
import 'package:kernel/core_types.dart';
import 'package:kernel/kernel.dart';
import 'package:kernel/type_environment.dart';
import '../compiler/js_typerep.dart';
import 'kernel_helpers.dart';
class JSTypeRep extends SharedJSTypeRep<DartType> {
final TypeEnvironment types;
final ClassHierarchy hierarchy;
final CoreTypes coreTypes;
final Class _jsBool;
final Class _jsNumber;
final Class _jsString;
JSTypeRep(this.types, this.hierarchy)
: coreTypes = types.coreTypes,
_jsBool =
types.coreTypes.index.getClass('dart:_interceptors', 'JSBool'),
_jsNumber =
types.coreTypes.index.getClass('dart:_interceptors', 'JSNumber'),
_jsString =
types.coreTypes.index.getClass('dart:_interceptors', 'JSString');
JSType typeFor(DartType type) {
while (type is TypeParameterType) {
type = (type as TypeParameterType).parameter.bound;
if (type == null) return JSType.jsUnknown;
// Note that this should be changed if Dart gets non-nullable types
if (type == const BottomType()) return JSType.jsNull;
if (type is InterfaceType) {
var c = type.classNode;
if (c == coreTypes.nullClass) return JSType.jsNull;
if (c == coreTypes.numClass ||
c == coreTypes.intClass ||
c == coreTypes.doubleClass ||
c == _jsNumber) {
return JSType.jsNumber;
if (c == coreTypes.boolClass || c == _jsBool) return JSType.jsBoolean;
if (c == coreTypes.stringClass || c == _jsString) return JSType.jsString;
if (c == coreTypes.objectClass) return JSType.jsUnknown;
if (type is FutureOrType) {
var argumentRep = typeFor(type.typeArgument);
if (argumentRep is JSObject || argumentRep is JSNull) {
return JSType.jsObject;
return JSType.jsUnknown;
if (type == const DynamicType() || type == const VoidType()) {
return JSType.jsUnknown;
return JSType.jsObject;
/// Given a Dart type return the known implementation type, if any.
/// Given `bool`, `String`, or `num`/`int`/`double`,
/// returns the corresponding class in `dart:_interceptors`:
/// `JSBool`, `JSString`, and `JSNumber` respectively, otherwise null.
Class getImplementationClass(DartType t) {
var rep = typeFor(t);
// Number, String, and Bool are final
if (rep == JSType.jsNumber) return _jsNumber;
if (rep == JSType.jsBoolean) return _jsBool;
if (rep == JSType.jsString) return _jsString;
return null;