Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/HintCodeTest.java |
diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/HintCodeTest.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/HintCodeTest.java |
index ebb3ac129c7f1042c32487775de2ebd16fc6e378..c207ccbe13129db5bb900177957606e0a31b9338 100644 |
--- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/HintCodeTest.java |
+++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/HintCodeTest.java |
@@ -297,6 +297,38 @@ public class HintCodeTest extends ResolverTestCase { |
verify(source); |
} |
+ public void test_isDouble() throws Exception { |
+ Source source = addSource(createSource(// |
+ "var v = 1 is double;")); |
+ resolve(source); |
+ assertErrors(source, HintCode.IS_DOUBLE); |
+ verify(source); |
+ } |
+ |
+ public void test_isInt() throws Exception { |
+ Source source = addSource(createSource(// |
+ "var v = 1 is int;")); |
+ resolve(source); |
+ assertErrors(source, HintCode.IS_INT); |
+ verify(source); |
+ } |
+ |
+ public void test_isNotDouble() throws Exception { |
+ Source source = addSource(createSource(// |
+ "var v = 1 is! double;")); |
+ resolve(source); |
+ assertErrors(source, HintCode.IS_NOT_DOUBLE); |
+ verify(source); |
+ } |
+ |
+ public void test_isNotInt() throws Exception { |
+ Source source = addSource(createSource(// |
+ "var v = 1 is! int;")); |
+ resolve(source); |
+ assertErrors(source, HintCode.IS_NOT_INT); |
+ verify(source); |
+ } |
+ |
public void test_unusedImport() throws Exception { |
Source source = addSource(createSource(// |
"library L;", |