Directories
¶
| Path | Synopsis |
|---|---|
|
api
|
|
|
client
|
|
|
opensysml
Package opensysml is the public Go API for OpenSysML: parse SysML v2 models, look up symbols, evaluate expressions, instantiate parts, run actions and state machines, verify constraints and requirements, evaluate calculations, query the model, render documents, convert notations and edit source.
|
Package opensysml is the public Go API for OpenSysML: parse SysML v2 models, look up symbols, evaluate expressions, instantiate parts, run actions and state machines, verify constraints and requirements, evaluate calculations, query the model, render documents, convert notations and edit source. |
|
cmd
|
|
|
conformance
command
Command conformance runs the language-independent conformance suite in conformance/ against sysml-grpc, which it builds and starts itself.
|
Command conformance runs the language-independent conformance suite in conformance/ against sysml-grpc, which it builds and starts itself. |
|
doc-counts
command
Command doc-counts rewrites the documentation lines that are a function of the compliance map's status markers, so no contributor types them.
|
Command doc-counts rewrites the documentation lines that are a function of the compliance map's status markers, so no contributor types them. |
|
grammar-coverage
command
Command grammar-coverage measures which productions of the OMG Xtext grammars our test inputs exercise, on input-presence evidence: for every rule, fragment, enum and terminal of KerML.xtext, KerMLExpressions.xtext and SysML.xtext it searches the corpora we already parse for the literals the production requires, and buckets it as evidence, no-evidence or indistinguishable.
|
Command grammar-coverage measures which productions of the OMG Xtext grammars our test inputs exercise, on input-presence evidence: for every rule, fragment, enum and terminal of KerML.xtext, KerMLExpressions.xtext and SysML.xtext it searches the corpora we already parse for the literals the production requires, and buckets it as evidence, no-evidence or indistinguishable. |
|
pilot-diff
command
Command pilot-diff compares this implementation's diagnostics against the OMG SysML v2 Pilot Implementation over a corpus of models, and reports, per file, the diagnostics both agree on, the ones only we report (candidate false positives) and the ones only the pilot reports (candidate gaps).
|
Command pilot-diff compares this implementation's diagnostics against the OMG SysML v2 Pilot Implementation over a corpus of models, and reports, per file, the diagnostics both agree on, the ones only we report (candidate false positives) and the ones only the pilot reports (candidate gaps). |
|
pilot-exec-diff
command
|
|
|
pilot-reject
command
Command pilot-reject checks the rejection direction the differential cannot see: it validates a hand-written negative corpus — models each violating one named rule — with both this implementation and the OMG SysML v2 Pilot Implementation, and buckets every case by who rejects it.
|
Command pilot-reject checks the rejection direction the differential cannot see: it validates a hand-written negative corpus — models each violating one named rule — with both this implementation and the OMG SysML v2 Pilot Implementation, and buckets every case by who rejects it. |
|
pilot-xpect
command
Command pilot-xpect compares this implementation's behaviour against the OMG SysML v2 Pilot Implementation's own Xpect test suites: the .xt files declare, inline, the diagnostics and name-resolution results their implementers intend, so unlike cmd/pilot-diff this is a comparison against declared expectations rather than observed output.
|
Command pilot-xpect compares this implementation's behaviour against the OMG SysML v2 Pilot Implementation's own Xpect test suites: the .xt files declare, inline, the diagnostics and name-resolution results their implementers intend, so unlike cmd/pilot-diff this is a comparison against declared expectations rather than observed output. |
|
sysml
command
Command sysml is an interactive SysML v2 REPL (spec §13).
|
Command sysml is an interactive SysML v2 REPL (spec §13). |
|
sysml-grpc
command
sysml-grpc starts a gRPC server exposing SysML v2 parsing, resolution, and semantic services.
|
sysml-grpc starts a gRPC server exposing SysML v2 parsing, resolution, and semantic services. |
|
sysml-lsp
command
Command sysml-lsp is a stdio Language Server for SysML v2 / KerML.
|
Command sysml-lsp is a stdio Language Server for SysML v2 / KerML. |
|
editors
|
|
|
vscode/tools/gengrammar
command
Command gengrammar writes the VS Code extension's TextMate grammars from the lexer's keyword list, so highlighting cannot drift from the language.
|
Command gengrammar writes the VS Code extension's TextMate grammars from the lexer's keyword list, so highlighting cannot drift from the language. |
|
examples
|
|
|
runtime-demo
command
|
|
|
internal
|
|
|
baseline
Package baseline is what makes a committed oracle baseline checkable without the Java validators: every baseline records which pin, which bridge sources and which corpora its run measured, and this package both writes that record and compares a committed one against the repository as it stands now.
|
Package baseline is what makes a committed oracle baseline checkable without the Java validators: every baseline records which pin, which bridge sources and which corpora its run measured, and this package both writes that record and compares a committed one against the repository as it stands now. |
|
core/ast/astcodec
Package astcodec writes syntax trees to a pack stream and reads them back.
|
Package astcodec writes syntax trees to a pack stream and reads them back. |
|
core/conformance
Package conformance names how strictly a document is judged against the pinned SysML v2 and KerML grammars.
|
Package conformance names how strictly a document is judged against the pinned SysML v2 and KerML grammars. |
|
core/docir
Package docir evaluates compiled document plans into an immutable, backend-agnostic document tree with provenance on every node.
|
Package docir evaluates compiled document plans into an immutable, backend-agnostic document tree with provenance on every node. |
|
core/docplan
Package docplan compiles native SysML v2 document definitions into immutable document plans that reference compiled query programs.
|
Package docplan compiles native SysML v2 document definitions into immutable document plans that reference compiled query programs. |
|
core/docrender
Package docrender renders evaluated documents into backend-specific artifacts, consuming only the document IR — never plans, symbols, or ASTs.
|
Package docrender renders evaluated documents into backend-specific artifacts, consuming only the document IR — never plans, symbols, or ASTs. |
|
core/edit
Package edit rewrites the source a model was parsed from.
|
Package edit rewrites the source a model was parsed from. |
|
core/envvar
Package envvar resolves the toolchain's OPENSYSML_-prefixed environment variables, falling back to their legacy SYSML_-prefixed names.
|
Package envvar resolves the toolchain's OPENSYSML_-prefixed environment variables, falling back to their legacy SYSML_-prefixed names. |
|
core/export
Package export saves a SysML v2 model to a file and converts between the two representations OpenSysML can write: SysML textual notation and RDF Turtle.
|
Package export saves a SysML v2 model to a file and converts between the two representations OpenSysML can write: SysML textual notation and RDF Turtle. |
|
core/format
Package format re-indents SysML v2 / KerML source text.
|
Package format re-indents SysML v2 / KerML source text. |
|
core/highlight
Package highlight classifies the source text of a document into semantic tokens: the lexer's keywords, comments and literals, the names the symbol table declares, and the references the resolver answers.
|
Package highlight classifies the source text of a document into semantic tokens: the lexer's keywords, comments and literals, the names the symbol table declares, and the references the resolver answers. |
|
core/identity
Package identity computes the effective repository identity of the symbols of an analyzed model: the id of an element's IdentityMetadata::ElementId annotation when it carries one, the id derived from its qualified name otherwise, plus the project scope its nearest enclosing ProjectRef declares.
|
Package identity computes the effective repository identity of the symbols of an analyzed model: the id of an element's IdentityMetadata::ElementId annotation when it carries one, the id derived from its qualified name otherwise, plus the project scope its nearest enclosing ProjectRef declares. |
|
core/lexer
Package lexer implements a hand-written scanner for SysML v2 and KerML.
|
Package lexer implements a hand-written scanner for SysML v2 and KerML. |
|
core/libs
Package libs loads SysML/KerML standard-library files (bundled via embed.FS or overridden on disk) and maintains a persistent cache of their indexed symbols.
|
Package libs loads SysML/KerML standard-library files (bundled via embed.FS or overridden on disk) and maintains a persistent cache of their indexed symbols. |
|
core/libs/gensnapshot
command
Command gensnapshot writes the bundled library's snapshot, the derived artifact package libs embeds; run through `go generate ./internal/core/libs`.
|
Command gensnapshot writes the bundled library's snapshot, the derived artifact package libs embeds; run through `go generate ./internal/core/libs`. |
|
core/lower
Package lower provides AST → execution IR lowering.
|
Package lower provides AST → execution IR lowering. |
|
core/model
Package model owns the workspace: the set of documents, the global symbol index, and the reindex pipeline that keeps them consistent.
|
Package model owns the workspace: the set of documents, the global symbol index, and the reindex pipeline that keeps them consistent. |
|
core/pack
Package pack is the compact binary encoding the library snapshot is written in: a string table, then a body of varint-packed scalars and string indices.
|
Package pack is the compact binary encoding the library snapshot is written in: a string table, then a body of varint-packed scalars and string indices. |
|
core/project
Package project turns the paths a user names — files, directories and glob patterns — into the model files to load, in a deterministic order.
|
Package project turns the paths a user names — files, directories and glob patterns — into the model files to load, in a deterministic order. |
|
core/provenance
Package provenance carries source locations through derived semantic artifacts.
|
Package provenance carries source locations through derived semantic artifacts. |
|
core/query
Package query contains the transport-neutral element query model and evaluator.
|
Package query contains the transport-neutral element query model and evaluator. |
|
core/queryexec
Package queryexec executes immutable document-query plans.
|
Package queryexec executes immutable document-query plans. |
|
core/queryplan
Package queryplan compiles native SysML document queries into immutable plans.
|
Package queryplan compiles native SysML document queries into immutable plans. |
|
core/quickfix
Package quickfix carries the source edits that resolve a diagnostic, attached by the layer that reported it and rendered by an editor as a quick fix.
|
Package quickfix carries the source edits that resolve a diagnostic, attached by the layer that reported it and rendered by an editor as a quick fix. |
|
core/rdf
Package rdf provides the minimal RDF graph model, Turtle writer and Turtle reader that the SysML v2 ↔ RDF conversion in internal/core/export is built on.
|
Package rdf provides the minimal RDF graph model, Turtle writer and Turtle reader that the SysML v2 ↔ RDF conversion in internal/core/export is built on. |
|
core/rdf/ontology
Package ontology holds the SysML v2 metamodel term table generated from the Open-MBEE OWL rendering, plus the domain/range check built on it.
|
Package ontology holds the SysML v2 metamodel term table generated from the Open-MBEE OWL rendering, plus the domain/range check built on it. |
|
core/rdf/ontology/gen
command
Command gen writes internal/core/rdf/ontology/table.go from a local checkout of https://github.com/Open-MBEE/sysmlv2-rdf-ontology, which is not vendored here.
|
Command gen writes internal/core/rdf/ontology/table.go from a local checkout of https://github.com/Open-MBEE/sysmlv2-rdf-ontology, which is not vendored here. |
|
core/runtime
Package runtime provides the SysML v2 execution runtime: expression evaluation, instance materialization, and KerML operator library.
|
Package runtime provides the SysML v2 execution runtime: expression evaluation, instance materialization, and KerML operator library. |
|
core/semantics
Package semantics provides the derived semantic model that validation depth-C constraint checks rely on: a specialization/typing graph (with cycle detection), and — in later increments — inherited-member resolution, multiplicity extraction, and a bounded model-level expression evaluator.
|
Package semantics provides the derived semantic model that validation depth-C constraint checks rely on: a specialization/typing graph (with cycle detection), and — in later increments — inherited-member resolution, multiplicity extraction, and a bounded model-level expression evaluator. |
|
core/solve
Package solve translates the conditions a constraint, requirement or satisfaction assertion states into a solver-independent term IR and writes that IR as an SMT-LIB2 script.
|
Package solve translates the conditions a constraint, requirement or satisfaction assertion states into a solver-independent term IR and writes that IR as an SMT-LIB2 script. |
|
core/source
Package source provides source file management and text indexing for the SysML v2 parser.
|
Package source provides source file management and text indexing for the SysML v2 parser. |
|
core/suggest
Package suggest offers the spellings a name that did not resolve may have meant: the qualified names the index declares it under, or the nearest spellings by edit distance.
|
Package suggest offers the spellings a name that did not resolve may have meant: the qualified names the index declares it under, or the nearest spellings by edit distance. |
|
core/symbols
Package symbols builds an immutable per-document scope tree and a global qualified-name index over a parsed ast.RootNamespace.
|
Package symbols builds an immutable per-document scope tree and a global qualified-name index over a parsed ast.RootNamespace. |
|
core/view
Package view renders a SysML view: it turns the elements a view exposes into a rendering artifact, in the form the view's `render` member states.
|
Package view renders a SysML view: it turns the elements a view exposes into a rendering artifact, in the form the view's `render` member states. |
|
doccounts
Package doccounts is the one census of the compliance map's status markers and the one statement of which documentation lines derive from it: the guard in cmd/pilot-diff checks those lines against it, cmd/doc-counts rewrites them from it, and neither parses the markers itself.
|
Package doccounts is the one census of the compliance map's status markers and the one statement of which documentation lines derive from it: the guard in cmd/pilot-diff checks those lines against it, cmd/doc-counts rewrites them from it, and neither parses the markers itself. |
|
docpdf
Package docpdf renders docrender Markdown to PDF by driving external converters as subprocesses; no PDF renderer is linked into the binary.
|
Package docpdf renders docrender Markdown to PDF by driving external converters as subprocesses; no PDF renderer is linked into the binary. |
|
errata
Package errata is the declared overlay of defects in the OMG-published material this project reads: what the published text says, the clause that makes it wrong, and what the oracles read instead.
|
Package errata is the declared overlay of defects in the OMG-published material this project reads: what the published text says, the clause that makes it wrong, and what the oracles read instead. |
|
interop/flexo
Package flexo drives a running Flexo MMS stack — the Layer 1 service and the SysML v2 API in front of it — so the RDF this project writes can be measured against what that service can actually read back.
|
Package flexo drives a running Flexo MMS stack — the Layer 1 service and the SysML v2 API in front of it — so the RDF this project writes can be measured against what that service can actually read back. |
|
interop/reposync
Package reposync diffs a local model's identity-carrying RDF graph against a repository-side graph of the same project scope, keyed by effective element id, so a rename or a move is an update to the existing element rather than a delete plus a create.
|
Package reposync diffs a local model's identity-carrying RDF graph against a repository-side graph of the same project scope, keyed by effective element id, so a rename or a move is an update to the existing element rather than a delete plus a create. |
|
junit
Package junit renders test results in the JUnit XML format that CI systems (CircleCI, Jenkins, GitLab, GitHub) render natively as test reports.
|
Package junit renders test results in the JUnit XML format that CI systems (CircleCI, Jenkins, GitLab, GitHub) render natively as test reports. |
|
repl
Package repl implements an interactive SysML v2 read-eval-print loop as a thin frontend over model.Workspace (spec §13).
|
Package repl implements an interactive SysML v2 read-eval-print loop as a thin frontend over model.Workspace (spec §13). |
|
stdiorpc
Package stdiorpc serves SysMLService over a pair of pipes rather than a socket.
|
Package stdiorpc serves SysMLService over a pair of pipes rather than a socket. |
|
testutil/graphcmp
Package graphcmp compares two pointer graphs structurally, for tests: same values, same shape, same sharing, and nil kept apart from empty.
|
Package graphcmp compares two pointer graphs structurally, for tests: same values, same shape, same sharing, and nil kept apart from empty. |
Click to show internal directories.
Click to hide internal directories.