Copyright (C) 1995, 1996 Markus Armbruster */
/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
-** All rights reserved.
-**
-** Authors: Martin Trapp, Christian Schaefer
+* All rights reserved.
+*
+* Authors: Martin Trapp, Christian Schaefer
*/
/* $Id$ */
# include <assert.h>
# include "firm_common.h"
-/****h* libfirm/ident
+/**
*
- * NAME
- * ident -- identifiers in the firm library
- * NOTES
+ * - identifiers in the firm library
* Identifiers are used in the firm library. This is the interface to it.
- ******
*/
/* Identifiers */
-/****s* ident/ident
+/**
*
- * NAME
- * ident - the abstract data type ident
- * SOURCE
+ * the abstract data type ident
*/
typedef const struct set_entry ident;
-/*****/
-/****f* ident/id_from_str
+/**
*
- * NAME
- * id_from_str - store a string and create an ident
- * SYNOPSIS
- * ident *id = id_from_str (const char *str, int len);
- * FUNCTION
+ * store a string and create an ident
* Stores a string in the ident module and returns a handle for the string.
* Copies the string.
- * INPUTS
- * str - the string (or whatever) which shall be stored
- * len - the length of the data in bytes
- * RESULT
- * id - a handle for the generated ident
- * SEE ALSO
- * id_to_str, id_to_strlen
- ***
+ * @param str - the string (or whatever) which shall be stored
+ * @param len - the length of the data in bytes
+ * @return id - a handle for the generated ident
+ * @see id_to_str, id_to_strlen
+ * @see
*/
INLINE ident *id_from_str (const char *str, int len);
-/****f* ident/id_to_str
+/**
*
- * NAME
- * id_to_str - return a string represented by an ident
- * SYNOPSIS
- * char *cp = id_to_str (ident *id);
- * FUNCTION
+ * return a string represented by an ident
* Returns the string cp represented by id. This string cp is not
* Null terminated! The string may not be changed.
- * INPUTS
- * id - the ident
- * RESULT
- * cp - a string
- * SEE ALSO
- * id_from_str, id_to_strlen
- ***
+ * @param id - the ident
+ * @return cp - a string
+ * @see id_from_str, id_to_strlen
+ * @see
*/
INLINE const char *id_to_str (ident *id);
-/****f* ident/id_to_strlen
+/**
*
- * NAME
- * id_to_strlen - return the length of a string represented by an ident
- * SYNOPSIS
- * int len = id_to_strlen (ident *id);
- * FUNCTION
+ * return the length of a string represented by an ident
* Returns the length of string represented by id.
- * INPUTS
- * id - the ident
- * RESULT
- * len - the length of the string
- * SEE ALSO
- * id_from_str, id_to_str
- ***
+ * @param id - the ident
+ * @return len - the length of the string
+ * @see id_from_str, id_to_str
+ * @see
*/
INLINE int id_to_strlen(ident *id);
-/****f* ident/id_is_suffix
+/**
*
- * NAME
*
- * SYNOPSIS
- * int id_is_prefix (ident *prefix, ident *id);
- * FUNCTION
* Returns true if prefix is prefix of id.
- * INPUTS
- * prefix - the prefix
- * id - the ident
- * SEE ALSO
- * id_from_str, id_to_str, id_is_prefix
- ***
+ * @param prefix - the prefix
+ * @param id - the ident
+ * @see id_from_str, id_to_str, id_is_prefix
+ * @see
*/
/* */
int id_is_prefix (ident *prefix, ident *id);
-/****f* ident/id_is_suffix
+/**
*
- * NAME
*
- * SYNOPSIS
- * int id_is_suffix (ident *suffix, ident *id);
- * FUNCTION
* Returns true if suffix is suffix of id.
- * INPUTS
- * suffix - the suffix
- * id - the ident
- * SEE ALSO
- * id_from_str, id_to_str, id_is_prefix
- ***
+ * @param suffix - the suffix
+ * @param id - the ident
+ * @see id_from_str, id_to_str, id_is_prefix
+ * @see
*/
/* */
int id_is_suffix (ident *suffix, ident *id);
-/****f* ident/print_id
+/**
*
- * NAME
*
- * SYNOPSIS
- * int print_id (ident *id);
- * FUNCTION
* Prints the ident to stdout.
- * INPUTS
- * The ident to print.
- * SEE ALSO
- * id_from_str, id_to_str, id_is_prefix, fprint_id
- ***
+ * @param The ident to print.
+ * @see id_from_str, id_to_str, id_is_prefix, fprint_id
+ * @see
*/
/* */
int print_id (ident *id);
-/****f* ident/fprint_id
+/**
*
- * NAME
*
- * SYNOPSIS
- * int fprint_id (FILE *f, ident *id);
- * FUNCTION
* Prints the ident to the file passed.
- * INPUTS
- * The ident to print and the file.
- * SEE ALSO
- * id_from_str, id_to_str, id_is_prefix, print_id
- ***
+ * @param The ident to print and the file.
+ * @see id_from_str, id_to_str, id_is_prefix, print_id
+ * @see
*/
/* */
int fprint_id (FILE *F, ident *id);