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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** See ../LICENSE for license information.
*/
/*
** metaStateSpecifier.h
*/

# ifndef METASTATESPECIFIER_H
# define METASTATESPECIFIER_H

struct s_metaStateSpecifier {
  sRef sr;
  /*@observer@*/ metaStateInfo msinfo;
} ;

extern metaStateSpecifier
metaStateSpecifier_create (/*@only@*/ sRef, /*@observer@*/ metaStateInfo) ;

extern cstring metaStateSpecifier_unparse (metaStateSpecifier) /*@*/ ;
extern metaStateSpecifier metaStateSpecifier_copy (metaStateSpecifier) /*@*/ ;
extern void metaStateSpecifier_free (/*@only@*/ metaStateSpecifier) ;

# else
# error "Multiple include"
# endif
Commit	Line	Data
08eb3d0e	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
	3	** See ../LICENSE for license information.
	4	*/
	5	/*
	6	** metaStateSpecifier.h
	7	*/
	8
	9	# ifndef METASTATESPECIFIER_H
	10	# define METASTATESPECIFIER_H
	11
	12	struct s_metaStateSpecifier {
	13	sRef sr;
	14	/@observer@/ metaStateInfo msinfo;
	15	} ;
	16
	17	extern metaStateSpecifier
	18	metaStateSpecifier_create (/@only@/ sRef, /@observer@/ metaStateInfo) ;
	19
	20	extern cstring metaStateSpecifier_unparse (metaStateSpecifier) /@/ ;
3814599d	21	extern metaStateSpecifier metaStateSpecifier_copy (metaStateSpecifier) /@/ ;
08eb3d0e	22	extern void metaStateSpecifier_free (/@only@/ metaStateSpecifier) ;
	23
	24	# else
	25	# error "Multiple include"
	26	# endif
	27
	28
	29
	30