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