blob: a02815ab0519cb73f43b92176ab2e417e35239a0 [file] [log] [blame]
// Copyright (c) 2016, 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/kernel.dart';
import 'package:kernel/class_hierarchy.dart';
import 'package:kernel/core_types.dart';
import 'package:kernel/type_checker.dart';
import 'dart:io';
final String usage = '''
Usage: typecheck FILE.dill
Runs the strong mode type checker on the given program.
main(List<String> args) {
if (args.length != 1) {
var program = loadProgramFromBinary(args[0]);
var coreTypes = new CoreTypes(program);
var hierarchy = new ClassHierarchy(program);
new TestTypeChecker(coreTypes, hierarchy).checkProgram(program);
class TestTypeChecker extends TypeChecker {
TestTypeChecker(CoreTypes coreTypes, ClassHierarchy hierarchy)
: super(coreTypes, hierarchy);
void checkAssignable(TreeNode where, DartType from, DartType to) {
if (!environment.isSubtypeOf(from, to)) {
fail(where, '$from is not a subtype of $to');
void fail(TreeNode where, String message) {
Location location = where.location;
String locationString = location == null ? '' : '($location)';
print('[error] $message $locationString');