R1 code for micro:bit based train controller code, requires second micro:bit running tx code to operate - see https://meanderingpi.wordpress.com/ for more information

Fork of mbed-dev-bin by Lancaster University

Committer:
DavidMS
Date:
Tue May 23 10:42:56 2017 +0000
Revision:
4:1a27ae39e33f
Parent:
0:e1a608bb55e8
First working micro:bit motor control rx code, need be run with matching tx code

Who changed what in which revision?

UserRevisionLine numberNew contents of line
jamesadevine 0:e1a608bb55e8 1 /* mbed Microcontroller Library
jamesadevine 0:e1a608bb55e8 2 * Copyright (c) 2006-2013 ARM Limited
jamesadevine 0:e1a608bb55e8 3 *
jamesadevine 0:e1a608bb55e8 4 * Licensed under the Apache License, Version 2.0 (the "License");
jamesadevine 0:e1a608bb55e8 5 * you may not use this file except in compliance with the License.
jamesadevine 0:e1a608bb55e8 6 * You may obtain a copy of the License at
jamesadevine 0:e1a608bb55e8 7 *
jamesadevine 0:e1a608bb55e8 8 * http://www.apache.org/licenses/LICENSE-2.0
jamesadevine 0:e1a608bb55e8 9 *
jamesadevine 0:e1a608bb55e8 10 * Unless required by applicable law or agreed to in writing, software
jamesadevine 0:e1a608bb55e8 11 * distributed under the License is distributed on an "AS IS" BASIS,
jamesadevine 0:e1a608bb55e8 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
jamesadevine 0:e1a608bb55e8 13 * See the License for the specific language governing permissions and
jamesadevine 0:e1a608bb55e8 14 * limitations under the License.
jamesadevine 0:e1a608bb55e8 15 */
jamesadevine 0:e1a608bb55e8 16
jamesadevine 0:e1a608bb55e8 17 #include <time.h>
jamesadevine 0:e1a608bb55e8 18
jamesadevine 0:e1a608bb55e8 19 #ifdef __cplusplus
jamesadevine 0:e1a608bb55e8 20 extern "C" {
jamesadevine 0:e1a608bb55e8 21 #endif
jamesadevine 0:e1a608bb55e8 22
jamesadevine 0:e1a608bb55e8 23 /** Implementation of the C time.h functions
jamesadevine 0:e1a608bb55e8 24 *
jamesadevine 0:e1a608bb55e8 25 * Provides mechanisms to set and read the current time, based
jamesadevine 0:e1a608bb55e8 26 * on the microcontroller Real-Time Clock (RTC), plus some
jamesadevine 0:e1a608bb55e8 27 * standard C manipulation and formating functions.
jamesadevine 0:e1a608bb55e8 28 *
jamesadevine 0:e1a608bb55e8 29 * Example:
jamesadevine 0:e1a608bb55e8 30 * @code
jamesadevine 0:e1a608bb55e8 31 * #include "mbed.h"
jamesadevine 0:e1a608bb55e8 32 *
jamesadevine 0:e1a608bb55e8 33 * int main() {
jamesadevine 0:e1a608bb55e8 34 * set_time(1256729737); // Set RTC time to Wed, 28 Oct 2009 11:35:37
jamesadevine 0:e1a608bb55e8 35 *
jamesadevine 0:e1a608bb55e8 36 * while(1) {
jamesadevine 0:e1a608bb55e8 37 * time_t seconds = time(NULL);
jamesadevine 0:e1a608bb55e8 38 *
jamesadevine 0:e1a608bb55e8 39 * printf("Time as seconds since January 1, 1970 = %d\n", seconds);
jamesadevine 0:e1a608bb55e8 40 *
jamesadevine 0:e1a608bb55e8 41 * printf("Time as a basic string = %s", ctime(&seconds));
jamesadevine 0:e1a608bb55e8 42 *
jamesadevine 0:e1a608bb55e8 43 * char buffer[32];
jamesadevine 0:e1a608bb55e8 44 * strftime(buffer, 32, "%I:%M %p\n", localtime(&seconds));
jamesadevine 0:e1a608bb55e8 45 * printf("Time as a custom formatted string = %s", buffer);
jamesadevine 0:e1a608bb55e8 46 *
jamesadevine 0:e1a608bb55e8 47 * wait(1);
jamesadevine 0:e1a608bb55e8 48 * }
jamesadevine 0:e1a608bb55e8 49 * }
jamesadevine 0:e1a608bb55e8 50 * @endcode
jamesadevine 0:e1a608bb55e8 51 */
jamesadevine 0:e1a608bb55e8 52
jamesadevine 0:e1a608bb55e8 53 /** Set the current time
jamesadevine 0:e1a608bb55e8 54 *
jamesadevine 0:e1a608bb55e8 55 * Initialises and sets the time of the microcontroller Real-Time Clock (RTC)
jamesadevine 0:e1a608bb55e8 56 * to the time represented by the number of seconds since January 1, 1970
jamesadevine 0:e1a608bb55e8 57 * (the UNIX timestamp).
jamesadevine 0:e1a608bb55e8 58 *
jamesadevine 0:e1a608bb55e8 59 * @param t Number of seconds since January 1, 1970 (the UNIX timestamp)
jamesadevine 0:e1a608bb55e8 60 *
jamesadevine 0:e1a608bb55e8 61 * Example:
jamesadevine 0:e1a608bb55e8 62 * @code
jamesadevine 0:e1a608bb55e8 63 * #include "mbed.h"
jamesadevine 0:e1a608bb55e8 64 *
jamesadevine 0:e1a608bb55e8 65 * int main() {
jamesadevine 0:e1a608bb55e8 66 * set_time(1256729737); // Set time to Wed, 28 Oct 2009 11:35:37
jamesadevine 0:e1a608bb55e8 67 * }
jamesadevine 0:e1a608bb55e8 68 * @endcode
jamesadevine 0:e1a608bb55e8 69 */
jamesadevine 0:e1a608bb55e8 70 void set_time(time_t t);
jamesadevine 0:e1a608bb55e8 71
jamesadevine 0:e1a608bb55e8 72 /** Attach an external RTC to be used for the C time functions
jamesadevine 0:e1a608bb55e8 73 *
jamesadevine 0:e1a608bb55e8 74 * Do not call this function from an interrupt while an RTC read/write operation may be occurring
jamesadevine 0:e1a608bb55e8 75 *
jamesadevine 0:e1a608bb55e8 76 * @param read_rtc pointer to function which returns current UNIX timestamp
jamesadevine 0:e1a608bb55e8 77 * @param write_rtc pointer to function which sets current UNIX timestamp, can be NULL
jamesadevine 0:e1a608bb55e8 78 * @param init_rtc pointer to funtion which initializes RTC, can be NULL
jamesadevine 0:e1a608bb55e8 79 * @param isenabled_rtc pointer to function wich returns if the rtc is enabled, can be NULL
jamesadevine 0:e1a608bb55e8 80 */
jamesadevine 0:e1a608bb55e8 81 void attach_rtc(time_t (*read_rtc)(void), void (*write_rtc)(time_t), void (*init_rtc)(void), int (*isenabled_rtc)(void));
jamesadevine 0:e1a608bb55e8 82
jamesadevine 0:e1a608bb55e8 83 #ifdef __cplusplus
jamesadevine 0:e1a608bb55e8 84 }
jamesadevine 0:e1a608bb55e8 85 #endif