ironwork-rt 0.8.0

//! Running an EXEC SQL statement: what it asks of the executor (`SqlHost`), its call to the
//! database, the cursor and unit-of-work state the session keeps, the SQLCA, and the SQLCODE and
//! warning WHENEVER tests.

use super::dynamic::{self, Kind};
use super::host::{self, COLUMN_COUNT, RESULT_SETS, TRUNCATED, Target, Warnings};
use super::sqlda::{self, Invalid, Var};
use super::{Answer, Call, Database, Outcome, Prepared, Session, SqlError, Value};
use crate::abend::Abend;
use crate::host::Host;
use crate::store::ProgramFacts;
use crate::lir::{AbendId, HostArray, HostPlace, RowCount, SqlEntry, SqlNames, SqlStatement, Sqlca};
use crate::storage::Loc;
use crate::vocab::Pos;

type R<T> = Result<T, Abend>;

/// Deadlock or timeout: the backend has rolled the unit of work back.
const DEADLOCK: i32 = -911;

/// Db2 13 for z/OS SQL, PREPARE and EXECUTE IMMEDIATE: "In ... COBOL ... a host variable must be a
/// varying-length string variable."
const STRING_RULE: &str = "its statement string is not one varying-length character or graphic string, as Db2 for z/OS requires of COBOL";

/// Db2 13 SQL, FETCH and INSERT: FOR n ROWS's host variable "must be an exact numeric type with a
/// scale of zero".
const ROWS_RULE: &str = "FOR n ROWS's host variable is not an exact numeric item with no decimal places";

/// The most rows FOR n ROWS may ask for: "k must be in the range, 0<k<=32767".
const MOST_ROWS: u32 = 32767;

/// Where a statement's calls come from.
#[derive(Clone, Copy)]
struct At<'a> {
    program: &'a str,
    ordinal: u32,
    pos: Pos,
}

impl<'a> At<'a> {
    fn call(self, verb: &'a str, cursor: Option<&'a str>, text: &'a str, inputs: &'a [Value]) -> Call<'a> {
        Call { program: self.program, ordinal: self.ordinal, verb, cursor, text, inputs }
    }
}

/// What a statement asks of the executor running it beyond `Host`.
pub trait SqlHost<'w, P: Copy, S>: Host<P> {
    /// The run unit's database session, when one is attached.
    fn session(&mut self) -> Option<&mut Session<'w>>;
    /// A CICS task, whose unit of work SYNCPOINT ends rather than EXEC SQL.
    fn in_task(&self) -> bool;
    fn program_id(&self) -> String;
    fn text(&self, text: &S) -> String;
    /// Where a host variable is written, which a program check reading it names.
    fn place_pos(&self, place: P) -> Pos;
    /// The abend a host variable with no SQL type gives when its statement reaches it.
    fn untyped(&mut self, abend: AbendId) -> Abend;
    /// Tells the observer, for the input trace, the operand of an operation an input could steer.
    fn sink(&mut self, kind: &'static str, pos: Pos, operand: &str);
    /// A table named without subscripts, an indicator array or a multiple-row statement's
    /// host-variable array, at its first element; an executor whose place for one is not that
    /// element locates it here.
    fn locate_first(&mut self, place: P) -> R<Loc> {
        self.locate(place, false)
    }
}

/// What WHENEVER tests after a statement.
#[derive(Clone, Copy, Debug, PartialEq, Eq)]
pub struct Ran {
    pub sqlcode: i32,
    /// SQLWARN0.
    pub warned: bool,
}

fn session<'a, 'w: 'a, P: Copy + 'a, S: 'a>(x: &'a mut impl SqlHost<'w, P, S>) -> &'a mut Session<'w> {
    x.session().expect("a database is attached")
}

