libpetri 1.8.5 → 2.1.0

package/dist/doclet/resources/petrinet-diagrams.css

@@ -1,15 +1,62 @@
+/* ============================================================
+ *  Canonical libpetri Petri-net diagram viewer stylesheet.
+ *
+ *  Source of truth: typescript/src/viewer/resources/viewer.css.
+ *  This file is the union of the old petrinet-diagrams.css (Javadoc taglet)
+ *  and the cluster-overlay rules from debug-ui/src/styles.css. It is
+ *  shipped as `petrinet-diagrams.css` to all consumers via the build
+ *  script (scripts/build-viewer.sh). Edit HERE, not in the consumer dirs.
+ *
+ *  All visual constants surface as CSS custom properties (`--lpv-*`) so
+ *  individual consumers can theme without forking. Defaults match the
+ *  doclet palette + the user's "clusters must be visually obvious"
+ *  feedback (deeper tint, thicker stroke, more prominent dash).
+ * ============================================================ */
+
+:root,
+.petrinet-diagram,
+.libpetri-viewer {
+  --lpv-bg:                       #fafafa;
+  --lpv-header-bg:                #f0f0f0;
+  --lpv-border:                   #ddd;
+  --lpv-text:                     #111827;
+  --lpv-muted:                    #6b7280;
+
+  /* Cluster visuals — user feedback: clusters must be visually obvious.
+     Bumped the cluster background from a near-white tint to a saturated
+     indigo wash, thickened the stroke, and lengthened the dashes. */
+  --lpv-cluster-bg:               #eef2ff;
+  --lpv-cluster-bg-collapsed:     #cbd5e1;
+  --lpv-cluster-stroke-width:     2.2;
+  --lpv-cluster-stroke-dash:      6 3;
+  --lpv-cluster-fill-tint:        rgba(99, 102, 241, 0.08);
+
+  --lpv-dim-opacity:              0.2;
+  --lpv-active-filter-outline:    rgba(245, 158, 11, 0.4);
+
+  --lpv-legend-bg:                rgba(255, 255, 255, 0.95);
+  --lpv-chip-bg:                  #ffffff;
+  --lpv-chip-active-bg:           #111827;
+}
+
+/* ============================================================
+ *  Top-level diagram container
+ *  Kept for backward compatibility with the existing Javadoc/Rustdoc
+ *  taglet markup. Live consumers (debug-ui, dev-preview) don't use the
+ *  outer .petrinet-diagram chrome; their styling lives in debug-ui CSS.
+ * ============================================================ */
 .petrinet-diagram {
   margin: 1.5em 0;
-  border: 1px solid #ddd;
+  border: 1px solid var(--lpv-border);
   border-radius: 8px;
-  background: #fafafa;
+  background: var(--lpv-bg);
 }
 
 .petrinet-diagram h4 {
   margin: 0;
   padding: 12px 16px;
-  background: #f0f0f0;
-  border-bottom: 1px solid #ddd;
+  background: var(--lpv-header-bg);
+  border-bottom: 1px solid var(--lpv-border);
   border-radius: 8px 8px 0 0;
 }
 
@@ -36,7 +83,35 @@
   height: 100%;
 }
 
