TypeName typeName = node.getType();
Type type = typeName.getType();
if (type != null && type.getElement() != null) {
Element element = type.getElement();
String typeNameStr = element.getName();
LibraryElement libraryElement = element.getLibrary();
// if (typeNameStr.equals(INT_TYPE_NAME) && libraryElement != null
// && libraryElement.isDartCore()) {
// if (node.getNotOperator() == null) {
// errorReporter.reportError(HintCode.IS_INT, node);
// } else {
// errorReporter.reportError(HintCode.IS_NOT_INT, node);
// }
// return true;
// } else
if (typeNameStr.equals(DOUBLE_TYPE_NAME) && libraryElement != null
&& libraryElement.isDartCore()) {
if (node.getNotOperator() == null) {
errorReporter.reportErrorForNode(HintCode.IS_DOUBLE, node);
} else {
errorReporter.reportErrorForNode(HintCode.IS_NOT_DOUBLE, node);
}