give me code above

好的，以下是一个可能的代码框架，可以帮助您实现上述要求。请注意，这只是一个示例代码，具体的实现方式可能因硬件和软件环境而异。因此，您需要根据您的情况进行调整和修改。

#include "mbed.h"
#include "TMP102.h"
#include "SDFileSystem.h"

#define SD_CS_PIN PTE4 // SD卡片选引脚
#define I2C_SDA_PIN PTE0 // I2C SDA 引脚
#define I2C_SCL_PIN PTE1 // I2C SCL 引脚
#define BUTTON_PIN PTB0 // 按钮引脚

DigitalIn button(BUTTON_PIN, PullUp); // 按钮输入引脚
TMP102 tmp(I2C_SDA_PIN, I2C_SCL_PIN, 0x48 << 1); // TMP102温度传感器
SDFileSystem sd(SD_CS_PIN, NC, NC, NC, SPI(PTD2, PTD3, PTD1)); // SD卡

void button_isr() {
    float temperature = tmp.read();
    printf("Temperature = %.2f C\n", temperature);
    // 如果需要记录到SD卡，可以使用以下代码
    /*
    FILE *fp = fopen("/sd/test.txt", "a");
    if (fp) {
        fprintf(fp, "Temperature = %.2f C\n", temperature);
        fclose(fp);
    }
    */
}

int main() {
    button.rise(&button_isr); // 设置按钮上升沿触发中断
    while(1) {
        // 等待按钮中断
        wait_ms(100);
    }
}

在上述代码中，我们使用了 `mbed` 库和 `TMP102` 库（需要提前安装）来实现温度读取，使用 `SDFileSystem` 库来实现数据记录。我们首先定义了各个引脚的编号和一些对象，例如 `button` 和 `tmp` 对象。`button` 对象是一个 `DigitalIn` 对象，用于读取按钮的状态，`tmp` 对象是一个 `TMP102` 对象，用于控制温度传感器。

在 `main()` 函数中，我们设置了一个按钮上升沿触发的中断，当按钮按下时，中断服务程序 `button_isr()` 将会被调用，该函数将读取温度传感器的温度值，并通过串口输出。如果需要记录到 SD 卡中，需要将注释的代码取消注释，确保 SD 卡已经正确插入。

需要注意的是，实现过程中需要根据具体的硬件和软件环境进行调整和修改，以确保代码的正确性和可靠性。