mbed library sources for TON Board V1.2

Fork of mbed-dev by mbed official

Committer:
<>
Date:
Fri Oct 28 11:17:30 2016 +0100
Revision:
149:156823d33999
Child:
167:e84263d55307
This updates the lib to the mbed lib v128

NOTE: This release includes a restructuring of the file and directory locations and thus some
include paths in your code may need updating accordingly.

Who changed what in which revision?

UserRevisionLine numberNew contents of line
<> 149:156823d33999 1 /* mbed Microcontroller Library
<> 149:156823d33999 2 * Copyright (c) 2006-2013 ARM Limited
<> 149:156823d33999 3 *
<> 149:156823d33999 4 * Licensed under the Apache License, Version 2.0 (the "License");
<> 149:156823d33999 5 * you may not use this file except in compliance with the License.
<> 149:156823d33999 6 * You may obtain a copy of the License at
<> 149:156823d33999 7 *
<> 149:156823d33999 8 * http://www.apache.org/licenses/LICENSE-2.0
<> 149:156823d33999 9 *
<> 149:156823d33999 10 * Unless required by applicable law or agreed to in writing, software
<> 149:156823d33999 11 * distributed under the License is distributed on an "AS IS" BASIS,
<> 149:156823d33999 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
<> 149:156823d33999 13 * See the License for the specific language governing permissions and
<> 149:156823d33999 14 * limitations under the License.
<> 149:156823d33999 15 */
<> 149:156823d33999 16 #ifndef MBED_TIMER_H
<> 149:156823d33999 17 #define MBED_TIMER_H
<> 149:156823d33999 18
<> 149:156823d33999 19 #include "platform/platform.h"
<> 149:156823d33999 20 #include "hal/ticker_api.h"
<> 149:156823d33999 21
<> 149:156823d33999 22 namespace mbed {
<> 149:156823d33999 23 /** \addtogroup drivers */
<> 149:156823d33999 24 /** @{*/
<> 149:156823d33999 25
<> 149:156823d33999 26 /** A general purpose timer
<> 149:156823d33999 27 *
<> 149:156823d33999 28 * @Note Synchronization level: Interrupt safe
<> 149:156823d33999 29 *
<> 149:156823d33999 30 * Example:
<> 149:156823d33999 31 * @code
<> 149:156823d33999 32 * // Count the time to toggle a LED
<> 149:156823d33999 33 *
<> 149:156823d33999 34 * #include "mbed.h"
<> 149:156823d33999 35 *
<> 149:156823d33999 36 * Timer timer;
<> 149:156823d33999 37 * DigitalOut led(LED1);
<> 149:156823d33999 38 * int begin, end;
<> 149:156823d33999 39 *
<> 149:156823d33999 40 * int main() {
<> 149:156823d33999 41 * timer.start();
<> 149:156823d33999 42 * begin = timer.read_us();
<> 149:156823d33999 43 * led = !led;
<> 149:156823d33999 44 * end = timer.read_us();
<> 149:156823d33999 45 * printf("Toggle the led takes %d us", end - begin);
<> 149:156823d33999 46 * }
<> 149:156823d33999 47 * @endcode
<> 149:156823d33999 48 */
<> 149:156823d33999 49 class Timer {
<> 149:156823d33999 50
<> 149:156823d33999 51 public:
<> 149:156823d33999 52 Timer();
<> 149:156823d33999 53 Timer(const ticker_data_t *data);
<> 149:156823d33999 54
<> 149:156823d33999 55 /** Start the timer
<> 149:156823d33999 56 */
<> 149:156823d33999 57 void start();
<> 149:156823d33999 58
<> 149:156823d33999 59 /** Stop the timer
<> 149:156823d33999 60 */
<> 149:156823d33999 61 void stop();
<> 149:156823d33999 62
<> 149:156823d33999 63 /** Reset the timer to 0.
<> 149:156823d33999 64 *
<> 149:156823d33999 65 * If it was already counting, it will continue
<> 149:156823d33999 66 */
<> 149:156823d33999 67 void reset();
<> 149:156823d33999 68
<> 149:156823d33999 69 /** Get the time passed in seconds
<> 149:156823d33999 70 */
<> 149:156823d33999 71 float read();
<> 149:156823d33999 72
<> 149:156823d33999 73 /** Get the time passed in mili-seconds
<> 149:156823d33999 74 */
<> 149:156823d33999 75 int read_ms();
<> 149:156823d33999 76
<> 149:156823d33999 77 /** Get the time passed in micro-seconds
<> 149:156823d33999 78 */
<> 149:156823d33999 79 int read_us();
<> 149:156823d33999 80
<> 149:156823d33999 81 /** An operator shorthand for read()
<> 149:156823d33999 82 */
<> 149:156823d33999 83 operator float();
<> 149:156823d33999 84
<> 149:156823d33999 85 protected:
<> 149:156823d33999 86 int slicetime();
<> 149:156823d33999 87 int _running; // whether the timer is running
<> 149:156823d33999 88 unsigned int _start; // the start time of the latest slice
<> 149:156823d33999 89 int _time; // any accumulated time from previous slices
<> 149:156823d33999 90 const ticker_data_t *_ticker_data;
<> 149:156823d33999 91 };
<> 149:156823d33999 92
<> 149:156823d33999 93 } // namespace mbed
<> 149:156823d33999 94
<> 149:156823d33999 95 #endif
<> 149:156823d33999 96
<> 149:156823d33999 97 /** @}*/