diff options
author | 2023-11-06 00:38:12 +0100 | |
---|---|---|
committer | 2023-11-17 12:41:34 +0100 | |
commit | 2e0bceb2f25989713f1baf6311d3787c3003d794 (patch) | |
tree | bf4ba62516d4328ac82e5eecb5853e2c3ee244af /subprojects/frontend | |
parent | feat(language-ide): content assist filtering (diff) | |
download | refinery-2e0bceb2f25989713f1baf6311d3787c3003d794.tar.gz refinery-2e0bceb2f25989713f1baf6311d3787c3003d794.tar.zst refinery-2e0bceb2f25989713f1baf6311d3787c3003d794.zip |
feat: predicates as reference types
Now unary predicates may be used as types for cross-references.
This might create circular references between predicate, but no differently than
when the user manually creates predicates with circular references.
The reference types of containment and container references still have to be
classes, because we use the class hierarchy to encode contained types.
Diffstat (limited to 'subprojects/frontend')
0 files changed, 0 insertions, 0 deletions