Marco Zecchini
/
Example_RTOS
Rtos API example
Embed:
(wiki syntax)
Show/hide line numbers
mbed_error.c
00001 /* mbed Microcontroller Library 00002 * Copyright (c) 2006-2013 ARM Limited 00003 * 00004 * Licensed under the Apache License, Version 2.0 (the "License"); 00005 * you may not use this file except in compliance with the License. 00006 * You may obtain a copy of the License at 00007 * 00008 * http://www.apache.org/licenses/LICENSE-2.0 00009 * 00010 * Unless required by applicable law or agreed to in writing, software 00011 * distributed under the License is distributed on an "AS IS" BASIS, 00012 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 00013 * See the License for the specific language governing permissions and 00014 * limitations under the License. 00015 */ 00016 #include <stdlib.h> 00017 #include <stdarg.h> 00018 #include "device.h" 00019 #include "platform/mbed_toolchain.h" 00020 #include "platform/mbed_error.h" 00021 #include "platform/mbed_interface.h" 00022 #if DEVICE_STDIO_MESSAGES 00023 #include <stdio.h> 00024 #endif 00025 00026 static uint8_t error_in_progress = 0; 00027 00028 WEAK void error(const char* format, ...) { 00029 00030 // Prevent recursion if error is called again 00031 if (error_in_progress) { 00032 return; 00033 } 00034 error_in_progress = 1; 00035 00036 #ifndef NDEBUG 00037 va_list arg; 00038 va_start(arg, format); 00039 mbed_error_vfprintf(format, arg); 00040 va_end(arg); 00041 #endif 00042 exit(1); 00043 }
Generated on Sun Jul 17 2022 08:25:27 by 1.7.2