/// Runs a statement and fills the SQLCA; None for a declaration, which does nothing.
pub fn run<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, entry: &SqlEntry<P, S>, sqlca: &Sqlca<P>, pos: Pos) -> R<Option<Ran>> {
    let verb = x.text(&entry.verb);
    let refused = |why: String| Abend { code: "EXEC".into(), message: format!("EXEC SQL {verb} was reached: {why}"), pos, file: None };
    if let SqlStatement::Connect { what, location } = &entry.statement {
        // A location the trace cannot read is left to the refusal, so tracing never changes how the run ends.
        if !location.is_empty()
            && let Ok(Ok(values)) = host::traced(x, location)
        {
            x.sink("connection-target", pos, &values.iter().map(Value::text).collect::<String>());
        }
        return Err(refused(format!("ironwork for COBOL does not run {}", x.text(what))));
    }
    // A statement string goes to the input trace before the run is refused for want of a database,
    // as CONNECT's location does.
    let string = match &entry.statement {
        SqlStatement::Prepare { source, .. } | SqlStatement::PrepareInto { source, .. } | SqlStatement::ExecuteImmediate { source } => match statement_string(x, source, pos)? {
            None => return Err(refused(STRING_RULE.into())),
            string => string,
        },
        _ => None,
    };
    if x.session().is_none() {
        return Err(refused("no database is attached to the run".into()));
    }
    let (program, text, ordinal) = (x.program_id(), x.text(&entry.text), entry.ordinal);
    let at = At { program: &program, ordinal, pos };
    let mut warnings = Warnings::default();
    let mut outcome = match &entry.statement {
        SqlStatement::Query { inputs, into } => match host::inputs(x, inputs)? {
            Err(e) => Outcome::error(e.code, e.state),
            Ok(values) => {
                let answer = database(x, &Call { program: &program, ordinal, verb: &verb, cursor: None, text: &text, inputs: &values }, |db, c| db.execute(c), pos)?;
                single_row(x, answer, Receivers::Hosts(into), &mut warnings)?
            }
        },
        SqlStatement::Change { delete, inputs, current_of } => {
            let current_of = current_of.as_ref().map(|c| x.text(c));
            let values = host::inputs(x, inputs)?;
            change(x, at, (&verb, &text), values, *delete, current_of.as_deref())?
        }
        SqlStatement::Open { cursor, inputs } => {
            let cursor = x.text(cursor);
            if session(x).cursor(&program, &cursor).is_some() {
                Outcome::error(-502, "24502")
            } else {
                match host::inputs(x, inputs)? {
                    Err(e) => Outcome::error(e.code, e.state),
                    Ok(values) => {
                        let answer = database(x, &Call { program: &program, ordinal, verb: "OPEN", cursor: Some(&cursor), text: &text, inputs: &values }, |db, c| db.open(c), pos)?;
                        if answer.sqlcode >= 0 {
                            session(x).opened(&program, &cursor, entry.with_hold, None);
                        }
                        answer
                    }
                }
            }
        }
        SqlStatement::Fetch { cursor, into } => {
            let cursor = x.text(cursor);
            fetch(x, at, (&cursor, &text), Receivers::Hosts(into), &mut warnings)?
        }
        SqlStatement::FetchDescriptor { cursor, descriptor } => {
            let cursor = x.text(cursor);
            let at_sqlda = x.locate(*descriptor, false)?.offset;
            match sqlda::vars(x.mem(), at_sqlda, false) {
                Err(invalid) => invalid_sqlda(invalid),
                Ok(vars) => fetch(x, at, (&cursor, &text), Receivers::Vars(&vars), &mut warnings)?,
            }
        }
        SqlStatement::FetchRowset { cursor, rows, into, enabled } => {
            let cursor = x.text(cursor);
            if session(x).cursor(&program, &cursor).is_none() {
                Outcome::error(-501, "24501")
            } else if !enabled {
                Outcome::error(-249, "24523")
            } else {
                let implicit = session(x).cursor(&program, &cursor).and_then(|c| c.rowset_size).unwrap_or(1);
                match row_count(x, rows, implicit, &refused)? {
                    Some(k) if fits(k, into.iter()) => fetch_rowset(x, at, &cursor, &text, k, into, &mut warnings)?,
                    _ => Outcome::error(-246, "42873"),
                }
            }
        }
        SqlStatement::InsertRows { inputs, rows, atomic } => match row_count(x, rows, 1, &refused)? {
            Some(k) if fits(k, inputs.iter()) => match host::input_rows(x, inputs, k as usize)? {
                Err(e) => Outcome::error(e.code, e.state),
                Ok(values) => {
                    let flat = values.concat();
                    database(x, &at.call(&verb, None, &text, &flat), |db, c| db.insert_rows(c, &values, *atomic), pos)?
                }
            },
            _ => Outcome::error(-246, "42873"),
        },
        SqlStatement::Call { procedure, args } => {
            let procedure = x.text(procedure);
            match host::inputs(x, args)? {
                Err(e) => Outcome::error(e.code, e.state),
                Ok(values) => {
                    let answer = database(x, &at.call("CALL", Some(&procedure), &text, &values), |db, c| db.call(c), pos)?;
                    returned(x, answer, &procedure, args, &mut warnings, pos)?
                }
            }
        }
        SqlStatement::Close { cursor } => {
            let cursor = x.text(cursor);
            if session(x).cursor(&program, &cursor).is_none() {
                Outcome::error(-501, "24501")
            } else {
                let answer = database(x, &Call { program: &program, ordinal, verb: "CLOSE", cursor: Some(&cursor), text: &text, inputs: &[] }, |db, c| db.close(c), pos)?;
                if answer.sqlcode >= 0 {
                    session(x).closed(&program, &cursor);
                }
                answer
            }
        }
        SqlStatement::Commit => end_unit(x, at, &text, true)?,
        SqlStatement::Rollback => end_unit(x, at, &text, false)?,
        SqlStatement::Prepare { name, .. } => {
            let (name, Some(string)) = (x.text(name), string) else { unreachable!("a PREPARE has its statement string") };
            prepare(x, at, &name, string)?
        }
        SqlStatement::PrepareInto { name, descriptor, names, .. } => {
            let (name, Some(string)) = (x.text(name), string) else { unreachable!("a PREPARE has its statement string") };
            let answer = prepare(x, at, &name, string)?;
            match session(x).prepared(&program, &name).cloned().filter(|_| answer.sqlcode >= 0) {
                Some(p) => {
                    let described = describe(x, &p, *descriptor, *names, pos)?;
                    if described.sqlcode < 0 { described } else { answer }
                }
                None => answer,
            }
        }
        SqlStatement::Describe { name, descriptor, names } => {
            let name = x.text(name);
            match session(x).prepared(&program, &name).cloned() {
                None => Outcome::error(-516, "26501"),
                Some(p) => describe(x, &p, *descriptor, *names, pos)?,
            }
        }
        SqlStatement::ExecuteImmediate { .. } => match string {
            None => unreachable!("an EXECUTE IMMEDIATE has its statement string"),
            Some(Err(e)) => Outcome::error(e.code, e.state),
            Some(Ok(text)) => dynamic_statement(x, at, &text, Ok(Vec::new()), &refused)?,
        },
        SqlStatement::Execute { name, inputs } => execute(x, at, &x.text(name), Sources::Hosts(inputs), &refused)?,
        SqlStatement::ExecuteDescriptor { name, descriptor } => execute(x, at, &x.text(name), Sources::Descriptor(*descriptor), &refused)?,
        SqlStatement::OpenPrepared { cursor, statement, inputs } => open_prepared(x, at, (&x.text(cursor), &x.text(statement)), entry.with_hold, Sources::Hosts(inputs))?,
        SqlStatement::OpenDescriptor { cursor, statement, descriptor } => open_prepared(x, at, (&x.text(cursor), &x.text(statement)), entry.with_hold, Sources::Descriptor(*descriptor))?,
        SqlStatement::Declaration => return Ok(None),
        SqlStatement::Unsupported(what) => return Err(refused(format!("ironwork for COBOL does not run {}", x.text(what)))),
        SqlStatement::Connect { .. } => unreachable!("CONNECT is refused before the session is asked"),
    };
    if outcome.sqlcode == DEADLOCK {
        session(x).rolled_back();
    }
    warnings[0] = warnings[1..].iter().any(|&w| w);
    if outcome.sqlcode == 0 && outcome.sqlstate == "00000" {
        if warnings[TRUNCATED] {
            outcome.sqlstate = "01004".into();
        } else if warnings[COLUMN_COUNT] {
            outcome.sqlstate = "01503".into();
        }
    }
    host::sqlca(x, sqlca, &outcome, &warnings);
    Ok(Some(Ran { sqlcode: outcome.sqlcode, warned: warnings[0] }))
}

