← Back to branch summary

~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to cil/src/cil_computation.mli

  • Committer: Bazaar Package Importer
  • Author(s): Mehdi Dogguy
  • Date: 2009-06-03 08:19:25 UTC
  • Revision ID: james.westby@ubuntu.com-20090603081925-kihvxvt0wy3zc4ar
Tags: upstream-20081201.dfsg
Import upstream version 20081201.dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
cil/src/cil_computation.mli
 
1
(**************************************************************************)
 
2
(*                                                                        *)
 
3
(*  Copyright (C) 2001-2003,                                              *)
 
4
(*   George C. Necula    <necula@cs.berkeley.edu>                         *)
 
5
(*   Scott McPeak        <smcpeak@cs.berkeley.edu>                        *)
 
6
(*   Wes Weimer          <weimer@cs.berkeley.edu>                         *)
 
7
(*   Ben Liblit          <liblit@cs.berkeley.edu>                         *)
 
8
(*  All rights reserved.                                                  *)
 
9
(*                                                                        *)
 
10
(*  Redistribution and use in source and binary forms, with or without    *)
 
11
(*  modification, are permitted provided that the following conditions    *)
 
12
(*  are met:                                                              *)
 
13
(*                                                                        *)
 
14
(*  1. Redistributions of source code must retain the above copyright     *)
 
15
(*  notice, this list of conditions and the following disclaimer.         *)
 
16
(*                                                                        *)
 
17
(*  2. Redistributions in binary form must reproduce the above copyright  *)
 
18
(*  notice, this list of conditions and the following disclaimer in the   *)
 
19
(*  documentation and/or other materials provided with the distribution.  *)
 
20
(*                                                                        *)
 
21
(*  3. The names of the contributors may not be used to endorse or        *)
 
22
(*  promote products derived from this software without specific prior    *)
 
23
(*  written permission.                                                   *)
 
24
(*                                                                        *)
 
25
(*  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS   *)
 
26
(*  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT     *)
 
27
(*  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS     *)
 
28
(*  FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE        *)
 
29
(*  COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,   *)
 
30
(*  INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,  *)
 
31
(*  BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;      *)
 
32
(*  LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER      *)
 
33
(*  CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT    *)
 
34
(*  LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN     *)
 
35
(*  ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE       *)
 
36
(*  POSSIBILITY OF SUCH DAMAGE.                                           *)
 
37
(*                                                                        *)
 
38
(*  File modified by CEA (Commissariat � l'�nergie Atomique).             *)
 
39
(**************************************************************************)
 
40
 
 
41
(* $Id: cil_computation.mli,v 1.3 2008/11/18 12:13:40 uid568 Exp $ *)
 
42
 
 
43
(** Functors for building computations which use kernel datatypes. 
 
44
    @plugin development guide *)
 
45
 
 
46
module StmtSetRef(Info:Signature.NAME_DPDS) : 
 
47
  Computation.SET_REF_OUTPUT with type elt = Cil_types.stmt
 
48
 
 
49
module IntHashtbl(Data:Project.Datatype.S)(Info:Signature.NAME_SIZE_DPDS) :
 
50
  Computation.HASHTBL_OUTPUT with type key = int and type data = Data.t
 
51
 
 
52
module InstrHashtbl(Data:Project.Datatype.S)(Info:Signature.NAME_SIZE_DPDS) :
 
53
  Computation.HASHTBL_OUTPUT 
 
54
  with type key = Cil_types.kinstr and type data = Data.t
 
55
 
 
56
(** @plugin development guide *)
 
57
module StmtHashtbl(Data:Project.Datatype.S)(Info:Signature.NAME_SIZE_DPDS) :
 
58
  Computation.HASHTBL_OUTPUT 
 
59
  with type key = Cil_types.stmt and type data = Data.t
 
60
 
 
61
module VarinfoHashtbl(Data:Project.Datatype.S)(Info:Signature.NAME_SIZE_DPDS) :
 
62
  Computation.HASHTBL_OUTPUT 
 
63
  with type key = Cil_types.varinfo and type data = Data.t
 
64
 
 
65
module CodeAnnotationHashtbl
 
66
  (Data:Project.Datatype.S)(Info:Signature.NAME_SIZE_DPDS) :
 
67
  Computation.HASHTBL_OUTPUT 
 
68
  with type key = Cil_types.code_annotation and type data = Data.t
 
69
 
 
70
(*
 
71
Local Variables:
 
72
compile-command: "LC_ALL=C make -C ../.. -j"
 
73
End:
 
74
*)