fml/fmlarit.c

   1 /*
   2  * Copyright (c) 1995, the EUROPAGATE consortium (see below).
   3  *
   4  * The EUROPAGATE consortium members are:
   5  *
   6  *    University College Dublin
   7  *    Danmarks Teknologiske Videnscenter
   8  *    An Chomhairle Leabharlanna
   9  *    Consejo Superior de Investigaciones Cientificas
  10  *
  11  * Permission to use, copy, modify, distribute, and sell this software and
  12  * its documentation, in whole or in part, for any purpose, is hereby granted,
  13  * provided that:
  14  *
  15  * 1. This copyright and permission notice appear in all copies of the
  16  * software and its documentation. Notices of copyright or attribution
  17  * which appear at the beginning of any file must remain unchanged.
  18  *
  19  * 2. The names of EUROPAGATE or the project partners may not be used to
  20  * endorse or promote products derived from this software without specific
  21  * prior written permission.
  22  *
  23  * 3. Users of this software (implementors and gateway operators) agree to
  24  * inform the EUROPAGATE consortium of their use of the software. This
  25  * information will be used to evaluate the EUROPAGATE project and the
  26  * software, and to plan further developments. The consortium may use
  27  * the information in later publications.
  28  *
  29  * 4. Users of this software agree to make their best efforts, when
  30  * documenting their use of the software, to acknowledge the EUROPAGATE
  31  * consortium, and the role played by the software in their work.
  32  *
  33  * THIS SOFTWARE IS PROVIDED "AS IS" AND WITHOUT WARRANTY OF ANY KIND,
  34  * EXPRESS, IMPLIED, OR OTHERWISE, INCLUDING WITHOUT LIMITATION, ANY
  35  * WARRANTY OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE.
  36  * IN NO EVENT SHALL THE EUROPAGATE CONSORTIUM OR ITS MEMBERS BE LIABLE
  37  * FOR ANY SPECIAL, INCIDENTAL, INDIRECT OR CONSEQUENTIAL DAMAGES OF
  38  * ANY KIND, OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA
  39  * OR PROFITS, WHETHER OR NOT ADVISED OF THE POSSIBILITY OF DAMAGE, AND
  40  * ON ANY THEORY OF LIABILITY, ARISING OUT OF OR IN CONNECTION WITH THE
  41  * USE OR PERFORMANCE OF THIS SOFTWARE.
  42  *
  43  */
  44 /*
  45  * FML interpreter. Europagate, 1995
  46  *
  47  * $Log: fmlarit.c,v $
  48  * Revision 1.4  1995/05/16 09:39:32  adam
  49  * LICENSE.
  50  *
  51  * Revision 1.3  1995/02/23  08:32:04  adam
  52  * Changed header.
  53  *
  54  * Revision 1.1  1995/02/09  14:33:36  adam
  55  * Split source fml.c and define relevant build-in functions in separate
  56  * files. New operators mult, div, not, llen implemented.
  57  *
  58  */
  59
  60 #include <assert.h>
  61 #include <stdlib.h>
  62 #include <stdio.h>
  63
  64 #include "fmlp.h"
  65
  66 static struct fml_node *fml_exec_plus (Fml fml, struct fml_node *l,
  67                                        struct fml_node *r)
  68 {
  69     int left_val, right_val;
  70
  71     fml_lr_values (fml, l, &left_val, r, &right_val);
  72     return fml_mk_node_val (fml, left_val + right_val);
  73 }
  74
  75 static struct fml_node *fml_exec_minus (Fml fml, struct fml_node *l,
  76                                        struct fml_node *r)
  77 {
  78     int left_val, right_val;
  79
  80     fml_lr_values (fml, l, &left_val, r, &right_val);
  81     return fml_mk_node_val (fml, left_val - right_val);
  82 }
  83
  84 static struct fml_node *fml_exec_mult (Fml fml, struct fml_node *l,
  85                                        struct fml_node *r)
  86 {
  87     int left_val, right_val;
  88
  89     fml_lr_values (fml, l, &left_val, r, &right_val);
  90     return fml_mk_node_val (fml, left_val * right_val);
  91 }
  92
  93 static struct fml_node *fml_exec_div (Fml fml, struct fml_node *l,
  94                                        struct fml_node *r)
  95 {
  96     int left_val, right_val;
  97
  98     fml_lr_values (fml, l, &left_val, r, &right_val);
  99     return fml_mk_node_val (fml, left_val / right_val);
 100 }
 101
 102 static struct fml_node *fml_exec_incr (Fml fml, struct fml_node **lp,
 103                                        struct token *tp)
 104 {
 105     struct fml_node *fn = NULL;
 106     struct fml_sym_info *info;
 107     fml_cmd_lex (lp, tp);
 108     if (tp->kind == 'e')
 109     {
 110         info = fml_sym_lookup (fml->sym_tab, tp->tokenbuf);
 111         assert (info);
 112         if (info->kind == FML_VAR && info->body && info->body->is_atom)
 113         {
 114             char arg[128];
 115             int val;
 116
 117             val = fml_atom_val (info->body->p[0]);
 118             fml_node_delete (fml, info->body);
 119             sprintf (arg, "%d", val+1);
 120             info->body = fn = fml_node_alloc (fml);
 121             fn->is_atom = 1;
 122             fn->p[0] = fml_atom_alloc (fml, arg);
 123         }
 124     }
 125     fml_cmd_lex (lp, tp);
 126     return NULL;
 127 }
 128
 129 static struct fml_node *fml_exec_decr (Fml fml, struct fml_node **lp,
 130                                        struct token *tp)
 131 {
 132     struct fml_node *fn = NULL;
 133     struct fml_sym_info *info;
 134     fml_cmd_lex (lp, tp);
 135     if (tp->kind == 'e')
 136     {
 137         info = fml_sym_lookup (fml->sym_tab, tp->tokenbuf);
 138         assert (info);
 139         if (info->kind == FML_VAR && info->body && info->body->is_atom)
 140         {
 141             char arg[128];
 142             int val;
 143
 144             val = fml_atom_val (info->body->p[0]);
 145             sprintf (arg, "%d", val-1);
 146             info->body = fn = fml_node_alloc (fml);
 147             fn->is_atom = 1;
 148             fn->p[0] = fml_atom_alloc (fml, arg);
 149         }
 150     }
 151     fml_cmd_lex (lp, tp);
 152     return NULL;
 153 }
 154
 155 void fml_arit_init (Fml fml)
 156 {
 157     struct fml_sym_info *sym_info;
 158
 159     sym_info = fml_sym_add (fml->sym_tab, "plus");
 160     sym_info->kind = FML_CBINARY;
 161     sym_info->binary = fml_exec_plus;
 162     sym_info = fml_sym_add (fml->sym_tab, "minus");
 163     sym_info->kind = FML_CBINARY;
 164     sym_info->binary = fml_exec_minus;
 165
 166     sym_info = fml_sym_add (fml->sym_tab, "mult");
 167     sym_info->kind = FML_CBINARY;
 168     sym_info->binary = fml_exec_mult;
 169     sym_info = fml_sym_add (fml->sym_tab, "div");
 170     sym_info->kind = FML_CBINARY;
 171     sym_info->binary = fml_exec_div;
 172
 173     sym_info = fml_sym_add (fml->sym_tab, "incr");
 174     sym_info->kind = FML_CPREFIX;
 175     sym_info->prefix = fml_exec_incr;
 176     sym_info = fml_sym_add (fml->sym_tab, "decr");
 177     sym_info->kind = FML_CPREFIX;
 178     sym_info->prefix = fml_exec_decr;
 179 }