Directories
¶
| Path | Synopsis |
|---|---|
|
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
|
|
|
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. |
|
edit
Package edit rewrites the source a model was parsed from.
|
Package edit rewrites the source a model was parsed from. |
|
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. |
|
format
Package format re-indents SysML v2 / KerML source text.
|
Package format re-indents SysML v2 / KerML source text. |
|
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. |
|
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. |
|
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. |
|
lower
Package lower provides AST → execution IR lowering.
|
Package lower provides AST → execution IR lowering. |
|
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. |
|
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. |
|
provenance
Package provenance carries source locations through derived semantic artifacts.
|
Package provenance carries source locations through derived semantic artifacts. |
|
query
Package query contains the transport-neutral element query model and evaluator.
|
Package query contains the transport-neutral element query model and evaluator. |
|
queryplan
Package queryplan compiles native SysML document queries into immutable plans.
|
Package queryplan compiles native SysML document queries into immutable plans. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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). |
|
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. |
Click to show internal directories.
Click to hide internal directories.