X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..f6099dac655d3fc5409f54302dd3b5c1b6be6ac6:/src/Headers/mapping.h?ds=sidebyside

diff --git a/src/Headers/mapping.h b/src/Headers/mapping.h
index 1e78dc1..8bd57c2 100644
--- a/src/Headers/mapping.h
+++ b/src/Headers/mapping.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -10,23 +10,23 @@
 # ifndef MAPPING_H
 # define MAPPING_H
 
-typedef struct _mappair {
+typedef struct s_mappair {
   lsymbol domain, range;
-  /*@null@*/ struct _mappair *next;
+  /*@null@*/ struct s_mappair *next;
 } mappair;
 
 typedef /*@relnull@*/ /*@only@*/ mappair *o_mappair;
 
-typedef struct {
+typedef /*@abstract@*/ struct {
   unsigned int count;
   /*@relnull@*/ /*@only@*/ o_mappair *buckets;  
-} mapping;
+} *mapping;
 
 
-extern /*@only@*/ mapping *mapping_create (void);
-extern lsymbol mapping_find (mapping *p_t, lsymbol p_domain);
-extern void mapping_bind (mapping *p_t, lsymbol p_domain, lsymbol p_range);
-extern void mapping_free (/*@only@*/ mapping *p_m);
+extern /*@only@*/ mapping mapping_create (void);
+extern lsymbol mapping_find (mapping p_t, lsymbol p_domain);
+extern void mapping_bind (mapping p_t, lsymbol p_domain, lsymbol p_range);
+extern void mapping_free (/*@only@*/ mapping p_m);
 
 # else
 # error "Multiple include"