fir/alias/fir_alias_unify.mli

   1 (*
   2  * Alias argument and environment unification.
   3  *
   4  * ----------------------------------------------------------------
   5  *
   6  * @begin[license]
   7  * Copyright (C) 2002 Jason Hickey, Caltech
   8  *
   9  * This program is free software; you can redistribute it and/or
  10  * modify it under the terms of the GNU General Public License
  11  * as published by the Free Software Foundation; either version 2
  12  * of the License, or (at your option) any later version.
  13  *
  14  * This program is distributed in the hope that it will be useful,
  15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17  * GNU General Public License for more details.
  18  *
  19  * You should have received a copy of the GNU General Public License
  20  * along with this program; if not, write to the Free Software
  21  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  22  *
  23  * Author: Jason Hickey
  24  * @email{jyh@cs.caltech.edu}
  25  * @end[license]
  26  *)
  27 open Fir
  28 open Fir_pos
  29 open Fir_logic.FirLogic
  30
  31 open Fir_depth
  32 open Fir_alias_type
  33
  34 exception UnifyError
  35
  36 (*
  37  * Call unification.
  38  *)
  39 val unify_call : venv -> pos -> var -> depth -> (var * ty) list -> call -> call * pred * venv * alias_env * vclass list
  40
  41 (*
  42  * These operations are used in Fir_alias_mem.
  43  *)
  44 val unify_block_vfield : venv -> alias_env -> pos -> vclass -> iclass -> venv * alias_env * iclass
  45 val unify_block_ifield : venv -> alias_env -> pos -> iclass -> iclass -> venv * alias_env * iclass
  46
  47 val unify_block_int_fields : venv -> alias_env -> pos -> (int * iclass) list -> (int * iclass) list -> venv * alias_env * (int * iclass) list
  48
  49 val unify_induction_field : venv -> pos -> vclass -> iclass -> iclass
  50
  51 (*!
  52  * @docoff
  53  *
  54  * -*-
  55  * Local Variables:
  56  * Caml-master: "compile"
  57  * End:
  58  * -*-
  59  *)