code: @Override
      public void verify(Annotation annotation) throws AnnotationSyntaxWarning {
          try {
              if (isValid(annotation)) return;
          } catch (PatternSyntaxException e) {
              // ignore it
          }
          // Pattern syntax is bad or annotation is not valid
  
          // The annotation is defined by its annotation definition.
          AnnotationDefinition annodef = annotation.getDefinition();
  
          String annodefID = annodef.getId();
          String url = annodef.getURL();
          String annoval = annotation.getValue();
  
          if (url == null) {
              throw new AnnotationSyntaxWarning(annodefID, annoval);
          }
          throw new AnnotationSyntaxWarning(url, annodefID, annoval);
      }
docs: {@inheritDoc}