Migrate all OT hierarchy tests to the new OT/J based implementation.
Changes in test cases:
- OTSuperTypeHierarchyTest013 has a clash of incompatible "extends", don't
expect all these types to be reported as superclasses
- OTSuperTypeHierarchyTest011: fix handle for nested phantom role & test it
- OTSuperTypeHierarchyTest009: expect new behavior of getSuperclass
- OTSuperTypeHierarchyTest008: new tests for type below the focus type
- OTSuperTypeHierarchyTest007: bugfix.
- OTSuperTypeHierarchyTest001: new test for linearization through repeated calls
to getSuperclass()
- OTSubTypeHierarchyTest017: several bugfixes
- type not a subtype of query type
- type is indirect subtype
additional tests (phantomMode)
- OTSubTypeHierarchyTest011: bugfix: type is indirect subtype
- OTSubTypeHierarchyTest010: bugfix: type is indirect subtype
- OTSubTypeHierarchyTest006: bugfix: type is indirect subtype (pict. is wrong)
- OTSubTypeHierarchyTest004: bugfix: type is indirect subtype
- OTSubTypeHierarchyTest001: many bugfixes:
- type is indirect sub via phantom type
- type is not a subtype of query type
- type is indirect subtype
additional test for phantom mode
- CompleteRoleHierarchyWithClasses: several bugfixes:
- type is not reachable from focusRole
new tests: use more specific focus type
31 files changed