Help us shape the future of Go! Take the 2026 Go Developer Survey

sysml

package
v0.6.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Oct 30, 2026 License: MIT Imports: 21 Imported by: 0

Documentation

Overview

ENGMODEL-OWNER-UNIT: FU-SYSML-EXPORTER

ENGMODEL-OWNER-UNIT: FU-SYSML-EXPORTER

ENGMODEL-OWNER-UNIT: FU-SYSML-EXPORTER

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func CompareV2RoundTrip 

func CompareV2RoundTrip(expected, actual model.SemanticModel) []string

CompareV2RoundTrip reports differences in stable identity, ownership, relationships, expressions, references, and typed extensions.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037

func GenerateV2Projection 

func GenerateV2Projection(semantic model.SemanticModel) (string, []model.SemanticDiagnostic)

GenerateV2Projection renders a pre-built semantic graph. Missing rendering rules are errors; official concepts are never replaced by a generic item declaration.

TRLC-LINKS: REQ-EMG-036 ENGMODEL-LINKS: FU-SYSML-EXPORTER, DO-CANONICAL-SEMANTIC-MODEL, DO-SYSML-V2-MODEL

func ImportV2Project 

func ImportV2Project(sourcePath string) (model.SemanticModel, error)

ImportV2Project reconstructs the canonical semantic model from legacy projects that embedded an Engineering Model payload. Native projections do not embed non-SysML canonical data.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037

func ValidateV2Coverage 

func ValidateV2Coverage(manifest CoverageManifest) error

ValidateV2Coverage rejects any gap or stale/tampered evidence.

TRLC-LINKS: REQ-EMG-039, REQ-EMG-040

Types

type CoverageAuthority 

type CoverageAuthority struct {
	Baseline             string                       `json:"baseline"`
	MetamodelAuthority   string                       `json:"metamodelAuthority"`
	FormalRelease        sysmlmetamodel.FormalRelease `json:"formalRelease"`
	SourceManifestSHA256 string                       `json:"sourceManifestSha256"`
	InventorySHA256      string                       `json:"inventorySha256"`
	Sources              []sysmlmetamodel.Source      `json:"sources"`
}

type CoverageCheckEvidence 

type CoverageCheckEvidence struct {
	ID       string   `json:"id"`
	Status   string   `json:"status"`
	Evidence []string `json:"evidence"`
}

type CoverageManifest 

type CoverageManifest struct {
	SchemaVersion string                  `json:"schemaVersion"`
	Claim         string                  `json:"claim"`
	Limitations   []string                `json:"limitations"`
	Authority     CoverageAuthority       `json:"authority"`
	Totals        CoverageTotals          `json:"totals"`
	Metaclasses   []MetaclassCoverage     `json:"metaclasses"`
	Properties    []PropertyCoverage      `json:"properties"`
	Relationships []RelationshipCoverage  `json:"relationships"`
	Extensions    []ExtensionCoverage     `json:"engineeringExtensions"`
	Checks        []CoverageCheckEvidence `json:"checks"`
}

func V2Coverage 

func V2Coverage() CoverageManifest

V2Coverage returns metaclass/property-level evidence generated from the pinned official inventory and strict binding.

TRLC-LINKS: REQ-EMG-039, REQ-EMG-040

type CoverageTotals 

type CoverageTotals struct {
	Metaclasses             int `json:"metaclasses"`
	OwnedProperties         int `json:"ownedProperties"`
	EffectiveProperties     int `json:"effectiveProperties"`
	InheritanceEdges        int `json:"inheritanceEdges"`
	DerivedProperties       int `json:"derivedProperties"`
	Relationships           int `json:"relationships"`
	CoverageMapped          int `json:"coverageMapped"`
	CoverageDerived         int `json:"coverageDerived"`
	CoverageUnimplemented   int `json:"coverageUnimplemented"`
	NativeRendered          int `json:"nativeRendered"`
	AbstractOrImplicit      int `json:"abstractOrImplicit"`
	MissingRenderer         int `json:"missingRenderer"`
	ClassifiedRelationships int `json:"classifiedRelationships"`
}

type ExportResult 

type ExportResult struct {
	Text        string                     `json:"text"`
	Diagnostics []model.SemanticDiagnostic `json:"diagnostics"`
}