/// One call to the database. Any statement but COMMIT and ROLLBACK leaves work to settle.
fn database<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, call: &Call, run: impl FnOnce(&mut dyn Database, &Call) -> Answer, pos: Pos) -> R<Outcome> {
    let session = session(x);
    session.pending |= !matches!(call.verb, "COMMIT" | "ROLLBACK");
    run(&mut *session.database, call).map_err(|a| Abend { code: a.code.into(), message: a.message, pos, file: None })
}

/// COMMIT or ROLLBACK, static or dynamic; in a CICS task the unit of work is CICS's.
fn end_unit<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, at: At, text: &str, commit: bool) -> R<Outcome> {
    if x.in_task() {
        return Ok(if commit { Outcome::error(-925, "2D521") } else { Outcome::error(-926, "2D521") });
    }
    let verb = if commit { "COMMIT" } else { "ROLLBACK" };
    let answer = database(x, &at.call(verb, None, text, &[]), |db, c| if commit { db.commit(c) } else { db.rollback(c) }, at.pos)?;
    if answer.sqlcode >= 0 {
        if commit { session(x).committed() } else { session(x).rolled_back() }
    }
    Ok(answer)
}

/// An INSERT, UPDATE or DELETE, `statement` its verb and text: a positioned one needs its cursor on
/// a row, and a searched one that changes no row is +100, as Db2 answers.
fn change<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, at: At, statement: (&str, &str), values: Result<Vec<Value>, SqlError>, delete: bool, current_of: Option<&str>) -> R<Outcome> {
    // The backend's cursor is on the last row it gave, which is the position only when that is one
    // row; Db2 would change every row of a rowset (C422).
    if let Some(c) = current_of
        && session(x).cursor(at.program, c).is_some_and(|c| c.positioned && !c.on_backend_row())
    {
        let message = format!("EXEC SQL {} ... WHERE CURRENT OF {c} was reached: ironwork for COBOL does not run a positioned UPDATE or DELETE of a rowset of more than one row, or after a row FETCH from one", statement.0);
        return Err(Abend { code: "EXEC".into(), message, pos: at.pos, file: None });
    }
    let position = current_of.map(|c| session(x).cursor(at.program, c).map(|c| c.positioned));
    let values = match (position, values) {
        (Some(None), _) => return Ok(Outcome::error(-507, "24501")),
        (Some(Some(false)), _) => return Ok(Outcome::error(-508, "24504")),
        (_, Err(e)) => return Ok(Outcome::error(e.code, e.state)),
        (_, Ok(values)) => values,
    };
    let mut answer = database(x, &at.call(statement.0, current_of, statement.1, &values), |db, c| db.execute(c), at.pos)?;
    if current_of.is_none() && answer.sqlcode == 0 && answer.affected == 0 {
        answer = Outcome::error(100, "02000");
    }
    if let (Some(c), true, true) = (current_of, delete, answer.sqlcode >= 0)
        && let Some(open) = session(x).cursor(at.program, c)
    {
        open.positioned = false;
        open.held.clear();
        open.current = 0;
    }
    Ok(answer)
}
/// The rows FOR n ROWS asks for, `implicit` without it; None where n is no integer of a row count.
fn row_count<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, rows: &RowCount<P>, implicit: u32, refused: &dyn Fn(String) -> Abend) -> R<Option<u32>> {
    let n = match rows {
        RowCount::Implicit => return Ok(Some(implicit)),
        RowCount::Constant(n) => i64::from(*n),
        RowCount::Host(place) => match host::inputs(x, std::slice::from_ref(place))? {
            Ok(values) => match values.first() {
                Some(Value::Int(n)) => *n,
                Some(Value::Decimal { value, scale: 0 }) => i64::try_from(*value).unwrap_or(i64::MAX),
                _ => return Err(refused(ROWS_RULE.into())),
            },
            Err(_) => return Err(refused(ROWS_RULE.into())),
        },
    };
    Ok(u32::try_from(n).ok().filter(|&k| (1..=MOST_ROWS).contains(&k)))
}

