Skip to content

Release v5.11.0

Choose a tag to compare

@github-actions github-actions released this 07 Nov 08:20
af827e9

A model can now declare the people a development or test session acts as, with user <name> ["<display name>"] [as <Persona>, ...], so a host such as Stage can offer them to tooling like Lens.

Added

  • user declarations at the top level, one line each. A user holds the roles of the personas it plays, may play several, and with no persona is authenticated with no roles. Like a persona, a user is authoring metadata and never part of the executable model, so there is no new ESM version and a model without users compiles exactly as before. See decision 0141.
  • PLAY0887 for a malformed user line or a line nested under it (reported by both compilers), PLAY0888 for a user that plays an unknown persona, and PLAY0889 for a repeated user name.
  • users in the syntax JSON of an application, written only when present, and a users conformance document held by both compilers.
  • Highlighting, hover, completion and the grammar for user in the Monaco language service and the VS Code extension.

AI corpus: Cratis/AI#1042