Terminology functions in openEHR Terminology Package

Implementation
1

I have been looking at the RM (v1.1.0) , specifically at the ISM_Transition Class

image
image981×760 102 KB

You will see that it refers to some terminology functions in the invariants.

Looking at the Ternminoloy Package, I see the following:

image
image979×662 72.6 KB

Is there an issue with the signature for has_code_for_group_id() as it suggests that it takes no parameters - yet the narrative in the meaning does refer to some.

2

Archie seemingly interprets that function as having parameters, I think, although not implemented directly as 'has_code_for_group_id()`

    @Invariant("Current_state_valid")
    public boolean currentStateValid() {
        return InvariantUtil.belongsToTerminologyByGroupId(currentState, "instruction states");
    }

    @Invariant("Transition_valid")
    public boolean transitionValid() {
        return InvariantUtil.belongsToTerminologyByGroupId(transition, "instruction transitions");
    }
3

So perhaps this just needs reported as an error and JIRA SPEC PR