/// Whether `rows` rows fit every array (-246 where they do not).
fn fits<'a, P: 'a>(rows: u32, arrays: impl IntoIterator<Item = &'a HostArray<P>>) -> bool {
    arrays.into_iter().all(|a| a.array.is_none_or(|d| rows <= d.count))
}

/// FETCH NEXT ROWSET of `rows` rows: past the current rowset, the rows already read first, then
/// the backend's. A rowset short of `rows` is +100 with its rows; elements after them are left as
/// they were ([`numeric::assumptions::ROWSET_ENDS_SHORT`]).
fn fetch_rowset<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, at: At, cursor: &str, text: &str, rows: u32, into: &[HostArray<P>], warnings: &mut Warnings) -> R<Outcome> {
    let open = session(x).cursor(at.program, cursor).expect("the cursor is open");
    open.held.drain(..open.current);
    let mut fetched: Vec<Vec<Value>> = open.held.iter().take(rows as usize).cloned().collect();
    let mut answer = Outcome::ok();
    if fetched.len() < rows as usize {
        let more = rows - fetched.len() as u32;
        let count = [Value::Int(more.into())];
        answer = database(x, &at.call("FETCH", Some(cursor), text, &count), |db, c| db.fetch_rows(c, more), at.pos)?;
        if answer.rows.len() > more as usize {
            return Err(Abend { code: "SQL".into(), message: format!("the database answered FETCH {cursor} for {more} rows with {}", answer.rows.len()), pos: at.pos, file: None });
        }
        let open = session(x).cursor(at.program, cursor).expect("the cursor is open");
        open.held.extend(answer.rows.iter().cloned());
        fetched.append(&mut answer.rows);
    }
    let open = session(x).cursor(at.program, cursor).expect("the cursor is open");
    open.current = fetched.len();
    open.rowset_size = Some(rows);
    open.positioned = !fetched.is_empty();
    let (assigned, failed) = if into.is_empty() { (fetched.len(), None) } else { host::assign_rows(x, into, &fetched, warnings)? };
    let outcome = match failed {
        Some(e) => Outcome::error(e.code, e.state),
        None if answer.sqlcode != 0 => answer,
        None if fetched.len() < rows as usize => Outcome::error(100, "02000"),
        None => Outcome::ok(),
    };
    Ok(Outcome { affected: assigned as i64, rows: Vec::new(), ..outcome })
}

