Skip to content

[record_use] Dart API & JSON: Overhaul identifiers/definitions #2888

Closed

Description

@dcharkes
    "Identifier": {
      "type": "object",
      "properties": {
        "name": {
          "type": "string"
        },
        "scope": {
          "type": "string"
        },
        "uri": {
          "type": "string"
        }
      },
      "required": [
        "name",
        "uri"
      ]
    },

scope must always we be null for classes, and scope would be more aptly named class or enclosingClass (optional) for static methods.

(Split from #1093)

Activity

  1. changed the title [-][record_use] Implementation: JSON: Separate class and method identifiers[/-] [+][record_use] Dart API & JSON: Overhaul identifiers[/+] on Feb 9, 2026
  2. changed the title [-][record_use] Dart API & JSON: Overhaul identifiers[/-] [+][record_use] Dart API & JSON: Overhaul identifiers/definitions[/+] on Feb 9, 2026
  3. self-assigned this
    on Feb 9, 2026
  4. moved this from Todo to In Progress in Native Assetson Feb 9, 2026
  5. dcharkes commented on Feb 27, 2026

    @dcharkes
    CollaboratorAuthor

    An API design round following #3062 (comment) will follow later.

  6. moved this from In Progress to Done in Native Assetson Feb 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Type

No type

Projects

Relationships

None yet

Development

No branches or pull requests

Issue actions