File content as of revision 0:ad9362f18797:

/*
* G3: WATERPLAY
*/

#include "mbed.h"
#include "Flasher.h"
#include "Waterplay.h"
#include "SalinitySensor.h"
#include "TemperatureSensor.h"

char program_name[128] = "G3: WATERPLAY";
int keep_running = 1;
Serial serial(USBTX, USBRX);
Flasher led1(LED1);
Waterplay waterplay(serial);

double salinity_voltage = 3.3;
double salinity_converter = 1.6667; // 5.0/3.0
double salinity_multiplier = 16.3;

double temperature_voltage = 4.85;
double temperature_converter = 1.6667; // 5.0/3.0
double temperature_variance = 5.0;
double temperature_vin = 4.85;
double temperature_resistance = 15000.0;

SalinitySensor salinitySensor(
    p16,
    salinity_voltage,
    salinity_converter,
    salinity_multiplier
);

TemperatureSensor temperatureSensor(
    p15,
    temperature_voltage,
    temperature_converter,
    temperature_variance,
    temperature_vin,
    temperature_resistance
);

int main()
{
    serial.printf("\n\r%s\n\r", program_name);

    while(keep_running) {
        led1.flash(5);

        serial.printf(
            "salinity: %5.4F | %5.4F |%5.4F :: temperature: %5.4F | %5.4F |%5.4F\n\r",
            salinitySensor.read(),
            salinitySensor.getVoltage(),
            salinitySensor.getSalinity(),
            temperatureSensor.read(),
            temperatureSensor.getVoltage(),
            temperatureSensor.getTemperature()
        );
    }
}