*/
    public String getEffectiveId() {
        if (executionPoint == null) {
            if (priority == 0) {
                return id;
            }
            return id + '[' + priority + ']';
        }
        if (priority == 0) {
            return executionPoint + ':' + id;
        }
        return executionPoint + ':' + id + '[' + priority + ']';
    }
]]></code>
        </codeSegment>