Merged code tree with Dave Evans's version. Many changes to numberous to list....

[splint.git] / src / Headers / mtAnnotationDecl.h

diff --git a/src/Headers/mtAnnotationDecl.h b/src/Headers/mtAnnotationDecl.h
new file mode 100644 (file)
index 0000000..89d69f8
--- /dev/null
+++ b/src/Headers/mtAnnotationDecl.h
@@ -0,0 +1,41 @@
+/*
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** See ../LICENSE for license information.
+**
+*/
+/*
+** mtAnnotationDecl.h
+*/
+
+# ifndef MTANNOTATIONDECL_H
+# define MTANNOTATIONDECL_H
+
+struct s_mtAnnotationDecl {
+  cstring name;
+  cstring value;
+  mtContextNode context;
+  fileloc loc;
+} ;
+
+extern cstring mtAnnotationDecl_unparse (mtAnnotationDecl p_node) /*@*/ ;
+
+extern mtAnnotationDecl 
+mtAnnotationDecl_create (/*@only@*/ mttok p_id, /*@only@*/ mtContextNode p_c, /*@only@*/ mttok p_value) /*@*/ ;
+
+extern /*@observer@*/ cstring mtAnnotationDecl_getName (mtAnnotationDecl p_annot) /*@*/ ;
+# define mtAnnotationDecl_getName(annot) ((annot)->name)
+
+extern /*@observer@*/ cstring mtAnnotationDecl_getValue (mtAnnotationDecl p_annot) /*@*/ ;
+# define mtAnnotationDecl_getValue(annot) ((annot)->value)
+
+extern /*@only@*/ mtContextNode mtAnnotationDecl_stealContext (mtAnnotationDecl p_annot) /*@modifies p_annot@*/ ;
+
+extern /*@observer@*/ mtContextNode mtAnnotationDecl_getContext (mtAnnotationDecl p_annot) /*@*/ ;
+# define mtAnnotationDecl_getContext(annot) ((annot)->context)
+
+extern /*@observer@*/ fileloc mtAnnotationDecl_getLoc (mtAnnotationDecl p_annot) /*@*/ ;
+# define mtAnnotationDecl_getLoc(annot) ((annot)->loc) /*@i25@*/
+
+# else
+# error "Multiple include"
+# endif