Codegen: define and propagate synth property flag

This commit is contained in:
Paolo Tranquilli
2023-05-23 15:28:53 +02:00
parent 242d263e8a
commit 165ac3eeaa
3 changed files with 16 additions and 1 deletions

View File

@@ -111,7 +111,7 @@ def get_ql_property(cls: schema.Class, prop: schema.Property, prev_child: str =
is_predicate=prop.is_predicate,
is_unordered=prop.is_unordered,
description=prop.description,
synth=bool(cls.ipa),
synth=bool(cls.ipa) or prop.synth,
)
if prop.is_single:
args.update(