Satya
03a871bc1a
Supersedes the inline-structural approach (0d282cc): inlining erased the value
type's name, so identical nested shapes (weekly_hours at two paths) generated
duplicate leaf types downstream and Dart barrel exports collided. Now a named
non-table value type's filter is synthesized ONCE (like table-backed boundaries)
and property references point at it — mirroring how the entity side generates
one class per named type. Same filter-by-fields capability; laziness also
removes the structural-recursion hazard. A named type with no compilable
structure still gets no filter and is omitted rather than dangled.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
586 lines
15 KiB
JSON
586 lines
15 KiB
JSON
[
|
|
{
|
|
"description": "Filter Synthesis Object-Oriented Composition",
|
|
"database": {
|
|
"puncs": [],
|
|
"enums": [
|
|
{
|
|
"id": "enum1",
|
|
"name": "gender",
|
|
"module": "core",
|
|
"source": "gender",
|
|
"schemas": {
|
|
"gender": {
|
|
"type": "string",
|
|
"enum": [
|
|
"male",
|
|
"female",
|
|
"other"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
],
|
|
"relations": [
|
|
{
|
|
"id": "rel1",
|
|
"type": "relation",
|
|
"constraint": "fk_person_billing_address",
|
|
"source_type": "person",
|
|
"source_columns": [
|
|
"billing_address_id"
|
|
],
|
|
"destination_type": "address",
|
|
"destination_columns": [
|
|
"id"
|
|
],
|
|
"prefix": "billing_address"
|
|
}
|
|
],
|
|
"types": [
|
|
{
|
|
"id": "type1",
|
|
"type": "type",
|
|
"name": "person",
|
|
"module": "core",
|
|
"source": "person",
|
|
"hierarchy": [
|
|
"person"
|
|
],
|
|
"variations": [
|
|
"person"
|
|
],
|
|
"schemas": {
|
|
"person": {
|
|
"type": "object",
|
|
"properties": {
|
|
"first_name": {
|
|
"type": "string"
|
|
},
|
|
"age": {
|
|
"type": "integer"
|
|
},
|
|
"billing_address": {
|
|
"type": "address"
|
|
},
|
|
"gender": {
|
|
"type": "gender"
|
|
},
|
|
"birth_date": {
|
|
"type": "string",
|
|
"format": "date-time"
|
|
},
|
|
"uuid_field": {
|
|
"type": "string",
|
|
"format": "uuid"
|
|
},
|
|
"tags": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"ad_hoc": {
|
|
"type": "object",
|
|
"properties": {
|
|
"foo": {
|
|
"type": "string"
|
|
}
|
|
}
|
|
},
|
|
"schedule": {
|
|
"type": [
|
|
"opening_hours",
|
|
"null"
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"season": {
|
|
"type": "object",
|
|
"properties": {
|
|
"label": {
|
|
"type": "string"
|
|
}
|
|
}
|
|
},
|
|
"opening_hours": {
|
|
"type": "object",
|
|
"properties": {
|
|
"open": {
|
|
"type": "string"
|
|
},
|
|
"seasons": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "season"
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"id": "type2",
|
|
"type": "type",
|
|
"name": "address",
|
|
"module": "core",
|
|
"source": "address",
|
|
"hierarchy": [
|
|
"address"
|
|
],
|
|
"variations": [
|
|
"address"
|
|
],
|
|
"schemas": {
|
|
"address": {
|
|
"type": "object",
|
|
"properties": {
|
|
"city": {
|
|
"type": "string"
|
|
}
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"id": "type3",
|
|
"type": "type",
|
|
"name": "search",
|
|
"module": "core",
|
|
"source": "search",
|
|
"hierarchy": [
|
|
"search"
|
|
],
|
|
"variations": [
|
|
"search"
|
|
],
|
|
"schemas": {
|
|
"search": {
|
|
"type": "object",
|
|
"properties": {
|
|
"kind": {
|
|
"type": "string"
|
|
},
|
|
"name": {
|
|
"type": "string"
|
|
},
|
|
"filter": {
|
|
"type": "$kind.filter"
|
|
}
|
|
}
|
|
},
|
|
"filter": {
|
|
"type": "object"
|
|
},
|
|
"condition": {
|
|
"type": "object",
|
|
"properties": {
|
|
"kind": {
|
|
"type": "string"
|
|
}
|
|
}
|
|
},
|
|
"string.condition": {
|
|
"type": "condition",
|
|
"properties": {
|
|
"$eq": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"integer.condition": {
|
|
"type": "condition",
|
|
"properties": {
|
|
"$eq": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"date.condition": {
|
|
"type": "condition",
|
|
"properties": {
|
|
"$eq": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"uuid.condition": {
|
|
"type": "condition",
|
|
"properties": {
|
|
"$eq": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"tests": [
|
|
{
|
|
"description": "Assert filter generation map accurately represents strongly typed conditions natively.",
|
|
"action": "compile",
|
|
"expect": {
|
|
"success": true,
|
|
"schemas": {
|
|
"gender": {},
|
|
"gender.condition": {
|
|
"type": "condition",
|
|
"compiledPropertyNames": [
|
|
"kind",
|
|
"$eq",
|
|
"$ne",
|
|
"$of",
|
|
"$nof"
|
|
],
|
|
"properties": {
|
|
"$eq": {
|
|
"type": [
|
|
"gender",
|
|
"null"
|
|
]
|
|
},
|
|
"$ne": {
|
|
"type": [
|
|
"gender",
|
|
"null"
|
|
]
|
|
},
|
|
"$nof": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"type": "gender"
|
|
}
|
|
},
|
|
"$of": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"type": "gender"
|
|
}
|
|
}
|
|
}
|
|
},
|
|
"person": {},
|
|
"person.filter": {
|
|
"compiledPropertyNames": [
|
|
"first_name",
|
|
"age",
|
|
"billing_address",
|
|
"gender",
|
|
"birth_date",
|
|
"uuid_field",
|
|
"tags",
|
|
"ad_hoc",
|
|
"schedule",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"properties": {
|
|
"$and": {
|
|
"items": {
|
|
"compiledPropertyNames": [
|
|
"first_name",
|
|
"age",
|
|
"billing_address",
|
|
"gender",
|
|
"birth_date",
|
|
"uuid_field",
|
|
"tags",
|
|
"ad_hoc",
|
|
"schedule",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"type": "person.filter"
|
|
},
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
]
|
|
},
|
|
"$or": {
|
|
"items": {
|
|
"compiledPropertyNames": [
|
|
"first_name",
|
|
"age",
|
|
"billing_address",
|
|
"gender",
|
|
"birth_date",
|
|
"uuid_field",
|
|
"tags",
|
|
"ad_hoc",
|
|
"schedule",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"type": "person.filter"
|
|
},
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
]
|
|
},
|
|
"ad_hoc": {
|
|
"compiledPropertyNames": [
|
|
"foo"
|
|
],
|
|
"properties": {
|
|
"foo": {
|
|
"type": [
|
|
"string.condition",
|
|
"null"
|
|
]
|
|
}
|
|
},
|
|
"type": [
|
|
"filter",
|
|
"null"
|
|
]
|
|
},
|
|
"age": {
|
|
"type": [
|
|
"integer.condition",
|
|
"null"
|
|
]
|
|
},
|
|
"billing_address": {
|
|
"type": [
|
|
"address.filter",
|
|
"null"
|
|
]
|
|
},
|
|
"birth_date": {
|
|
"type": [
|
|
"date.condition",
|
|
"null"
|
|
]
|
|
},
|
|
"uuid_field": {
|
|
"type": [
|
|
"uuid.condition",
|
|
"null"
|
|
]
|
|
},
|
|
"first_name": {
|
|
"type": [
|
|
"string.condition",
|
|
"null"
|
|
]
|
|
},
|
|
"gender": {
|
|
"type": [
|
|
"gender.condition",
|
|
"null"
|
|
]
|
|
},
|
|
"tags": {
|
|
"type": [
|
|
"string.condition",
|
|
"null"
|
|
]
|
|
},
|
|
"schedule": {
|
|
"type": [
|
|
"opening_hours.filter",
|
|
"null"
|
|
]
|
|
}
|
|
},
|
|
"type": "filter"
|
|
},
|
|
"address": {},
|
|
"address.filter": {
|
|
"type": "filter",
|
|
"compiledPropertyNames": [
|
|
"city",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"properties": {
|
|
"$and": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"compiledPropertyNames": [
|
|
"city",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"type": "address.filter"
|
|
}
|
|
},
|
|
"$or": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"compiledPropertyNames": [
|
|
"city",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"type": "address.filter"
|
|
}
|
|
},
|
|
"city": {
|
|
"type": [
|
|
"string.condition",
|
|
"null"
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"condition": {},
|
|
"filter": {},
|
|
"string.condition": {},
|
|
"integer.condition": {},
|
|
"date.condition": {},
|
|
"uuid.condition": {},
|
|
"search": {},
|
|
"search.filter": {
|
|
"type": "filter",
|
|
"compiledPropertyNames": [
|
|
"kind",
|
|
"name",
|
|
"filter",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"properties": {
|
|
"$and": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"compiledPropertyNames": [
|
|
"kind",
|
|
"name",
|
|
"filter",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"type": "search.filter"
|
|
}
|
|
},
|
|
"$or": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"compiledPropertyNames": [
|
|
"kind",
|
|
"name",
|
|
"filter",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"type": "search.filter"
|
|
}
|
|
},
|
|
"filter": {
|
|
"type": [
|
|
"$kind.filter",
|
|
"null"
|
|
]
|
|
},
|
|
"kind": {
|
|
"type": [
|
|
"string.condition",
|
|
"null"
|
|
]
|
|
},
|
|
"name": {
|
|
"type": [
|
|
"string.condition",
|
|
"null"
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"opening_hours": {},
|
|
"season": {},
|
|
"opening_hours.filter": {
|
|
"type": "filter",
|
|
"compiledPropertyNames": [
|
|
"open",
|
|
"seasons",
|
|
"$and",
|
|
"$or"
|
|
],
|
|
"properties": {
|
|
"open": {
|
|
"type": [
|
|
"string.condition",
|
|
"null"
|
|
]
|
|
},
|
|
"seasons": {
|
|
"type": [
|
|
"season.filter",
|
|
"null"
|
|
]
|
|
},
|
|
"$and": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"type": "opening_hours.filter",
|
|
"compiledPropertyNames": [
|
|
"open",
|
|
"seasons",
|
|
"$and",
|
|
"$or"
|
|
]
|
|
}
|
|
},
|
|
"$or": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"type": "opening_hours.filter",
|
|
"compiledPropertyNames": [
|
|
"open",
|
|
"seasons",
|
|
"$and",
|
|
"$or"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
},
|
|
"season.filter": {}
|
|
}
|
|
}
|
|
}
|
|
]
|
|
}
|
|
]
|