Compare commits
8 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| c8cc4cbde8 | |||
| 5af2399e3b | |||
| 1d56bae9a5 | |||
| 813e9ff3c2 | |||
| 7e28eb2645 | |||
| 5133283795 | |||
| d41209e7c1 | |||
| 03c60f5156 |
@ -175,6 +175,7 @@ In the Punc architecture, filters are automatically synthesized, strongly-typed
|
|||||||
|
|
||||||
* **Conditions**: A condition schema is the contract defining the mathematical operations allowed on a primitive field. For example, a `string.condition` allows `$eq`, `$ne`, `$gt`, `$gte`, `$lt`, `$lte`, `$of` (IN), and `$nof` (NOT IN).
|
* **Conditions**: A condition schema is the contract defining the mathematical operations allowed on a primitive field. For example, a `string.condition` allows `$eq`, `$ne`, `$gt`, `$gte`, `$lt`, `$lte`, `$of` (IN), and `$nof` (NOT IN).
|
||||||
* **Enum Conditions**: When JSPG synthesizes an enum, it dynamically generates an `<enum>.condition` (e.g., `address_kind.condition`). This strongly-typed condition perfectly mirrors the operations of a `string.condition`, but strictly limits the arrays and inputs of `$eq`, `$ne`, `$of`, and `$nof` to the exact variations defined by that Enum. This context ensures that UI generators know exactly when to render `<Select>` dropdowns instead of generic `<Text>` boxes.
|
* **Enum Conditions**: When JSPG synthesizes an enum, it dynamically generates an `<enum>.condition` (e.g., `address_kind.condition`). This strongly-typed condition perfectly mirrors the operations of a `string.condition`, but strictly limits the arrays and inputs of `$eq`, `$ne`, `$of`, and `$nof` to the exact variations defined by that Enum. This context ensures that UI generators know exactly when to render `<Select>` dropdowns instead of generic `<Text>` boxes.
|
||||||
|
* **Pre-compiled Condition and Filter Mapping**: To prevent redundant double-wrapping of search structures, any schema property whose type is already a `.condition` or `.filter` type (such as `"string.condition"` or `"$kind.filter"`) maps directly to itself during filter synthesis rather than receiving a redundant `.filter` suffix.
|
||||||
* **Filters**: A filter schema (e.g., `person.filter`) is an object containing condition properties used to filter entities. It natively supports structural composition:
|
* **Filters**: A filter schema (e.g., `person.filter`) is an object containing condition properties used to filter entities. It natively supports structural composition:
|
||||||
* **Inherited Properties**: Filters automatically inherit all valid database columns from their base type schema, immediately converting them to their respective `.condition` schemas.
|
* **Inherited Properties**: Filters automatically inherit all valid database columns from their base type schema, immediately converting them to their respective `.condition` schemas.
|
||||||
* **Relational Proxies**: If a table has a foreign key to another table, the filter automatically generates a proxy property pointing to the related entity's filter (e.g., the `person` filter automatically gains an `organization` property that points to `organization.filter`), allowing infinitely deep nested queries natively.
|
* **Relational Proxies**: If a table has a foreign key to another table, the filter automatically generates a proxy property pointing to the related entity's filter (e.g., the `person` filter automatically gains an `organization` property that points to `organization.filter`), allowing infinitely deep nested queries natively.
|
||||||
|
|||||||
@ -466,7 +466,7 @@
|
|||||||
},
|
},
|
||||||
"filter": {
|
"filter": {
|
||||||
"type": [
|
"type": [
|
||||||
"$kind.filter.filter",
|
"$kind.filter",
|
||||||
"null"
|
"null"
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
|
|||||||
@ -1260,6 +1260,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"first_name\": \"IncompleteFirst\",",
|
" \"first_name\": \"IncompleteFirst\",",
|
||||||
" \"last_name\": \"IncompleteLast\",",
|
" \"last_name\": \"IncompleteLast\",",
|
||||||
@ -1358,6 +1359,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"update\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"id\": \"{{uuid:mocks.0.id}}\",",
|
" \"id\": \"{{uuid:mocks.0.id}}\",",
|
||||||
" \"type\": \"person\",",
|
" \"type\": \"person\",",
|
||||||
@ -1461,6 +1463,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"update\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"id\": \"{{uuid:mocks.0.id}}\",",
|
" \"id\": \"{{uuid:mocks.0.id}}\",",
|
||||||
" \"type\": \"person\",",
|
" \"type\": \"person\",",
|
||||||
@ -1526,6 +1529,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"replace\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"id\": \"{{uuid:mocks.0.id}}\",",
|
" \"id\": \"{{uuid:mocks.0.id}}\",",
|
||||||
" \"type\": \"person\",",
|
" \"type\": \"person\",",
|
||||||
@ -1619,6 +1623,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"update\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"id\": \"{{uuid:mocks.0.id}}\",",
|
" \"id\": \"{{uuid:mocks.0.id}}\",",
|
||||||
" \"type\": \"person\",",
|
" \"type\": \"person\",",
|
||||||
@ -1749,6 +1754,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"first_name\": \"John\",",
|
" \"first_name\": \"John\",",
|
||||||
" \"last_name\": \"Doe\",",
|
" \"last_name\": \"Doe\",",
|
||||||
@ -1930,6 +1936,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"total\": 100.0,",
|
" \"total\": 100.0,",
|
||||||
" \"id\": \"{{uuid:generated_3}}\",",
|
" \"id\": \"{{uuid:generated_3}}\",",
|
||||||
@ -1949,6 +1956,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"first_name\": \"Bob\",",
|
" \"first_name\": \"Bob\",",
|
||||||
" \"last_name\": \"Smith\",",
|
" \"last_name\": \"Smith\",",
|
||||||
@ -2114,6 +2122,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"total\": 99.0,",
|
" \"total\": 99.0,",
|
||||||
" \"id\": \"abc\",",
|
" \"id\": \"abc\",",
|
||||||
@ -2131,6 +2140,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"product\": \"Widget\",",
|
" \"product\": \"Widget\",",
|
||||||
" \"price\": 99.0,",
|
" \"price\": 99.0,",
|
||||||
@ -2619,6 +2629,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"first_name\": \"Relation\",",
|
" \"first_name\": \"Relation\",",
|
||||||
" \"last_name\": \"Test\",",
|
" \"last_name\": \"Test\",",
|
||||||
@ -2638,6 +2649,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"is_primary\": true,",
|
" \"is_primary\": true,",
|
||||||
" \"source_id\": \"{{uuid:generated_0}}\",",
|
" \"source_id\": \"{{uuid:generated_0}}\",",
|
||||||
@ -2663,6 +2675,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"number\": \"555-0001\",",
|
" \"number\": \"555-0001\",",
|
||||||
" \"id\": \"{{uuid:generated_1}}\",",
|
" \"id\": \"{{uuid:generated_1}}\",",
|
||||||
@ -2680,6 +2693,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"is_primary\": false,",
|
" \"is_primary\": false,",
|
||||||
" \"source_id\": \"{{uuid:generated_0}}\",",
|
" \"source_id\": \"{{uuid:generated_0}}\",",
|
||||||
@ -2705,6 +2719,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"address\": \"test@example.com\",",
|
" \"address\": \"test@example.com\",",
|
||||||
" \"id\": \"{{uuid:generated_5}}\",",
|
" \"id\": \"{{uuid:generated_5}}\",",
|
||||||
@ -2722,6 +2737,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"is_primary\": false,",
|
" \"is_primary\": false,",
|
||||||
" \"source_id\": \"{{uuid:generated_0}}\",",
|
" \"source_id\": \"{{uuid:generated_0}}\",",
|
||||||
@ -2747,6 +2763,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"address\": \"test2@example.com\",",
|
" \"address\": \"test2@example.com\",",
|
||||||
" \"id\": \"{{uuid:generated_9}}\",",
|
" \"id\": \"{{uuid:generated_9}}\",",
|
||||||
@ -2830,6 +2847,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"delete\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"id\": \"abc-archived\",",
|
" \"id\": \"abc-archived\",",
|
||||||
" \"type\": \"person\",",
|
" \"type\": \"person\",",
|
||||||
@ -2943,6 +2961,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"flags\": [",
|
" \"flags\": [",
|
||||||
" \"urgent\",",
|
" \"urgent\",",
|
||||||
@ -3058,6 +3077,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"product\": \"Widget\",",
|
" \"product\": \"Widget\",",
|
||||||
" \"price\": 99.0,",
|
" \"price\": 99.0,",
|
||||||
@ -3167,6 +3187,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"product\": \"Widget\",",
|
" \"product\": \"Widget\",",
|
||||||
" \"price\": 99.0,",
|
" \"price\": 99.0,",
|
||||||
@ -3404,6 +3425,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"kind\": \"checking\",",
|
" \"kind\": \"checking\",",
|
||||||
" \"routing_number\": \"123456789\",",
|
" \"routing_number\": \"123456789\",",
|
||||||
@ -3698,6 +3720,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"organization_id\": \"parent-org-id\",",
|
" \"organization_id\": \"parent-org-id\",",
|
||||||
" \"id\": \"{{uuid:generated_3}}\",",
|
" \"id\": \"{{uuid:generated_3}}\",",
|
||||||
@ -3717,6 +3740,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"first_name\": \"Const\",",
|
" \"first_name\": \"Const\",",
|
||||||
" \"last_name\": \"Person\",",
|
" \"last_name\": \"Person\",",
|
||||||
@ -3738,6 +3762,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"order_id\": \"{{uuid:generated_3}}\",",
|
" \"order_id\": \"{{uuid:generated_3}}\",",
|
||||||
" \"id\": \"{{uuid:generated_4}}\",",
|
" \"id\": \"{{uuid:generated_4}}\",",
|
||||||
@ -3757,6 +3782,7 @@
|
|||||||
],
|
],
|
||||||
[
|
[
|
||||||
"(SELECT pg_notify('entity', '{",
|
"(SELECT pg_notify('entity', '{",
|
||||||
|
" \"kind\": \"create\",",
|
||||||
" \"complete\": {",
|
" \"complete\": {",
|
||||||
" \"organization_id\": \"explicit-org-id\",",
|
" \"organization_id\": \"explicit-org-id\",",
|
||||||
" \"order_id\": \"{{uuid:generated_3}}\",",
|
" \"order_id\": \"{{uuid:generated_3}}\",",
|
||||||
|
|||||||
@ -159,7 +159,9 @@ impl Schema {
|
|||||||
},
|
},
|
||||||
"null" => None,
|
"null" => None,
|
||||||
custom => {
|
custom => {
|
||||||
if db.enums.contains_key(custom) {
|
if custom.ends_with(".condition") || custom.ends_with(".filter") {
|
||||||
|
Some(vec![custom.to_string()])
|
||||||
|
} else if db.enums.contains_key(custom) {
|
||||||
Some(vec![format!("{}.condition", custom)])
|
Some(vec![format!("{}.condition", custom)])
|
||||||
} else {
|
} else {
|
||||||
// Assume anything else is a Relational cross-boundary that already has its own .filter dynamically built
|
// Assume anything else is a Relational cross-boundary that already has its own .filter dynamically built
|
||||||
|
|||||||
@ -85,14 +85,6 @@ impl DatabaseExecutor for MockExecutor {
|
|||||||
Ok("2026-03-10T00:00:00Z".to_string())
|
Ok("2026-03-10T00:00:00Z".to_string())
|
||||||
}
|
}
|
||||||
|
|
||||||
fn auth_origin(&self) -> Result<Option<Value>, String> {
|
|
||||||
Ok(None)
|
|
||||||
}
|
|
||||||
|
|
||||||
fn punc_trigger(&self) -> Result<Option<String>, String> {
|
|
||||||
Ok(None)
|
|
||||||
}
|
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
fn get_queries(&self) -> Vec<String> {
|
fn get_queries(&self) -> Vec<String> {
|
||||||
MOCK_STATE.with(|state| state.borrow().captured_queries.clone())
|
MOCK_STATE.with(|state| state.borrow().captured_queries.clone())
|
||||||
|
|||||||
@ -20,12 +20,6 @@ pub trait DatabaseExecutor: Send + Sync {
|
|||||||
/// Returns the current transaction timestamp
|
/// Returns the current transaction timestamp
|
||||||
fn timestamp(&self) -> Result<String, String>;
|
fn timestamp(&self) -> Result<String, String>;
|
||||||
|
|
||||||
/// Returns the current auth.origin session context if configured
|
|
||||||
fn auth_origin(&self) -> Result<Option<Value>, String>;
|
|
||||||
|
|
||||||
/// Returns the current punc.name session context if configured
|
|
||||||
fn punc_trigger(&self) -> Result<Option<String>, String>;
|
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
fn get_queries(&self) -> Vec<String>;
|
fn get_queries(&self) -> Vec<String>;
|
||||||
|
|
||||||
|
|||||||
@ -150,42 +150,4 @@ impl DatabaseExecutor for SpiExecutor {
|
|||||||
})
|
})
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
fn auth_origin(&self) -> Result<Option<Value>, String> {
|
|
||||||
Spi::connect(|client| {
|
|
||||||
let mut tup_table = client
|
|
||||||
.select(
|
|
||||||
"SELECT NULLIF(current_setting('auth.origin', true), '')::jsonb",
|
|
||||||
None,
|
|
||||||
&[],
|
|
||||||
)
|
|
||||||
.map_err(|e| format!("SPI Select Error: {}", e))?;
|
|
||||||
|
|
||||||
if let Some(row) = tup_table.next() {
|
|
||||||
if let Ok(Some(jsonb)) = row.get::<pgrx::JsonB>(1) {
|
|
||||||
return Ok(Some(jsonb.0));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
Ok(None)
|
|
||||||
})
|
|
||||||
}
|
|
||||||
|
|
||||||
fn punc_trigger(&self) -> Result<Option<String>, String> {
|
|
||||||
Spi::connect(|client| {
|
|
||||||
let mut tup_table = client
|
|
||||||
.select(
|
|
||||||
"SELECT NULLIF(current_setting('punc.name', true), '')",
|
|
||||||
None,
|
|
||||||
&[],
|
|
||||||
)
|
|
||||||
.map_err(|e| format!("SPI Select Error: {}", e))?;
|
|
||||||
|
|
||||||
if let Some(row) = tup_table.next() {
|
|
||||||
if let Ok(val_opt) = row.get::<String>(1) {
|
|
||||||
return Ok(val_opt);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
Ok(None)
|
|
||||||
})
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|||||||
@ -206,15 +206,6 @@ impl Database {
|
|||||||
self.executor.timestamp()
|
self.executor.timestamp()
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Returns the current auth.origin session context if configured
|
|
||||||
pub fn auth_origin(&self) -> Result<Option<Value>, String> {
|
|
||||||
self.executor.auth_origin()
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Returns the current punc.name session context if configured
|
|
||||||
pub fn punc_trigger(&self) -> Result<Option<String>, String> {
|
|
||||||
self.executor.punc_trigger()
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn compile(&mut self, errors: &mut Vec<crate::drop::Error>) {
|
pub fn compile(&mut self, errors: &mut Vec<crate::drop::Error>) {
|
||||||
// Phase 1: Registration
|
// Phase 1: Registration
|
||||||
|
|||||||
@ -138,7 +138,9 @@ impl Merger {
|
|||||||
is_child: bool,
|
is_child: bool,
|
||||||
) -> Result<Value, String> {
|
) -> Result<Value, String> {
|
||||||
match data {
|
match data {
|
||||||
Value::Array(items) => self.merge_array(schema, items, notifications, parent_org_id, is_child),
|
Value::Array(items) => {
|
||||||
|
self.merge_array(schema, items, notifications, parent_org_id, is_child)
|
||||||
|
}
|
||||||
Value::Object(map) => {
|
Value::Object(map) => {
|
||||||
if let Some(options) = schema.obj.compiled_options.get() {
|
if let Some(options) = schema.obj.compiled_options.get() {
|
||||||
if let Some(disc) = schema.obj.compiled_discriminator.get() {
|
if let Some(disc) = schema.obj.compiled_discriminator.get() {
|
||||||
@ -210,7 +212,13 @@ impl Merger {
|
|||||||
|
|
||||||
let mut resolved_items = Vec::new();
|
let mut resolved_items = Vec::new();
|
||||||
for item in items {
|
for item in items {
|
||||||
let resolved = self.merge_internal(item_schema.clone(), item, notifications, parent_org_id.clone(), is_child)?;
|
let resolved = self.merge_internal(
|
||||||
|
item_schema.clone(),
|
||||||
|
item,
|
||||||
|
notifications,
|
||||||
|
parent_org_id.clone(),
|
||||||
|
is_child,
|
||||||
|
)?;
|
||||||
resolved_items.push(resolved);
|
resolved_items.push(resolved);
|
||||||
}
|
}
|
||||||
Ok(Value::Array(resolved_items))
|
Ok(Value::Array(resolved_items))
|
||||||
@ -340,7 +348,10 @@ impl Merger {
|
|||||||
if let Some(relation) = self.db.relations.get(&edge.constraint) {
|
if let Some(relation) = self.db.relations.get(&edge.constraint) {
|
||||||
let parent_is_source = edge.forward;
|
let parent_is_source = edge.forward;
|
||||||
|
|
||||||
let org_id_to_pass = entity_fields.get("organization_id").and_then(|v| v.as_str()).map(|s| s.to_string());
|
let org_id_to_pass = entity_fields
|
||||||
|
.get("organization_id")
|
||||||
|
.and_then(|v| v.as_str())
|
||||||
|
.map(|s| s.to_string());
|
||||||
if parent_is_source {
|
if parent_is_source {
|
||||||
let mut merged_relative = match self.merge_internal(
|
let mut merged_relative = match self.merge_internal(
|
||||||
rel_schema.clone(),
|
rel_schema.clone(),
|
||||||
@ -443,7 +454,10 @@ impl Merger {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
let org_id_to_pass = entity_fields.get("organization_id").and_then(|v| v.as_str()).map(|s| s.to_string());
|
let org_id_to_pass = entity_fields
|
||||||
|
.get("organization_id")
|
||||||
|
.and_then(|v| v.as_str())
|
||||||
|
.map(|s| s.to_string());
|
||||||
let mut relative_responses = Vec::new();
|
let mut relative_responses = Vec::new();
|
||||||
for relative_item_val in relative_arr {
|
for relative_item_val in relative_arr {
|
||||||
if let Value::Object(mut relative_item) = relative_item_val {
|
if let Value::Object(mut relative_item) = relative_item_val {
|
||||||
@ -946,25 +960,8 @@ impl Merger {
|
|||||||
Value::Object(old_vals)
|
Value::Object(old_vals)
|
||||||
};
|
};
|
||||||
|
|
||||||
let origin = match self.db.auth_origin() {
|
|
||||||
Ok(Some(orig)) => orig,
|
|
||||||
_ => serde_json::json!({
|
|
||||||
"kind": "user",
|
|
||||||
"user_id": user_id
|
|
||||||
}),
|
|
||||||
};
|
|
||||||
|
|
||||||
let trigger = match self.db.punc_trigger() {
|
|
||||||
Ok(Some(trig)) => trig,
|
|
||||||
_ => "merge_entity".to_string(),
|
|
||||||
};
|
|
||||||
|
|
||||||
let entity_type_name = type_name.as_str().unwrap_or(&type_obj.name);
|
|
||||||
|
|
||||||
let mut notification = serde_json::Map::new();
|
let mut notification = serde_json::Map::new();
|
||||||
notification.insert("type".to_string(), Value::String(entity_type_name.to_string()));
|
notification.insert("kind".to_string(), Value::String(change_kind.to_string()));
|
||||||
notification.insert("trigger".to_string(), Value::String(trigger));
|
|
||||||
notification.insert("origin".to_string(), origin.clone());
|
|
||||||
notification.insert("complete".to_string(), Value::Object(complete));
|
notification.insert("complete".to_string(), Value::Object(complete));
|
||||||
notification.insert("new".to_string(), new_val_obj.clone());
|
notification.insert("new".to_string(), new_val_obj.clone());
|
||||||
|
|
||||||
@ -979,16 +976,14 @@ impl Merger {
|
|||||||
let mut notify_sql = None;
|
let mut notify_sql = None;
|
||||||
if type_obj.historical && change_kind != "replace" {
|
if type_obj.historical && change_kind != "replace" {
|
||||||
let change_sql = format!(
|
let change_sql = format!(
|
||||||
"INSERT INTO agreego.change (\"old\", \"new\", entity_id, id, kind, modified_at, modified_by, origin, entity_type) VALUES ({}, {}, {}, {}, {}, {}, {}, {}, {})",
|
"INSERT INTO agreego.change (\"old\", \"new\", \"entity_id\", \"id\", \"kind\", \"modified_at\", \"modified_by\") VALUES ({}, {}, {}, {}, {}, {}, {})",
|
||||||
Self::quote_literal(&old_val_obj),
|
Self::quote_literal(&old_val_obj),
|
||||||
Self::quote_literal(&new_val_obj),
|
Self::quote_literal(&new_val_obj),
|
||||||
Self::quote_literal(id_str),
|
Self::quote_literal(id_str),
|
||||||
Self::quote_literal(&Value::String(uuid::Uuid::new_v4().to_string())),
|
Self::quote_literal(&Value::String(uuid::Uuid::new_v4().to_string())),
|
||||||
Self::quote_literal(&Value::String(change_kind.to_string())),
|
Self::quote_literal(&Value::String(change_kind.to_string())),
|
||||||
Self::quote_literal(&Value::String(timestamp.to_string())),
|
Self::quote_literal(&Value::String(timestamp.to_string())),
|
||||||
Self::quote_literal(&Value::String(user_id.to_string())),
|
Self::quote_literal(&Value::String(user_id.to_string()))
|
||||||
Self::quote_literal(&origin),
|
|
||||||
Self::quote_literal(&Value::String(entity_type_name.to_string()))
|
|
||||||
);
|
);
|
||||||
|
|
||||||
self.db.execute(&change_sql, None)?;
|
self.db.execute(&change_sql, None)?;
|
||||||
|
|||||||
@ -96,8 +96,10 @@ impl Case {
|
|||||||
let queries = db.executor.get_queries();
|
let queries = db.executor.get_queries();
|
||||||
if std::env::var("UPDATE_EXPECT").is_ok() {
|
if std::env::var("UPDATE_EXPECT").is_ok() {
|
||||||
crate::tests::runner::update_sql_fixture(path, suite_idx, case_idx, &queries);
|
crate::tests::runner::update_sql_fixture(path, suite_idx, case_idx, &queries);
|
||||||
|
Ok(())
|
||||||
|
} else {
|
||||||
|
expect.assert_sql(&queries)
|
||||||
}
|
}
|
||||||
expect.assert_sql(&queries)
|
|
||||||
} else {
|
} else {
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
@ -128,8 +130,10 @@ impl Case {
|
|||||||
let queries = db.executor.get_queries();
|
let queries = db.executor.get_queries();
|
||||||
if std::env::var("UPDATE_EXPECT").is_ok() {
|
if std::env::var("UPDATE_EXPECT").is_ok() {
|
||||||
crate::tests::runner::update_sql_fixture(path, suite_idx, case_idx, &queries);
|
crate::tests::runner::update_sql_fixture(path, suite_idx, case_idx, &queries);
|
||||||
|
Ok(())
|
||||||
|
} else {
|
||||||
|
expect.assert_sql(&queries)
|
||||||
}
|
}
|
||||||
expect.assert_sql(&queries)
|
|
||||||
} else {
|
} else {
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|||||||
@ -1,4 +1,3 @@
|
|||||||
pub mod pattern;
|
|
||||||
pub mod sql;
|
pub mod sql;
|
||||||
pub mod drop;
|
pub mod drop;
|
||||||
pub mod schema;
|
pub mod schema;
|
||||||
|
|||||||
@ -1,132 +0,0 @@
|
|||||||
use super::Expect;
|
|
||||||
use regex::Regex;
|
|
||||||
use std::collections::HashMap;
|
|
||||||
|
|
||||||
impl Expect {
|
|
||||||
/// Advanced SQL execution assertion algorithm ported from `assert.go`.
|
|
||||||
/// This compares two arrays of strings, one containing {{uuid:name}} or {{timestamp}} placeholders,
|
|
||||||
/// and the other containing actual executed database queries. It ensures that placeholder UUIDs
|
|
||||||
/// are consistently mapped to the same actual UUIDs across all lines, and strictly validates line-by-line sequences.
|
|
||||||
pub fn assert_pattern(&self, actual: &[String]) -> Result<(), String> {
|
|
||||||
let patterns = match &self.sql {
|
|
||||||
Some(s) => s,
|
|
||||||
None => return Ok(()),
|
|
||||||
};
|
|
||||||
|
|
||||||
if patterns.len() != actual.len() {
|
|
||||||
return Err(format!(
|
|
||||||
"Length mismatch: expected {} SQL executions, got {}.\nActual Execution Log:\n{}",
|
|
||||||
patterns.len(),
|
|
||||||
actual.len(),
|
|
||||||
actual.join("\n")
|
|
||||||
));
|
|
||||||
}
|
|
||||||
|
|
||||||
let ws_re = Regex::new(r"\s+").unwrap();
|
|
||||||
|
|
||||||
let types = HashMap::from([
|
|
||||||
(
|
|
||||||
"uuid",
|
|
||||||
r"[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}",
|
|
||||||
),
|
|
||||||
(
|
|
||||||
"timestamp",
|
|
||||||
r"\d{4}-\d{2}-\d{2}(?:[ T])\d{2}:\d{2}:\d{2}(?:\.\d{1,6})?(?:Z|\+\d{2}(?::\d{2})?)?",
|
|
||||||
),
|
|
||||||
("integer", r"-?\d+"),
|
|
||||||
("float", r"-?\d+\.\d+"),
|
|
||||||
("text", r"(?:''|[^'])*"),
|
|
||||||
("json", r"(?:''|[^'])*"),
|
|
||||||
]);
|
|
||||||
|
|
||||||
let mut seen: HashMap<String, String> = HashMap::new();
|
|
||||||
let system_uuid = "00000000-0000-0000-0000-000000000000";
|
|
||||||
|
|
||||||
// Placeholder regex: {{type:name}} or {{type}}
|
|
||||||
let ph_rx = Regex::new(r"\{\{([a-z]+)(?:[:]([^}]+))?\}\}").unwrap();
|
|
||||||
|
|
||||||
let clean_str = |s: &str| -> String {
|
|
||||||
let mut s = ws_re.replace_all(s, " ").into_owned();
|
|
||||||
for token in ["(", ")", ",", "{", "}", "\"", "=", "'"] {
|
|
||||||
s = s.replace(&format!(" {}", token), token);
|
|
||||||
s = s.replace(&format!("{} ", token), token);
|
|
||||||
}
|
|
||||||
s.trim().to_string()
|
|
||||||
};
|
|
||||||
|
|
||||||
for (i, pattern_expect) in patterns.iter().enumerate() {
|
|
||||||
let aline_raw = &actual[i];
|
|
||||||
let aline = clean_str(aline_raw);
|
|
||||||
|
|
||||||
let pattern_str_raw = match pattern_expect {
|
|
||||||
super::SqlExpectation::Single(s) => s.clone(),
|
|
||||||
super::SqlExpectation::Multi(m) => m.join(" "),
|
|
||||||
};
|
|
||||||
|
|
||||||
let pattern_str = clean_str(&pattern_str_raw);
|
|
||||||
|
|
||||||
let mut pp = regex::escape(&pattern_str);
|
|
||||||
pp = pp.replace(r"\{\{", "{{").replace(r"\}\}", "}}");
|
|
||||||
|
|
||||||
let mut cap_names = HashMap::new(); // cg_X -> var_name
|
|
||||||
let mut group_idx = 0;
|
|
||||||
|
|
||||||
let mut final_rx_str = String::new();
|
|
||||||
let mut last_match = 0;
|
|
||||||
|
|
||||||
let pp_clone = pp.clone();
|
|
||||||
for caps in ph_rx.captures_iter(&pp_clone) {
|
|
||||||
let full_match = caps.get(0).unwrap();
|
|
||||||
final_rx_str.push_str(&pp[last_match..full_match.start()]);
|
|
||||||
|
|
||||||
let type_name = caps.get(1).unwrap().as_str();
|
|
||||||
let var_name = caps.get(2).map(|m| m.as_str());
|
|
||||||
|
|
||||||
if let Some(name) = var_name {
|
|
||||||
if let Some(val) = seen.get(name) {
|
|
||||||
final_rx_str.push_str(®ex::escape(val));
|
|
||||||
} else {
|
|
||||||
let type_pattern = types.get(type_name).unwrap_or(&".*?");
|
|
||||||
let cg_name = format!("cg_{}", group_idx);
|
|
||||||
final_rx_str.push_str(&format!("(?P<{}>{})", cg_name, type_pattern));
|
|
||||||
cap_names.insert(cg_name, name.to_string());
|
|
||||||
group_idx += 1;
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
let type_pattern = types.get(type_name).unwrap_or(&".*?");
|
|
||||||
final_rx_str.push_str(&format!("(?:{})", type_pattern));
|
|
||||||
}
|
|
||||||
|
|
||||||
last_match = full_match.end();
|
|
||||||
}
|
|
||||||
final_rx_str.push_str(&pp[last_match..]);
|
|
||||||
|
|
||||||
let final_rx = match Regex::new(&format!("^{}$", final_rx_str)) {
|
|
||||||
Ok(r) => r,
|
|
||||||
Err(e) => return Err(format!("Bad constructed regex: {} -> {}", final_rx_str, e)),
|
|
||||||
};
|
|
||||||
|
|
||||||
if let Some(captures) = final_rx.captures(&aline) {
|
|
||||||
for (cg_name, var_name) in cap_names {
|
|
||||||
if let Some(m) = captures.name(&cg_name) {
|
|
||||||
let matched_str = m.as_str();
|
|
||||||
if matched_str != system_uuid {
|
|
||||||
seen.insert(var_name, matched_str.to_string());
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
return Err(format!(
|
|
||||||
"Line mismatched at execution sequence {}.\nExpected Pattern: {}\nActual SQL: {}\nRegex used: {}\nVariables Mapped: {:?}",
|
|
||||||
i + 1,
|
|
||||||
pattern_str,
|
|
||||||
aline,
|
|
||||||
final_rx_str,
|
|
||||||
seen
|
|
||||||
));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
}
|
|
||||||
@ -1,8 +1,9 @@
|
|||||||
use super::Expect;
|
use super::Expect;
|
||||||
|
use regex::Regex;
|
||||||
use sqlparser::ast::{Expr, Query, SelectItem, Statement, TableFactor};
|
use sqlparser::ast::{Expr, Query, SelectItem, Statement, TableFactor};
|
||||||
use sqlparser::dialect::PostgreSqlDialect;
|
use sqlparser::dialect::PostgreSqlDialect;
|
||||||
use sqlparser::parser::Parser;
|
use sqlparser::parser::Parser;
|
||||||
use std::collections::HashSet;
|
use std::collections::{HashMap, HashSet};
|
||||||
|
|
||||||
impl Expect {
|
impl Expect {
|
||||||
pub fn assert_sql(&self, actual: &[String]) -> Result<(), String> {
|
pub fn assert_sql(&self, actual: &[String]) -> Result<(), String> {
|
||||||
@ -11,6 +12,7 @@ impl Expect {
|
|||||||
return Err(e);
|
return Err(e);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
self.assert_pattern(actual)?;
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -203,4 +205,132 @@ impl Expect {
|
|||||||
}
|
}
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Advanced SQL execution assertion algorithm ported from `assert.go`.
|
||||||
|
/// This compares two arrays of strings, one containing {{uuid:name}} or {{timestamp}} placeholders,
|
||||||
|
/// and the other containing actual executed database queries. It ensures that placeholder UUIDs
|
||||||
|
/// are consistently mapped to the same actual UUIDs across all lines, and strictly validates line-by-line sequences.
|
||||||
|
pub fn assert_pattern(&self, actual: &[String]) -> Result<(), String> {
|
||||||
|
let patterns = match &self.sql {
|
||||||
|
Some(s) => s,
|
||||||
|
None => return Ok(()),
|
||||||
|
};
|
||||||
|
|
||||||
|
if patterns.len() != actual.len() {
|
||||||
|
return Err(format!(
|
||||||
|
"Length mismatch: expected {} SQL executions, got {}.\nActual Execution Log:\n{}",
|
||||||
|
patterns.len(),
|
||||||
|
actual.len(),
|
||||||
|
actual.join("\n")
|
||||||
|
));
|
||||||
|
}
|
||||||
|
|
||||||
|
let ws_re = Regex::new(r"\s+").unwrap();
|
||||||
|
|
||||||
|
let types = HashMap::from([
|
||||||
|
(
|
||||||
|
"uuid",
|
||||||
|
r"[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}",
|
||||||
|
),
|
||||||
|
(
|
||||||
|
"timestamp",
|
||||||
|
r"\d{4}-\d{2}-\d{2}(?:[ T])\d{2}:\d{2}:\d{2}(?:\.\d{1,6})?(?:Z|\+\d{2}(?::\d{2})?)?",
|
||||||
|
),
|
||||||
|
("integer", r"-?\d+"),
|
||||||
|
("float", r"-?\d+\.\d+"),
|
||||||
|
("text", r"(?:''|[^'])*"),
|
||||||
|
("json", r"(?:''|[^'])*"),
|
||||||
|
]);
|
||||||
|
|
||||||
|
let mut seen: HashMap<String, String> = HashMap::new();
|
||||||
|
let system_uuid = "00000000-0000-0000-0000-000000000000";
|
||||||
|
|
||||||
|
// Placeholder regex: {{type:name}} or {{type}}
|
||||||
|
let ph_rx = Regex::new(r"\{\{([a-z]+)(?:[:]([^}]+))?\}\}").unwrap();
|
||||||
|
|
||||||
|
let clean_str = |s: &str| -> String {
|
||||||
|
let mut s = ws_re.replace_all(s, " ").into_owned();
|
||||||
|
for token in ["(", ")", ",", "{", "}", "\"", "=", "'"] {
|
||||||
|
s = s.replace(&format!(" {}", token), token);
|
||||||
|
s = s.replace(&format!("{} ", token), token);
|
||||||
|
}
|
||||||
|
s.trim().to_string()
|
||||||
|
};
|
||||||
|
|
||||||
|
for (i, pattern_expect) in patterns.iter().enumerate() {
|
||||||
|
let aline_raw = &actual[i];
|
||||||
|
let formatted_actual = crate::tests::formatter::SqlFormatter::format(aline_raw).join(" ");
|
||||||
|
let aline = clean_str(&formatted_actual);
|
||||||
|
|
||||||
|
let pattern_str_raw = match pattern_expect {
|
||||||
|
super::SqlExpectation::Single(s) => s.clone(),
|
||||||
|
super::SqlExpectation::Multi(m) => m.join(" "),
|
||||||
|
};
|
||||||
|
|
||||||
|
let pattern_str = clean_str(&pattern_str_raw);
|
||||||
|
|
||||||
|
let mut pp = regex::escape(&pattern_str);
|
||||||
|
pp = pp.replace(r"\{\{", "{{").replace(r"\}\}", "}}");
|
||||||
|
|
||||||
|
let mut cap_names = HashMap::new(); // cg_X -> var_name
|
||||||
|
let mut group_idx = 0;
|
||||||
|
|
||||||
|
let mut final_rx_str = String::new();
|
||||||
|
let mut last_match = 0;
|
||||||
|
|
||||||
|
let pp_clone = pp.clone();
|
||||||
|
for caps in ph_rx.captures_iter(&pp_clone) {
|
||||||
|
let full_match = caps.get(0).unwrap();
|
||||||
|
final_rx_str.push_str(&pp[last_match..full_match.start()]);
|
||||||
|
|
||||||
|
let type_name = caps.get(1).unwrap().as_str();
|
||||||
|
let var_name = caps.get(2).map(|m| m.as_str());
|
||||||
|
|
||||||
|
if let Some(name) = var_name {
|
||||||
|
if let Some(val) = seen.get(name) {
|
||||||
|
final_rx_str.push_str(®ex::escape(val));
|
||||||
|
} else {
|
||||||
|
let type_pattern = types.get(type_name).unwrap_or(&".*?");
|
||||||
|
let cg_name = format!("cg_{}", group_idx);
|
||||||
|
final_rx_str.push_str(&format!("(?P<{}>{})", cg_name, type_pattern));
|
||||||
|
cap_names.insert(cg_name, name.to_string());
|
||||||
|
group_idx += 1;
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
let type_pattern = types.get(type_name).unwrap_or(&".*?");
|
||||||
|
final_rx_str.push_str(&format!("(?:{})", type_pattern));
|
||||||
|
}
|
||||||
|
|
||||||
|
last_match = full_match.end();
|
||||||
|
}
|
||||||
|
final_rx_str.push_str(&pp[last_match..]);
|
||||||
|
|
||||||
|
let final_rx = match Regex::new(&format!("^{}$", final_rx_str)) {
|
||||||
|
Ok(r) => r,
|
||||||
|
Err(e) => return Err(format!("Bad constructed regex: {} -> {}", final_rx_str, e)),
|
||||||
|
};
|
||||||
|
|
||||||
|
if let Some(captures) = final_rx.captures(&aline) {
|
||||||
|
for (cg_name, var_name) in cap_names {
|
||||||
|
if let Some(m) = captures.name(&cg_name) {
|
||||||
|
let matched_str = m.as_str();
|
||||||
|
if matched_str != system_uuid {
|
||||||
|
seen.insert(var_name, matched_str.to_string());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
return Err(format!(
|
||||||
|
"Line mismatched at execution sequence {}.\nExpected Pattern: {}\nActual SQL: {}\nRegex used: {}\nVariables Mapped: {:?}",
|
||||||
|
i + 1,
|
||||||
|
pattern_str,
|
||||||
|
aline,
|
||||||
|
final_rx_str,
|
||||||
|
seen
|
||||||
|
));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user