View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
000531710000-003: Address SpaceSpecpublic2019-11-25 16:272020-08-18 16:07
ReporterWolfgang Mahnke Assigned ToJeff Harding  
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Summary0005317: Clarify that Interfaces shall not be used as InstanceDeclarations
Description

We define the BaseInterfaceType as abstract and state that all subtypes shall be abstract, because there shall be no instances of an Interface, but Interfaces only get implemented (using the HasInterface ReferenceType).
However, it is allowed to use abstract Types for InstanceDeclarations, only the concrete instances shall be concrete. Therefore, somebody couldcreate a type using an Interface as InstanceDeclaration. That type could never be instanciated. We should claratify in the spec that this is not allowed.

TagsNo tags attached.
Commit Version
Fix Due Date

Activities

Jeff Harding

2020-05-13 18:54

developer   ~0012055

Added an additional rule for applying interfaces to section 4.9.2

Jim Luth

2020-08-18 16:07

administrator   ~0012690

The final text agreed in the telecon:

"A BaseInterfaceType or any subtype of BaseInterfaceType shall not be the Target of a HasDefinitionType."

Jim Luth

2020-08-18 16:07

administrator   ~0012691

Agreed to revised text in telecon.

Issue History

Date Modified Username Field Change
2019-11-25 16:27 Wolfgang Mahnke New Issue
2019-11-26 16:17 Jim Luth Assigned To => Jeff Harding
2019-11-26 16:17 Jim Luth Status new => assigned
2020-05-13 18:54 Jeff Harding Status assigned => resolved
2020-05-13 18:54 Jeff Harding Resolution open => fixed
2020-05-13 18:54 Jeff Harding Fixed in Version => 1.05
2020-05-13 18:54 Jeff Harding Note Added: 0012055
2020-08-18 16:07 Jim Luth Note Added: 0012690
2020-08-18 16:07 Jim Luth Status resolved => closed
2020-08-18 16:07 Jim Luth Note Added: 0012691