From 000c3e004b2d1aaf50128a9ff09810f7357e986b Mon Sep 17 00:00:00 2001 From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> Date: Mon, 12 Oct 2026 03:10:25 +0000 Subject: [PATCH] feat(DocumentQueries): Diagram.show names the optional notation elements a document diagram draws show lists, comma-separated, the notation elements a document diagram draws besides those its view's rendering shows: parameter-symbols, port-symbols, compartments, edge-labels, keywords, multiplicities, typings, qualifiers, or all. Co-Authored-By: jason.han --- libraries/DocumentQueries.sysml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/libraries/DocumentQueries.sysml b/libraries/DocumentQueries.sysml index 141bc57..69413e1 100644 --- a/libraries/DocumentQueries.sysml +++ b/libraries/DocumentQueries.sysml @@ -358,6 +358,11 @@ library package DocumentQueries { * small square on the part's border named beside it, or every port, * labelled name : Type. Minimal when absent. */ attribute ports : String[0..1]; + /* show: the optional notation elements the diagram draws besides those + * its view's rendering shows, comma-separated: "parameter-symbols", + * "port-symbols", "compartments", "edge-labels", "keywords", + * "multiplicities", "typings", "qualifiers", or "all". */ + attribute show : String[0..1]; /* overlay: "verdicts", for a requirement diagram: runs the verification * cases verifying each requirement and colours and labels it by their * verdicts. Purely structural when absent. */