/// A CALL's answer: unless it is an error, each argument the procedure returns is assigned. +466
/// says the procedure returned result sets, which SQLWARN9 shows with Z.
fn returned<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, answer: Outcome, procedure: &str, args: &[HostPlace<P>], warnings: &mut Warnings, pos: Pos) -> R<Outcome> {
    if answer.sqlcode < 0 || answer.parameters.is_empty() {
        warnings[RESULT_SETS] = answer.sqlcode == 466;
        return Ok(answer);
    }
    if answer.parameters.len() != args.len() {
        return Err(Abend { code: "SQL".into(), message: format!("the database answered CALL {procedure} with {} arguments for its {}", answer.parameters.len(), args.len()), pos, file: None });
    }
    warnings[RESULT_SETS] = answer.sqlcode == 466;
    Ok(match host::assign_returned(x, args, &answer.parameters, warnings)? {
        Ok(()) => answer,
        Err(e) => Outcome::error(e.code, e.state),
    })
}

/// The statement string of a PREPARE or EXECUTE IMMEDIATE, normalised, after the input trace is
/// told of it; None where it is not one varying-length string.
fn statement_string<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, source: &[crate::lir::HostPlace<P>], pos: Pos) -> R<Option<Result<String, SqlError>>> {
    match source {
        [place] if matches!(place.ty, Ok(super::HostType::VarChar(_) | super::HostType::VarGraphic(_)) | Err(_)) => {}
        _ => return Ok(None),
    }
    Ok(Some(host::traced(x, source)?.map(|values| {
        let string = values.first().map(Value::text).unwrap_or_default();
        x.sink("dynamic-sql", pos, &string);
        dynamic::normalise(&string)
    })))
}

/// A dynamic statement that is not run by a cursor, as EXECUTE and EXECUTE IMMEDIATE run it.
fn dynamic_statement<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, at: At, text: &str, values: Result<Vec<Value>, SqlError>, refused: &dyn Fn(String) -> Abend) -> R<Outcome> {
    let verb = dynamic::verb(text);
    Ok(match dynamic::kind(text) {
        Kind::Query => Outcome::error(-518, "07003"),
        Kind::Unacceptable => Outcome::error(-84, "42612"),
        Kind::Unknown => Outcome::error(-104, "42601"),
        Kind::Refused(what) => return Err(refused(format!("ironwork for COBOL does not run {what}"))),
        Kind::Commit => end_unit(x, at, text, true)?,
        Kind::Rollback => end_unit(x, at, text, false)?,
        Kind::Change { delete, current_of } => change(x, at, (&verb, text), values, delete, current_of.as_deref())?,
        Kind::Other => match values {
            Err(e) => Outcome::error(e.code, e.state),
            Ok(values) => database(x, &at.call(&verb, None, text, &values), |db, c| db.execute(c), at.pos)?,
        },
    })
}

