Enhancement
Type instance and sub-super relationship
Issue description
The type-instance relationship has a special relation to the sub-super relationship. Subtypes are instances of the same type as the their supertypes.
E.g. in the TMCL schema.ctm constraint is a topic type. Abstract constraint is a kind of constraint. It follows that abstract constraint is a topic type, altough their is no explicit statement mentioning this.
Developer comments
Generally i can think of two ways to implement this:
* Make the conclusion an explicit type-instance statement
* Avoid the explicit statement, but make it look like the statement holds in the application code
I chose to avoid to persist the conclusion and generally did tie all loose ends. I did make the type member of TopicProxy respect the rule and creates a method TypeInstance::get_instances which does also respect the rule.
It turns out that this was a logical error in the schema.ctm of the draft dated 2009-10-29.
|
Work sessions2
Start |
2010-01-28T22:48:30
|
End |
2010-01-29T00:07:33
|
Participant |
Robert Cerny
|
Summary |
Moderate PHP coding. Not totally happy with the solution, but it does it for now.
|
Start |
2010-01-29T07:25:44
|
End |
2010-01-29T12:05:21
|
Participant |
Robert Cerny
|
Summary |
Correction of last sessions errors in misunderstanding the issue. Type instance statements for constraint types are missing in schema.ctm.
|
|
We are sorry
This page cannot be displayed in your browser. Use Firefox, Opera, Safari, or Chrome instead.