/* invalid foreign server - option 'foo' ins't a valid endpoint URL */
CREATE SERVER rdfserver_error1 
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (
  endpoint 'foo'
);
ERROR:  invalid endpoint: 'foo'
/* empty foreign server option - empty endpoints are not allowed */
CREATE SERVER rdfserver_error2
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (
  endpoint ''
);
ERROR:  empty value in option 'endpoint'
/* invalid enable_pushdown value */
CREATE SERVER rdfserver_error3
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  enable_pushdown 'foo'
);
ERROR:  invalid enable_pushdown: 'foo'
HINT:  this parameter expects boolean values ('true' or 'false')
/* invalid fetch_size - negative fetch_size */
CREATE SERVER rdfserver_error4
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  fetch_size '-1'
);
ERROR:  invalid fetch_size: '-1'
HINT:  expected values are positive integers
/* invalid fetch_size - empty string */
CREATE SERVER rdfserver_error5
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  fetch_size ''
);
ERROR:  empty value in option 'fetch_size'
/* invalid enable_xml_huge value */
CREATE SERVER rdfserver_error6
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  enable_xml_huge 'foo'
);
ERROR:  invalid enable_xml_huge: 'foo'
HINT:  this parameter expects boolean values ('true' or 'false')
/* invalid batch_size - non-numeric value */
CREATE SERVER rdfserver_error7
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  batch_size 'foo'
);
ERROR:  invalid batch_size: 'foo'
HINT:  expected values are positive integers (number of records)
/* invalid batch_size - zero value */
CREATE SERVER rdfserver_error8
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  batch_size '0'
);
/* invalid batch_size - negative value */
CREATE SERVER rdfserver_error9
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  batch_size '-10'
);
ERROR:  invalid batch_size: '-10'
HINT:  expected values are positive integers (number of records)
/* invalid batch_size - empty string */
CREATE SERVER rdfserver_error10
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  batch_size ''
);
ERROR:  empty value in option 'batch_size'
/* invalid batch_size - white space */
CREATE SERVER rdfserver_error11
FOREIGN DATA WRAPPER rdf_fdw 
OPTIONS (    
  endpoint 'https://dbpedia.org/sparql',
  batch_size ' '
);
ERROR:  invalid batch_size: ' '
HINT:  expected values are positive integers (number of records)