alma_parser.c

#include "alma_parser.h"

mpc_parser_t* Alma;
mpc_parser_t* Almaformula;
mpc_parser_t* Formula;
mpc_parser_t* FFormula;
mpc_parser_t* BFormula;
mpc_parser_t* Conjform;
mpc_parser_t* Literal;
mpc_parser_t* Neglit;
mpc_parser_t* Poslit;
mpc_parser_t* Listofterms;
mpc_parser_t* Term;
mpc_parser_t* Predname;
mpc_parser_t* Constant;
mpc_parser_t* Funcname;
mpc_parser_t* Variable;
mpc_parser_t* Prologconst;

void parse_init(void) {
  Alma  = mpc_new("alma");
  Almaformula  = mpc_new("almaformula");
  Formula = mpc_new("formula");
  FFormula = mpc_new("fformula");
  BFormula = mpc_new("bformula");
  Conjform = mpc_new("conjform");
  Literal = mpc_new("literal");
  Neglit = mpc_new("neglit");
  Poslit = mpc_new("poslit");
  Listofterms = mpc_new("listofterms");
  Term = mpc_new("term");
  Predname = mpc_new("predname");
  Constant = mpc_new("constant");
  Funcname = mpc_new("funcname");
  Variable = mpc_new("variable");
  Prologconst = mpc_new("prologconst");

  // TODO: Add to, allowing Prolog comments to be ignored, and other more general features
  mpca_lang(MPCA_LANG_DEFAULT,
    "                                                            "
    " alma         : /^/ <almaformula>* /$/ ;                    "
    " almaformula  : (<fformula> | <bformula> | <formula>) '.' ; "
    " formula      : \"and(\" <formula> ',' <formula> ')'        "
    "              | \"or(\" <formula> ','  <formula> ')'        "
    "              | \"if(\" <formula> ',' <formula> ')'         "
    "              | <literal> ;                                 "
    " fformula     : \"fif(\" <conjform> ',' \"conclusion(\"     "
    "                <poslit> ')' ')' ;                          "
    " bformula     : \"bif(\" <formula> ',' <formula> ')' ;      "
    " conjform     : \"and(\" <conjform> ',' <conjform> ')'      "
    "              | <literal> ;                                 "
    " literal      : <neglit> | <poslit> ;                       "
    " neglit       : \"not(\" <poslit> ')' ;                     "
    " poslit       : <predname> '(' <listofterms> ')'            "
    "              | <predname> ;                                "
    " listofterms  : <term> (',' <term>)* ;                      "
    " term         : <funcname> '(' <listofterms> ')'            "
    "              | <variable> | <constant> ;                   "
    " predname     : <prologconst> ;                             "
    " constant     : <prologconst> ;                             "
    " funcname     : <prologconst> ;                             "
    " variable     : /[A-Z_][a-zA-Z0-9_]*/ ;                     "
    " prologconst  : /[a-zA-Z0-9_]*/      ;                      ",
    Alma, Almaformula, Formula, FFormula, BFormula, Conjform, Literal, Neglit,
    Poslit, Listofterms, Term, Predname, Constant, Funcname, Variable,
    Prologconst, NULL);
}

// Attempts to open filename and parse contents according to ALMA language
// Boolean return for success or failure of parse
// If the parse was successful, AST is a valid pointer to the result
int parse_file(char *filename, mpc_ast_t **ast) {
  mpc_result_t r;
  int result = mpc_parse_contents(filename, Alma, &r);

  if (result) {
    *ast = r.output;
    return 1;
  }
  else {
    mpc_err_print(r.error);
    mpc_err_delete(r.error);
    return 0;
  }
}

int parse_string(char *string, mpc_ast_t **ast) {
  mpc_result_t r;
  int result = mpc_parse("stringname", string, Alma, &r);

  if (result) {
    *ast = r.output;
    return 1;
  }
  else {
    mpc_err_print(r.error);
    mpc_err_delete(r.error);
    return 0;
  }
}

void parse_cleanup(void) {
  mpc_cleanup(16, Alma, Almaformula, Formula, FFormula, BFormula, Conjform,
    Literal, Neglit, Poslit, Listofterms, Term, Predname, Constant,
    Funcname, Variable, Prologconst);
}