/// Where a statement's inputs come from: its host variables, or the SQLDA USING DESCRIPTOR names.
enum Sources<'a, P> {
    Hosts(&'a [HostPlace<P>]),
    Descriptor(P),
}

/// Where a row goes: the INTO host variables, or those an SQLDA describes.
enum Receivers<'a, P> {
    Hosts(&'a [HostPlace<P>]),
    Vars(&'a [Var]),
}

fn targets(vars: &[Var]) -> Vec<Target<'_>> {
    vars.iter().map(|v| Target { offset: v.offset, len: v.len, ty: &v.ty, indicator: v.indicator }).collect()
}

/// SQLCODE -804, Db2's reason code its message token.
fn invalid_sqlda(Invalid(reason): Invalid) -> Outcome {
    Outcome { tokens: format!("{reason:02}"), ..Outcome::error(sqlda::INVALID.code, sqlda::INVALID.state) }
}

/// The values a dynamic statement's `markers` parameter markers take, or the outcome that refuses
/// them: without markers USING is not read, and with them each needs one value (-313).
fn marker_values<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, sources: Sources<P>, markers: usize, pos: Pos) -> R<Result<Result<Vec<Value>, SqlError>, Outcome>> {
    if markers == 0 {
        return Ok(Ok(Ok(Vec::new())));
    }
    match sources {
        Sources::Hosts(hosts) if hosts.len() != markers => Ok(Err(Outcome::error(-313, "07001"))),
        Sources::Hosts(hosts) => Ok(Ok(host::inputs(x, hosts)?)),
        Sources::Descriptor(descriptor) => {
            let at = x.locate(descriptor, false)?.offset;
            match sqlda::vars(x.mem(), at, true) {
                Err(invalid) => Ok(Err(invalid_sqlda(invalid))),
                Ok(vars) if vars.len() != markers => Ok(Err(Outcome::error(-313, "07001"))),
                Ok(vars) => Ok(Ok(host::read_targets(x, &targets(&vars), pos)?)),
            }
        }
    }
}

/// PREPARE: the statement of the same name destroyed, then the new one made, unless it is an open
/// cursor's (-519) or Db2 does not prepare it (-084).
fn prepare<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, at: At, name: &str, string: Result<String, SqlError>) -> R<Outcome> {
    let text = match string {
        Err(e) => return Ok(Outcome::error(e.code, e.state)),
        Ok(text) => text,
    };
    if session(x).running(at.program, name) {
        return Ok(Outcome::error(-519, "24506"));
    }
    session(x).prepare(at.program, name, None);
    let kind = dynamic::kind(&text);
    match kind {
        Kind::Unacceptable => return Ok(Outcome::error(-84, "42612")),
        Kind::Unknown => return Ok(Outcome::error(-104, "42601")),
        _ => {}
    }
    let mut answer = database(x, &at.call("PREPARE", Some(name), &text, &[]), |db, c| db.prepare(c), at.pos)?;
    if answer.sqlcode >= 0 {
        let markers = dynamic::markers(&text);
        let columns = std::mem::take(&mut answer.columns);
        session(x).prepare(at.program, name, Some(Prepared { text, query: kind == Kind::Query, markers, columns }));
    }
    Ok(answer)
}

/// DESCRIBE of a prepared statement into the SQLDA at `descriptor`, from what PREPARE's answer
/// described. The database's description is input, as its rows are.
fn describe<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, prepared: &Prepared, descriptor: P, names: SqlNames, pos: Pos) -> R<Outcome> {
    let at = x.locate(descriptor, true)?.offset;
    let page = x.facts().page();
    let columns = prepared.query.then_some(prepared.columns.as_slice());
    match sqlda::describe(x.mem(), at, columns, names, page) {
        Ok(written) => {
            if let Some(taint) = x.taint() {
                taint.set(at, written, true);
            }
            Ok(Outcome::ok())
        }
        Err(Ok(invalid)) => Ok(invalid_sqlda(invalid)),
        Err(Err(why)) => Err(Abend { code: "SQL".into(), message: format!("DESCRIBE was reached: {why}"), pos, file: None }),
    }
}

