blob: 83f5bac1c904199e13751e59cc43283c9785a4b5 [file] [log] [blame]
// 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 'native_testing.dart';
// Test that type checks occur on assignment to fields of native methods.
@Native("A")
class A {
int foo;
}
@Native("B")
class B {
String foo;
}
A makeA() native ;
B makeB() native ;
void setup() native """
function A() {}
function B() {}
makeA = function(){return new A;};
makeB = function(){return new B;};
self.nativeConstructor(A);
self.nativeConstructor(B);
""";
expectThrows(action()) {
bool threw = false;
try {
action();
} catch (e) {
threw = true;
}
Expect.isTrue(threw);
}
checkedModeTest() {
var things = [makeA(), makeB()];
var a = things[0];
var b = things[1];
a.foo = 123;
expectThrows(() => a.foo = 'xxx');
Expect.equals(123, a.foo);
b.foo = 'hello';
expectThrows(() => b.foo = 123);
Expect.equals('hello', b.foo);
// Check that we throw the same errors when the locals are typed.
A aa = things[0];
B bb = things[1];
aa.foo = 124;
expectThrows(() => aa.foo = 'xxx');
Expect.equals(124, aa.foo);
bb.foo = 'hello';
expectThrows(() => bb.foo = 124);
Expect.equals('hello', bb.foo);
}
uncheckedModeTest() {
var things = [makeA(), makeB()];
var a = things[0];
var b = things[1];
a.foo = 123;
Expect.equals(123, a.foo);
a.foo = 'xxx';
Expect.equals('xxx', a.foo);
b.foo = 'hello';
Expect.equals('hello', b.foo);
b.foo = 123;
Expect.equals(b.foo, 123);
// Check that we do not throw errors when the locals are typed.
A aa = things[0];
B bb = things[1];
aa.foo = 124;
Expect.equals(124, aa.foo);
a.foo = 'yyy';
Expect.equals('yyy', a.foo);
b.foo = 'hello';
Expect.equals('hello', b.foo);
b.foo = 124;
Expect.equals(b.foo, 124);
}
bool isCheckedMode() {
var stuff = [1, 'string'];
var a = stuff[0];
// Checked-mode detection.
try {
String s = a;
return false;
} catch (e) {
// Ignore.
}
return true;
}
main() {
nativeTesting();
setup();
if (isCheckedMode()) {
checkedModeTest();
} else {
uncheckedModeTest();
}
}