mbed library sources

Dependents:   PA_Boost_test

Fork of mbed-src by mbed official

Committer:
mbed_official
Date:
Wed Sep 03 13:30:08 2014 +0100
Revision:
307:d33324c3b5a2
Parent:
227:7bd0639b8911
Synchronized with git revision 7aedd02f25c846ee1f22665ecc167585a8ad56bb

Full URL: https://github.com/mbedmicro/mbed/commit/7aedd02f25c846ee1f22665ecc167585a8ad56bb/

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 227:7bd0639b8911 1 /* mbed Microcontroller Library
mbed_official 227:7bd0639b8911 2 * Copyright (c) 2006-2013 ARM Limited
mbed_official 227:7bd0639b8911 3 *
mbed_official 227:7bd0639b8911 4 * Licensed under the Apache License, Version 2.0 (the "License");
mbed_official 227:7bd0639b8911 5 * you may not use this file except in compliance with the License.
mbed_official 227:7bd0639b8911 6 * You may obtain a copy of the License at
mbed_official 227:7bd0639b8911 7 *
mbed_official 227:7bd0639b8911 8 * http://www.apache.org/licenses/LICENSE-2.0
mbed_official 227:7bd0639b8911 9 *
mbed_official 227:7bd0639b8911 10 * Unless required by applicable law or agreed to in writing, software
mbed_official 227:7bd0639b8911 11 * distributed under the License is distributed on an "AS IS" BASIS,
mbed_official 227:7bd0639b8911 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
mbed_official 227:7bd0639b8911 13 * See the License for the specific language governing permissions and
mbed_official 227:7bd0639b8911 14 * limitations under the License.
mbed_official 227:7bd0639b8911 15 */
mbed_official 227:7bd0639b8911 16 #include "mbed_assert.h"
mbed_official 227:7bd0639b8911 17 #include "device.h"
mbed_official 227:7bd0639b8911 18
mbed_official 227:7bd0639b8911 19 #if DEVICE_STDIO_MESSAGES
mbed_official 227:7bd0639b8911 20 #include <stdio.h>
mbed_official 227:7bd0639b8911 21 #endif
mbed_official 227:7bd0639b8911 22
mbed_official 227:7bd0639b8911 23 #include <stdlib.h>
mbed_official 227:7bd0639b8911 24 #include "mbed_interface.h"
mbed_official 227:7bd0639b8911 25
mbed_official 227:7bd0639b8911 26 void mbed_assert_internal(const char *expr, const char *file, int line)
mbed_official 227:7bd0639b8911 27 {
mbed_official 227:7bd0639b8911 28 #if DEVICE_STDIO_MESSAGES
mbed_official 227:7bd0639b8911 29 fprintf(stderr, "mbed assertation failed: %s, file: %s, line %d \n", expr, file, line);
mbed_official 227:7bd0639b8911 30 #endif
mbed_official 227:7bd0639b8911 31 mbed_die();
mbed_official 227:7bd0639b8911 32 }