ExportResult is a deterministic textual projection plus explicit projection and conformance diagnostics.

func ExportV2Project 

func ExportV2Project(architecturePath, projectDir, kparPath, sysandPath string) (ExportResult, error)

ExportV2Project creates a Sysand interchange project and builds its KPAR. Sysand, rather than a custom ZIP writer, owns all normative KPAR packaging.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037 ENGMODEL-LINKS: FU-SYSML-EXPORTER, IF-CLI-ENGSYSML, DO-SYSML-V2-MODEL, REF-SYSML-V2-TOOLCHAIN

func GenerateV2 

func GenerateV2(bundle model.Bundle) (ExportResult, error)

GenerateV2 validates and projects a Bundle before rendering.

TRLC-LINKS: REQ-EMG-035, REQ-EMG-036 ENGMODEL-LINKS: FU-SYSML-EXPORTER, DO-CANONICAL-SEMANTIC-MODEL, DO-SYSML-V2-MODEL

func GenerateV2FromFile 

func GenerateV2FromFile(architecturePath string) (ExportResult, error)

GenerateV2FromFile loads the canonical YAML input and generates a SysML v2 textual projection.

TRLC-LINKS: REQ-EMG-035, REQ-EMG-036, REQ-EMG-037, REQ-EMG-047, REQ-EMG-050 ENGMODEL-LINKS: FU-SYSML-EXPORTER, IF-CLI-ENGSYSML, DO-CANONICAL-SEMANTIC-MODEL, DO-SYSML-V2-MODEL, REF-SYSML-V2-TOOLCHAIN

type ExtensionCoverage 

type ExtensionCoverage struct {
	ID        string   `json:"id"`
	Namespace string   `json:"namespace"`
	Status    string   `json:"status"`
	Evidence  []string `json:"evidence"`
}

type MetaclassCoverage 

type MetaclassCoverage struct {
	ID                     string   `json:"id"`
	Origin                 string   `json:"origin"`
	Abstract               bool     `json:"abstract"`
	Relationship           bool     `json:"relationship"`
	Status                 string   `json:"status"`
	RendererClassification string   `json:"rendererClassification"`
	Syntax                 string   `json:"syntax,omitempty"`
	Evidence               []string `json:"evidence"`
}

type PropertyCoverage 

type PropertyCoverage struct {
	ID        string   `json:"id"`
	Metaclass string   `json:"metaclass"`
	Status    string   `json:"status"`
	Evidence  []string `json:"evidence"`
}

type RelationshipCoverage 

type RelationshipCoverage struct {
	ID             string   `json:"id"`
	Status         string   `json:"status"`
	Classification string   `json:"classification"`
	Evidence       []string `json:"evidence"`
}

type RendererCoverage 

type RendererCoverage struct {
	OfficialMetaclasses int                `json:"officialMetaclasses"`
	NativeRules         int                `json:"nativeRules"`
	NonInstantiable     int                `json:"nonInstantiable"`
	MissingRules        int                `json:"missingRules"`
	Relationships       int                `json:"relationships"`
	Entries             []RendererEvidence `json:"entries"`
}

type RendererEvidence 

type RendererEvidence struct {
	Metaclass   string `json:"metaclass"`
	Status      string `json:"status"`
	Syntax      string `json:"syntax,omitempty"`
	Explanation string `json:"explanation,omitempty"`
}

type RoundTripResult 

type RoundTripResult struct {
	ProjectDir  string
	KPARPath    string
	ReopenedDir string
	SourcePath  string
	SourceText  string
}

RoundTripResult captures the normative KPAR path and reopened native SysML source used for source-integrity comparison.

func ReopenV2Project 

func ReopenV2Project(kparPath, reopenedDir, sysandPath string) (RoundTripResult, error)

ReopenV2Project clones a KPAR with Sysand and returns its native SysML project source.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037

func VerifyV2RoundTrip 

func VerifyV2RoundTrip(architecturePath, kparPath, reopenedDir, sysandPath string) (RoundTripResult, error)

VerifyV2RoundTrip compares the reopened KPAR source to a fresh native SysML projection of the authored Engineering Model.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.