use rocket::{get, request::FromQuery, response::Debug, routes};

use rocket::{
    get,
    http::Status,
    request::FromQuery,
    response::{Responder, Response},
    routes,
};

use std::{fs::File, io::Error as IoError, num::ParseIntError};

use std::{
    fs::File,
    io::{Cursor, Error as IoError},
    num::ParseIntError,
};

/// Possible errors while solving

    /// Computation time exceeded (Code 599)

    /// No solution exists to the given problem (Code 598)

    /// Internal clingo error (Code 597)

}
impl<'r> Responder<'r> for SolveError {
    fn respond_to(self, _request: &rocket::Request) -> rocket::response::Result<'r> {
        let mut response = Response::new();
        match self {
            SolveError::TimeExceeded => {
                let status = Status::new(599, "Max solve time exceeded");
                response.set_status(status);
                response.set_sized_body(Cursor::new("Max solve time exceeded"));
            }
            SolveError::NoSolution => {
                let status = Status::new(598, "No solution found");
                response.set_status(status);
                response.set_sized_body(Cursor::new("No solution found"));
            }
            SolveError::ClingoError(_why) => {
                let status = Status::new(597, "Internal clingo error");
                response.set_status(status);
                response.set_sized_body(Cursor::new("Internal clingo error"));
            }
        };
        Ok(response)
    }

fn solve(req: SolveRequest) -> Result<Json<SolveResponse>, Debug<SolveError>> {

fn solve(req: SolveRequest) -> Result<Json<SolveResponse>, SolveError> {

const MAX_SOLVE_TIME: f64 = 1.000;

    req
        .fixed_queens

    req.fixed_queens

    let mut handle = ctl.solve(SolveMode::YIELD, &[])?;

    let mut handle = ctl.solve(SolveMode::YIELD | SolveMode::ASYNC, &[])?;

    // TODO (malte): Implement timeout

    if ! handle.wait(MAX_SOLVE_TIME) {
        // Solve time exceeded!
        handle.close()?;
        return Err(SolveError::TimeExceeded);
    }