fn execute<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, at: At, name: &str, sources: Sources<P>, refused: &dyn Fn(String) -> Abend) -> R<Outcome> {
    let Some(p) = session(x).prepared(at.program, name).cloned().filter(|p| !p.query) else { return Ok(Outcome::error(-518, "07003")) };
    match marker_values(x, sources, p.markers, at.pos)? {
        Err(outcome) => Ok(outcome),
        Ok(values) => dynamic_statement(x, at, &p.text, values, refused),
    }
}

/// OPEN of a cursor for a prepared statement, `names` the cursor's and the statement's.
fn open_prepared<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, at: At, names: (&str, &str), with_hold: bool, sources: Sources<P>) -> R<Outcome> {
    let (cursor, statement) = names;
    if session(x).cursor(at.program, cursor).is_some() {
        return Ok(Outcome::error(-502, "24502"));
    }
    let p = match session(x).prepared(at.program, statement).cloned() {
        None => return Ok(Outcome::error(-514, "26501")),
        Some(Prepared { query: false, .. }) => return Ok(Outcome::error(-517, "07005")),
        Some(p) => p,
    };
    let values = match marker_values(x, sources, p.markers, at.pos)? {
        Err(outcome) => return Ok(outcome),
        Ok(Err(e)) => return Ok(Outcome::error(e.code, e.state)),
        Ok(Ok(values)) => values,
    };
    let hold = if with_hold { " WITH HOLD" } else { "" };
    let text = format!("DECLARE {cursor} CURSOR{hold} FOR {}", p.text);
    let answer = database(x, &at.call("OPEN", Some(cursor), &text, &values), |db, c| db.open(c), at.pos)?;
    if answer.sqlcode >= 0 {
        session(x).opened(at.program, cursor, with_hold, Some(statement));
    }
    Ok(answer)
}

/// FETCH, `statement` its cursor and text: one row into the receivers, the cursor on it.
fn fetch<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, at: At, statement: (&str, &str), into: Receivers<P>, warnings: &mut Warnings) -> R<Outcome> {
    let (cursor, text) = statement;
    // A row FETCH moves from the first row of the current position, onto a row a rowset FETCH may
    // have read already (C421).
    let held = session(x).cursor(at.program, cursor).map(|open| {
        if open.current > 0 {
            open.held.pop_front();
        }
        open.current = 0;
        open.rowset_size = None;
        open.held.front().cloned()
    });
    let answer = match held {
        None => return Ok(Outcome::error(-501, "24501")),
        Some(Some(row)) => Outcome::rows(vec![row]),
        Some(None) => database(x, &at.call("FETCH", Some(cursor), text, &[]), |db, c| db.fetch(c), at.pos)?,
    };
    if answer.rows.len() > 1 {
        return Err(Abend { code: "SQL".into(), message: format!("the database answered FETCH {cursor} with {} rows", answer.rows.len()), pos: at.pos, file: None });
    }
    let on_row = answer.sqlcode >= 0 && answer.rows.len() == 1;
    if let Some(open) = session(x).cursor(at.program, cursor) {
        open.positioned = on_row;
        if on_row {
            if open.held.is_empty() {
                open.held.push_back(answer.rows[0].clone());
            }
            open.current = 1;
        }
    }
    let fetched = single_row(x, answer, into, warnings)?;
    Ok(Outcome { affected: i64::from(on_row), ..fetched })
}

/// A SELECT INTO's or a FETCH's answer: one row is assigned, none is +100, more than one is -811.
fn single_row<'w, P: Copy, S>(x: &mut impl SqlHost<'w, P, S>, answer: Outcome, into: Receivers<P>, warnings: &mut Warnings) -> R<Outcome> {
    if answer.sqlcode < 0 {
        return Ok(answer);
    }
    let assigned = |x: &mut _, row: &[Value], warnings: &mut Warnings| match into {
        Receivers::Hosts(hosts) => host::assign(x, hosts, row, warnings),
        Receivers::Vars(vars) => host::assign_targets(x, &targets(vars), row, warnings),
    };
    Ok(match answer.rows.len() {
        0 => Outcome::error(100, "02000"),
        1 => match assigned(x, &answer.rows[0], warnings)? {
            Ok(()) => answer,
            Err(e) => Outcome::error(e.code, e.state),
        },
        _ => Outcome::error(-811, "21000"),
    })
}