/*
- * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
*
* This file is part of libFirm.
*
* @author Michael Beck
* @date 2005
* @version $Id$
- * @summary
+ * @brief
* Sequence numbers for Firm.
*
* A sequence number is an unique number representing a filename
#include "ident.h"
+#include "begin.h"
+
/**
* @typedef seqno_t
*
*
* @return a sequence number for this position.
*/
-seqno_t firm_seqno_enter(const char *filename, unsigned lineno);
+FIRM_API seqno_t firm_seqno_enter(const char *filename, unsigned lineno);
/**
* Create a new sequence number from a filename ident and a line number.
*
* @return a sequence number for this position.
*/
-seqno_t firm_seqno_enter_id(ident *filename, unsigned lineno);
+FIRM_API seqno_t firm_seqno_enter_id(ident *filename, unsigned lineno);
/**
* Retrieve filename and line number from a sequence number.
*
* @return the file name of this position.
*/
-const char *firm_seqno_retrieve(seqno_t seqno, unsigned *lineno);
+FIRM_API const char *firm_seqno_retrieve(seqno_t seqno, unsigned *lineno);
/**
* Creates the sequence number pool.
* support is optional. Call firm_seqno_init() after init_firm()
* if sequence numbers should be used.
*/
-void firm_seqno_init(void);
+FIRM_API void firm_seqno_init(void);
/**
* Terminates the sequence number pool.
* Call this function to terminate the sequence
* pool.
*/
-void firm_seqno_term(void);
+FIRM_API void firm_seqno_term(void);
+
+#include "end.h"
#endif