Skip to content

Wrong validation of connection instances when connection end classifiers are prototypes #2915

@lwrage

Description

@lwrage

Summary
When a classifier at a connection end is a prototype, the connection instance is incorrectly marked with an incorrect warning about features having the wrong classifier, even though the classifier is, in fact, the expected one.

Steps To Reproduce

  1. Instantiate S.i in the model shown below
  2. Open the instance model and see nonsensical warning on the connection instances in S_i_Instance.
package Issue2915
public

	system S	
	end S;
	
	system implementation S.i
		subcomponents
			d: data D.i;
			a: system A (dp => data D.i);
		connections
			da: data access d <-> a.da;
	end S.i;
	
	data D
	end D;
	
	data implementation D.i
	end D.i;
	
	system A
		prototypes
			dp: data D;
		features
			da: requires data access dp;
	end A;
end Issue2915;

Desktop (please complete the following information):

  • OSATE Version: 2.14
  • Operating System: macos

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions