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

Improve c_conforms_to() and c_congruent_to() algorithms.

The current algorithms for the C_PRIMITIVE_OBJECT types are not systematically defined and can be expressed more clearly, by separating the type+occurrences part from the value constraint part.

Status

Assignee

Thomas Beale

Reporter

Thomas Beale

Raised By

Thomas Beale

Impact Analysis

Some impact on AOM2 implementations to adjust C_PRIMITIVE_OBJECT descendant classes.

Analyst

Thomas Beale

Change Description

Added the following methods to C_PRIMITIVE_OBJECT: -- True if this node expresses a value constraint that conforms -- to that of other. Effected in descendants. c_value_conforms_to ( other: C_PRIMITIVE_OBJECT[1] ): Boolean -- True if this node expresses the same value constraint as other. -- Effected in descendants. c_value_congruent_to ( other: C_PRIMITIVE_OBJECT[1] ): Boolean Added concrete method definitions for descendant classes, and refactored the existing method definitions c_conforms_to() and c_congruent_to().

Time estimate

6h

Components

Fix versions

Affects versions

ADL 2.0

Due date

2018/01/31

Priority

Major