manifest.json

{
  "schema": "keiro-dsl/frontend-compatibility/1",
  "release": "0.7.0.0",
  "entryPoints": [
    "library.parseSource",
    "library.parseSpec",
    "library.parseSpecText",
    "workspace.parseWorkspaceManifest",
    "workspace.loadWorkspace.members",
    "cli.parse.single",
    "cli.parse.workspace-manifest",
    "cli.check.single",
    "cli.check.workspace",
    "cli.inspect.single",
    "cli.inspect.workspace",
    "cli.behavior-obligations.single",
    "cli.behavior-obligations.workspace",
    "cli.scaffold.single",
    "cli.scaffold.workspace",
    "cli.diff.single-working-tree-and-git-baseline",
    "cli.diff.workspace-working-tree-and-git-baseline"
  ],
  "sources": [
    {"declaredVersion":2,"diagnosticCode":null,"effectiveVersion":2,"failureClass":"body-grammar","path":"keiro-dsl/test/frontend-0.7/sources/body-grammar-invalid.keiro","result":"reject","sourceForm":"declared"},
    {"declaredVersion":1,"diagnosticCode":"LanguageFeatureRequiresVersion","effectiveVersion":1,"failureClass":"source-language","path":"keiro-dsl/test/frontend-0.7/sources/feature-explicit-implementation-v1.keiro","result":"reject","sourceForm":"declared"},
    {"declaredVersion":1,"diagnosticCode":"LanguageFeatureRequiresVersion","effectiveVersion":1,"failureClass":"source-language","path":"keiro-dsl/test/frontend-0.7/sources/feature-integer-v1.keiro","result":"reject","sourceForm":"declared"},
    {"declaredVersion":1,"diagnosticCode":"LanguageFeatureRequiresVersion","effectiveVersion":1,"failureClass":"source-language","path":"keiro-dsl/test/frontend-0.7/sources/feature-nominal-binding-v1.keiro","result":"reject","sourceForm":"declared"},
    {"declaredVersion":1,"diagnosticCode":"LanguageFeatureRequiresVersion","effectiveVersion":1,"failureClass":"source-language","path":"keiro-dsl/test/frontend-0.7/sources/feature-typed-expression-v1.keiro","result":"reject","sourceForm":"declared"},
    {"declaredVersion":1,"diagnosticCode":"DuplicateLanguagePreamble","effectiveVersion":null,"failureClass":"source-language","path":"keiro-dsl/test/frontend-0.7/sources/language-duplicate.keiro","result":"reject","sourceForm":"declared"},
    {"declaredVersion":null,"diagnosticCode":null,"effectiveVersion":1,"failureClass":null,"path":"keiro-dsl/test/frontend-0.7/sources/language-legacy.keiro","result":"accept","sourceForm":"legacy-unversioned"},
    {"declaredVersion":null,"diagnosticCode":"InvalidLanguageVersion","effectiveVersion":null,"failureClass":"source-language","path":"keiro-dsl/test/frontend-0.7/sources/language-malformed.keiro","result":"reject","sourceForm":"declared"},
    {"declaredVersion":null,"diagnosticCode":"MisplacedLanguagePreamble","effectiveVersion":null,"failureClass":"source-language","path":"keiro-dsl/test/frontend-0.7/sources/language-misplaced.keiro","result":"reject","sourceForm":"legacy-unversioned"},
    {"declaredVersion":1,"diagnosticCode":null,"effectiveVersion":1,"failureClass":null,"path":"keiro-dsl/test/frontend-0.7/sources/language-v1.keiro","result":"accept","sourceForm":"declared"},
    {"declaredVersion":2,"diagnosticCode":null,"effectiveVersion":2,"failureClass":null,"path":"keiro-dsl/test/frontend-0.7/sources/language-v2.keiro","result":"accept","sourceForm":"declared"},
    {"declaredVersion":3,"diagnosticCode":null,"effectiveVersion":3,"failureClass":null,"path":"keiro-dsl/test/frontend-0.7/sources/language-v3.keiro","result":"accept","sourceForm":"declared"},
    {"declaredVersion":0,"diagnosticCode":"InvalidLanguageVersion","effectiveVersion":null,"failureClass":"source-language","path":"keiro-dsl/test/frontend-0.7/sources/language-zero.keiro","result":"reject","sourceForm":"declared"},
    {"declaredVersion":1,"diagnosticCode":"VertexCtorCollision","effectiveVersion":1,"failureClass":"semantic","path":"keiro-dsl/test/frontend-0.7/sources/semantic-invalid.keiro","result":"reject","sourceForm":"declared"}
  ],
  "workspaces": [
    {"diagnosticCode":"WorkspaceMemberParseFailed","failureClass":"composition","path":"keiro-dsl/test/frontend-0.7/workspaces/member-parse-failed/service.keiro-workspace","result":"reject"},
    {"diagnosticCode":null,"failureClass":null,"path":"keiro-dsl/test/frontend-0.7/workspaces/valid/service.keiro-workspace","result":"accept"}
  ]
}