Java AnnotatedTypeMirror.getKind Examples

Example #1

File: TypeFromTree.java Project: foxerfly/checker-framework

 protected static void abortIfTypeIsExecutable(
     final AnnotatedTypeFactory typeFactory, final Tree tree, final AnnotatedTypeMirror type) {
   if (type.getKind() == TypeKind.EXECUTABLE) {
     ErrorReporter.errorAbort(
         "Unexpected Executable typekind:\n" + summarize(typeFactory, tree, type));
   }
 }

Example #2

File: TypeFromTree.java Project: foxerfly/checker-framework

 protected static void ifExecutableCheckElement(
     final AnnotatedTypeFactory typeFactory, final Tree tree, final AnnotatedTypeMirror type) {
   if (type.getKind() == TypeKind.EXECUTABLE) {
     if (((AnnotatedExecutableType) type).getElement() == null) {
       ErrorReporter.errorAbort(
           "Executable has no element:\n" + summarize(typeFactory, tree, type));
     }
   }
 }