Diff: error.h

Revision:

43:e2ed12d17f06

Parent:

27:7110ebee3484

Child:

44:24d45a770a51

--- a/error.h	Wed Aug 29 12:44:47 2012 +0100
+++ b/error.h	Fri Oct 26 17:40:46 2012 +0100
@@ -5,24 +5,29 @@
 #ifndef MBED_ERROR_H
 #define MBED_ERROR_H
 
-/* Reporting Compile-Time Errors:
- *  To generate a fatal compile-time error, you can use the pre-processor #error directive.
+/** To generate a fatal compile-time error, you can use the pre-processor #error directive.
  *
- * > #error "That shouldn't have happened!"
+ * @code
+ * #error "That shouldn't have happened!"
+ * @endcode
  *
  * If the compiler evaluates this line, it will report the error and stop the compile.
  *
  * For example, you could use this to check some user-defined compile-time variables:
- *
- * > #define NUM_PORTS 7
- * > #if (NUM_PORTS > 4)
- * >     #error "NUM_PORTS must be less than 4"
- * > #endif
+ * 
+ * @code
+ * #define NUM_PORTS 7
+ * #if (NUM_PORTS > 4)
+ *     #error "NUM_PORTS must be less than 4"
+ * #endif
+ * @endcode
  *
  * Reporting Run-Time Errors:
  * To generate a fatal run-time error, you can use the mbed error() function.
  *
- * > error("That shouldn't have happened!");
+ * @code
+ * error("That shouldn't have happened!");
+ * @endcode
  *
  * If the mbed running the program executes this function, it will print the 
  * message via the USB serial port, and then die with the blue lights of death!
@@ -30,20 +35,20 @@
  * The message can use printf-style formatting, so you can report variables in the 
  * message too. For example, you could use this to check a run-time condition:
  * 
- * > if(x >= 5) {
- * >     error("expected x to be less than 5, but got %d", x);
- * > }
+ * @code
+ * if(x >= 5) {
+ *     error("expected x to be less than 5, but got %d", x);
+ * }
+ * #endcode
  */
  
 #if 0 // for documentation only
-/* Function: error
- * Report a fatal runtime error
+/** Report a fatal runtime error
  *
- * Outputs the specified error message to stderr so it will appear via the USB 
- * serial port, and then calls exit(1) to die with the blue lights of death.
+ *  Outputs the specified error message to stderr so it will appear via the USB 
+ *  serial port, and then calls exit(1) to die with the blue lights of death.
  *
- * Variables:
- *  format - printf-style format string, followed by associated variables
+ *  @param format printf-style format string, followed by associated variables
  */
 void error(const char* format, ...);
 #endif