Output Utilities

Common helper functions: indent, typeName, directionKeyword, etc.

def VerifiedMBSE.Output.indent (level : ℕ) : String

Generate indentation.

Equations

• VerifiedMBSE.Output.indent level = String.ofList (List.replicate (level * 4) ' ')

def VerifiedMBSE.Output.typeName (t : Core.KerMLType) : String

Get a KerMLType name.

Equations

• VerifiedMBSE.Output.typeName t = match t.name with | some n => n | none => "Anonymous"

def VerifiedMBSE.Output.isConjugated (t : Core.KerMLType) : Bool

Whether it is a conjugated type (name starts with "~").

Equations

• VerifiedMBSE.Output.isConjugated t = match t.name with | some n => n.startsWith "~" | none => false

def VerifiedMBSE.Output.baseTypeName (t : Core.KerMLType) : String

Get the original type name from a conjugated type.

Equations

• VerifiedMBSE.Output.baseTypeName t = match t.name with | some n => if n.startsWith "~" = true then (n.drop 1).toString else n | none => "Anonymous"

def VerifiedMBSE.Output.directionKeyword (d : Core.Direction) : String

Convert a Direction to a SysML v2 keyword.

Equations

• VerifiedMBSE.Output.directionKeyword VerifiedMBSE.Core.Direction.in_ = "in"
• VerifiedMBSE.Output.directionKeyword VerifiedMBSE.Core.Direction.out = "out"
• VerifiedMBSE.Output.directionKeyword VerifiedMBSE.Core.Direction.inout = "inout"

def VerifiedMBSE.Output.multiplicityStr (lower upper : ℕ) : String

Convert Multiplicity to SysML v2 notation.

Equations

• One or more equations did not get rendered due to their size.

def VerifiedMBSE.Output.layerToString (l : VV.Layer) : String

Convert a Layer to a full string representation.

F5 で Layer が 8 階層に拡張されたため、全 constructor に対して ECSS-E-ST-10C 準拠の文字列を割り当てる。

Equations

• VerifiedMBSE.Output.layerToString VerifiedMBSE.VV.Layer.mission = "mission"
• VerifiedMBSE.Output.layerToString VerifiedMBSE.VV.Layer.system = "system"
• VerifiedMBSE.Output.layerToString VerifiedMBSE.VV.Layer.segment = "segment"
• VerifiedMBSE.Output.layerToString VerifiedMBSE.VV.Layer.subsystem = "subsystem"
• VerifiedMBSE.Output.layerToString VerifiedMBSE.VV.Layer.assembly = "assembly"
• VerifiedMBSE.Output.layerToString VerifiedMBSE.VV.Layer.unit = "unit"
• VerifiedMBSE.Output.layerToString VerifiedMBSE.VV.Layer.component = "component"
• VerifiedMBSE.Output.layerToString VerifiedMBSE.VV.Layer.part = "part"

def VerifiedMBSE.Output.layerToAbbr (l : VV.Layer) : String

Convert a Layer to a 3-letter abbreviation.

Equations

• VerifiedMBSE.Output.layerToAbbr VerifiedMBSE.VV.Layer.mission = "MIS"
• VerifiedMBSE.Output.layerToAbbr VerifiedMBSE.VV.Layer.system = "SYS"
• VerifiedMBSE.Output.layerToAbbr VerifiedMBSE.VV.Layer.segment = "SEG"
• VerifiedMBSE.Output.layerToAbbr VerifiedMBSE.VV.Layer.subsystem = "SUB"
• VerifiedMBSE.Output.layerToAbbr VerifiedMBSE.VV.Layer.assembly = "ASY"
• VerifiedMBSE.Output.layerToAbbr VerifiedMBSE.VV.Layer.unit = "UNI"
• VerifiedMBSE.Output.layerToAbbr VerifiedMBSE.VV.Layer.component = "CMP"
• VerifiedMBSE.Output.layerToAbbr VerifiedMBSE.VV.Layer.part = "PRT"