docs: public ResultSet getProcedures(String catalog, String schemaPattern, String procedureNamePattern)
        throws SQLException {
  
      String sql =
          "SELECT ROUTINE_SCHEMA PROCEDURE_CAT,NULL PROCEDURE_SCHEM, ROUTINE_NAME PROCEDURE_NAME,"
              + " NULL RESERVED1, NULL RESERVED2, NULL RESERVED3,"
              + " CASE ROUTINE_TYPE "
              + "  WHEN 'FUNCTION' THEN " + procedureReturnsResult
              + "  WHEN 'PROCEDURE' THEN " + procedureNoResult
              + "  ELSE " + procedureResultUnknown
              + " END PROCEDURE_TYPE,"
              + " ROUTINE_COMMENT REMARKS, SPECIFIC_NAME "
              + " FROM INFORMATION_SCHEMA.ROUTINES "
              + " WHERE "
              + catalogCond("ROUTINE_SCHEMA", catalog)
              + " AND "
              + patternCond("ROUTINE_NAME", procedureNamePattern)
              + "/* AND ROUTINE_TYPE='PROCEDURE' */";
      return executeQuery(sql);
    }