Skip to content
Snippets Groups Projects
Select Git revision
  • 239c717817c5a7c151fe402e89ab74024bac1f0c
  • master default protected
  • ia2
  • adql2.1-ia2
  • private_rows
5 results

parser

  • Clone with SSH
  • Clone with HTTPS
  • gmantele's avatar
    gmantele authored
    A delimited identifier is any sequence of characters between a pair of
    double quotes. For instance: "123 I am a delimited identifier!".
    
    It is of course possible to have double quotes inside this kind of identifier,
    but they have to be doubled in order to not be mistaken with the end of the
    identifier. For instance: "Cool ""identifier""".
    
    However, this escape option was not taken into account by the ADQL library,
    though the same mechanism was already in place for string contants.
    239c7178
    History
    Name Last commit Last update
    ..