From a5845285be5374d709dc689158ea7191b1ffe676 Mon Sep 17 00:00:00 2001 From: pedrocarlo Date: Sun, 5 Oct 2025 16:55:48 -0300 Subject: [PATCH] remove unnecessary functions --- simulator/generation/plan.rs | 106 +---------------------------------- 1 file changed, 2 insertions(+), 104 deletions(-) diff --git a/simulator/generation/plan.rs b/simulator/generation/plan.rs index fb03ee42a..a4bf7777e 100644 --- a/simulator/generation/plan.rs +++ b/simulator/generation/plan.rs @@ -12,12 +12,11 @@ use rand::distr::weighted::WeightedIndex; use serde::{Deserialize, Serialize}; use sql_generation::{ - generation::{Arbitrary, ArbitraryFrom, GenerationContext, frequency, query::SelectFree}, + generation::{Arbitrary, ArbitraryFrom, GenerationContext, frequency}, model::{ query::{ - Create, CreateIndex, Delete, Drop, Insert, Select, + Create, transaction::{Begin, Commit}, - update::Update, }, table::SimValue, }, @@ -1065,107 +1064,6 @@ fn reopen_database(env: &mut SimulatorEnv) { }; } -fn random_create(rng: &mut R, env: &SimulatorEnv, conn_index: usize) -> Interactions { - let conn_ctx = env.connection_context(conn_index); - let mut create = Create::arbitrary(rng, &conn_ctx); - while conn_ctx - .tables() - .iter() - .any(|t| t.name == create.table.name) - { - create = Create::arbitrary(rng, &conn_ctx); - } - Interactions::new(conn_index, InteractionsType::Query(Query::Create(create))) -} - -fn random_select(rng: &mut R, env: &SimulatorEnv, conn_index: usize) -> Interactions { - if rng.random_bool(0.7) { - Interactions::new( - conn_index, - InteractionsType::Query(Query::Select(Select::arbitrary( - rng, - &env.connection_context(conn_index), - ))), - ) - } else { - // Random expression - Interactions::new( - conn_index, - InteractionsType::Query(Query::Select( - SelectFree::arbitrary(rng, &env.connection_context(conn_index)).0, - )), - ) - } -} - -fn random_insert(rng: &mut R, env: &SimulatorEnv, conn_index: usize) -> Interactions { - Interactions::new( - conn_index, - InteractionsType::Query(Query::Insert(Insert::arbitrary( - rng, - &env.connection_context(conn_index), - ))), - ) -} - -fn random_delete(rng: &mut R, env: &SimulatorEnv, conn_index: usize) -> Interactions { - Interactions::new( - conn_index, - InteractionsType::Query(Query::Delete(Delete::arbitrary( - rng, - &env.connection_context(conn_index), - ))), - ) -} - -fn random_update(rng: &mut R, env: &SimulatorEnv, conn_index: usize) -> Interactions { - Interactions::new( - conn_index, - InteractionsType::Query(Query::Update(Update::arbitrary( - rng, - &env.connection_context(conn_index), - ))), - ) -} - -fn random_drop(rng: &mut R, env: &SimulatorEnv, conn_index: usize) -> Interactions { - Interactions::new( - conn_index, - InteractionsType::Query(Query::Drop(Drop::arbitrary( - rng, - &env.connection_context(conn_index), - ))), - ) -} - -fn random_create_index( - rng: &mut R, - env: &SimulatorEnv, - conn_index: usize, -) -> Option { - let conn_ctx = env.connection_context(conn_index); - if conn_ctx.tables().is_empty() { - return None; - } - let mut create_index = CreateIndex::arbitrary(rng, &conn_ctx); - while conn_ctx - .tables() - .iter() - .find(|t| t.name == create_index.table_name) - .expect("table should exist") - .indexes - .iter() - .any(|i| i == &create_index.index_name) - { - create_index = CreateIndex::arbitrary(rng, &conn_ctx); - } - - Some(Interactions::new( - conn_index, - InteractionsType::Query(Query::CreateIndex(create_index)), - )) -} - fn random_fault(rng: &mut R, env: &SimulatorEnv, conn_index: usize) -> Interactions { let faults = if env.opts.disable_reopen_database { vec![Fault::Disconnect]