Bug #6991

ReadGraph.getAssertedStatements does not do proper shadowing for functional properties in inherited types

Added by Tuukka Lehtonen about 1 year ago. Updated about 1 year ago.

Status:NewStart date:
Priority:4Due date:
Assignee:Antti Villberg% Done:

0%

Category:-Spent time:-
Target version:-
Release notes:
Story points-
Velocity based estimate-

Description

Consider:

ISSUE.Issue <T L0.Entity
    >-- ISSUE.Issue.contexts ==> "[Resource]" <R L0.HasProperty : L0.FunctionalRelation
    @L0.assert ISSUE.Issue.contexts
      ISSUE.Functions.standardIssueContexts : L0.Function
        L0.HasValueType "[Resource]" 

MyIssueType <T ISSUE.Issue
    @L0.assert ISSUE.Issue.contexts
        MY_FUNCTIONS.myIssueContexts : L0.Function
            L0.HasValueType "[Resource]" 

Now, if one asks ReadGraph.getAssertedObjects/Statements for MyIssueType, one will get two results, MY_FUNCTIONS.myIssueContexts and ISSUE.Functions.standardIssueContexts.

It should only return MY_FUNCTIONS.myIssueContexts because contexts is a functional relation.

Also available in: Atom PDF