-.petrinet-diagram .diagram-controls {
+/* 2.0 mount target — the host div emitted by the Java/Rust/TS doclet
+   taglets. Needs the same sizing constraints as the legacy
+   .diagram-container, otherwise the host grows to the Graphviz-emitted
+   SVG intrinsic size and produces a 9000+ px tall column. With this
+   rule the SVG fills the constrained host and viewBox auto-fits. */
+.petrinet-diagram-viewer {
+  display: block;
+  position: relative;
+  width: 100%;
+  height: 70vh;
+  min-height: 400px;
+  max-height: 700px;
+  overflow: hidden;
+  background: var(--lpv-bg);
+  border: 1px solid var(--lpv-border);
+  border-radius: 4px;
+}
+
+/* Override Graphviz's explicit pt width/height on the rendered SVG.
+   Without this the SVG retains its intrinsic 5021pt × 7203pt size,
+   defeating the host height constraint. */
+.petrinet-diagram-viewer > svg {
+  display: block;
+  width: 100% !important;
+  height: 100% !important;
+}
+
+.petrinet-diagram .diagram-controls,
+.libpetri-viewer .diagram-controls {
   position: absolute;
   top: 8px;
   right: 8px;
@@ -45,7 +120,8 @@
   z-index: 10;
 }
 
-.petrinet-diagram .diagram-btn {
+.petrinet-diagram .diagram-btn,
+.libpetri-viewer .diagram-btn {
   padding: 6px 10px;
   border: 1px solid #ccc;
   border-radius: 4px;
@@ -55,7 +131,8 @@
   min-width: 32px;
 }
 
-.petrinet-diagram .diagram-btn:hover {
+.petrinet-diagram .diagram-btn:hover,
+.libpetri-viewer .diagram-btn:hover {
   background: #e8e8e8;
 }
 
@@ -107,6 +184,15 @@
   max-height: none;
 }
 
+/* 2.0 host is the mount target itself (no .diagram-container wrapper),
+   so size the direct child SVG to fill the viewport in fullscreen. */
+.libpetri-viewer.diagram-fullscreen > svg {
+  flex: 1;
+  width: 100%;
+  height: 100%;
+  min-height: 0;
+}
+
 /* Zoom indicator */
 .zoom-indicator {
   position: absolute;
@@ -124,3 +210,550 @@
 .zoom-indicator.visible {
   opacity: 1;
 }
+
+/* ============================================================
+ *  Subnet header (badges row above the diagram)
+ * ============================================================ */
+.petrinet-diagram .subnet-header {
+  padding: 12px 16px;
+  border-bottom: 1px solid #e5e7eb;
+  background: #f8fafc;
+}
+
+.subnet-header-row {
+  display: flex;
+  align-items: center;
+  gap: 8px;
+  font-size: 14px;
+  flex-wrap: wrap;
+}
+
+.subnet-header-label {
+  font-weight: 600;
+  color: var(--lpv-muted);
+  text-transform: uppercase;
+  font-size: 11px;
+  letter-spacing: 0.05em;
+}
+
+.subnet-header-name {
+  font-weight: 600;
+  color: var(--lpv-text);
+  font-family: ui-monospace, "SF Mono", Menlo, monospace;
+}
+
+.subnet-header-of {
+  color: var(--lpv-muted);
+  font-size: 12px;
+}
+
+.subnet-header-param,
+.subnet-header-params {
+  color: #6d28d9;
+  font-family: ui-monospace, "SF Mono", Menlo, monospace;
+  font-size: 12px;
+}
+
+.subnet-header-params-null {
+  color: #9ca3af;
+  font-style: italic;
+}
+
+.subnet-header-badge {
+  padding: 2px 8px;
+  border-radius: 4px;
+  background: #fef3c7;
+  color: #92400e;
+  font-size: 11px;
+  font-weight: 500;
+}
+
+.subnet-header-badge-interface {
+  background: #e0e7ff;
+  color: #3730a3;
+}
+
+.subnet-header-badges {
+  display: flex;
+  gap: 6px;
+  margin-top: 8px;
+  flex-wrap: wrap;
+}
+
+.interface-port-badge,
+.interface-channel-badge {
+  display: inline-flex;
+  align-items: center;
+  gap: 4px;
+  padding: 3px 8px;
+  border-radius: 12px;
+  font-size: 11px;
+  border: 1px solid;
+  background: white;
+}
+
+.interface-port-badge .badge-direction,
+.interface-channel-badge .badge-direction {
+  font-weight: 600;
+  text-transform: uppercase;
+  font-size: 10px;
+  letter-spacing: 0.04em;
+}
+
+.interface-port-badge .badge-name,
+.interface-channel-badge .badge-name {
+  font-family: ui-monospace, "SF Mono", Menlo, monospace;
+  font-weight: 500;
+}
+
+.interface-port-badge .badge-type {
+  color: var(--lpv-muted);
+  font-family: ui-monospace, "SF Mono", Menlo, monospace;
+  font-size: 10px;
+}
+
+.interface-port-badge-input  { border-color: #1d4ed8; color: #1d4ed8; background: #e7f1ff; }
+.interface-port-badge-output { border-color: #047857; color: #047857; background: #d1fae5; }
+.interface-port-badge-inout  { border-color: #b45309; color: #b45309; background: #fef3c7; }
+.interface-channel-badge     { border-color: #6d28d9; color: #6d28d9; background: #f3e8ff; }
+
+/* ============================================================
+ *  Cluster legend sidebar
+ * ============================================================ */
+.petrinet-diagram .diagram-legend,
+.libpetri-viewer .diagram-legend {
+  position: absolute;
+  top: 8px;
+  left: 8px;
+  background: var(--lpv-legend-bg);
+  border: 1px solid #e5e7eb;
+  border-radius: 6px;
+  padding: 8px;
+  font-size: 12px;
+  z-index: 9;
+  max-height: calc(100% - 16px);
+  overflow-y: auto;
+  min-width: 160px;
+  box-shadow: 0 1px 3px rgba(0,0,0,0.05);
+}
+
+.diagram-legend .legend-title {
+  font-weight: 600;
+  color: var(--lpv-muted);
+  text-transform: uppercase;
+  font-size: 10px;
+  letter-spacing: 0.05em;
+  margin-bottom: 6px;
+}
+
+.diagram-legend .legend-row {
+  display: flex;
+  align-items: center;
+  gap: 6px;
+  padding: 4px 6px;
+  border-radius: 4px;
+  cursor: pointer;
+  transition: background 0.15s;
+}
+
+.diagram-legend .legend-row:hover {
+  background: #f3f4f6;
+}
+
+.diagram-legend .legend-ribbon {
+  width: 4px;
+  height: 16px;
+  border-radius: 2px;
+  flex: 0 0 auto;
+}
+
+.diagram-legend .legend-label {
+  font-family: ui-monospace, "SF Mono", Menlo, monospace;
+  flex: 1 1 auto;
+  color: var(--lpv-text);
+}
+
+.diagram-legend .legend-count {
+  color: #9ca3af;
+  font-size: 10px;
+}
+
+/* ============================================================
+ *  Filter chips
+ * ============================================================ */
+.petrinet-diagram .diagram-filter-strip,
+.libpetri-viewer .diagram-filter-strip {
+  position: absolute;
+  bottom: 8px;
+  left: 8px;
+  right: 8px;
+  display: flex;
+  flex-wrap: wrap;
+  align-items: center;
+  gap: 6px;
+  padding: 8px;
+  background: var(--lpv-legend-bg);
+  border: 1px solid #e5e7eb;
+  border-radius: 6px;
+  z-index: 8;
+  box-shadow: 0 1px 3px rgba(0,0,0,0.05);
+}
+
+.filter-strip-label {
+  font-size: 11px;
+  font-weight: 600;
+  color: var(--lpv-muted);
+  text-transform: uppercase;
+  letter-spacing: 0.04em;
+}
+
+.filter-chip {
+  display: inline-flex;
+  align-items: center;
+  gap: 4px;
+  padding: 3px 8px;
+  border-radius: 14px;
+  font-size: 11px;
+  font-family: ui-monospace, "SF Mono", Menlo, monospace;
+  background: var(--lpv-chip-bg);
+  border: 1px solid #d1d5db;
+  cursor: pointer;
+  transition: background 0.15s, transform 0.15s;
+}
+
+.filter-chip:hover {
+  background: #f3f4f6;
+}
+
+.filter-chip-active {
+  background: var(--lpv-chip-active-bg);
+  color: white;
+  border-color: var(--lpv-chip-active-bg);
+}
+
+.filter-chip-active .chip-dot {
+  outline: 2px solid rgba(255, 255, 255, 0.4);
+}
+
+.filter-chip .chip-dot {
+  width: 8px;
+  height: 8px;
+  border-radius: 50%;
+  display: inline-block;
+}
+
+/* ============================================================
+ *  Cluster visual baseline — make clusters visually obvious
+ *
+ *  These rules apply globally to any rendered SVG that lives inside
+ *  a `.petrinet-diagram` OR a `.libpetri-viewer` host. Tinted fill,
+ *  thicker stroke, more prominent dash. Stroke colour is injected
+ *  inline by the cluster-overlay (deterministic HSL per prefix).
+ * ============================================================ */
+g.cluster > polygon,
+g.cluster > path {
+  fill: var(--lpv-cluster-bg);
+  stroke-width: var(--lpv-cluster-stroke-width);
+  stroke-dasharray: var(--lpv-cluster-stroke-dash);
+  transition: fill 0.2s ease, stroke 0.2s ease;
+}
+
+/* ============================================================
+ *  Cluster collapse / expand state
+ * ============================================================ */
+.cluster-collapsed > polygon,
+.cluster-collapsed > path {
+  fill: var(--lpv-cluster-bg-collapsed) !important;
+  stroke-dasharray: 3 3;
+}
+
+.cluster-collapsed-badge {
+  font-style: italic;
+  pointer-events: none;
+}
+
+/* Sibling nodes/edges hidden while their cluster is collapsed. The cluster
+ * <g> retains its layout box (border, label, badge); the interior elements
+ * disappear so the box reads as a single tile. */
+g.node.petri-collapsed-inside,
+g.edge.petri-collapsed-inside {
+  display: none;
+}
+
+/* ============================================================
+ *  Filter dim state (CSS-driven, applied per node by JS)
+ * ============================================================ */
+g.node.petri-dimmed,
+g.edge.petri-dimmed {
+  opacity: var(--lpv-dim-opacity);
+  transition: opacity 0.2s ease;
+}
+
+g.node:not(.petri-dimmed),
+g.edge:not(.petri-dimmed) {
+  transition: opacity 0.2s ease;
+}
+
+/* When the filter is active, give the SVG a hairline ring so the user
+   has a global signal that they're seeing a filtered view, not a partial
+   net. Matches the debug-ui's previous treatment. */
+svg.has-active-filter {
+  outline: 1px solid var(--lpv-active-filter-outline);
+  outline-offset: -1px;
+}
+
+/* ============================================================
+ *  C0 layout — left sidebar chrome
+ *
+ *  The chip sidebar replaces the legacy `.diagram-legend` (top-right)
+ *  and `.diagram-filter-strip` (bottom). Built by
+ *  `viewer/chrome/sidebar.ts` when `mount({ chrome: true, layout: 'elk' })`.
+ *  Lives inside the viewer container so it travels into fullscreen.
+ * ============================================================ */
+:root,
+.petrinet-diagram,
+.libpetri-viewer {
+  --lpv-sidebar-bg:               #fafafa;
+  --lpv-sidebar-border:           #e2e2e2;
+  --lpv-sidebar-text:             #333333;
+  --lpv-sidebar-muted:            #6b7280;
+  --lpv-sidebar-chip-bg:          #ffffff;
+  --lpv-sidebar-chip-hover-bg:    #f4f4ff;
+  --lpv-sidebar-chip-off-opacity: 0.45;
+  --lpv-shared-glyph-color:       #6b46c1;
+  --lpv-replica-fill:             #f3f4f6;
+  --lpv-replica-stroke:           #6b46c1;
+  --lpv-highlight-stroke:         #d97706;
+  --lpv-highlight-glow:           rgba(217, 119, 6, 0.55);
+  --lpv-neighbor-stroke:          #2563eb;
+  --lpv-faded-node-opacity:       0.14;
+  --lpv-faded-edge-opacity:       0.08;
+  --lpv-faded-cluster-opacity:    0.25;
+}
+
+.libpetri-viewer .libpetri-sidebar {
+  position: absolute;
+  top: 8px;
+  left: 8px;
+  width: 220px;
+  max-height: calc(100% - 16px);
+  overflow-y: auto;
+  background: var(--lpv-sidebar-bg);
+  border: 1px solid var(--lpv-sidebar-border);
+  border-radius: 6px;
+  padding: 10px;
+  font-size: 12px;
+  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
+  color: var(--lpv-sidebar-text);
+  z-index: 9;
+  box-shadow: 0 1px 3px rgba(0, 0, 0, 0.06);
+}
+
+.libpetri-sidebar .libpetri-sidebar-title {
+  margin: 0 0 8px 0;
+  font-weight: 700;
+  font-size: 13px;
+  color: var(--lpv-sidebar-text);
+}
+
+.libpetri-sidebar .libpetri-sidebar-actions {
+  display: flex;
+  gap: 4px;
+  margin-bottom: 8px;
+}
+
+.libpetri-sidebar .libpetri-sidebar-actions button {
+  flex: 1 1 auto;
+  padding: 3px 8px;
+  font-size: 11px;
+  font-family: inherit;
+  border: 1px solid #ccc;
+  background: #fff;
+  border-radius: 4px;
+  cursor: pointer;
+  color: var(--lpv-sidebar-text);
+}
+
+.libpetri-sidebar .libpetri-sidebar-actions button:hover {
+  background: #f0f0f0;
+}
+
+.libpetri-sidebar .libpetri-sidebar-checkbox {
+  display: flex;
+  align-items: center;
+  gap: 6px;
+  margin: 6px 0;
+  font-size: 11.5px;
+  color: var(--lpv-sidebar-text);
+  cursor: pointer;
+}
+
+.libpetri-sidebar .libpetri-sidebar-hint {
+  font-size: 10.5px;
+  color: var(--lpv-sidebar-muted);
+  line-height: 1.4;
+  margin: 6px 0 10px 0;
+  border-top: 1px solid var(--lpv-sidebar-border);
+  padding-top: 8px;
+}
+
+.libpetri-sidebar .libpetri-sidebar-chips {
+  display: flex;
+  flex-direction: column;
+  gap: 4px;
+  margin: 0;
+  padding: 0;
+  list-style: none;
+}
+
+.libpetri-sidebar .libpetri-sidebar-chip {
+  display: flex;
+  align-items: center;
+  gap: 6px;
+  padding: 4px 8px;
+  border-radius: 4px;
+  cursor: pointer;
+  user-select: none;
+  border-left: 4px solid var(--lpv-shared-glyph-color);
+  background: var(--lpv-sidebar-chip-bg);
+}
+
+.libpetri-sidebar .libpetri-sidebar-chip:hover {
+  background: var(--lpv-sidebar-chip-hover-bg);
+}
+
+.libpetri-sidebar .libpetri-sidebar-chip.is-off {
+  opacity: var(--lpv-sidebar-chip-off-opacity);
+  border-left-color: #ccc;
+}
+
+.libpetri-sidebar .libpetri-sidebar-chip-dot {
+  flex: 0 0 10px;
+  width: 10px;
+  height: 10px;
+  border-radius: 50%;
+}
+
+.libpetri-sidebar .libpetri-sidebar-chip-name {
+  flex: 1 1 auto;
+  font-family: ui-monospace, "SF Mono", Menlo, monospace;
+  font-weight: 500;
+}
+
+.libpetri-sidebar .libpetri-sidebar-chip-count {
+  color: var(--lpv-sidebar-muted);
+  font-size: 10.5px;
+}
+
+/* ============================================================
+ *  Replica visuals
+ *
+ *  Replicas of shared places get a dashed light-gray ring and a small
+ *  ⇄ glyph in the upper-right corner. The glyph is injected by
+ *  `replica-tagging.ts` as a sibling `<text>` inside `<g class="node">`.
+ * ============================================================ */
+g.node.petri-replica > ellipse,
+g.node.petri-replica > circle {
+  fill: var(--lpv-replica-fill) !important;
+  stroke: var(--lpv-replica-stroke) !important;
+  stroke-width: 1.2 !important;
+  stroke-dasharray: 3 2 !important;
+}
+
+g.node.petri-replica > text.libpetri-replica-glyph {
+  fill: var(--lpv-shared-glyph-color);
+  font-weight: 700;
+  pointer-events: none;
+}
+
+/* ============================================================
+ *  Highlight + visibility states
+ *
+ *  `applyHighlight` (highlight.ts) sets `.is-highlight` on focus +
+ *  every copy, `.is-neighbor` on real-place neighbors, `.is-faded`
+ *  on the rest. `applyVisibility` (visibility.ts) sets `.is-hidden`
+ *  on clusters / nodes / edges that the current selection excludes.
+ *  Constants match v3 colors exactly.
+ * ============================================================ */
+.libpetri-viewer svg g.node,
+.libpetri-viewer svg g.edge {
+  transition: opacity 0.15s ease-out;
+}
+
+.libpetri-viewer svg g.cluster.is-hidden,
+.libpetri-viewer svg g.edge.is-hidden,
+.libpetri-viewer svg g.node.is-hidden {
+  display: none !important;
+}
+
+.libpetri-viewer svg g.node.is-faded {
+  opacity: var(--lpv-faded-node-opacity) !important;
+}
+
+.libpetri-viewer svg g.edge.is-faded {
+  opacity: var(--lpv-faded-edge-opacity) !important;
+}
+
+/* When a cluster is faded, fade only its own border + label, NOT its
+ * descendant nodes/edges — intra-cluster highlighted edges must still pop. */
+.libpetri-viewer svg g.cluster.is-faded > polygon,
+.libpetri-viewer svg g.cluster.is-faded > path,
+.libpetri-viewer svg g.cluster.is-faded > text {
+  opacity: var(--lpv-faded-cluster-opacity);
+}
+
+.libpetri-viewer svg g.node.is-highlight > ellipse,
+.libpetri-viewer svg g.node.is-highlight > circle,
+.libpetri-viewer svg g.node.is-highlight > polygon,
+.libpetri-viewer svg g.node.is-highlight > rect {
+  stroke: var(--lpv-highlight-stroke) !important;
+  stroke-width: 3 !important;
+  filter: drop-shadow(0 0 6px var(--lpv-highlight-glow));
+}
+
+.libpetri-viewer svg g.node.is-neighbor > ellipse,
+.libpetri-viewer svg g.node.is-neighbor > circle,
+.libpetri-viewer svg g.node.is-neighbor > polygon,
+.libpetri-viewer svg g.node.is-neighbor > rect {
+  stroke: var(--lpv-neighbor-stroke) !important;
+  stroke-width: 2.5 !important;
+}
+
+.libpetri-viewer svg g.edge.is-highlight {
+  opacity: 1 !important;
+}
+
+.libpetri-viewer svg g.edge.is-highlight path {
+  stroke-width: 2.4 !important;
+  opacity: 1 !important;
+  filter: drop-shadow(0 0 4px rgba(217, 119, 6, 0.35));
+}
+
+/* ============================================================
+ *  Dark theme overrides for the sidebar
+ *
+ *  Triggered by `data-lpv-theme="dark"` on any ancestor (typically
+ *  the viewer container itself). Debug-ui sets this so the sidebar
+ *  matches the surrounding dark chrome.
+ * ============================================================ */
+[data-lpv-theme="dark"] {
+  --lpv-sidebar-bg:               #1f2937;
+  --lpv-sidebar-border:           #374151;
+  --lpv-sidebar-text:             #f3f4f6;
+  --lpv-sidebar-muted:            #9ca3af;
+  --lpv-sidebar-chip-bg:          #111827;
+  --lpv-sidebar-chip-hover-bg:    #312e81;
+  --lpv-replica-fill:             #312e81;
+  --lpv-replica-stroke:           #a78bfa;
+  --lpv-shared-glyph-color:       #a78bfa;
+}
+
+[data-lpv-theme="dark"] .libpetri-sidebar .libpetri-sidebar-actions button {
+  background: #111827;
+  color: var(--lpv-sidebar-text);
+  border-color: #374151;
+}
+
+[data-lpv-theme="dark"] .libpetri-sidebar .libpetri-sidebar-actions button:hover {
+  background: #374151;
+}