git.oblomov.eu Git - ohcount/blob - src/parsers/prolog.rl

   1 // prolog.rl written by Paulo Moura. pmoura<att>prolog<dott>org.
   2
   3 /************************* Required for every parser *************************/
   4 #ifndef OHCOUNT_PROLOG_PARSER_H
   5 #define OHCOUNT_PROLOG_PARSER_H
   6
   7 #include "../parser_macros.h"
   8
   9 // the name of the language
  10 const char *PROLOG_LANG = LANG_PROLOG;
  11
  12 // the languages entities
  13 const char *prolog_entities[] = {
  14   "space", "comment", "string", "any"
  15 };
  16
  17 // constants associated with the entities
  18 enum {
  19   PROLOG_SPACE = 0, PROLOG_COMMENT, PROLOG_STRING, PROLOG_ANY
  20 };
  21
  22 /*****************************************************************************/
  23
  24 %%{
  25   machine prolog;
  26   write data;
  27   include common "common.rl";
  28
  29   # Line counting machine
  30
  31   action prolog_ccallback {
  32     switch(entity) {
  33     case PROLOG_SPACE:
  34       ls
  35       break;
  36     case PROLOG_ANY:
  37       code
  38       break;
  39     case INTERNAL_NL:
  40       std_internal_newline(PROLOG_LANG)
  41       break;
  42     case NEWLINE:
  43       std_newline(PROLOG_LANG)
  44     }
  45   }
  46
  47   prolog_line_comment = '%' @comment nonnewline*;
  48   prolog_block_comment =
  49     '/*' @comment (
  50       newline %{ entity = INTERNAL_NL; } %prolog_ccallback
  51       |
  52       ws
  53       |
  54       (nonnewline - ws) @comment
  55     )* :>> '*/';
  56   prolog_comment = prolog_line_comment | prolog_block_comment;
  57
  58   prolog_sq_str = '\'' @code ([^\r\n\f'\\] | '\\' nonnewline)* '\'';
  59   prolog_dq_str = '"' @code ([^\r\n\f"\\] | '\\' nonnewline)* '"';
  60   prolog_string = prolog_sq_str | prolog_dq_str;
  61
  62   prolog_line := |*
  63     spaces      ${ entity = PROLOG_SPACE; } => prolog_ccallback;
  64     prolog_comment;
  65     prolog_string;
  66     newline     ${ entity = NEWLINE;   } => prolog_ccallback;
  67     ^space      ${ entity = PROLOG_ANY;   } => prolog_ccallback;
  68   *|;
  69
  70   # Entity machine
  71
  72   action prolog_ecallback {
  73     callback(PROLOG_LANG, prolog_entities[entity], cint(ts), cint(te),
  74              userdata);
  75   }
  76
  77   prolog_line_comment_entity = '%' nonnewline*;
  78   prolog_block_comment_entity = '/*' any* :>> '*/';
  79   prolog_comment_entity = prolog_line_comment_entity | prolog_block_comment_entity;
  80
  81   prolog_entity := |*
  82     space+                ${ entity = PROLOG_SPACE;   } => prolog_ecallback;
  83     prolog_comment_entity ${ entity = PROLOG_COMMENT; } => prolog_ecallback;
  84     # TODO:
  85     ^space;
  86   *|;
  87 }%%
  88
  89 /************************* Required for every parser *************************/
  90
  91 /* Parses a string buffer with Prolog code.
  92  *
  93  * @param *buffer The string to parse.
  94  * @param length The length of the string to parse.
  95  * @param count Integer flag specifying whether or not to count lines. If yes,
  96  *   uses the Ragel machine optimized for counting. Otherwise uses the Ragel
  97  *   machine optimized for returning entity positions.
  98  * @param *callback Callback function. If count is set, callback is called for
  99  *   every line of code, comment, or blank with 'lcode', 'lcomment', and
 100  *   'lblank' respectively. Otherwise callback is called for each entity found.
 101  */
 102 void parse_prolog(char *buffer, int length, int count,
 103                   void (*callback) (const char *lang, const char *entity, int s,
 104                                     int e, void *udata),
 105                   void *userdata
 106   ) {
 107   init
 108
 109   %% write init;
 110   cs = (count) ? prolog_en_prolog_line : prolog_en_prolog_entity;
 111   %% write exec;
 112
 113   // if no newline at EOF; callback contents of last line
 114   if (count) { process_last_line(PROLOG_LANG) }
 115 }
 116
 117 #endif
 118
 119 /*****************************************************************************/