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

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: frog/tests/leg/type_checker_test.dart

Issue 10536169: Move frog/tests/{leg,leg_only,frog_native} to tests/compiler/. (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 8 years, 6 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 | « frog/tests/leg/string_interpolation_test.dart ('k') | frog/tests/leg/type_combination_test.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: frog/tests/leg/type_checker_test.dart
===================================================================
--- frog/tests/leg/type_checker_test.dart (revision 8644)
+++ frog/tests/leg/type_checker_test.dart (working copy)
@@ -1,471 +0,0 @@
-// Copyright (c) 2011, 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("../../../lib/compiler/implementation/leg.dart");
-#import("../../../lib/compiler/implementation/elements/elements.dart");
-#import("../../../lib/compiler/implementation/tree/tree.dart");
-#import('../../../lib/compiler/implementation/scanner/scannerlib.dart');
-#import("../../../lib/compiler/implementation/util/util.dart");
-#import("mock_compiler.dart");
-#import("parser_helper.dart");
-
-Type intType;
-Type boolType;
-Type stringType;
-Type doubleType;
-Type objectType;
-
-main() {
- List tests = [testSimpleTypes,
- testReturn,
- testFor,
- testWhile,
- testOperators,
- testConstructorInvocationArgumentCount,
- testConstructorInvocationArgumentTypes,
- testMethodInvocationArgumentCount,
- testMethodInvocations,
- testControlFlow,
- // testNewExpression,
- testConditionalExpression,
- testIfStatement,
- testThis,
- testFunctionSubtyping];
- for (Function test in tests) {
- setup();
- test();
- }
-}
-
-testSimpleTypes() {
- Expect.equals(intType, analyzeType("3"));
- Expect.equals(boolType, analyzeType("false"));
- Expect.equals(boolType, analyzeType("true"));
- Expect.equals(stringType, analyzeType("'hestfisk'"));
-}
-
-testReturn() {
- analyzeTopLevel("void foo() { return 3; }", MessageKind.RETURN_VALUE_IN_VOID);
- analyzeTopLevel("int bar() { return 'hest'; }", MessageKind.NOT_ASSIGNABLE);
- analyzeTopLevel("void baz() { var x; return x; }");
- analyzeTopLevel(returnWithType("int", "'string'"),
- MessageKind.NOT_ASSIGNABLE);
- analyzeTopLevel(returnWithType("", "'string'"));
- analyzeTopLevel(returnWithType("Object", "'string'"));
- analyzeTopLevel(returnWithType("String", "'string'"));
- analyzeTopLevel(returnWithType("String", null));
- analyzeTopLevel(returnWithType("int", null));
- analyzeTopLevel(returnWithType("void", ""));
- analyzeTopLevel(returnWithType("void", 1), MessageKind.RETURN_VALUE_IN_VOID);
- analyzeTopLevel(returnWithType("void", null));
- analyzeTopLevel(returnWithType("String", ""), MessageKind.RETURN_NOTHING);
- // analyzeTopLevel("String foo() {};"); // Should probably fail.
-}
-
-testFor() {
- analyze("for (var x;true;x = x + 1) {}");
- analyze("for (var x;null;x = x + 1) {}");
- analyze("for (var x;0;x = x + 1) {}", MessageKind.NOT_ASSIGNABLE);
- analyze("for (var x;'';x = x + 1) {}", MessageKind.NOT_ASSIGNABLE);
-
- analyze("for (;true;) {}");
- analyze("for (;null;) {}");
- analyze("for (;0;) {}", MessageKind.NOT_ASSIGNABLE);
- analyze("for (;'';) {}", MessageKind.NOT_ASSIGNABLE);
-
- // Foreach tests
-// TODO(karlklose): for each is not yet implemented.
-// analyze("{ List<String> strings = ['1','2','3']; " +
-// "for (String s in strings) {} }");
-// analyze("{ List<int> ints = [1,2,3]; for (String s in ints) {} }",
-// MessageKind.NOT_ASSIGNABLE);
-// analyze("for (String s in true) {}", MessageKind.METHOD_NOT_FOUND);
-}
-
-testWhile() {
- analyze("while (true) {}");
- analyze("while (null) {}");
- analyze("while (0) {}", MessageKind.NOT_ASSIGNABLE);
- analyze("while ('') {}", MessageKind.NOT_ASSIGNABLE);
-
- analyze("do {} while (true);");
- analyze("do {} while (null);");
- analyze("do {} while (0);", MessageKind.NOT_ASSIGNABLE);
- analyze("do {} while ('');", MessageKind.NOT_ASSIGNABLE);
- analyze("do { int i = 0.5; } while (true);", MessageKind.NOT_ASSIGNABLE);
- analyze("do { int i = 0.5; } while (null);", MessageKind.NOT_ASSIGNABLE);
-}
-
-testOperators() {
- // TODO(karlklose): add the DartC tests for operators when we can parse
- // classes with operators.
- for (final op in ['+', '-', '*', '/', '%', '~/', '|', '&']) {
- analyze("{ var i = 1 ${op} 2; }");
- analyze("{ var i = 1; i ${op}= 2; }");
- analyze("{ int i; var j = (i = true) ${op} 2; }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("{ int i; var j = 1 ${op} (i = true); }",
- MessageKind.NOT_ASSIGNABLE);
- }
- for (final op in ['-', '~']) {
- analyze("{ var i = ${op}1; }");
- analyze("{ int i; var j = ${op}(i = true); }", MessageKind.NOT_ASSIGNABLE);
- }
- for (final op in ['++', '--']) {
- analyze("{ int i = 1; int j = i${op}; }");
- analyze("{ int i = 1; bool j = i${op}; }", MessageKind.NOT_ASSIGNABLE);
- analyze("{ bool b = true; bool j = b${op}; }");
- analyze("{ bool b = true; int j = ${op}b; }");
- }
- for (final op in ['||', '&&']) {
- analyze("{ bool b = (true ${op} false); }");
- analyze("{ int b = true ${op} false; }", MessageKind.NOT_ASSIGNABLE);
- analyze("{ bool b = (1 ${op} false); }", MessageKind.NOT_ASSIGNABLE);
- analyze("{ bool b = (true ${op} 2); }", MessageKind.NOT_ASSIGNABLE);
- }
- for (final op in ['>', '<', '<=', '>=', '==', '!=', '===', '!==']) {
- analyze("{ bool b = 1 ${op} 2; }");
- analyze("{ int i = 1 ${op} 2; }", MessageKind.NOT_ASSIGNABLE);
- analyze("{ int i; bool b = (i = true) ${op} 2; }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("{ int i; bool b = 1 ${op} (i = true); }",
- MessageKind.NOT_ASSIGNABLE);
- }
-}
-
-void testConstructorInvocationArgumentCount() {
- compiler.parseScript("""
- class C1 { C1(x, y); }
- class C2 { C2(int x, int y); }
- """);
- // calls to untyped constructor C1
- analyze("new C1(1, 2);");
- analyze("new C1();", MessageKind.MISSING_ARGUMENT);
- analyze("new C1(1);", MessageKind.MISSING_ARGUMENT);
- analyze("new C1(1, 2, 3);", MessageKind.ADDITIONAL_ARGUMENT);
- // calls to typed constructor C2
- analyze("new C2(1, 2);");
- analyze("new C2();", MessageKind.MISSING_ARGUMENT);
- analyze("new C2(1);", MessageKind.MISSING_ARGUMENT);
- analyze("new C2(1, 2, 3);", MessageKind.ADDITIONAL_ARGUMENT);
-}
-
-void testConstructorInvocationArgumentTypes() {
- compiler.parseScript("""
- class C1 { C1(x); }
- class C2 { C2(int x); }
- """);
- analyze("new C1(42);");
- analyze("new C1('string');");
- analyze("new C2(42);");
- analyze("new C2('string');",
- MessageKind.NOT_ASSIGNABLE);
-}
-
-void testMethodInvocationArgumentCount() {
- compiler.parseScript(CLASS_WITH_METHODS);
- final String header = "{ ClassWithMethods c; ";
- analyze("${header}c.untypedNoArgumentMethod(1); }",
- MessageKind.ADDITIONAL_ARGUMENT);
- analyze("${header}c.untypedOneArgumentMethod(); }",
- MessageKind.MISSING_ARGUMENT);
- analyze("${header}c.untypedOneArgumentMethod(1, 1); }",
- MessageKind.ADDITIONAL_ARGUMENT);
- analyze("${header}c.untypedTwoArgumentMethod(); }",
- MessageKind.MISSING_ARGUMENT);
- analyze("${header}c.untypedTwoArgumentMethod(1, 2, 3); }",
- MessageKind.ADDITIONAL_ARGUMENT);
- analyze("${header}c.intNoArgumentMethod(1); }",
- MessageKind.ADDITIONAL_ARGUMENT);
- analyze("${header}c.intOneArgumentMethod(); }",
- MessageKind.MISSING_ARGUMENT);
- analyze("${header}c.intOneArgumentMethod(1, 1); }",
- MessageKind.ADDITIONAL_ARGUMENT);
- analyze("${header}c.intTwoArgumentMethod(); }",
- MessageKind.MISSING_ARGUMENT);
- analyze("${header}c.intTwoArgumentMethod(1, 2, 3); }",
- MessageKind.ADDITIONAL_ARGUMENT);
- // analyze("${header}c.untypedField(); }");
-}
-
-void testMethodInvocations() {
- compiler.parseScript(CLASS_WITH_METHODS);
- final String header = "{ ClassWithMethods c; SubClass d; int i; int j; ";
-
- analyze("${header}int k = c.untypedNoArgumentMethod(); }");
- analyze("${header}ClassWithMethods x = c.untypedNoArgumentMethod(); }");
- analyze("${header}ClassWithMethods x = d.untypedNoArgumentMethod(); }");
- analyze("${header}int k = d.intMethod(); }");
- analyze("${header}int k = c.untypedOneArgumentMethod(c); }");
- analyze("${header}ClassWithMethods x = c.untypedOneArgumentMethod(1); }");
- analyze("${header}int k = c.untypedOneArgumentMethod('string'); }");
- analyze("${header}int k = c.untypedOneArgumentMethod(i); }");
- analyze("${header}int k = d.untypedOneArgumentMethod(d); }");
- analyze("${header}ClassWithMethods x = d.untypedOneArgumentMethod(1); }");
- analyze("${header}int k = d.untypedOneArgumentMethod('string'); }");
- analyze("${header}int k = d.untypedOneArgumentMethod(i); }");
-
- analyze("${header}int k = c.untypedTwoArgumentMethod(1, 'string'); }");
- analyze("${header}int k = c.untypedTwoArgumentMethod(i, j); }");
- analyze("${header}ClassWithMethods x = c.untypedTwoArgumentMethod(i, c); }");
- analyze("${header}int k = d.untypedTwoArgumentMethod(1, 'string'); }");
- analyze("${header}int k = d.untypedTwoArgumentMethod(i, j); }");
- analyze("${header}ClassWithMethods x = d.untypedTwoArgumentMethod(i, d); }");
-
- analyze("${header}int k = c.intNoArgumentMethod(); }");
- analyze("${header}ClassWithMethods x = c.intNoArgumentMethod(); }",
- MessageKind.NOT_ASSIGNABLE);
-
- analyze("${header}int k = c.intOneArgumentMethod(c); }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("${header}ClassWithMethods x = c.intOneArgumentMethod(1); }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("${header}int k = c.intOneArgumentMethod('string'); }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("${header}int k = c.intOneArgumentMethod(i); }");
-
- analyze("${header}int k = c.intTwoArgumentMethod(1, 'string'); }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("${header}int k = c.intTwoArgumentMethod(i, j); }");
- analyze("${header}ClassWithMethods x = c.intTwoArgumentMethod(i, j); }",
- MessageKind.NOT_ASSIGNABLE);
-
- analyze("${header}c.intField(); }", MessageKind.METHOD_NOT_FOUND);
- analyze("${header}d.intField(); }", MessageKind.METHOD_NOT_FOUND);
-}
-
-/** Tests analysis of returns (not required by the specification). */
-void testControlFlow() {
- analyzeTopLevel("void foo() { if (true) { return; } }");
- analyzeTopLevel("foo() { if (true) { return; } }");
- analyzeTopLevel("int foo() { if (true) { return 1; } }",
- MessageKind.MAYBE_MISSING_RETURN);
- final bar =
- """void bar() {
- if (true) {
- if (true) { return; } else { return; }
- } else { return; }
- }""";
- analyzeTopLevel(bar);
- analyzeTopLevel("void baz() { return; int i = 1; }",
- MessageKind.UNREACHABLE_CODE);
- final qux =
- """void qux() {
- if (true) {
- return;
- } else if (true) {
- if (true) {
- return;
- }
- throw 'hest';
- }
- throw 'fisk';
- }""";
- analyzeTopLevel(qux);
- analyzeTopLevel("int hest() {}", MessageKind.MISSING_RETURN);
- final fisk = """int fisk() {
- if (true) {
- if (true) { return 1; } else {}
- } else { return 1; }
- }""";
- analyzeTopLevel(fisk, MessageKind.MAYBE_MISSING_RETURN);
- analyzeTopLevel("int foo() { while(true) { return 1; } }");
- analyzeTopLevel("int foo() { while(true) { return 1; } return 2; }",
- MessageKind.UNREACHABLE_CODE);
-}
-
-testNewExpression() {
- compiler.parseScript("class A {}");
- analyze("A a = new A();");
- analyze("int i = new A();", MessageKind.NOT_ASSIGNABLE);
-
-// TODO(karlklose): constructors are not yet implemented.
-// compiler.parseScript(
-// "class Foo {\n" +
-// " Foo(int x) {}\n" +
-// " Foo.foo() {}\n" +
-// " Foo.bar([int i = null]) {}\n" +
-// "}\n" +
-// "interface Bar<T> factory Baz {\n" +
-// " Bar.make();\n" +
-// "}\n" +
-// "class Baz {\n" +
-// " factory Bar<S>.make(S x) { return null; }\n" +
-// "}");
-//
-// analyze("Foo x = new Foo(0);");
-// analyze("Foo x = new Foo();", MessageKind.MISSING_ARGUMENT);
-// analyze("Foo x = new Foo('');", MessageKind.NOT_ASSIGNABLE);
-// analyze("Foo x = new Foo(0, null);", MessageKind.ADDITIONAL_ARGUMENT);
-//
-// analyze("Foo x = new Foo.foo();");
-// analyze("Foo x = new Foo.foo(null);", MessageKind.ADDITIONAL_ARGUMENT);
-//
-// analyze("Foo x = new Foo.bar();");
-// analyze("Foo x = new Foo.bar(0);");
-// analyze("Foo x = new Foo.bar('');", MessageKind.NOT_ASSIGNABLE);
-// analyze("Foo x = new Foo.bar(0, null);",
-// MessageKind.ADDITIONAL_ARGUMENT);
-//
-// analyze("Bar<String> x = new Bar<String>.make('');");
-}
-
-testConditionalExpression() {
- analyze("int i = true ? 2 : 1;");
- analyze("int i = true ? 'hest' : 1;");
- analyze("int i = true ? 'hest' : 'fisk';", MessageKind.NOT_ASSIGNABLE);
- analyze("String s = true ? 'hest' : 'fisk';");
-
- analyze("true ? 1 : 2;");
- analyze("null ? 1 : 2;");
- analyze("0 ? 1 : 2;", MessageKind.NOT_ASSIGNABLE);
- analyze("'' ? 1 : 2;", MessageKind.NOT_ASSIGNABLE);
- analyze("{ int i; true ? i = 2.7 : 2; }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("{ int i; true ? 2 : i = 2.7; }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("{ int i; i = true ? 2.7 : 2; }");
-}
-
-testIfStatement() {
- analyze("if (true) {}");
- analyze("if (null) {}");
- analyze("if (0) {}",
- MessageKind.NOT_ASSIGNABLE);
- analyze("if ('') {}",
- MessageKind.NOT_ASSIGNABLE);
- analyze("{ int i = 27; if (true) { i = 2.7; } else {} }",
- MessageKind.NOT_ASSIGNABLE);
- analyze("{ int i = 27; if (true) {} else { i = 2.7; } }",
- MessageKind.NOT_ASSIGNABLE);
-}
-
-testThis() {
- String script = "class Foo {}";
- LibraryElement library = mockLibrary(compiler, script);
- compiler.parseScript(script, library);
- ClassElement foo = library.find(const SourceString("Foo"));
- analyzeIn(foo, "{ int i = this; }", MessageKind.NOT_ASSIGNABLE);
- analyzeIn(foo, "{ Object o = this; }");
- analyzeIn(foo, "{ Foo f = this; }");
-}
-
-testFunctionSubtyping() {
- // Checks that the type (in1 -> out1) is a subtype of (in2 -> out2).
- bool isSubtype(List<Type> in1, Type out1, List<Type> in2, Type out2) {
- return compiler.types.isSubtype(
- new FunctionType(out1, new Link<Type>.fromList(in1), null),
- new FunctionType(out2, new Link<Type>.fromList(in2), null));
- }
- Expect.isTrue(isSubtype([], intType, [], intType));
- Expect.isTrue(isSubtype([], intType, [], objectType));
- Expect.isFalse(isSubtype([], intType, [], doubleType));
- Expect.isTrue(isSubtype([intType], intType, [intType], intType));
- Expect.isTrue(isSubtype([objectType], intType, [intType], objectType));
- Expect.isFalse(isSubtype([intType], intType, [doubleType], intType));
- Expect.isFalse(isSubtype([intType], intType, [intType, intType], intType));
- Expect.isFalse(isSubtype([intType, intType], intType, [intType], intType));
-}
-
-final CLASS_WITH_METHODS = '''
-class ClassWithMethods {
- untypedNoArgumentMethod() {}
- untypedOneArgumentMethod(argument) {}
- untypedTwoArgumentMethod(argument1, argument2) {}
-
- int intNoArgumentMethod() {}
- int intOneArgumentMethod(int argument) {}
- int intTwoArgumentMethod(int argument1, int argument2) {}
-
- Function functionField;
- var untypedField;
- int intField;
-}
-interface I {
- int intMethod();
-}
-class SubClass extends ClassWithMethods implements I {}''';
-
-Types types;
-MockCompiler compiler;
-
-String returnWithType(String type, expression) {
- return "$type foo() { return $expression; }";
-}
-
-Node parseExpression(String text) =>
- parseBodyCode(text, (parser, token) => parser.parseExpression(token));
-
-void setup() {
- compiler = new MockCompiler();
- types = compiler.types;
- intType = compiler.intClass.computeType(compiler);
- doubleType = compiler.doubleClass.computeType(compiler);
- boolType = compiler.boolClass.computeType(compiler);
- stringType = compiler.stringClass.computeType(compiler);
- objectType = compiler.objectClass.computeType(compiler);
-}
-
-Type analyzeType(String text) {
- var node = parseExpression(text);
- TypeCheckerVisitor visitor =
- new TypeCheckerVisitor(compiler, new TreeElementMapping(), types);
- return visitor.analyze(node);
-}
-
-analyzeTopLevel(String text, [expectedWarnings]) {
- if (expectedWarnings === null) expectedWarnings = [];
- if (expectedWarnings is !List) expectedWarnings = [expectedWarnings];
-
- LibraryElement library = mockLibrary(compiler, text);
-
- Link<Element> topLevelElements = parseUnit(text, compiler, library);
-
- for (Link<Element> elements = topLevelElements;
- !elements.isEmpty();
- elements = elements.tail) {
- Node node = elements.head.parseNode(compiler);
- TreeElements mapping = compiler.resolver.resolve(elements.head);
- TypeCheckerVisitor checker =
- new TypeCheckerVisitor(compiler, mapping, types);
- compiler.clearWarnings();
- checker.analyze(node);
- compareWarningKinds(text, expectedWarnings, compiler.warnings);
- }
-}
-
-analyze(String text, [expectedWarnings]) {
- if (expectedWarnings === null) expectedWarnings = [];
- if (expectedWarnings is !List) expectedWarnings = [expectedWarnings];
-
- Token tokens = scan(text);
- NodeListener listener = new NodeListener(compiler, null);
- Parser parser = new Parser(listener);
- parser.parseStatement(tokens);
- Node node = listener.popNode();
- TreeElements elements = compiler.resolveNodeStatement(node, compiler.mainApp);
- TypeCheckerVisitor checker = new TypeCheckerVisitor(compiler, elements,
- types);
- compiler.clearWarnings();
- checker.analyze(node);
- compareWarningKinds(text, expectedWarnings, compiler.warnings);
-}
-
-analyzeIn(ClassElement classElement, String text, [expectedWarnings]) {
- if (expectedWarnings === null) expectedWarnings = [];
- if (expectedWarnings is !List) expectedWarnings = [expectedWarnings];
-
- Token tokens = scan(text);
- NodeListener listener = new NodeListener(compiler, null);
- Parser parser = new Parser(listener);
- parser.parseStatement(tokens);
- Node node = listener.popNode();
- TreeElements elements = compiler.resolveNodeStatement(node, classElement);
- TypeCheckerVisitor checker = new TypeCheckerVisitor(compiler, elements,
- types);
- compiler.clearWarnings();
- checker.currentClass = classElement;
- checker.analyze(node);
- compareWarningKinds(text, expectedWarnings, compiler.warnings);
-}
« no previous file with comments | « frog/tests/leg/string_interpolation_test.dart ('k') | frog/tests/leg/type_combination_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698