519512 – Check if runs on clause check can be standard compliant

Bug 519512 - Check if runs on clause check can be standard compliant

Summary: Check if runs on clause check can be standard compliant

Status:	NEW

Alias:	None

Product:	z_Archived
Classification:	Eclipse Foundation
Component:	titan.core (show other bugs)
Version:	unspecified
Hardware:	PC Windows 7

Importance:	P3 enhancement (vote)
Target Milestone:	---
Assignee:	Project Inbox
QA Contact:

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2017-07-11 11:27 EDT by Bence Janos Szabo
Modified:	2021-04-23 09:53 EDT (History)
CC List:	1 user (show)

See Also:

Attachments
The diff of what I implemented (16.89 KB, patch) 2017-12-06 06:35 EST, Bence Janos Szabo	no flags	Details \| Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Bence Janos Szabo

2017-07-11 11:27:23 EDT

Comment 1 Bence Janos Szabo

2017-12-06 06:35:54 EST

Created attachment 271796 [details]
The diff of what I implemented

Comment 2 Bence Janos Szabo

2017-12-06 06:36:02 EST

The standard says that two components are runs-on compatible:
a function or altstep referring to component type "A" in its runs on clause may be called or started on a component instance of type 'B' if all the definitions of "A" have identical definitions in
"B". 

The implementation has started (I attached the diff) but the equality operator of the template class is not complete (maybe not worth the effort).

If the equality operator of the template class is implemented then this bug can be closed.

Comment 3 Kristof Szabados

2020-06-09 11:06:41 EDT

This is actually a new feature request.

Comment 4 Denis Roy

2021-04-23 09:53:34 EDT

This bug was migrated to GitLab: https://gitlab.eclipse.org/eclipse/titan/titan.core/-/issues