We're updating the issue view to help you get more done.Learn more

c_conforms_to() should have lambda parameter for model checking.

c_conforms_to() has a lambda parameter for reference model checking in the ADL WB and Archie implementations, and it should be shown in the spec but is not.

Status

Assignee

Thomas Beale

Reporter

Thomas Beale

Raised By

Pieter Bos

Impact Analysis

None; just updates documentation.

Analyst

Thomas Beale

Change Description

Add rmcc:FUNCTION<<String, String>,Boolean> parameter to c_conforms_to() function where it is defined in the UML model.

Time estimate

4h

Components

Fix versions

Affects versions

ADL 2.0

Due date

2018/01/31

Priority

Minor