code: @Override
      public Stage1Output stage1BELValidation(File f) {
          Stage1Output output = new Stage1Output();
  
          BELParseResults rslts = belValidator.validateBELScript(f);
          List<BELParseErrorException> sntxErrs = rslts.getSyntaxErrors();
          if (hasItems(sntxErrs)) {
              ValidationError ve;
              for (BELParseErrorException err : sntxErrs) {
                  final String name = f.getAbsolutePath();
                  final String msg = err.getMessage();
                  final int line = err.getLine();
                  final int col = err.getCharacter();
                  ve = new ValidationError(name, msg, line, col);
                  output.addValidationError(ve);
              }
              return output;
          }
  
          final Document d = belConverter.toCommon(rslts.getDocument());
          output.setDocument(d);
  
          List<AnnotationDefinition> definitions = d.getDefinitions();
          if (definitions == null) {
              return output;
          }
  
          verifyAnnotations(output, d, definitions);
          return output;
      }
docs: {@inheritDoc}